summary refs log tree commit diff
path: root/src/librustc_mir/dataflow
AgeCommit message (Expand)AuthorLines
2018-07-24Auto merge of #52597 - oli-obk:promotion_simplify, r=nagisabors-0/+4
2018-07-24Rollup merge of #52641 - ljedrz:mir_dataflow_misc, r=cramertjkennytm-12/+3
2018-07-23Simplify 2 functions in rustc_mir/dataflowljedrz-12/+3
2018-07-23Remove unneded lifetimes relations declarationSantiago Pastorino-2/+2
2018-07-23Let mir reference lifetime be inferredSantiago Pastorino-2/+2
2018-07-23Promoteds are statics and statics have a place, not just a valueOliver Schneider-0/+4
2018-07-21Add specific message when moving from upvars in a non-FnOnce closureMatthew Jasper-5/+5
2018-07-17Auto merge of #52335 - nnethercote:BitSlice-fixes, r=nikomatsakisbors-27/+17
2018-07-13compute region values using SCCs not iterative flowNiko Matsakis-1/+1
2018-07-13Make BitSlice's `Word` properly generic.Nicholas Nethercote-15/+15
2018-07-13Inline and remove `DataflowAnalysis::num_bits_overall()`.Nicholas Nethercote-13/+3
2018-07-06Rollup merge of #52067 - csmoe:issue-51167, r=nikomatsakisMark Rousskov-1/+2
2018-07-05reverse_postordercsmoe-1/+2
2018-07-03Address #51813Pramod Bisht-44/+44
2018-07-01Auto merge of #51869 - nnethercote:rm-clone_from, r=nikomatsakisbors-2/+2
2018-06-29Rename `IdxSet::clone_from`.Nicholas Nethercote-2/+2
2018-06-27Group move errors before reporting, add suggestionsMatthew Jasper-11/+10
2018-06-19Avoid allocations in `has_any_child_of`.Nicholas Nethercote-11/+18
2018-06-06When NLL has illegal move due to borrowed content, provide feedback about why...Felix S. Klock II-5/+20
2018-05-30Auto merge of #51106 - davidtwco:issue-50934, r=nikomatsakisbors-13/+77
2018-05-29rust-lang/rust#27282: Add `StatementKind::ReadForMatch` to MIR.Felix S. Klock II-0/+4
2018-05-29fix off by one errorNiko Matsakis-1/+1
2018-05-29tweak debug output some moreNiko Matsakis-2/+7
2018-05-29Ensure that all statements in block are visited not just successors of a block.David Wood-8/+18
2018-05-29add some debugging statementsNiko Matsakis-0/+3
2018-05-29Refactored DFS to be much cleaner. Added continue after noting that borrow is...David Wood-99/+27
2018-05-27Ensure that depth first search does not get stuck in cycles.David Wood-12/+28
2018-05-27Ensure that we don't skip the last statement.David Wood-2/+2
2018-05-27Use precomputed DFS of borrows that out of scope at a location.David Wood-14/+116
2018-05-24Use AllFacts from polonius-engineSantiago Pastorino-1/+1
2018-05-19Remove extra calls to kill_loans_out_of_scope_at_location - keep only before_...David Wood-5/+0
2018-05-03Instrument `statement_effect_on_borrows` for the `lhs = &place` case.Felix S. Klock II-0/+6
2018-05-01rustc: return impl Iterator from Terminator(Kind)::successors(_mut).Eduard-Mihai Burtescu-3/+3
2018-04-15remove -Znll -- borrowck=mir implies nll nowNiko Matsakis-31/+20
2018-04-15stop using `borrows` for anything but iterating over live dataNiko Matsakis-26/+1
2018-04-15thread borrow-set around moreNiko Matsakis-3/+3
2018-04-15remove `ReserveOrActivateIndex`Niko Matsakis-62/+20
2018-04-15use the `activations_at_location` map to check activationsNiko Matsakis-0/+7
2018-04-15encapsulate ReserveOrActivateIndex into the borrows dataflowNiko Matsakis-1/+0
2018-04-15construct the `BorrowSet` outside of `borrows`Niko Matsakis-8/+8
2018-04-15extract code to build borrow-set into `borrow_check::borrow_set`Niko Matsakis-404/+12
2018-04-15relocate `BorrowData` etc into `borrow_check::borrow_set`Niko Matsakis-77/+26
2018-04-15gather activation locations for 2-phase borrows in 1 passNiko Matsakis-98/+139
2018-04-15remove `assigned_map` (appears to be dead code)Niko Matsakis-9/+0
2018-04-07Auto merge of #49678 - bobtwinkles:fix_multiple_activations, r=nikomatsakisbors-14/+8
2018-04-06Use `Ident` instead of `Name` in `MetaItem`Vadim Petrochenkov-1/+1
2018-04-04two-phase borrows: support multiple activations in one statementbobtwinkles-14/+8
2018-04-02avoid IdxSets containing garbage above the universe lengthAriel Ben-Yehuda-2/+2
2018-03-24Auto merge of #48482 - davidtwco:issue-47184, r=nikomatsakisbors-0/+2
2018-03-22Added UserAssertTy statement.David Wood-0/+2