summary refs log tree commit diff
path: root/src/librustc_mir/dataflow/move_paths
AgeCommit message (Expand)AuthorLines
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
2017-09-03rustc_mir: use Local in ProjectionElem::Index.Eduard-Mihai Burtescu-2/+5
2017-08-16Merge remote-tracking branch 'origin/master' into genAlex Crichton-318/+348
2017-08-16Merge remote-tracking branch 'origin/master' into genAlex Crichton-10/+10
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/+334
2017-08-16Added dataflow analysis for `Borrows`.Felix S. Klock II-0/+3
2017-08-15use field init shorthand EVERYWHEREZack M. Davis-10/+10
2017-08-12Merge branch 'master' of https://github.com/rust-lang/rust into genJohn Kåre Alsaker-0/+7
2017-08-10For box expressions, use NZ drop instead of a free blockAriel Ben-Yehuda-0/+7
2017-08-09Merge remote-tracking branch 'origin/master' into genAlex Crichton-2/+10
2017-07-30add new instructions for asserting when values are valid, and to describe whe...Ralf Jung-0/+1
2017-07-28Remove support for `gen arg`Alex Crichton-1/+0
2017-07-28Rename suspend to yieldJohn Kåre Alsaker-1/+1
2017-07-28Generator literal supportJohn Kåre Alsaker-0/+6
2017-07-27erase types in the move-path abstract domainAriel Ben-Yehuda-2/+9
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/+593