about summary refs log tree commit diff
path: root/src/librustc_mir/transform/check_consts
AgeCommit message (Expand)AuthorLines
2019-11-13Change control flow error to delay span bugDylan MacKenzie-1/+8
2019-11-12Rename in librustc_mir.Camille GILLOT-2/+1
2019-11-12check-consts remove cannot mutate statics in initializer of another static errorSantiago Pastorino-11/+1
2019-11-10Merge hir::Mutability into ast::Mutability.Camille GILLOT-2/+2
2019-11-08Stop returning promotables from `mir_const_qualif`Dylan MacKenzie-1/+1
2019-10-25Remove `QualifResolver` abstractionDylan MacKenzie-204/+111
2019-10-25Use `is_lang_panic_fn` from `check_consts` in `promote_consts`Dylan MacKenzie-1/+2
2019-10-25Make `Item` fields pubDylan MacKenzie-5/+5
2019-10-25Make `check_consts::Item` work on non-const fnsDylan MacKenzie-119/+104
2019-10-26rustc_mir: use the new validator's Qualif in promotion.Eduard-Mihai Burtescu-27/+65
2019-10-22Pattern match over PlaceRef rather than PlaceSantiago Pastorino-21/+20
2019-10-03Rollup merge of #65056 - spastorino:place-mut-visitor-adjusts, r=oli-obkTyler Mandry-9/+9
2019-10-03Make visit_projection iterativeSantiago Pastorino-9/+9
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-3/+3
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-25/+33
2019-09-28Require `fmt::Debug` to implement `NonConstOp`Dylan MacKenzie-1/+1
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-28Move non-const ops into their own moduleDylan MacKenzie-336/+341
2019-09-28Correct list of miri-supported operationsDylan MacKenzie-2/+2
2019-09-28Add dataflow-based const validationDylan MacKenzie-0/+1291
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 07:07:03 +0000