summary refs log tree commit diff
path: root/src/test/mir-opt/nll
AgeCommit message (Expand)AuthorLines
2018-04-15remove -Znll -- borrowck=mir implies nll nowNiko Matsakis-13/+13
2018-03-23Updated MIR with UserAssertTy in mir-opt tests.David Wood-2/+2
2018-03-08Produce instead of pointersOliver Schneider-1/+1
2018-02-07[ci skip] Generate false edges from loop_blockbobtwinkles-8/+8
2017-12-20convert region-liveness-drop{-,-no-}may-dangle.rs into ui testsNiko Matsakis-102/+0
2017-12-15more concise debug output when dumping the value of a regionNiko Matsakis-21/+21
2017-12-15impose inputs/ouputs on MIR after the factNiko Matsakis-1/+5
2017-12-15thread through an implicit region body of the fn bodyNiko Matsakis-26/+32
2017-12-13refactor region value bitmatrixNiko Matsakis-4/+4
2017-12-07add closure requirement tests, improve debugging outputNiko Matsakis-36/+44
2017-12-04constraint_generation: create liveness constraints more thoroughlyNiko Matsakis-4/+4
2017-12-04replace constant regions with a post-inference checkNiko Matsakis-2/+2
2017-12-03add and unignore testsAriel Ben-Yehuda-2/+1
2017-12-03funnel all unwind paths through a single Resume blockAriel Ben-Yehuda-44/+42
2017-11-28tests: update to include move annotations in MIR.Eduard-Mihai Burtescu-4/+4
2017-11-25Disable region-liveness-drop-no-may-dangle.rsKeith Yeung-0/+1
2017-11-17MIR: hide .rodata constants vs by-ref ABI clash in trans.Eduard-Mihai Burtescu-11/+5
2017-11-16fix mir-opt NLL tests -- variable `'_#0r` is now `'static`Niko Matsakis-25/+25
2017-11-09change separator from `.` to `-`Mikhail Modin-2/+2
2017-11-09change MIR dump filenames from `nodeN` to `DefPath`Mikhail Modin-30/+30
2017-11-02add `mir-opt/named-lifetimes-basic.rs`Niko Matsakis-0/+34
2017-10-31patch mir-opt reference filesNiko Matsakis-7/+13
2017-10-31change region display to `'_#Nr`, update the `newtype_index!` macroNiko Matsakis-12/+12
2017-10-31add basic region subtyping inferenceSantiago Pastorino-0/+49
2017-10-31add reborrow constraintsSantiago Pastorino-0/+39
2017-10-31update the format of liveness debug dumps to be more readableNiko Matsakis-46/+23
2017-10-31add subregion between borrow region and resulting referenceNiko Matsakis-0/+50
2017-10-31preliminary support for may-dangle attribute and drop constraintsNiko Matsakis-0/+50
2017-10-31extend liveness to distinguish "drop" and "non-drop" usesNiko Matsakis-25/+94
2017-10-31introduce liveness constraints into NLL codeNiko Matsakis-0/+55
2017-10-31extend liveness to compute intrablock liveness and add unit testsNiko Matsakis-5/+18
2017-10-31factor out `pre_defs` field by going backwardsNiko Matsakis-0/+36
2017-10-31add a test for the subtle case around callsNiko Matsakis-0/+42
2017-10-31execute liveness, write a simple testNiko Matsakis-0/+47