Skip to content

Finalise initialisation calculations #110

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Sep 3, 2019
Merged

Finalise initialisation calculations #110

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
da84779
Implement calculations of var_maybe_initialzed_on_exit
Jul 16, 2019
54628a3
Remove region_live_at from everywhere
Aug 6, 2019
02f1be6
Implement move path accesses
Aug 7, 2019
d720ed9
Update the facts with new inputs, bump version, fix boring comments
Aug 19, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
4 changes: 2 additions & 2 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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"

Expand Down
14 changes: 14 additions & 0 deletions RELEASES.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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
Expand Down Expand Up @@ -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
Expand Down
7 changes: 4 additions & 3 deletions inputs/collect-facts.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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

12 changes: 6 additions & 6 deletions inputs/drop-liveness/nll-facts/main/borrow_region.facts
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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])"
Loading