about summary refs log tree commit diff
path: root/src/librustc_mir/dataflow
AgeCommit message (Expand)AuthorLines
2019-08-31Kill borrows from assignments after generating new borrowsMatthew Jasper-4/+4
2019-08-24Allow lifetime parameters to be inferredSantiago Pastorino-1/+1
2019-08-08Use associated_type_bounds where applicable - closes #61738Ilija Tovilo-8/+3
2019-08-05Fiddle param env through to `try_eval_bits` in most placesOliver Scherer-1/+5
2019-07-22Place::as_place_ref is now Place::as_refSantiago Pastorino-9/+9
2019-07-20Avoid unneeded else branchesSantiago Pastorino-22/+13
2019-07-20Avoid cloning Place in gather_initSantiago Pastorino-13/+13
2019-07-20Avoid cloning Place in report_use_of_moved_or_uninitialized and friendsSantiago Pastorino-9/+9
2019-07-20Migrate from Place enum to Place structSantiago Pastorino-21/+47
2019-07-14Actually call `visit_block_entry` in `DataflowResultsConsumer`Dylan MacKenzie-0/+2
2019-07-03Remove needless lifetimesJeremy Stucki-1/+1
2019-07-02Auto merge of #61922 - tmandry:moar-generator-optimization, r=matthewjasperbors-13/+244
2019-07-01Clean up extra lifetime, add assertionsTyler Mandry-14/+18
2019-06-30Rollup merge of #62062 - ecstatic-morse:dataflow-order, r=nagisaMazdak Farrokhzad-2/+18
2019-06-28Use RequiresStorage to determine which locals can overlapTyler Mandry-4/+0
2019-06-28Remove Clone requirementTyler Mandry-4/+1
2019-06-27Use a more efficient iteration order for forward dataflowDylan MacKenzie-2/+18
2019-06-25Add RequiresStorage pass to decide which locals to save in generatorsTyler Mandry-1/+131
2019-06-25Add DataflowResultsCursorTyler Mandry-0/+94
2019-06-25Make FlowAtLocation support borrowing flow dataTyler Mandry-11/+21
2019-06-25Implement From<Local> for Place and PlaceBaseSantiago Pastorino-5/+5
2019-06-24Auto merge of #61787 - ecstatic-morse:dataflow-split-block-sets, r=pnkfelixbors-382/+262
2019-06-22Merge `BitSetOperator` and `InitialFlow` into one trait.Dylan MacKenzie-110/+51
2019-06-22rustc_mir: don't pass `on_entry` when building transfer functions.Dylan MacKenzie-277/+216
2019-06-22Deny explicit_outlives_requirements in the compilerMatthew Jasper-2/+2
2019-06-20Kill conflicting borrows of places with projections.Dylan MacKenzie-30/+25
2019-06-19Rollup merge of #61842 - Zoxc:trim-lift, r=eddybMazdak Farrokhzad-1/+1
2019-06-18Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-9/+24
2019-06-18rustc: reintroduce lifetime bounds where necessary.Eduard-Mihai Burtescu-1/+1
2019-06-18rustc: remove 'x: 'y bounds (except from comments/strings).Eduard-Mihai Burtescu-26/+26
2019-06-16Auto merge of #60730 - matthewjasper:optimize-false-edges, r=pnkfelixbors-4/+2
2019-06-14Remove unnecessary lift callsJohn Kåre Alsaker-1/+1
2019-06-14Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-21/+4
2019-06-14Unify all uses of 'gcx and 'tcx.Eduard-Mihai Burtescu-92/+92
2019-06-12Make `FalseEdges` always have two targetsMatthew Jasper-4/+2
2019-06-12Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-59/+77
2019-06-12rustc: replace `TyCtxt<'tcx, 'gcx, 'tcx>` with `TyCtxt<'gcx, 'tcx>`.Eduard-Mihai Burtescu-25/+25
2019-06-12Fix fallout from `deny(unused_lifetimes)`.Eduard-Mihai Burtescu-11/+11
2019-06-12rustc: replace `TyCtxt<'a, 'gcx, 'tcx>` with `TyCtxt<'tcx, 'gcx, 'tcx>`.Eduard-Mihai Burtescu-25/+25
2019-06-10Use DataflowResultsConsumer and remove dataflow::for_each_locationTyler Mandry-56/+5
2019-06-10Small review fixesTyler Mandry-1/+1
2019-06-10Collect conflict information in GeneratorLayoutTyler Mandry-0/+56
2019-06-09Changed usages of `mir` in librustc::mir and librustc_mir to `body`Jad Ghalayini-135/+135
2019-06-06Auto merge of #61373 - tmandry:emit-storagedead-along-unwind, r=eddybbors-10/+3
2019-06-04Revert "Make MaybeStorageLive drop-aware"Tyler Mandry-10/+3
2019-06-04Rollup merge of #61069 - Zoxc:drop-borrow-fix, r=pnkfelixPietro Albini-1/+12
2019-05-29Rollup merge of #61249 - spastorino:local-or-deref-local, r=oli-obk,CentrilMazdak Farrokhzad-2/+4
2019-05-28Changes the type `mir::Mir` into `mir::Body`Claude-Alban RANÉLY-VERGÉ-DÉPRÉ-49/+49
2019-05-28Rename Place::local to Place::local_or_deref_localSantiago Pastorino-2/+4
2019-05-26Make move_path_for iterate instead of recurseSantiago Pastorino-14/+27