summary refs log tree commit diff
path: root/src/librustc_mir/transform
AgeCommit message (Expand)AuthorLines
2018-02-12Auto merge of #47843 - estebank:teach, r=nikomatsakisbors-30/+138
2018-02-09Auto merge of #47802 - bobtwinkles:loop_false_edge, r=nikomatsakisbors-3/+12
2018-02-09Auto merge of #47489 - pnkfelix:limit-2pb-issue-46747, r=nikomatsakisbors-3/+3
2018-02-08Encode (in MIR) whether borrows are explicit in source or arise due to autoref.Felix S. Klock II-3/+3
2018-02-07Add `-Zteach` documentationEsteban Küber-30/+138
2018-02-05mir: Add TerminatorKind::FalseUnwindbobtwinkles-3/+12
2018-02-05rustc: Add `#[rustc_args_required_const]`Alex Crichton-11/+53
2018-02-05Rollup merge of #47892 - Badel2:const_type_id_of, r=oli-obkkennytm-1/+1
2018-02-04Auto merge of #47915 - eddyb:layout-of, r=nikomatsakisbors-2/+1
2018-02-03Auto merge of #47845 - Zoxc:gen-fixes, r=nikomatsakisbors-17/+51
2018-02-01Turn `type_id` into a constant intrinsicBadel2-1/+1
2018-02-01rustc: prefer ParamEnvAnd and LayoutCx over tuples for LayoutOf.Eduard-Mihai Burtescu-2/+1
2018-01-30Force locals to be live after they are borrowed for immovable generators. Fix...John Kåre Alsaker-17/+51
2018-01-29rustc: replace "lvalue" terminology with "place" in the code.Eduard-Mihai Burtescu-10/+10
2018-01-23Make immovable generators unsafeJohn Kåre Alsaker-2/+10
2018-01-23Adds support for immovable generators. Move checking of invalid borrows acros...John Kåre Alsaker-16/+61
2018-01-16remove noop landing pads in cleanup shimsAriel Ben-Yehuda-6/+13
2018-01-11Don't track local_needs_drop separately in qualify_consts (fixes #47351).Alexander Regueiro-23/+31
2018-01-03Auto merge of #46984 - arielb1:pre-statement-effect, r=nikomatsakisbors-2/+9
2017-12-24Auto merge of #46896 - arielb1:shadow-scope, r=eddybbors-3/+3
2017-12-24add pre-statement-effect to dataflowAriel Ben-Yehuda-2/+9
2017-12-21fix debuginfo scoping of let-statementsAriel Ben-Yehuda-3/+3
2017-12-21Mir: Add Terminatorkind::AbortDavid Henningsson-0/+4
2017-12-20Rollup merge of #46852 - scottmcm:asm-placecontext, r=arielb1kennytm-0/+2
2017-12-20Auto merge of #46733 - nikomatsakis:nll-master-to-rust-master-5, r=arielb1bors-1518/+1
2017-12-19Split PlaceContext::Store into Store & AsmOutputScott McMurray-0/+2
2017-12-18Tweak "unecessary unsafe block" error spansEsteban Küber-5/+6
2017-12-15move `type_check` out of `transform` and into the `nll` moduleNiko Matsakis-1518/+1
2017-12-15Auto merge of #46537 - pnkfelix:two-phase-borrows, r=arielb1bors-17/+17
2017-12-13add FIXME related to constant well-formednessNiko Matsakis-0/+8
2017-12-13normalize fn sig as part of reificationNiko Matsakis-58/+86
2017-12-13Mir typeck Cast for Unsize valueSantiago Pastorino-1/+10
2017-12-13Mir typeck Cast for ClosureFnPtr valueSantiago Pastorino-3/+15
2017-12-13Mir typeck Cast for UnsafeFnPtr valueSantiago Pastorino-2/+8
2017-12-13Mir typeck Cast for ReifyFnPtr valueSantiago Pastorino-1/+18
2017-12-13Restructure a bit check_aggregate_rvalue codeSantiago Pastorino-35/+35
2017-12-13Add more debug logsSantiago Pastorino-0/+12
2017-12-13Check functions predicatesSantiago Pastorino-2/+42
2017-12-13Check Aggregate predicatesSantiago Pastorino-0/+27
2017-12-13Check NullaryOp RvalueSantiago Pastorino-2/+10
2017-12-13Check Repeat RvalueSantiago Pastorino-3/+50
2017-12-13Revised graphviz rendering API to avoid requiring borrowed state.Felix S. Klock II-17/+17
2017-12-07mir-borrowck returns closure requirements, mir-typeck enforcesNiko Matsakis-2/+34
2017-12-07renumber types in `ty::Const` and relate them to `mir::Constant`Niko Matsakis-0/+47
2017-12-07rustc_mir: promote references of statics from other statics.Eduard-Mihai Burtescu-7/+16
2017-12-04Auto merge of #46319 - nikomatsakis:nll-master-to-rust-master-2, r=pnkfelixbors-1342/+78
2017-12-04type_check.rs: rustfmtNiko Matsakis-29/+23
2017-12-04remove unused span from `eq_types` (and rustfmt slightly)Niko Matsakis-12/+3
2017-12-04break type-checking of aggregate-kind out into helper functionNiko Matsakis-45/+52
2017-12-04make `no_late_bound_regions` a method on `Binder<T>`Niko Matsakis-1/+1