about summary refs log tree commit diff
path: root/src/librustc_mir/transform
AgeCommit message (Expand)AuthorLines
2019-10-07Auto merge of #61430 - matthewjasper:drop-on-into-panic, r=oli-obkbors-4/+1
2019-10-05Rollup merge of #65116 - spastorino:remove-unneeded-fn, r=oli-obkTyler Mandry-6/+0
2019-10-04Remove unneeded visit_statement definitionSantiago Pastorino-6/+0
2019-10-04clean up GeneratorSubstscsmoe-0/+1
2019-10-03Rollup merge of #65056 - spastorino:place-mut-visitor-adjusts, r=oli-obkTyler Mandry-67/+72
2019-10-03Make visit_projection iterativeSantiago Pastorino-67/+72
2019-10-02Do not mark unitinitialized locals as requiring storageMatthew Jasper-4/+1
2019-10-02Rollup merge of #64991 - wesleywiser:fix_too_eager_const_prop, r=oli-obkMazdak Farrokhzad-29/+5
2019-10-02Rollup merge of #64980 - ecstatic-morse:better-rustc-peek, r=oli-obkMazdak Farrokhzad-130/+184
2019-10-02[const-prop] Correctly handle locals that can't be propagatedWesley Wiser-29/+5
2019-10-01Add `rustc_peek` support for `IndirectlyMutableLocals`Dylan MacKenzie-0/+32
2019-10-01Refactor `rustc_peek`Dylan MacKenzie-131/+153
2019-10-01Pass attrs to `do_dataflow` in new const checkerDylan MacKenzie-1/+1
2019-09-30Stop printing `Qualif` results in debug logsDylan MacKenzie-4/+0
2019-09-30Use separate files for debugging `Qualif` dataflow resultsDylan MacKenzie-1/+6
2019-09-30Update consumers of `generic::Engine` APIDylan MacKenzie-1/+2
2019-09-29remove indexed_vec re-export from rustc_data_structurescsmoe-14/+14
2019-09-29remove bit_set re-export from rustc_data_structurescsmoe-7/+7
2019-09-29Auto merge of #64470 - ecstatic-morse:split-promotion-and-validation, r=eddyb...bors-28/+1743
2019-09-28Auto merge of #64419 - wesleywiser:const_prop_use_ecx, r=oli-obkbors-218/+292
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-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-28Trigger ICE on nightly if validators disagreeDylan MacKenzie-2/+19
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-28Silence "skipping const checks" if outside a const contextDylan MacKenzie-1/+3
2019-09-28Allow reading non-mutable statics in const propWesley Wiser-5/+11
2019-09-27Introduce a `ConstPropMachine`Wesley Wiser-8/+149
2019-09-27Move Ref-from-arg checking from `step.rs` to `const_prop.rs`Wesley Wiser-80/+93
2019-09-27Respond to code review feedback and fix tidyWesley Wiser-13/+20
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-6/+2
2019-09-27[const-prop] Replace some `Binaryp` handling with use of `InterpCx`Wesley Wiser-38/+24