about summary refs log tree commit diff
path: root/src/librustc_mir/dataflow
AgeCommit message (Expand)AuthorLines
2017-11-27Add initialization info to `MoveData`Matthew Jasper-97/+299
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-15fix comment, remove redundant codeMikhail Modin-19/+5
2017-11-15add `StorageDead` handlingMikhail Modin-15/+29
2017-11-15Auto merge of #45922 - vramana:fix-45702, r=nikomatsakisbors-5/+11
2017-11-13Use the correct type for cannot move errormatthewjasper-8/+7
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-2/+162
2017-11-06Auto merge of #45668 - nikomatsakis:nll-free-region, r=arielb1bors-7/+17
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-11-02add TerminatorKind::FalseEdges and use it in matchesMikhail Modin-0/+7
2017-10-31connect MIR borrowck with NLLNiko Matsakis-6/+34
2017-10-31make the dataflow / mir-borrowck types carry a `'tcx` lifetimeNiko Matsakis-92/+92
2017-10-31test "needs drop" on region-erased, lifted typesNiko Matsakis-3/+9
2017-10-31make end-point optional in the borrow checkNiko Matsakis-2/+5
2017-10-08Auto merge of #45016 - pnkfelix:mir-borrowck-gather-and-signal-move-errors, r...bors-64/+132
2017-10-05Rollup merge of #44987 - pnkfelix:mir-borrowck-fix-borrowindexes-ice, r=arielb1kennytm-5/+5
2017-10-04Made `move_paths::MoveError` take span param in `cannot_move_out_of` ctor.Felix S. Klock II-48/+79
2017-10-04mir-borrowck: Gather move errors during MoveData construction and report them.Felix S. Klock II-32/+69
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/+110
2017-09-03rustc_mir: use Local in ProjectionElem::Index.Eduard-Mihai Burtescu-2/+5
2017-09-01rustc: rename CodeExtent to Scope and RegionMaps to ScopeTree.Eduard-Mihai Burtescu-6/+6
2017-08-21Merge remote-tracking branch 'origin/master' into genAlex Crichton-163/+2
2017-08-19rustc: Remove some dead codeVadim Petrochenkov-163/+2
2017-08-16Merge remote-tracking branch 'origin/master' into genAlex Crichton-502/+790
2017-08-16Merge remote-tracking branch 'origin/master' into genAlex Crichton-17/+17
2017-08-16Cleanup: Every `BitDenotation` is a `DataflowOperator`, so build that in.Felix S. Klock II-20/+11
2017-08-16Added some documentation for the `struct BlockSets` in `rustc_mir::dataflow`.Felix S. Klock II-0/+19
2017-08-16MIR based borrow check (opt-in).Felix S. Klock II-4/+118
2017-08-16Factored `MoveData` construction code into `builder` submodule.Felix S. Klock II-313/+334
2017-08-16Move `DataFlowState::{each_bit,interpret_set}` method definitions to parent m...Felix S. Klock II-50/+22
2017-08-16remove now unnecessary constraint on BitDenotation for `fn do_dataflow`.Felix S. Klock II-2/+1
2017-08-16Migrated some code out of `dataflow::drop_flag_effects` and into its parent m...Felix S. Klock II-74/+71
2017-08-16Added dataflow analysis for `Borrows`.Felix S. Klock II-1/+187
2017-08-16Refactor `trait BitDenotation` to take `Location` instead of `BasicBlock`/`us...Felix S. Klock II-38/+27
2017-08-15use field init shorthand EVERYWHEREZack M. Davis-17/+17
2017-08-14Merge remote-tracking branch 'origin/master' into genAlex Crichton-4/+4
2017-08-12Fix some typosBastien Orivel-3/+3
2017-08-12Auto merge of #43794 - Eijebong:fix_typos, r=lukaramu,steveklanik,imperiobors-1/+1
2017-08-12Merge branch 'master' of https://github.com/rust-lang/rust into genJohn Kåre Alsaker-17/+47
2017-08-11Fix some typosBastien Orivel-1/+1
2017-08-10For box expressions, use NZ drop instead of a free blockAriel Ben-Yehuda-17/+47
2017-08-09Merge remote-tracking branch 'origin/master' into genAlex Crichton-2/+12