about summary refs log tree commit diff
path: root/src/librustc_mir/dataflow/impls/borrows.rs
AgeCommit message (Expand)AuthorLines
2018-12-18treat ref-to-raw cast like a reborrow: do a special kind of retagRalf Jung-1/+0
2018-12-17Add required lifetime parameter to BitDenotation.David Wood-28/+17
2018-12-17Kill borrows from a projection after assignment.David Wood-23/+54
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-1/+1
2018-11-30Remove the `region_map` field from `BorrowSet`Matthew Jasper-8/+1
2018-11-18Only handle ReVar regions in NLL borrowckMatthew Jasper-82/+9
2018-11-18Remove mir::StatementKind::EndRegionMatthew Jasper-5/+1
2018-11-07no more action on ref or cast, but add new MIR statement for escaping a ptr t...Ralf Jung-0/+1
2018-10-29Emit Retag statements, kill Validate statementsRalf Jung-1/+1
2018-10-22Replace the `run_passes!` macro with a regular functionWesley Wiser-1/+0
2018-10-19Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hackOliver Scherer-2/+2
2018-09-24Shrink StatementKind::Assign.Nicholas Nethercote-1/+1
2018-09-18Refactor 'ReadForMatch' into 'FakeRead' and add the cause of the fake readRemy Rakic-1/+1
2018-09-18Auto merge of #54286 - nnethercote:BitSet, r=pnkfelixbors-12/+11
2018-09-18Eliminate `BitwiseOperator`.Nicholas Nethercote-5/+5
2018-09-18Merge indexed_set.rs into bitvec.rs, and rename it bit_set.rs.Nicholas Nethercote-8/+7
2018-09-15Make rustc::middle::region::Scope's fields publicMarshall Bowers-1/+4
2018-09-15Auto merge of #54177 - nnethercote:streamline-bit-stuff, r=Mark-Simulacrumbors-1/+1
2018-09-13Remove bitslice.rs.Nicholas Nethercote-1/+1
2018-09-10add the `AscribeUserType` statement kindNiko Matsakis-1/+1
2018-09-08Auto merge of #53909 - mikhail-m1:53643, r=nikomatsakisbors-2/+8
2018-09-08Rollup merge of #53942 - nnethercote:faster-precompute, r=nikomatsakiskennytm-41/+79
2018-09-06Skip a shared borrow of a immutable local variablesMikhail Modin-2/+8
2018-09-05A few cleanups and minor improvements to mir/dataflowljedrz-3/+1
2018-09-04Rewrite `precompute_borrows_out_of_scope` for fewer hash table lookups.Nicholas Nethercote-41/+79
2018-08-18Use the new Entry::or_default method where possible.Eduard-Mihai Burtescu-1/+1
2018-08-08optimize redundant borrowsNiko Matsakis-1/+1
2018-07-24Auto merge of #52597 - oli-obk:promotion_simplify, r=nagisabors-0/+1
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/+1
2018-07-17Auto merge of #52335 - nnethercote:BitSlice-fixes, r=nikomatsakisbors-2/+2
2018-07-13compute region values using SCCs not iterative flowNiko Matsakis-1/+1
2018-07-13Make BitSlice's `Word` properly generic.Nicholas Nethercote-2/+2
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/+1
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-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-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-59/+20
2018-04-15use the `activations_at_location` map to check activationsNiko Matsakis-0/+7