summary refs log tree commit diff
path: root/src/librustc_mir/dataflow/at_location.rs
AgeCommit message (Expand)AuthorLines
2018-03-06Remove IdxSet::elemsvarkor-8/+6
2018-03-06Remove IdxSet::each_bitvarkor-4/+2
2018-03-06Remove IdxSet::reset_to_emptyvarkor-4/+4
2017-12-24add pre-statement-effect to dataflowAriel Ben-Yehuda-0/+24
2017-12-15move `flow_in_progress` into `dataflow` and document itNiko Matsakis-8/+34
2017-12-13Incorporate active-borrows dataflow into MIR borrow check, yieldingFelix S. Klock II-2/+4
2017-12-13New `ActiveBorrows` dataflow for two-phase `&mut`; not yet borrowed-checked.Felix S. Klock II-4/+2
2017-12-10move FlowAtLocation to be a dataflow abstractionAriel Ben-Yehuda-0/+186