Use existing framework for backward dataflow analyses - #71006

Merged

bors merged 11 commits into

rust-lang:masterfrom

ecstatic-morse:dataflow-bidi

May 3, 2020

Commits on May 3, 2020

Add `MutatingUseContext::Yield`
ecstatic-morse
committed
d008616
Rename `live_locals` -> `live_locals_at_any_suspension_point`
ecstatic-morse
committed
032be94
Support backward dataflow analyses
ecstatic-morse
committed
c68d710
Initialize the cursor with an empty state
ecstatic-morse
committed
20899db
Live variable analysis
ecstatic-morse
committed
4c34ec6
Use new liveness analysis during generator transform
ecstatic-morse
committed
9100340
Support liveness in `rustc_peek` tests
ecstatic-morse
committed
a6a87e8
Add `rustc_peek` test for liveness with borrows
ecstatic-morse
committed
c530b2d
Use agreed upon terminology in cursor docs
ecstatic-morse
committed
f00a78e
Reflect API changes on current master
ecstatic-morse
committed
1e701e5
Update clippy lint
ecstatic-morse
committed
21c72b6