Merge pull request #135 from albins/master

Move error reporting and initialisation clean-up
rust-lang · Feb 17, 2020 · d24bac8 · d24bac8
2 parents c0dea8e + 2f60ff2
commit d24bac8
Show file tree

Hide file tree

Showing 808 changed files with 7,654 additions and 14,967 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "polonius"
-version = "0.6.0"
+version = "0.7.0"
 authors = ["The Rust Project Developers", "Polonius Developers"]
 description = "Core definition for the Rust borrow checker"
 license = "Apache-2.0/MIT"
@@ -15,7 +15,7 @@ polonius-parser = {version = "0.4.0", path = "polonius-parser" }
 
 [dependencies]
 rustc-hash = "1.0.0"
-polonius-engine = {version = "0.11.0", path = "polonius-engine" }
+polonius-engine = {version = "0.12.0", path = "polonius-engine" }
 log = "0.4"
 petgraph = "0.4.13"
 pico-args = "0.2"

diff --git a/RELEASES.md b/RELEASES.md
@@ -1,5 +1,8 @@
 # polonius
 
+## v0.7.0
+- update to the latest `polonius-engine`
+
 ## v0.6.0
 - update to the latest `polonius-engine`
 - update the test parser to add the new facts related to subset errors
@@ -33,6 +36,12 @@ Add a CLI option `--dump-liveness-graph` to dump a Graphviz file with a
 
 # polonius-engine
 
+## v.0.12.0
+
+- finish moving to the new terminology
+- implement move tracking
+- remove some of the input facts not needed for testing
+
 ## v0.11.0
 
 - adopt a new terminology for the Atoms, and begin documenting everything in a book

diff --git a/inputs/blog-exmple/nll-facts/foo/borrow_region.facts b/inputs/blog-exmple/nll-facts/foo/borrow_region.facts
diff --git a/inputs/blog-exmple/nll-facts/foo/cfg_edge.facts b/inputs/blog-exmple/nll-facts/foo/cfg_edge.facts
diff --git a/inputs/blog-exmple/nll-facts/foo/invalidates.facts b/inputs/blog-exmple/nll-facts/foo/invalidates.facts
diff --git a/inputs/blog-exmple/nll-facts/foo/killed.facts b/inputs/blog-exmple/nll-facts/foo/killed.facts
diff --git a/inputs/blog-exmple/nll-facts/foo/outlives.facts b/inputs/blog-exmple/nll-facts/foo/outlives.facts
diff --git a/inputs/blog-exmple/nll-facts/foo/var_defined.facts b/inputs/blog-exmple/nll-facts/foo/var_defined.facts
diff --git a/inputs/blog-exmple/nll-facts/foo/var_uses_region.facts b/inputs/blog-exmple/nll-facts/foo/var_uses_region.facts
diff --git a/inputs/blog-exmple/nll-facts/main/cfg_edge.facts b/inputs/blog-exmple/nll-facts/main/cfg_edge.facts
diff --git a/inputs/collect-facts.sh b/inputs/collect-facts.sh
@@ -2,11 +2,7 @@
 
 RUSTC_RELEASE="stage1"
 RUSTC_ARGS="-Znll-facts -Zborrowck=mir"
-INPUT_FOLDERS=(drop-liveness drop-may-dangle drop-no-may-dangle enum-drop-access
-               issue-47680 issue-52059-report-when-borrow-and-drop-conflict
-               maybe-initialized-drop maybe-initialized-drop-implicit-fragment-drop
-               maybe-initialized-drop-uninitialized maybe-initialized-drop-with-fragment
-               maybe-initialized-drop-with-uninitialized-fragments smoke-test vec-push-ref)
+INPUT_FOLDERS=(issue-47680 smoke-test vec-push-ref)
 
 for test_folder in "${INPUT_FOLDERS[@]}";
 do

diff --git a/inputs/drop-liveness/nll-facts/main/borrow_region.facts b/inputs/drop-liveness/nll-facts/main/borrow_region.facts
diff --git a/inputs/drop-liveness/nll-facts/main/cfg_edge.facts b/inputs/drop-liveness/nll-facts/main/cfg_edge.facts