Polonius: fix some cases of `killed` fact generation, and most of the `ui` test suite by lqd · Pull Request #62736 · rust-lang/rust

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

Uh oh!

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

Polonius: fix some cases of `killed` fact generation, and most of the `ui` test suite#62736
bors merged 29 commits into
rust-lang:masterfrom
lqd:polonius_tests3

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