summary refs log tree commit diff
path: root/src/librustc_mir/transform
AgeCommit message (Expand)AuthorLines
2017-08-25rustc: Add a FIXME for `try_get` in MIR inliningAlex Crichton-1/+6
2017-08-21Moved support code for `rustc_mir::borrow_check` query out of `mod transform`.Felix S. Klock II-1244/+0
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/+3
2017-08-19rustc: Remove some dead codeVadim Petrochenkov-20/+3
2017-08-17Auto merge of #43902 - michaelwoerister:fix-mir-passes-promoted, r=arielb1bors-0/+8
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-1/+0
2017-08-16MIR based borrow check (opt-in).Felix S. Klock II-0/+1271
2017-08-16Refactor `trait BitDenotation` to take `Location` instead of `BasicBlock`/`us...Felix S. Klock II-2/+2
2017-08-16Run MIR passes on promoted temporaries again.Michael Woerister-0/+8
2017-08-15use field init shorthand EVERYWHEREZack M. Davis-48/+48
2017-08-13Rollup merge of #43814 - Eijebong:fix_typos2, r=petrochenkovGuillaume Gomez-1/+1
2017-08-12Fix some typosBastien Orivel-1/+1
2017-08-12Check #[thread_local] statics correctly in the compiler.Eduard-Mihai Burtescu-1/+19
2017-08-11Auto merge of #43748 - RalfJung:mir-validate2, r=arielb1bors-34/+43
2017-08-10Auto merge of #43559 - Nashenas88:nll-region-renumberer, r=arielb1bors-14/+113
2017-08-10Auto merge of #43582 - ivanbakel:unused_mut_ref, r=arielb1bors-1/+1
2017-08-09run AddCallGuards for *all* call edges before running AddValidationRalf Jung-34/+43
2017-08-08make `for_all_relevant_impls` O(1) againAriel Ben-Yehuda-2/+1
2017-08-04Keep map hidden and instead move it out after visitor is finishedPaul Faria-1/+6
2017-08-04Auto merge of #43403 - RalfJung:mir-validate, r=nikomatsakisbors-8/+432
2017-08-03Store map of region variable ids to lookups in nll visitor and remove referen...Paul Faria-26/+45
2017-08-01also release-validate return value before a callRalf Jung-8/+13
2017-08-01closure unsafety check: stop moving up when we hit an itemRalf Jung-15/+15
2017-08-01Fixed all unnecessary muts in language coreIsaac van Bakel-1/+1
2017-08-01use FnLike to recognize functions for usRalf Jung-63/+60
2017-08-01handle trait items as wellRalf Jung-0/+1
2017-08-01handle tuple struct ctorsRalf Jung-1/+5
2017-07-31Handle closures. Add some more tests.Ralf Jung-14/+47
2017-07-31fix AddValidation on methodsRalf Jung-2/+8
2017-07-31tidyRalf Jung-2/+2
2017-07-31optionally only emit basic validation for functions containing unsafe block /...Ralf Jung-43/+135
2017-08-01rustc_mir::transform::simplify - remove nops firstAriel Ben-Yehuda-2/+2
2017-07-31CleanEndRegions: use default impl where possibleRalf Jung-7/+0
2017-07-30Consume MirVisitor changes and use more accurate spans for region renumberingPaul Faria-18/+23
2017-07-30do not use doc comments inside functionsRalf Jung-1/+1
2017-07-30Renumber regions as the first step of the non-lexical lifetimes inferencePaul Faria-12/+82
2017-07-30also release/validate around non-Misc castsRalf Jung-30/+71
2017-07-30Reorder passes so that AddValidation can run after ElaborateDropsRalf Jung-15/+6
2017-07-30after a Ref, only acquire the Deref'd destinationRalf Jung-0/+4
2017-07-30please the tidyRalf Jung-5/+8
2017-07-30add -Z flag for AddValidation passRalf Jung-0/+10
2017-07-30make ValidationOperand generic so that we can reuse it in miri with a differe...Ralf Jung-1/+1
2017-07-30when suspending, we need to specify for which lifetime to recoverRalf Jung-50/+91
2017-07-30only emit Suspend validation for mutable pathsRalf Jung-12/+41
2017-07-30add_validation: handle dropRalf Jung-2/+11
2017-07-30emit validation for function calls and RefRalf Jung-5/+88
2017-07-30CleanEndRegions: do not clean regions that occur in types in validation state...Ralf Jung-9/+44
2017-07-30add a pass for validation commands; for now just emit the initial AcquireValidRalf Jung-0/+44