summary refs log tree commit diff
path: root/src/librustc_mir/dataflow/move_paths/mod.rs
AgeCommit message (Expand)AuthorLines
2019-02-08librustc_mir => 2018Taiki Endo-8/+11
2018-12-25Remove licensesMark Rousskov-11/+0
2018-11-01Use `SmallVec` within `MoveData`.Nicholas Nethercote-4/+5
2018-09-17Inspect parents paths when checking for movesSantiago Pastorino-0/+14
2018-09-08Auto merge of #53909 - mikhail-m1:53643, r=nikomatsakisbors-0/+10
2018-09-06Skip a shared borrow of a immutable local variablesMikhail Modin-0/+10
2018-08-30Added InitLocation to encode Location or Local depending on source of InitDavid Wood-3/+21
2018-08-14Label definition of captured variables in errors.David Wood-1/+1
2018-07-23Promoteds are statics and statics have a place, not just a valueOliver Schneider-0/+1
2018-07-21Add specific message when moving from upvars in a non-FnOnce closureMatthew Jasper-3/+3
2018-06-27Group move errors before reporting, add suggestionsMatthew Jasper-4/+4
2018-06-06When NLL has illegal move due to borrowed content, provide feedback about why...Felix S. Klock II-1/+15
2018-05-24Use AllFacts from polonius-engineSantiago Pastorino-1/+1
2018-04-15remove `ReserveOrActivateIndex`Niko Matsakis-3/+0
2018-03-17Use num::NonZero* instead of NonZero<_> in rustc and testsSimon Sapin-3/+3
2018-01-29rustc: replace "lvalue" terminology with "place" in the code.Eduard-Mihai Burtescu-3/+3
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-8/+8
2017-12-01MIR: s/Lvalue/Place in type names.Eduard-Mihai Burtescu-5/+5
2017-11-28MIR: split Operand::Consume into Copy and Move.Eduard-Mihai Burtescu-4/+2
2017-11-27Add initialization info to `MoveData`Matthew Jasper-0/+37
2017-11-13Use the correct type for cannot move errormatthewjasper-2/+1
2017-10-31make the dataflow / mir-borrowck types carry a `'tcx` lifetimeNiko Matsakis-3/+3
2017-10-04Made `move_paths::MoveError` take span param in `cannot_move_out_of` ctor.Felix S. Klock II-3/+3
2017-10-04mir-borrowck: Gather move errors during MoveData construction and report them.Felix S. Klock II-1/+30
2017-08-16MIR based borrow check (opt-in).Felix S. Klock II-0/+6
2017-08-16Factored `MoveData` construction code into `builder` submodule.Felix S. Klock II-313/+2
2017-08-16Added dataflow analysis for `Borrows`.Felix S. Klock II-0/+3
2017-08-15use field init shorthand EVERYWHEREZack M. Davis-7/+7
2017-08-10For box expressions, use NZ drop instead of a free blockAriel Ben-Yehuda-0/+7
2017-07-30add new instructions for asserting when values are valid, and to describe whe...Ralf Jung-0/+1
2017-07-26Rollup merge of #42959 - SimonSapin:nonzero-checked, r=sfacklerMark Simulacrum-1/+1
2017-07-23Fix some doc/comment typos.Bruce Mitchener-1/+1
2017-07-22Use checked NonZero constructor in MIR move path indicesSimon Sapin-1/+1
2017-07-22Rename {NonZero,Shared,Unique}::new to new_uncheckedSimon Sapin-1/+1
2017-06-28Shift mir-dataflow from `rustc_borrowck` to `rustc_mir` crate.Felix S. Klock II-0/+531