about summary refs log tree commit diff
path: root/src/librustc_mir
AgeCommit message (Expand)AuthorLines
2019-09-29Auto merge of #64886 - Centril:rollup-30dqh8j, r=Centrilbors-31/+57
2019-09-29Rollup merge of #64824 - Mark-Simulacrum:no-stable-hasher-result-everywhere, ...Mazdak Farrokhzad-4/+4
2019-09-29Rollup merge of #63492 - eddyb:cvarargs, r=nagisa,matthewjasperMazdak Farrokhzad-27/+53
2019-09-29Auto merge of #64470 - ecstatic-morse:split-promotion-and-validation, r=eddyb...bors-32/+1896
2019-09-28Auto merge of #64419 - wesleywiser:const_prop_use_ecx, r=oli-obkbors-227/+324
2019-09-28Switch over all StableHash impls to new formatMark Rousskov-4/+4
2019-09-28rustc: rely on c_variadic == true instead of CVarArgs in HIR/Ty fn signatures.Eduard-Mihai Burtescu-27/+53
2019-09-28Rename `sty` to `kind`Dylan MacKenzie-6/+6
2019-09-28Revert "Use conservative, type-based qualifcation for statics"Dylan MacKenzie-2/+3
2019-09-28Correct `IndirectlyMutableLocals` docsDylan MacKenzie-8/+4
2019-09-28Mask results from flow-sensitive resolver with `in_any_value_of_ty`Dylan MacKenzie-1/+19
2019-09-28Add description for every module in `check_consts`Dylan MacKenzie-0/+17
2019-09-28Share `IndirectlyMutableLocals` results via referenceDylan MacKenzie-26/+35
2019-09-28Require `fmt::Debug` to implement `NonConstOp`Dylan MacKenzie-4/+4
2019-09-28Use conservative, type-based qualifcation for staticsDylan MacKenzie-3/+2
2019-09-28Return a `bool` from `in_any_value_of_ty`Dylan MacKenzie-20/+12
2019-09-28Give usage instructions `IndirectlyMutableLocals` docsDylan MacKenzie-3/+7
2019-09-28Trigger ICE on nightly if validators disagreeDylan MacKenzie-2/+19
2019-09-28Explain why `visit_terminator` does nothing for `IndirectlyMutableLocals`Dylan MacKenzie-0/+3
2019-09-28Move non-const ops into their own moduleDylan MacKenzie-337/+342
2019-09-28Remember to replace ICE with some form of warningDylan MacKenzie-1/+3
2019-09-28Add rationale for `suppress_errors` flagDylan MacKenzie-1/+3
2019-09-28Correct list of miri-supported operationsDylan MacKenzie-2/+2
2019-09-28Run new validator in compare modeDylan MacKenzie-28/+97
2019-09-28Add dataflow-based const validationDylan MacKenzie-0/+1292
2019-09-28Pass current qualification state in a separate parameterDylan MacKenzie-25/+36
2019-09-28Control whether a `Qualif` is cleared on moveDylan MacKenzie-0/+4
2019-09-28Remove reference to `Mode::NonConstFn` in qualifsDylan MacKenzie-16/+12
2019-09-28Add requisite imports and bitset to hold qualifsDylan MacKenzie-1/+19
2019-09-28Make new qualifs publicDylan MacKenzie-3/+3
2019-09-28Remove unnecessary methodDylan MacKenzie-10/+0
2019-09-28Copy `Qualif` to start work on new const validatorDylan MacKenzie-0/+271
2019-09-28Don't treat locals as mutably borrowed after they're droppedDylan MacKenzie-12/+5
2019-09-28Add analysis to determine if a local is indirectly mutableDylan MacKenzie-4/+157
2019-09-28Silence "skipping const checks" if outside a const contextDylan MacKenzie-1/+3
2019-09-28Allow reading non-mutable statics in const propWesley Wiser-11/+16
2019-09-28Rollup merge of #64859 - Centril:const-def-here-new-var, r=estebankMazdak Farrokhzad-8/+39
2019-09-28Rollup merge of #64781 - Mark-Simulacrum:no-global-tcx, r=eddybMazdak Farrokhzad-18/+14
2019-09-28Improve diagnostic for `let A = 0;`Mazdak Farrokhzad-8/+39
2019-09-27Introduce a `ConstPropMachine`Wesley Wiser-25/+176
2019-09-27Work around for #64506Wesley Wiser-1/+5
2019-09-27Move Ref-from-arg checking from `step.rs` to `const_prop.rs`Wesley Wiser-99/+95
2019-09-27Respond to code review feedback and fix tidyWesley Wiser-15/+24
2019-09-27Don't run the ConstProp MIR pass on generatorsWesley Wiser-0/+8
2019-09-27[const-prop] Replace `Ref` handling with use of `InterpCx`Wesley Wiser-8/+21
2019-09-27[const-prop] Replace some `Binaryp` handling with use of `InterpCx`Wesley Wiser-38/+24
2019-09-27[const-prop] Replace `CheckedBinaryOp` handling with use of `InterpCx`Wesley Wiser-18/+10
2019-09-27[const-prop] Replace most `UnaryOp` handling with use of `InterpCx`Wesley Wiser-28/+17
2019-09-27[const-prop] Replace `NullaryOp` handling with use of `InterpCx`Wesley Wiser-21/+7
2019-09-27[const-prop] Replace `Cast` handling with use of `InterpCx`Wesley Wiser-10/+3