summary refs log tree commit diff
path: root/src/librustc_mir/dataflow/at_location.rs
AgeCommit message (Expand)AuthorLines
2019-02-10rustc: doc commentsAlexander Regueiro-2/+2
2019-02-08librustc_mir => 2018Taiki Endo-4/+4
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-20Auto merge of #56649 - davidtwco:issue-46589, r=pnkfelixbors-10/+10
2018-12-17Add required lifetime parameter to BitDenotation.David Wood-10/+10
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-1/+1
2018-09-18Merge indexed_set.rs into bitvec.rs, and rename it bit_set.rs.Nicholas Nethercote-11/+10
2018-09-14Remove `Iter` and `SparseIter` in indexed_set.rs.Nicholas Nethercote-3/+4
2018-09-07make field always private, add `From` implsNiko Matsakis-1/+0
2018-08-27implement liveness tracing, remove old liveness systemNiko Matsakis-0/+15
2018-08-24Introduce `UnionIntoIdxSet` and `SubtractFromIdxSet` traits.Nicholas Nethercote-4/+4
2018-08-20Remove IdxSet typedef and Rename {,Hybrid}IdxSetBuf as {,Hybrid}IdxSet.Nicholas Nethercote-7/+7
2018-08-16Speed up NLL with `HybridIdxSetBuf`.Nicholas Nethercote-9/+9
2018-06-29Rename `IdxSet::clone_from`.Nicholas Nethercote-1/+1
2018-06-19Avoid allocations in `has_any_child_of`.Nicholas Nethercote-11/+18
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