Fixes to mir dataflow#33667

Merged

bors merged 48 commits intorust-lang:masterfrom

pnkfelix:fixes-to-mir-dataflow

May 25, 2016

Commits on May 16, 2016

fix bug in `debug!` output from `rustc::middle::dataflow`
pnkfelix
committed
fixes to `librustc_borrowck::bitslice::bits_to_string`, used for graphviz printing.
pnkfelix
committed
`rustc_mir::pretty`: factor out scope entry/exit annotation computation.
pnkfelix
committed
`rustc_mir::pretty` refactoring: break `fn write_fn_intro` into two routines.
pnkfelix
committed
Expose pretty print routines that accept just `mir` (no need for a `NodeId`).
pnkfelix
committed
One-line doc clarification for representation of unit type `()`.
pnkfelix
committed
Add helper method for getting the dataflow results at exit from a basic block.
pnkfelix
committed
Remove `&self` parameter from `DataflowOperator::initial_value`.
pnkfelix
committed
Unit struct defns for 3 dataflow analyses for `borrowck::mir::dataflow`.
pnkfelix
committed
`borrowck::mir::gather_moves`: create MovePaths for lvalues even if unreferenced.
pnkfelix
committed
Revised mir-dataflow.
pnkfelix
committed
Adding magic `rustc_peek` intrinsic that other code can repurpose to
pnkfelix
committed
Add ability to unit-test dataflow results via `rustc_peek` intrinsic.
pnkfelix
committed
Little unit tests for MIR dataflow analysis.
pnkfelix
committed
`DefinitelyInitializedLvals` dataflow op (goal: move away from `MaybeUninitializedLvals`)
pnkfelix
committed
core::intrinsics: fix typo noted during review.
pnkfelix
committed

Commits on May 17, 2016

Commits on May 20, 2016

Commits on May 23, 2016

Commits on May 24, 2016