about summary refs log tree commit diff
path: root/src/librustc_mir/dataflow
AgeCommit message (Expand)AuthorLines
2019-09-28Don't treat locals as mutably borrowed after they're droppedDylan MacKenzie-12/+5
2019-09-28Add analysis to determine if a local is indirectly mutableDylan MacKenzie-4/+157
2019-09-27Remove global_tcx from TyCtxtMark Rousskov-2/+1
2019-09-25Rename `sty` to `kind`varkor-3/+3
2019-09-19Rollup merge of #64566 - ecstatic-morse:generic-dataflow, r=oli-obkMazdak Farrokhzad-0/+513
2019-09-18Rollup merge of #64532 - ecstatic-morse:dataflow-cursor-get, r=tmandryTyler Mandry-26/+2
2019-09-18Rollup merge of #64207 - sinkuu:pub_dataflow, r=tmandryTyler Mandry-9/+9
2019-09-18Fix bug where `is_call_return_effect_applied` was never setDylan MacKenzie-0/+1
2019-09-18Add summary of the current state and future plansDylan MacKenzie-0/+18
2019-09-18Publish `rustc_mir::dataflow` and remove `#[allow(unused)]`Dylan MacKenzie-5/+0
2019-09-18Fix typoDylan MacKenzie-1/+1
2019-09-18Use an associated const for `name`Dylan MacKenzie-2/+2
2019-09-18Fix `Analysis` exampleDylan MacKenzie-2/+4
2019-09-17Add ignore reason to placate `tidy`Dylan MacKenzie-1/+1
2019-09-17Temporarily add `#[allow(unused)]` for CIDylan MacKenzie-0/+2
2019-09-17Document new dataflow analysisDylan MacKenzie-0/+50
2019-09-17Add generic dataflow implDylan MacKenzie-0/+445
2019-09-16Remove `dataflow::state_for_location`Dylan MacKenzie-28/+0
2019-09-16Add a getter for the current state to `DataflowResultsCursor`Dylan MacKenzie-0/+4
2019-09-11Make Place Boxed on Statement to reduce size from 64 bytes to 32 bytesSantiago Pastorino-5/+5
2019-09-09Use slice patterns to match projection baseSantiago Pastorino-2/+1
2019-09-09Make move_path_children_matching closure take a PlaceElem instead of a sliceSantiago Pastorino-4/+7
2019-09-09Convert Place's projection to a boxed sliceSantiago Pastorino-92/+85
2019-09-06Make rustc_mir::dataflow module pubShotaro Yamada-9/+9
2019-09-05Auto merge of #62800 - albins:polonius-initialization-1, r=nikomatsakisbors-134/+153
2019-09-05Rollup merge of #64005 - ecstatic-morse:is-indirect, r=oli-obkMazdak Farrokhzad-13/+4
2019-09-04Rustfmt the files I touchedAlbin Stjerna-135/+147
2019-09-04Polonius: emit initialization/move tracking factsAlbin Stjerna-1/+8
2019-08-31Kill borrows from assignments after generating new borrowsMatthew Jasper-4/+4
2019-08-30Use new `Place::is_indirect` API where possibleDylan MacKenzie-13/+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