about summary refs log tree commit diff
path: root/src/librustc_mir/transform
AgeCommit message (Expand)AuthorLines
2017-11-10Separately eliminate self-assignmentssinkuu-4/+39
2017-11-10Fix MIR CopyPropagation errneously propagating assignments to function argumentssinkuu-0/+7
2017-11-10Normalize inlined function in MIR inlinerShotaro Yamada-5/+33
2017-11-10Auto merge of #45785 - arielb1:unsafe-fixes, r=eddybbors-69/+113
2017-11-09add a bunch of debug logging to transform::inlineAriel Ben-Yehuda-6/+23
2017-11-06Auto merge of #45668 - nikomatsakis:nll-free-region, r=arielb1bors-177/+462
2017-11-06collect unused unsafe codeAriel Ben-Yehuda-61/+92
2017-11-06run unsafety checking before dead block collectionAriel Ben-Yehuda-4/+12
2017-11-06fix unsafety checking for generatorsAriel Ben-Yehuda-7/+12
2017-11-02trace span info for constraints and report errorsNiko Matsakis-26/+104
2017-11-02encapsulate the `Region` struct within region inferenceNiko Matsakis-39/+47
2017-11-02add comments to `region_infer`, restructure a bitNiko Matsakis-35/+56
2017-11-02extend NLL regions to include free region indices and add outlivesNiko Matsakis-110/+289
2017-11-02rename `Lookup` to `TyContext` and pass more info when visiting tysNiko Matsakis-23/+22
2017-11-02add TerminatorKind::FalseEdges and use it in matchesMikhail Modin-4/+23
2017-10-31remove the NLL pass (it is now invoked by mir borrowck)Niko Matsakis-23/+2
2017-10-31change region display to `'_#Nr`, update the `newtype_index!` macroNiko Matsakis-1/+1
2017-10-31make the dataflow / mir-borrowck types carry a `'tcx` lifetimeNiko Matsakis-5/+5
2017-10-31make nll separately invokableNiko Matsakis-29/+13
2017-10-31add basic region subtyping inferenceSantiago Pastorino-0/+112
2017-10-31add reborrow constraintsSantiago Pastorino-0/+35
2017-10-31factor out NLL invocation interfaceNiko Matsakis-76/+123
2017-10-31update the format of liveness debug dumps to be more readableNiko Matsakis-24/+61
2017-10-31add subregion between borrow region and resulting referenceNiko Matsakis-8/+55
2017-10-31preliminary support for may-dangle attribute and drop constraintsNiko Matsakis-13/+113
2017-10-31extend liveness to distinguish "drop" and "non-drop" usesNiko Matsakis-33/+74
2017-10-31introduce liveness constraints into NLL codeNiko Matsakis-209/+329
2017-10-31extend liveness to compute intrablock liveness and add unit testsNiko Matsakis-10/+34
2017-10-31execute liveness, write a simple testNiko Matsakis-3/+25
2017-10-13Add License to infer.rsSantiago Pastorino-0/+10
2017-10-13TODO -> FIXMESantiago Pastorino-4/+4
2017-10-13Add allow_dead code directive to unused methodsSantiago Pastorino-0/+5
2017-10-13Do not move infcx, just borrow itSantiago Pastorino-7/+8
2017-10-13borrow block_data instead of moving itSantiago Pastorino-1/+1
2017-10-13sup_def is a mutable referenceSantiago Pastorino-1/+1
2017-10-13inteference_context should be mutSantiago Pastorino-1/+1
2017-10-13Mark Region as publicSantiago Pastorino-1/+1
2017-10-13Mark free regions handling as TODOSantiago Pastorino-9/+10
2017-10-13Initial attempt at implementation of inference layout for nllPaul Faria-5/+224
2017-10-13Auto merge of #45013 - chrisvittal:mir_pretty_printing_pr, r=nikomatsakisbors-7/+38
2017-10-08Auto merge of #45016 - pnkfelix:mir-borrowck-gather-and-signal-move-errors, r...bors-2/+2
2017-10-04Expand mir dump in order to handle NLL passChristopher Vittal-7/+38
2017-10-04Make newtype_index get debug_name using reflectionSantiago Pastorino-1/+1
2017-10-04Make newtype_index macro use full path to resolve constantsSantiago Pastorino-2/+0
2017-10-04Generate Idx in nll using newtype_index!Santiago Pastorino-15/+3
2017-10-04Convert regions to IndexVecSantiago Pastorino-2/+19
2017-10-04Store a new Region value every time we create a new region variablePaul Faria-2/+11
2017-10-04Auto merge of #44901 - michaelwoerister:on-demand-eval, r=nikomatsakisbors-8/+7
2017-10-04mir-borrowck: Gather move errors during MoveData construction and report them.Felix S. Klock II-2/+2
2017-10-03Auto merge of #44896 - qmx:move-resolve-to-librustc, r=arielb1bors-11/+17