Merge pull request #110 from albins/initialisation-phase-2

Finalise initialisation calculations

Cargo.toml

@@ -20,7 +20,7 @@ failure = "0.1.1"
 rustc-hash = "1.0.0"
 structopt = "0.2.8"
 clap = "2.31.2"
-polonius-engine = {version = "0.9.0", path = "polonius-engine" }
+polonius-engine = {version = "0.10.0", path = "polonius-engine" }
 log = "0.4"
 petgraph = "0.4.13"
 

RELEASES.md

@@ -1,5 +1,10 @@
 # polonius
 
+## v????
+
+- remove `--ignore-region-live-at`, as the `region_live_at` is now gone
+  from the inputs and is always calculated!
+
 ## v0.6.0
 
 - add a CLI option `--ignore-region-live-at` which ignores those facts and
@@ -29,6 +34,15 @@ Add a CLI option `--dump-liveness-graph` to dump a Graphviz file with a
 
 # polonius-engine
 
+
+## v0.10.0
+
+- add the initialisation-tracking inputs `child`, `path_belongs_to_var`,
+  `initialized_at`, `moved_out_at`, and `path_accessed_at`, as well as the new
+  `Atom` `MovePath` to the type of `AllFacts` to capture move paths.
+- remove the `var_maybe_initialized_on_exit` input, as it is now calculated by Polonius.
+- remove the `region_live_at` input fact, as it is now calculated by Polonius.
+
 ## v0.9.0
 
 - add the input `var_initialized_on_exit` which indicates if a variable may be

inputs/collect-facts.sh

@@ -10,8 +10,9 @@ INPUT_FOLDERS=(drop-liveness drop-may-dangle drop-no-may-dangle enum-drop-access
 
 for test_folder in "${INPUT_FOLDERS[@]}";
 do
-    pushd "$test_folder"
-    rustc +$RUSTC_RELEASE $RUSTC_ARGS -o /dev/null -- *.rs
-    popd
+    pushd "$test_folder" || exit
+    find . -name "*.facts" | xargs -- rm
+    rustc +$RUSTC_RELEASE $RUSTC_ARGS -- *.rs
+    popd || exit
 done
 

inputs/drop-liveness/nll-facts/main/borrow_region.facts

@@ -1,7 +1,7 @@
 "\'_#30r"	"bw0"	"Mid(bb0[6])"
-"\'_#33r"	"bw1"	"Mid(bb0[16])"
-"\'_#38r"	"bw2"	"Mid(bb0[26])"
-"\'_#50r"	"bw3"	"Mid(bb4[5])"
-"\'_#56r"	"bw4"	"Mid(bb7[10])"
-"\'_#61r"	"bw5"	"Mid(bb7[20])"
-"\'_#67r"	"bw6"	"Mid(bb10[5])"
+"\'_#33r"	"bw1"	"Mid(bb0[18])"
+"\'_#38r"	"bw2"	"Mid(bb0[28])"
+"\'_#50r"	"bw3"	"Mid(bb2[5])"
+"\'_#56r"	"bw4"	"Mid(bb5[14])"
+"\'_#61r"	"bw5"	"Mid(bb5[24])"
+"\'_#67r"	"bw6"	"Mid(bb6[5])"