summary refs log tree commit diff
path: root/src/librustc_mir/dataflow
AgeCommit message (Expand)AuthorLines
2017-12-26Auto merge of #46975 - matthewjasper:mir-moveck-asm, r=arielb1bors-2/+24
2017-12-24Auto merge of #46833 - diwic:7c-abort-ffi, r=arielb1bors-0/+3
2017-12-23Give MIR borrowck a better understanding of inline asmMatthew Jasper-2/+24
2017-12-21Issue #46589 - Kill borrows on a local variable whenever we assign over this ...David Teller-10/+25
2017-12-21Rollup merge of #46887 - pnkfelix:ensure-activations-are-from-assignments-to-...Guillaume Gomez-1/+17
2017-12-21Mir: Add Terminatorkind::AbortDavid Henningsson-0/+3
2017-12-20use Rc to store nonlexical_regioncx in BorrowsNiko Matsakis-2/+2
2017-12-20Ensure separate activations only occur for assignments to locals, not project...Felix S. Klock II-1/+17
2017-12-20Rollup merge of #46852 - scottmcm:asm-placecontext, r=arielb1kennytm-0/+4
2017-12-19Split PlaceContext::Store into Store & AsmOutputScott McMurray-0/+4
2017-12-15move `flow_in_progress` into `dataflow` and document itNiko Matsakis-8/+34
2017-12-13After discussion with ariel, replacing a guard within kill_loans_out_of_scope...Felix S. Klock II-33/+33
2017-12-13Incorporate active-borrows dataflow into MIR borrow check, yieldingFelix S. Klock II-2/+4
2017-12-13Add some doc to `struct Borrows`.Felix S. Klock II-3/+22
2017-12-13New `ActiveBorrows` dataflow for two-phase `&mut`; not yet borrowed-checked.Felix S. Klock II-118/+491
2017-12-13Refactoring alpha-rename `place` (`BorrowData` field) to `borrowed_place`.Felix S. Klock II-4/+4
2017-12-13Refactoring: Allow `BlockSets.on_entry` to denote locally accumulated intrabl...Felix S. Klock II-0/+30
2017-12-13Refactoring: pull bitvector initialization out from other parts of dataflow.Felix S. Klock II-21/+18
2017-12-13Revised graphviz rendering API to avoid requiring borrowed state.Felix S. Klock II-18/+37
2017-12-11Added test for #46472David Wood-0/+2
2017-12-10avoid passing the gen/kill bits to `start_block_effects`Ariel Ben-Yehuda-23/+23
2017-12-10move FlowAtLocation to be a dataflow abstractionAriel Ben-Yehuda-29/+193
2017-12-06work around weird match arm lifetimesAriel Ben-Yehuda-3/+23
2017-12-06fix borrows across loops, libcore *almost* compilesAriel Ben-Yehuda-2/+29
2017-12-06handle gen/kill sets togetherAriel Ben-Yehuda-50/+46
2017-12-06fix handling of CallScopeDataAriel Ben-Yehuda-3/+26
2017-12-04constraint_generation: create liveness constraints more thoroughlyNiko Matsakis-4/+0
2017-12-04inform constraint generation using maybe-initPaul Daniel Faria-5/+9
2017-12-03Auto merge of #46334 - mikhail-m1:slice_pattern_array_drop, r=arielb1bors-1/+6
2017-12-03don't track borrows for empty regionsAriel Ben-Yehuda-0/+6
2017-12-03fix handling of borrows at a function's endAriel Ben-Yehuda-0/+4
2017-12-02create a drop ladder for an array if any value is moved outMikhail Modin-1/+6
2017-12-01MIR: s/lv(al(ue)?)?/place in function/variable/module names.Eduard-Mihai Burtescu-90/+90
2017-12-01MIR: s/Lvalue/Place in type names.Eduard-Mihai Burtescu-39/+39
2017-11-28MIR: split Operand::Consume into Copy and Move.Eduard-Mihai Burtescu-32/+13
2017-11-27Add initialization info to `MoveData`Matthew Jasper-97/+299
2017-11-24Kill the storage for all locals on returning terminatorsKeith Yeung-0/+29
2017-11-18Auto merge of #46032 - KiChjang:ignore-borrowck-statics, r=nikomatsakisbors-8/+50
2017-11-17Do not registor borrows for unsafe lvaluesKeith Yeung-8/+50
2017-11-16replace `RegionIndex` with `RegionVid` (which now impls Idx)Niko Matsakis-2/+2
2017-11-15fix comment, remove redundant codeMikhail Modin-19/+5
2017-11-15add `StorageDead` handlingMikhail Modin-15/+29
2017-11-15Auto merge of #45922 - vramana:fix-45702, r=nikomatsakisbors-5/+11
2017-11-13Use the correct type for cannot move errormatthewjasper-8/+7
2017-11-11Fix MIR borrowck EndRegion not foundRamana Venkata-5/+11
2017-11-09Add `TerminatorKind::DropAndReplace` handlingMikhail Modin-0/+13
2017-11-08restore move out dataflow, add report of move out errorsMikhail Modin-2/+162
2017-11-06Auto merge of #45668 - nikomatsakis:nll-free-region, r=arielb1bors-7/+17
2017-11-02encapsulate the `Region` struct within region inferenceNiko Matsakis-5/+15
2017-11-02extend NLL regions to include free region indices and add outlivesNiko Matsakis-3/+3