MIR EndRegion Statements (was MIR dataflow for Borrows)#39409

Merged

bors merged 11 commits intorust-lang:masterfrom

pnkfelix:mir-borrowck2

Jun 19, 2017

Commits on Jun 12, 2017

Add `-Z span_free_rvalues`.
pnkfelix
committed
`-Z identify_regions` toggles rendering of (previously hidden) unnamed regions.
pnkfelix
committed
Add destruction extents around blocks and statements in HAIR.
pnkfelix
committed
Paired source_info with extent; thread both through to pts where EndRegion will need construction.
pnkfelix
committed
Pass span through diverge_cleanup down to build_diverge_scope where it
pnkfelix
committed
Add `EndRegion` statement kind to MIR.
pnkfelix
committed
Add post-pass to remove EndRegions of unborrowed extents.
pnkfelix
committed
Leverage mir-opt to encode tests for `EndRegion`.
pnkfelix
committed
Update basic_assignment test to reflect small changes to codegen.
pnkfelix
committed
Update test/codegen/drop.rs to reflect inconsequential change in basic block ordering.
pnkfelix
committed
Revised comment explaining my addition of case for `TerminatorKind::Resume`.
pnkfelix
committed