summary refs log tree commit diff
path: root/src/librustc_mir/borrow_check
AgeCommit message (Expand)AuthorLines
2018-05-05add a comment about Locations::AllNiko Matsakis-0/+36
2018-05-05remove `#[allow(dead_code)]`Niko Matsakis-1/+0
2018-05-05add `-Znll-facts` switch that dumps facts for new analysisNiko Matsakis-54/+438
2018-05-05add location tableNiko Matsakis-0/+132
2018-05-05add `Locations::All` as a conceptNiko Matsakis-50/+74
2018-05-05use `crate` visibility modifierNiko Matsakis-2/+2
2018-05-05add `Location::START` constNiko Matsakis-2/+2
2018-05-04Auto merge of #49870 - pnkfelix:issue-27282-immut-borrow-all-pat-ids-in-guard...bors-1/+2
2018-05-04Auto merge of #50409 - KiChjang:issue-50343, r=nikomatsakisbors-3/+3
2018-05-03Improve instrumentation for the bug reported during `fn report_borrowed_value...Felix S. Klock II-1/+2
2018-05-02Skip checking for unused mutable locals that have no nameKeith Yeung-3/+3
2018-05-02store RegionVariableInfo and not just RegionVariableOriginSean Griffin-5/+5
2018-05-02Auto merge of #50278 - eddyb:mir-succ-iter, r=nikomatsakisbors-2/+0
2018-05-01rustc: return impl Iterator from Terminator(Kind)::successors(_mut).Eduard-Mihai Burtescu-2/+0
2018-04-30Unify MIR assert messages and const eval errorsOliver Schneider-14/+11
2018-04-28Add the actual used mutable var to the setKeith Yeung-65/+102
2018-04-28Return RootPlace in is_mutableNiko Matsakis-7/+35
2018-04-28Skip implicit self argument for closuresKeith Yeung-3/+10
2018-04-28Return LocalMutationIsAllowed in is_mutableKeith Yeung-31/+32
2018-04-28Determine unused mutable variables based on the 'root' placeKeith Yeung-86/+111
2018-04-28Only check possibly initialized values and also loop over fn argsKeith Yeung-4/+19
2018-04-28Track unused mutable variables across closuresKeith Yeung-30/+77
2018-04-28Allow MIR borrowck to catch unused mutable localsKeith Yeung-7/+30
2018-04-27Access individual fields of tuples, closures and generators on drop.Matthew Jasper-10/+30
2018-04-27Auto merge of #50097 - glandium:box_free, r=nikomatsakisbors-69/+1
2018-04-21Auto merge of #50076 - spastorino:fix_exhaust_iter_in_debug, r=pnkfelixbors-14/+14
2018-04-20Remove the explicit box_free type checkMike Hommey-69/+1
2018-04-19Fix Iter exhaustion in prove_predicates when debug is onSantiago Pastorino-14/+14
2018-04-18Work around rust-lang/rust#49998 with experimental code that does less updati...Felix S. Klock II-2/+12
2018-04-17Auto merge of #49836 - nikomatsakis:nll-facts-prep, r=pnkfelixbors-228/+634
2018-04-17Rollup merge of #49647 - kennytm:duplicated-features, r=aturonkennytm-4/+4
2018-04-17Rollup merge of #49931 - csmoe:end_span, r=estebankkennytm-4/+18
2018-04-16Auto merge of #49130 - smmalis37:range, r=alexcrichtonbors-4/+4
2018-04-15s/`use_mir`/`use_mir_borrowck`/Niko Matsakis-2/+2
2018-04-15remove -Znll -- borrowck=mir implies nll nowNiko Matsakis-167/+86
2018-04-15don't expose the `borrows` fieldNiko Matsakis-10/+19
2018-04-15just use an iteratorNiko Matsakis-2/+1
2018-04-15stop using `borrows` for anything but iterating over live dataNiko Matsakis-31/+55
2018-04-15thread borrow-set around moreNiko Matsakis-5/+8
2018-04-15remove `ReserveOrActivateIndex`Niko Matsakis-18/+8
2018-04-15use the `activations_at_location` map to check activationsNiko Matsakis-34/+28
2018-04-15determine whether a borrow is active based solely on the locationNiko Matsakis-7/+76
2018-04-15add useful debugNiko Matsakis-0/+8
2018-04-15encapsulate ReserveOrActivateIndex into the borrows dataflowNiko Matsakis-13/+13
2018-04-15construct the `BorrowSet` outside of `borrows`Niko Matsakis-2/+4
2018-04-15extract code to build borrow-set into `borrow_check::borrow_set`Niko Matsakis-3/+310
2018-04-15relocate `BorrowData` etc into `borrow_check::borrow_set`Niko Matsakis-4/+86
2018-04-15Auto merge of #49885 - spastorino:fn_ref_unsound, r=nikomatsakisbors-20/+35
2018-04-14fix error spancsmoe-4/+18
2018-04-13Auto merge of #49808 - spastorino:dump_cause_ice, r=nikomatsakisbors-13/+25