MIR borrow check (under debug flag)#43108

Merged

bors merged 12 commits intorust-lang:masterfrom

pnkfelix:mir-borrowck3c

Aug 16, 2017

Commits on Aug 16, 2017

Move borrowck error msg construction to module in `rustc_mir` (for later reuse by mir borrowck).
pnkfelix
committed
Refactor `trait BitDenotation` to take `Location` instead of `BasicBlock`/`usize` argument pairs.
pnkfelix
committed
Added dataflow analysis for `Borrows`.
pnkfelix
committed
Migrated some code out of `dataflow::drop_flag_effects` and into its parent module.
pnkfelix
committed
remove now unnecessary constraint on BitDenotation for `fn do_dataflow`.
pnkfelix
committed
Move `DataFlowState::{each_bit,interpret_set}` method definitions to parent module.
pnkfelix
committed
Factored `MoveData` construction code into `builder` submodule.
pnkfelix
committed
MIR based borrow check (opt-in).
pnkfelix
committed
Added some documentation for the `struct BlockSets` in `rustc_mir::dataflow`.
pnkfelix
committed
Cleanup: Every `BitDenotation` is a `DataflowOperator`, so build that in.
pnkfelix
committed
Address review comment: `StatementKind::StorageDead` has an effect (running dtors) relevant to borrowck.
pnkfelix
committed
Moved mir-borrowck pass down to where comments say it should be.
pnkfelix
committed