Polonius: fix some cases of `killed` fact generation, and most of the `ui` test suite#62736

Merged

bors merged 29 commits intorust-lang:masterfrom lqd:polonius_tests3

Jul 25, 2019

+892-49

Commits on Jul 22, 2019

Ignore NLL migrate mode test in the Polonius compare-mode
lqd
committed
Ignore test issue-45983 in the polonius compare mode
lqd
committed
Ignore two-phase-reservation-sharing-interference-2.rs in Polonius compare mode
lqd
committed
Ignore feature-gate-nll.rs in Polonius compare mode
lqd
committed
Ignore test issue-45696-scribble-on-boxed-borrow.rs in Polonius compare mode
lqd
committed
Bless output of test ui/emit-artifact-notifications.rs for Polonius
lqd
committed
Bless output of test save-analysis/emit-notifications.rs for Polonius
lqd
committed
Bless output of test nll/loan_ends_mid_block_pair.rs for Polonius
lqd
committed
Bless output of test consts/promote_const_let.rs for Polonius
lqd
committed
Bless output of test nll/get_default.rs for Polonius
lqd
committed
Bless output of test generator/ref-escapes-but-not-over-yield.rs for Polonius
lqd
committed
Bless output of test borrowck/borrowck-escaping-closure-error-2.rs for Polonius
lqd
committed
Bless output of test borrowck/two-phase-surprise-no-conflict.rs for Polonius
lqd
committed
Bless output of test dropck/dropck_trait_cycle_checked.rs for Polonius
lqd
committed
Create a dedicated polonius test folder
lqd
committed
Polonius facts: kill loans on Call terminators and StorageDead
lqd
committed
Bless output of test borrowck/promote-ref-mut-in-let-issue-46557.rs for Polonius
lqd
committed
Ignore test hrtb/issue-30786.rs in Polonius compare mode
lqd
committed
Bless output of test nll/return-ref-mut-issue-46557.rs for Polonius
lqd
committed
Add test extracted from rand, checking that StorageDead kills loans
lqd
committed
Rename test so that both "kills-loans" tests match names
lqd
committed
Make both polonius loans tests check-pass
lqd
committed
Bless output of test unboxed-closures/unboxed-closures-failed-recursive-fn-1.rs for Polonius
lqd
committed
Polonius: generate killed facts for assignments to projections
lqd
committed
Add test checking various assignments are accepted in Polonius
lqd
committed
Add test to check that assignments to projections do not kill too many loans
lqd
committed
issue-46589 passes in Polonius and fails in NLL, duplicate it and manually check each outcome
lqd
committed
Bless output of test nll/loan_ends_mid_block_pair.rs for Polonius, again
lqd
committed
fix tidy
lqd
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Polonius: fix some cases of `killed` fact generation, and most of the `ui` test suite#62736

Commits on Jul 22, 2019

Ignore NLL migrate mode test in the Polonius compare-mode

Ignore test issue-45983 in the polonius compare mode

Ignore two-phase-reservation-sharing-interference-2.rs in Polonius compare mode

Ignore feature-gate-nll.rs in Polonius compare mode

Ignore test issue-45696-scribble-on-boxed-borrow.rs in Polonius compare mode

Bless output of test ui/emit-artifact-notifications.rs for Polonius

Bless output of test save-analysis/emit-notifications.rs for Polonius

Bless output of test nll/loan_ends_mid_block_pair.rs for Polonius

Bless output of test consts/promote_const_let.rs for Polonius

Bless output of test nll/get_default.rs for Polonius

Bless output of test generator/ref-escapes-but-not-over-yield.rs for Polonius

Bless output of test borrowck/borrowck-escaping-closure-error-2.rs for Polonius

Bless output of test borrowck/two-phase-surprise-no-conflict.rs for Polonius

Bless output of test dropck/dropck_trait_cycle_checked.rs for Polonius

Create a dedicated polonius test folder

Polonius facts: kill loans on Call terminators and StorageDead

Bless output of test borrowck/promote-ref-mut-in-let-issue-46557.rs for Polonius

Ignore test hrtb/issue-30786.rs in Polonius compare mode

Bless output of test nll/return-ref-mut-issue-46557.rs for Polonius

Add test extracted from rand, checking that StorageDead kills loans

Rename test so that both "kills-loans" tests match names

Make both polonius loans tests check-pass

Bless output of test unboxed-closures/unboxed-closures-failed-recursive-fn-1.rs for Polonius

Polonius: generate `killed` facts for assignments to projections

Add test checking various assignments are accepted in Polonius

Add test to check that assignments to projections do not kill too many loans

issue-46589 passes in Polonius and fails in NLL, duplicate it and manually check each outcome

Bless output of test nll/loan_ends_mid_block_pair.rs for Polonius, again

fix tidy