about summary refs log tree commit diff
path: root/src/librustc_mir/dataflow/impls
AgeCommit message (Expand)AuthorLines
2017-11-15add `StorageDead` handlingMikhail Modin-7/+14
2017-11-15Auto merge of #45922 - vramana:fix-45702, r=nikomatsakisbors-5/+11
2017-11-11Fix MIR borrowck EndRegion not foundRamana Venkata-5/+11
2017-11-09Add `TerminatorKind::DropAndReplace` handlingMikhail Modin-0/+13
2017-11-08restore move out dataflow, add report of move out errorsMikhail Modin-1/+161
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-40/+40
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-13Analyse storage liveness and preserve it during generator transformationJohn Kåre Alsaker-0/+86
2017-09-01rustc: rename CodeExtent to Scope and RegionMaps to ScopeTree.Eduard-Mihai Burtescu-6/+6
2017-08-19rustc: Remove some dead codeVadim Petrochenkov-160/+1
2017-08-16Added dataflow analysis for `Borrows`.Felix S. Klock II-0/+183
2017-08-16Refactor `trait BitDenotation` to take `Location` instead of `BasicBlock`/`us...Felix S. Klock II-30/+20
2017-08-12Auto merge of #43794 - Eijebong:fix_typos, r=lukaramu,steveklanik,imperiobors-1/+1
2017-08-11Fix some typosBastien Orivel-1/+1
2017-08-10For box expressions, use NZ drop instead of a free blockAriel Ben-Yehuda-9/+22
2017-07-30add new instructions for asserting when values are valid, and to describe whe...Ralf Jung-0/+1
2017-06-28Shift mir-dataflow from `rustc_borrowck` to `rustc_mir` crate.Felix S. Klock II-0/+600