about summary refs log tree commit diff
path: root/src/librustc_mir/dataflow/impls/borrows.rs
AgeCommit message (Expand)AuthorLines
2017-11-24Kill the storage for all locals on returning terminatorsKeith Yeung-0/+29
2017-11-18Auto merge of #46032 - KiChjang:ignore-borrowck-statics, r=nikomatsakisbors-8/+50
2017-11-17Do not registor borrows for unsafe lvaluesKeith Yeung-8/+50
2017-11-16replace `RegionIndex` with `RegionVid` (which now impls Idx)Niko Matsakis-2/+2
2017-11-11Fix MIR borrowck EndRegion not foundRamana Venkata-5/+11
2017-11-02encapsulate the `Region` struct within region inferenceNiko Matsakis-5/+15
2017-11-02extend NLL regions to include free region indices and add outlivesNiko Matsakis-3/+3
2017-10-31connect MIR borrowck with NLLNiko Matsakis-6/+34
2017-10-31make the dataflow / mir-borrowck types carry a `'tcx` lifetimeNiko Matsakis-7/+7
2017-10-31make end-point optional in the borrow checkNiko Matsakis-2/+5
2017-10-05Rollup merge of #44987 - pnkfelix:mir-borrowck-fix-borrowindexes-ice, r=arielb1kennytm-5/+5
2017-10-04add notes to report_conflicting_borrow MIR borrowckMikhail Modin-2/+25
2017-10-02Remove assertion that the argument to every `EndRegion` correspond toFelix S. Klock II-5/+5
2017-09-01rustc: rename CodeExtent to Scope and RegionMaps to ScopeTree.Eduard-Mihai Burtescu-6/+6
2017-08-16Added dataflow analysis for `Borrows`.Felix S. Klock II-0/+180