about summary refs log tree commit diff
path: root/src/librustc_mir
AgeCommit message (Expand)AuthorLines
2017-10-31rewrite `write_mir_fn_graphviz` to cope with non-global tcxNiko Matsakis-13/+14
2017-10-31treat -Znll as implying -Zborrowck-mirNiko Matsakis-1/+5
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-2/+1
2017-10-31connect MIR borrowck with NLLNiko Matsakis-10/+52
2017-10-31make the dataflow / mir-borrowck types carry a `'tcx` lifetimeNiko Matsakis-201/+211
2017-10-31test "needs drop" on region-erased, lifted typesNiko Matsakis-3/+9
2017-10-31reorder 'gcx and 'tcx in `BorrowckErrors` implNiko Matsakis-1/+1
2017-10-31make `closure_self_ty` invokable with `'gcx` and `'tcx`Niko Matsakis-4/+4
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-31make end-point optional in the borrow checkNiko Matsakis-20/+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-114/+213
2017-10-31reorder liveness to bring the more significant code up topNiko Matsakis-107/+107
2017-10-31avoid unnecessary copies in liveness computationNiko Matsakis-24/+17
2017-10-31introduce liveness constraints into NLL codeNiko Matsakis-209/+330
2017-10-31extend liveness to compute intrablock liveness and add unit testsNiko Matsakis-10/+118
2017-10-31introduce `apply` helper that applies a DefUse set to live bitsNiko Matsakis-2/+7
2017-10-31extend `dump_mir` to work for any tcx, not just global tcxNiko Matsakis-34/+34
2017-10-31rename `BlockInfo` and `BlockInfoVisitor` to `DefsUses`Niko Matsakis-14/+6
2017-10-31factor out `pre_defs` field by going backwardsNiko Matsakis-12/+52
2017-10-31execute liveness, write a simple testNiko Matsakis-3/+25
2017-10-30Auto merge of #45497 - mikhail-m1:dump-mir-graphviz, r=nikomatsakisbors-17/+35
2017-10-26Add comments to clarify function argument ownershipBjörn Steinbrink-0/+2
2017-10-26Avoid unnecessary copies of arguments that are simple bindingsBjörn Steinbrink-5/+21
2017-10-26add graphvis DOT files to dump mir directoryMikhail Modin-17/+35
2017-10-25Reword to avoid using either re-assignment or reassignment in errorsCarol (Nichols || Goulding)-2/+2
2017-10-20Auto merge of #45359 - arielb1:escaping-borrow, r=eddybbors-53/+86
2017-10-19Rollup merge of #45082 - jacwah:explain-E0382, r=steveklabnikkennytm-9/+57
2017-10-18run EndRegion when unwinding otherwise-empty scopesAriel Ben-Yehuda-44/+60
2017-10-17look past the next drop for the drop panic targetAriel Ben-Yehuda-9/+7
2017-10-17fix generator drop cachingAriel Ben-Yehuda-8/+27
2017-10-16restructure the public inhabitedness APIs and remove the cacheNiko Matsakis-4/+1
2017-10-16refactor inhabitedness to have clearer public entry pointsNiko Matsakis-7/+4
2017-10-15Auto merge of #45200 - mikhail-m1:match-with-false-edges, r=nikomatsakisbors-5/+24
2017-10-14Improve E0382 extended help messageJacob Wahlgren-9/+57
2017-10-14Auto merge of #45167 - pnkfelix:migrate-remaining-ast-diagnostics, r=arielb1bors-0/+594
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