summary refs log tree commit diff
path: root/src/librustc_mir/dataflow/mod.rs
AgeCommit message (Expand)AuthorLines
2018-03-15Rollup merge of #48840 - varkor:idxset-cleanup, r=pnkfelixkennytm-2/+1
2018-03-09Finally start down the right pathbobtwinkles-20/+21
2018-03-06Remove IdxSet::each_bitvarkor-2/+1
2018-03-02Run Rustfix on librustc_mirManish Goregaokar-1/+1
2018-02-05mir: Add TerminatorKind::FalseUnwindbobtwinkles-0/+8
2018-02-03Auto merge of #47845 - Zoxc:gen-fixes, r=nikomatsakisbors-0/+1
2018-01-30Force locals to be live after they are borrowed for immovable generators. Fix...John Kåre Alsaker-0/+1
2018-01-29rustc: replace "lvalue" terminology with "place" in the code.Eduard-Mihai Burtescu-3/+3
2018-01-03Auto merge of #46984 - arielb1:pre-statement-effect, r=nikomatsakisbors-3/+44
2017-12-24add pre-statement-effect to dataflowAriel Ben-Yehuda-3/+44
2017-12-21Mir: Add Terminatorkind::AbortDavid Henningsson-0/+1
2017-12-13New `ActiveBorrows` dataflow for two-phase `&mut`; not yet borrowed-checked.Felix S. Klock II-50/+92
2017-12-13Refactoring: Allow `BlockSets.on_entry` to denote locally accumulated intrabl...Felix S. Klock II-0/+30
2017-12-13Refactoring: pull bitvector initialization out from other parts of dataflow.Felix S. Klock II-12/+9
2017-12-13Revised graphviz rendering API to avoid requiring borrowed state.Felix S. Klock II-13/+32
2017-12-10avoid passing the gen/kill bits to `start_block_effects`Ariel Ben-Yehuda-9/+6
2017-12-10move FlowAtLocation to be a dataflow abstractionAriel Ben-Yehuda-29/+7
2017-12-06handle gen/kill sets togetherAriel Ben-Yehuda-0/+30
2017-12-01MIR: s/lv(al(ue)?)?/place in function/variable/module names.Eduard-Mihai Burtescu-3/+3
2017-12-01MIR: s/Lvalue/Place in type names.Eduard-Mihai Burtescu-1/+1
2017-11-27Add initialization info to `MoveData`Matthew Jasper-0/+1
2017-11-08restore move out dataflow, add report of move out errorsMikhail Modin-1/+1
2017-11-02add TerminatorKind::FalseEdges and use it in matchesMikhail Modin-0/+6
2017-10-31make the dataflow / mir-borrowck types carry a `'tcx` lifetimeNiko Matsakis-12/+12
2017-09-13Analyse storage liveness and preserve it during generator transformationJohn Kåre Alsaker-0/+24
2017-08-21Merge remote-tracking branch 'origin/master' into genAlex Crichton-3/+1
2017-08-19rustc: Remove some dead codeVadim Petrochenkov-3/+1
2017-08-16Merge remote-tracking branch 'origin/master' into genAlex Crichton-34/+237
2017-08-16Merge remote-tracking branch 'origin/master' into genAlex Crichton-4/+4
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/+112
2017-08-16Move `DataFlowState::{each_bit,interpret_set}` method definitions to parent m...Felix S. Klock II-0/+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-4/+69
2017-08-16Added dataflow analysis for `Borrows`.Felix S. Klock II-1/+1
2017-08-16Refactor `trait BitDenotation` to take `Location` instead of `BasicBlock`/`us...Felix S. Klock II-8/+7
2017-08-15use field init shorthand EVERYWHEREZack M. Davis-4/+4
2017-08-14Merge remote-tracking branch 'origin/master' into genAlex Crichton-3/+3
2017-08-12Fix some typosBastien Orivel-3/+3
2017-07-28Rename suspend to yieldJohn Kåre Alsaker-2/+2
2017-07-28Generator literal supportJohn Kåre Alsaker-0/+6
2017-06-28Shift mir-dataflow from `rustc_borrowck` to `rustc_mir` crate.Felix S. Klock II-0/+508
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 03:34:03 +0000