about summary refs log tree commit diff
path: root/src/librustc_mir/dataflow/move_paths
AgeCommit message (Expand)AuthorLines
2018-11-03Unions reinitialized after assignment into field.David Wood-0/+14
2018-11-02Auto merge of #55087 - levex:e0669-improve-span, r=nagisabors-1/+1
2018-11-02Auto merge of #55316 - RalfJung:retagging, r=oli-obkbors-1/+1
2018-11-01Use `SmallVec` within `MoveData`.Nicholas Nethercote-9/+10
2018-10-29Emit Retag statements, kill Validate statementsRalf Jung-1/+1
2018-10-19Prefer `Default::default` over `FxHash*::default` in struct constructorsOliver Scherer-2/+1
2018-10-19Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hackOliver Scherer-1/+1
2018-10-17rustc: improve E0669 spanLevente Kurusa-1/+1
2018-10-03Record whether a Call in MIR corresponds to a call in HIRMatthew Jasper-1/+7
2018-09-24Shrink StatementKind::InlineAsm.Nicholas Nethercote-1/+1
2018-09-22Auto merge of #54188 - lqd:fallout-53695, r=nikomatsakisbors-1/+1
2018-09-18Refactor 'ReadForMatch' into 'FakeRead' and add the cause of the fake readRemy Rakic-1/+1
2018-09-17Inspect parents paths when checking for movesSantiago Pastorino-0/+14
2018-09-10add the `AscribeUserType` statement kindNiko Matsakis-1/+1
2018-09-08Auto merge of #53909 - mikhail-m1:53643, r=nikomatsakisbors-0/+10
2018-09-07Auto merge of #54021 - kennytm:rollup, r=kennytmbors-1/+1
2018-09-06Skip a shared borrow of a immutable local variablesMikhail Modin-0/+10
2018-09-05A few cleanups and minor improvements to mir/dataflowljedrz-1/+1
2018-08-30Added InitLocation to encode Location or Local depending on source of InitDavid Wood-7/+24
2018-08-22Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...varkor-5/+5
2018-08-14Label definition of captured variables in errors.David Wood-7/+10
2018-07-23Promoteds are statics and statics have a place, not just a valueOliver Schneider-0/+2
2018-07-21Add specific message when moving from upvars in a non-FnOnce closureMatthew Jasper-5/+5
2018-06-27Group move errors before reporting, add suggestionsMatthew Jasper-11/+10
2018-06-06When NLL has illegal move due to borrowed content, provide feedback about why...Felix S. Klock II-5/+20
2018-05-29rust-lang/rust#27282: Add `StatementKind::ReadForMatch` to MIR.Felix S. Klock II-0/+3
2018-05-24Use AllFacts from polonius-engineSantiago Pastorino-1/+1
2018-04-15remove `ReserveOrActivateIndex`Niko Matsakis-3/+0
2018-03-24Auto merge of #48482 - davidtwco:issue-47184, r=nikomatsakisbors-0/+1
2018-03-22Added UserAssertTy statement.David Wood-0/+1
2018-03-17Use num::NonZero* instead of NonZero<_> in rustc and testsSimon Sapin-3/+3
2018-02-15mir: Gather move at SwitchInt, Assert terminatorsFederico Poli-3/+6
2018-02-05mir: Add TerminatorKind::FalseUnwindbobtwinkles-0/+1
2018-01-29rustc: replace "lvalue" terminology with "place" in the code.Eduard-Mihai Burtescu-3/+3
2017-12-26Auto merge of #46975 - matthewjasper:mir-moveck-asm, r=arielb1bors-1/+10
2017-12-23Give MIR borrowck a better understanding of inline asmMatthew Jasper-1/+10
2017-12-21Mir: Add Terminatorkind::AbortDavid Henningsson-0/+1
2017-12-13New `ActiveBorrows` dataflow for two-phase `&mut`; not yet borrowed-checked.Felix S. Klock II-0/+3
2017-12-04inform constraint generation using maybe-initPaul Daniel Faria-0/+4
2017-12-01MIR: s/lv(al(ue)?)?/place in function/variable/module names.Eduard-Mihai Burtescu-43/+43
2017-12-01MIR: s/Lvalue/Place in type names.Eduard-Mihai Burtescu-21/+21
2017-11-28MIR: split Operand::Consume into Copy and Move.Eduard-Mihai Burtescu-32/+13
2017-11-27Add initialization info to `MoveData`Matthew Jasper-2/+96
2017-11-15add `StorageDead` handlingMikhail Modin-7/+9
2017-11-13Use the correct type for cannot move errormatthewjasper-8/+7
2017-11-02add TerminatorKind::FalseEdges and use it in matchesMikhail Modin-0/+1
2017-10-31make the dataflow / mir-borrowck types carry a `'tcx` lifetimeNiko Matsakis-20/+20
2017-10-31test "needs drop" on region-erased, lifted typesNiko Matsakis-1/+3
2017-10-04Made `move_paths::MoveError` take span param in `cannot_move_out_of` ctor.Felix S. Klock II-48/+79
2017-10-04mir-borrowck: Gather move errors during MoveData construction and report them.Felix S. Klock II-32/+69