summary refs log tree commit diff
path: root/src/librustc_mir/borrow_check/mod.rs
AgeCommit message (Expand)AuthorLines
2018-03-22Added UserAssertTy statement.David Wood-3/+5
2018-03-15Rollup merge of #48840 - varkor:idxset-cleanup, r=pnkfelixkennytm-5/+5
2018-03-13transition various normalization functions to the new methodsNiko Matsakis-1/+1
2018-03-09Finally start down the right pathbobtwinkles-38/+15
2018-03-08Rollup merge of #48682 - spastorino:make_causal_lazy, r=nikomatsakisManish Goregaokar-67/+65
2018-03-08Fully use miri in transOliver Schneider-6/+7
2018-03-06Run rustfmt over modified filesSantiago Pastorino-67/+63
2018-03-06Make causal tracking lazySantiago Pastorino-1/+3
2018-03-06Remove IdxSet::elemsvarkor-5/+5
2018-03-05Turn features() into a query.Michael Woerister-5/+5
2018-02-17fix more typos found by codespell.Matthias Krüger-4/+4
2018-02-14Normalizing associated types when checking borrows in drops.David Wood-8/+23
2018-02-14check that types "need drop" before we access themNiko Matsakis-12/+28
2018-02-14Simplified logic and corrected shallow to deep.David Wood-29/+11
2018-02-14Handle recursive case of dropping structs with field accesses when struct has...David Wood-48/+71
2018-02-14Fixed incorrect reporting of errors when checking borrows in drops.David Wood-11/+41
2018-02-09Auto merge of #47802 - bobtwinkles:loop_false_edge, r=nikomatsakisbors-1/+2
2018-02-08Restrict two-phase borrows to solely borrows introduced via autoref.Felix S. Klock II-2/+11
2018-02-08Encode (in MIR) whether borrows are explicit in source or arise due to autoref.Felix S. Klock II-7/+7
2018-02-07Auto merge of #47607 - davidtwco:issue-45697, r=nikomatsakisbors-25/+35
2018-02-05Swapped order of left/right visits to ensure consistency in read/write pass o...David Wood-7/+7
2018-02-05mir: Add TerminatorKind::FalseUnwindbobtwinkles-1/+2
2018-01-29rustc_borrowck: replace "lvalue" terminology with "place" in docs.Eduard-Mihai Burtescu-1/+1
2018-01-29rustc: replace "lvalue" terminology with "place" in the code.Eduard-Mihai Burtescu-5/+5
2018-01-27Added logging for error suppression.David Wood-1/+4
2018-01-27Encompassed error deduplication of some existing sets in the ctxt.David Wood-26/+17
2018-01-27Introduced a new set to stop duplicate errors from MIR passes on one place/span.David Wood-0/+16
2018-01-27end_point handling multibyte characters correctly.David Wood-1/+2
2018-01-23Port borrows across yield check to MIR borrowckJohn Kåre Alsaker-0/+61
2018-01-03Auto merge of #46984 - arielb1:pre-statement-effect, r=nikomatsakisbors-0/+2
2017-12-26Auto merge of #46975 - matthewjasper:mir-moveck-asm, r=arielb1bors-1/+1
2017-12-24Make killing of out-of-scope borrows a pre-statement effectAriel Ben-Yehuda-0/+2
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/+1
2017-12-21Issue #46589 - Kill borrows on a local variable whenever we assign over this ...David Teller-6/+1
2017-12-21Mir: Add Terminatorkind::AbortDavid Henningsson-0/+1
2017-12-20document and tweak the nll, use_mir, etc helpersNiko Matsakis-4/+1
2017-12-20feature nll implies borrowck=mirSantiago Pastorino-1/+1
2017-12-20feature nll implies two-phase-borrowsSantiago Pastorino-3/+3
2017-12-20Add nll feature and make nll imply nll_dump_causeSantiago Pastorino-3/+3
2017-12-20integrate -Znll-dump-cause into borrowckNiko Matsakis-0/+6
2017-12-20use Rc to store nonlexical_regioncx in BorrowsNiko Matsakis-1/+3
2017-12-20rustfmt: borrow_check/mod.rsNiko Matsakis-178/+229
2017-12-15permit `ClosureOutlivesRequirement` to constrain regions or typesNiko Matsakis-2/+2
2017-12-15move `flow_in_progress` into `dataflow` and document itNiko Matsakis-2/+2
2017-12-14Address review feedback: don't treat "first" activation special.Felix S. Klock II-6/+14
2017-12-14Address review feedback: don't bother skipping reservations paired with activ...Felix S. Klock II-10/+0
2017-12-14Address review note: `AccessErrorsReported` meant to track whether error repo...Felix S. Klock II-1/+1
2017-12-13Check activation points as the place where mutable borrows become relevant.Felix S. Klock II-4/+120
2017-12-13Incorporate active-borrows dataflow into MIR borrow check, yieldingFelix S. Klock II-4/+20