summary refs log tree commit diff
path: root/src/librustc_mir
AgeCommit message (Expand)AuthorLines
2017-08-26Auto merge of #44082 - pnkfelix:issue-43457, r=eddybbors-8/+2
2017-08-26Auto merge of #44071 - alexcrichton:no-cycles, r=nikomatsakisbors-1/+6
2017-08-25rustc: Add a FIXME for `try_get` in MIR inliningAlex Crichton-1/+6
2017-08-25*: remove crate_{name,type} attributesTamir Duberstein-3/+0
2017-08-25Fix #43457 (and avoid some unneeded lookups to boot, woo).Felix S. Klock II-8/+2
2017-08-22Fix logic error in test guarding prototype MIR borrowck code.Felix S. Klock II-1/+1
2017-08-22Auto merge of #43690 - scalexm:issue-28229, r=nikomatsakisbors-4/+384
2017-08-21Auto merge of #44009 - pnkfelix:mir-borrowck-as-query, r=arielb1bors-28/+22
2017-08-21Auto merge of #43971 - alexcrichton:lint-statements, r=michaelwoeristerbors-1/+1
2017-08-21Moved support code for `rustc_mir::borrow_check` query out of `mod transform`.Felix S. Klock II-1248/+1231
2017-08-21Remove the `rustc_mir::transform` entry point for mir-borrowck.Felix S. Klock II-24/+1
2017-08-21Expose mir-borrowck via a query.Felix S. Klock II-2/+36
2017-08-19rustc: Remove some dead codeVadim Petrochenkov-189/+7
2017-08-17rustc: Rename NodeLocal to NodeBindingAlex Crichton-1/+1
2017-08-17Rollup merge of #43920 - michael-zapata:cleanup/mir, r=arielb1Corey Farwell-6/+4
2017-08-17Auto merge of #43902 - michaelwoerister:fix-mir-passes-promoted, r=arielb1bors-0/+8
2017-08-17refactor(mir): remove unused argumentMichael Zapata-6/+4
2017-08-16Address review comment: `StatementKind::StorageDead` has an effect (running d...Felix S. Klock II-2/+10
2017-08-16Cleanup: Every `BitDenotation` is a `DataflowOperator`, so build that in.Felix S. Klock II-21/+11
2017-08-16Added some documentation for the `struct BlockSets` in `rustc_mir::dataflow`.Felix S. Klock II-0/+19
2017-08-16MIR based borrow check (opt-in).Felix S. Klock II-4/+1389
2017-08-16Factored `MoveData` construction code into `builder` submodule.Felix S. Klock II-313/+334
2017-08-16Move `DataFlowState::{each_bit,interpret_set}` method definitions to parent m...Felix S. Klock II-50/+22
2017-08-16remove now unnecessary constraint on BitDenotation for `fn do_dataflow`.Felix S. Klock II-2/+1
2017-08-16Migrated some code out of `dataflow::drop_flag_effects` and into its parent m...Felix S. Klock II-74/+71
2017-08-16Added dataflow analysis for `Borrows`.Felix S. Klock II-1/+187
2017-08-16Refactor `trait BitDenotation` to take `Location` instead of `BasicBlock`/`us...Felix S. Klock II-40/+29
2017-08-16Move borrowck error msg construction to module in `rustc_mir` (for later reus...Felix S. Klock II-0/+746
2017-08-16Run MIR passes on promoted temporaries again.Michael Woerister-0/+8
2017-08-15use field init shorthand EVERYWHEREZack M. Davis-168/+168
2017-08-15Auto merge of #43859 - arielb1:nonfree-block-live, r=nagisabors-3/+9
2017-08-14Auto merge of #43740 - michaelwoerister:local-id-in-typecktables, r=arielb1bors-26/+38
2017-08-14Use an helper structscalexm-284/+302
2017-08-14Handle unwinding, use a loop for arraysscalexm-55/+242
2017-08-14Optimize clone shim for `Copy` typesscalexm-9/+14
2017-08-14Rename `BuiltinShim` -> `CloneShim`scalexm-8/+7
2017-08-14Do not store `ty`scalexm-4/+4
2017-08-14Make `Clone` a lang item and generate builtin impls.scalexm-4/+175
2017-08-14emit StorageLive for box temporariesAriel Ben-Yehuda-3/+9
2017-08-13Rollup merge of #43814 - Eijebong:fix_typos2, r=petrochenkovGuillaume Gomez-5/+5
2017-08-12Fix some typosBastien Orivel-5/+5
2017-08-12Auto merge of #43746 - eddyb:sound-thread-local, r=alexcrichtonbors-1/+20
2017-08-12Check #[thread_local] statics correctly in the compiler.Eduard-Mihai Burtescu-1/+20
2017-08-12Auto merge of #43794 - Eijebong:fix_typos, r=lukaramu,steveklanik,imperiobors-2/+2
2017-08-12Auto merge of #43772 - arielb1:nonfree-block, r=nagisabors-142/+56
2017-08-11Auto merge of #43748 - RalfJung:mir-validate2, r=arielb1bors-35/+44
2017-08-11Encapsulate sub-table access in TypeckTables and validate keys on each access.Michael Woerister-9/+5
2017-08-11Use DefIndex instead of NodeId in UpvarId.Michael Woerister-12/+15
2017-08-11Use ItemLocalId as key for TypeckTables::cast_kinds.Michael Woerister-1/+4
2017-08-11Use ItemLocalId as key for TypeckTables::fru_field_types.Michael Woerister-1/+4