Repository navigation

Use existing framework for backward dataflow analyses - #71006

Merged

bors merged 11 commits into

rust-lang:masterfrom

ecstatic-morse:dataflow-bidi

May 3, 2020

Merged

Use existing framework for backward dataflow analyses#71006
bors merged 11 commits into
rust-lang:masterfrom
ecstatic-morse:dataflow-bidi

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