summary refs log tree commit diff
path: root/src/librustc_mir/dataflow/impls
AgeCommit message (Expand)AuthorLines
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
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-76/+25
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-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-22Added UserAssertTy statement.David Wood-0/+1
2018-03-09Remove some commented out codebobtwinkles-12/+0
2018-03-09Check for two_phase_borrows in the right placebobtwinkles-1/+1
2018-03-09Fix tests after two-phase borrow rewritebobtwinkles-17/+10
2018-03-09Remove unused field on BorrowDatabobtwinkles-3/+1
2018-03-09Complete re-implementation of 2-phase borrowsbobtwinkles-32/+32
2018-03-09Finally start down the right pathbobtwinkles-351/+365
2018-03-09Rename BorrowData::location to BorrowData::reserve_locationbobtwinkles-4/+7
2018-03-08Fully use miri in transOliver Schneider-1/+1
2018-03-02Replace Rc with Lrc for shared dataJohn Kåre Alsaker-2/+3
2018-02-17fix more typos found by codespell.Matthias Krüger-2/+2
2018-02-09Auto merge of #47802 - bobtwinkles:loop_false_edge, r=nikomatsakisbors-0/+1
2018-02-08Encode (in MIR) whether borrows are explicit in source or arise due to autoref.Felix S. Klock II-1/+1
2018-02-05mir: Add TerminatorKind::FalseUnwindbobtwinkles-0/+1
2018-02-03Auto merge of #47845 - Zoxc:gen-fixes, r=nikomatsakisbors-0/+122
2018-01-30Fix ICE when assigning references to a static mut with NLLAaron Hill-2/+1
2018-01-30Force locals to be live after they are borrowed for immovable generators. Fix...John Kåre Alsaker-0/+122
2018-01-29rustc: replace "lvalue" terminology with "place" in the code.Eduard-Mihai Burtescu-56/+56
2018-01-27end_point handling multibyte characters correctly.David Wood-2/+2
2018-01-18in which the unused-parens lint comes to cover function and method argsZack M. Davis-1/+1
2018-01-03Auto merge of #46984 - arielb1:pre-statement-effect, r=nikomatsakisbors-0/+28
2017-12-26Auto merge of #46975 - matthewjasper:mir-moveck-asm, r=arielb1bors-1/+14
2017-12-24Make killing of out-of-scope borrows a pre-statement effectAriel Ben-Yehuda-0/+28
2017-12-24Auto merge of #46833 - diwic:7c-abort-ffi, r=arielb1bors-0/+1
2017-12-23Give MIR borrowck a better understanding of inline asmMatthew Jasper-1/+14
2017-12-21Issue #46589 - Kill borrows on a local variable whenever we assign over this ...David Teller-10/+25
2017-12-21Rollup merge of #46887 - pnkfelix:ensure-activations-are-from-assignments-to-...Guillaume Gomez-1/+17
2017-12-21Mir: Add Terminatorkind::AbortDavid Henningsson-0/+1
2017-12-20use Rc to store nonlexical_regioncx in BorrowsNiko Matsakis-2/+2
2017-12-20Ensure separate activations only occur for assignments to locals, not project...Felix S. Klock II-1/+17
2017-12-19Split PlaceContext::Store into Store & AsmOutputScott McMurray-0/+4
2017-12-13After discussion with ariel, replacing a guard within kill_loans_out_of_scope...Felix S. Klock II-33/+33
2017-12-13Add some doc to `struct Borrows`.Felix S. Klock II-3/+22
2017-12-13New `ActiveBorrows` dataflow for two-phase `&mut`; not yet borrowed-checked.Felix S. Klock II-64/+394
2017-12-13Refactoring alpha-rename `place` (`BorrowData` field) to `borrowed_place`.Felix S. Klock II-4/+4
2017-12-13Refactoring: pull bitvector initialization out from other parts of dataflow.Felix S. Klock II-9/+9
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 22:11:46 +0000