enable non-lexical lifetimes in the MIR borrow checker#45538

Merged

bors merged 33 commits intorust-lang:masterfrom

nikomatsakis:nll-liveness

Nov 1, 2017

Commits on Oct 31, 2017

execute liveness, write a simple test
nikomatsakis
committed
add a test for the subtle case around calls
nikomatsakis
committed
factor out `pre_defs` field by going backwards
nikomatsakis
committed
rename `BlockInfo` and `BlockInfoVisitor` to `DefsUses`
nikomatsakis
committed
extend `dump_mir` to work for any tcx, not just global tcx
nikomatsakis
committed
introduce `apply` helper that applies a DefUse set to live bits
nikomatsakis
committed
extend liveness to compute intrablock liveness and add unit tests
nikomatsakis
committed
add helper `for_each_free_region` that iterates over free regions
nikomatsakis
committed
introduce liveness constraints into NLL code
nikomatsakis
committed
avoid unnecessary copies in liveness computation
nikomatsakis
committed
reorder liveness to bring the more significant code up top
nikomatsakis
committed
extend liveness to distinguish "drop" and "non-drop" uses
nikomatsakis
committed
preliminary support for may-dangle attribute and drop constraints
nikomatsakis
committed
add subregion between borrow region and resulting reference
nikomatsakis
committed
update the format of liveness debug dumps to be more readable
nikomatsakis
committed
factor out NLL invocation interface
nikomatsakis
committed
make end-point optional in the borrow check
nikomatsakis
committed
add reborrow constraints

spastorino
authored and
nikomatsakis
committed
add basic region subtyping inference

spastorino
authored and
nikomatsakis
committed
make nll separately invokable
nikomatsakis
committed
make `MirSource::from_local_def_id` invokable with 'gcx and 'tcx
nikomatsakis
committed
make `closure_self_ty` invokable with `'gcx` and `'tcx`
nikomatsakis
committed
reorder 'gcx and 'tcx in `BorrowckErrors` impl
nikomatsakis
committed
test "needs drop" on region-erased, lifted types
nikomatsakis
committed
make the dataflow / mir-borrowck types carry a `'tcx` lifetime
nikomatsakis
committed
connect MIR borrowck with NLL
nikomatsakis
committed
change region display to `'_#Nr`, update the `newtype_index!` macro
nikomatsakis
committed
WIP patch `compile-fail/nll/region-ends-after-if-condition.rs`
nikomatsakis
committed
remove the NLL pass (it is now invoked by mir borrowck)
nikomatsakis
committed
runtest: fix mir directory and delete outdated MIR files
nikomatsakis
committed
treat -Znll as implying -Zborrowck-mir
nikomatsakis
committed
rewrite `write_mir_fn_graphviz` to cope with non-global tcx
nikomatsakis
committed
patch mir-opt reference files
nikomatsakis
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

enable non-lexical lifetimes in the MIR borrow checker#45538

enable non-lexical lifetimes in the MIR borrow checker#45538
bors merged 33 commits intorust-lang:masterfrom
nikomatsakis:nll-liveness

Commits on Oct 31, 2017

execute liveness, write a simple test

add a test for the subtle case around calls

factor out `pre_defs` field by going backwards

rename `BlockInfo` and `BlockInfoVisitor` to `DefsUses`

extend `dump_mir` to work for any tcx, not just global tcx

introduce `apply` helper that applies a DefUse set to live bits

extend liveness to compute intrablock liveness and add unit tests

add helper `for_each_free_region` that iterates over free regions

introduce liveness constraints into NLL code

avoid unnecessary copies in liveness computation

reorder liveness to bring the more significant code up top

extend liveness to distinguish "drop" and "non-drop" uses

preliminary support for may-dangle attribute and drop constraints

add subregion between borrow region and resulting reference

update the format of liveness debug dumps to be more readable

factor out NLL invocation interface

make end-point optional in the borrow check

add reborrow constraints

add basic region subtyping inference

make nll separately invokable

make `MirSource::from_local_def_id` invokable with 'gcx and 'tcx

make `closure_self_ty` invokable with `'gcx` and `'tcx`

reorder 'gcx and 'tcx in `BorrowckErrors` impl

test "needs drop" on region-erased, lifted types

make the dataflow / mir-borrowck types carry a `'tcx` lifetime

connect MIR borrowck with NLL

change region display to `'_#Nr`, update the `newtype_index!` macro

WIP patch `compile-fail/nll/region-ends-after-if-condition.rs`

remove the NLL pass (it is now invoked by mir borrowck)

runtest: fix mir directory and delete outdated MIR files

treat -Znll as implying -Zborrowck-mir

rewrite `write_mir_fn_graphviz` to cope with non-global tcx

patch mir-opt reference files

enable non-lexical lifetimes in the MIR borrow checker#45538bors merged 33 commits intorust-lang:masterrust-lang/rust:masterfrom nikomatsakis:nll-livenessnikomatsakis/rust:nll-livenessCopy head branch name to clipboard

Commits

Commits on Oct 31, 2017

enable non-lexical lifetimes in the MIR borrow checker#45538
bors merged 33 commits intorust-lang:masterfrom
nikomatsakis:nll-liveness