summary refs log tree commit diff
path: root/src/librustc_mir/transform/check_consts/validation.rs
AgeCommit message (Expand)AuthorLines
2019-10-25Remove `QualifResolver` abstractionDylan MacKenzie-60/+102
2019-10-25Make `check_consts::Item` work on non-const fnsDylan MacKenzie-68/+3
2019-10-26rustc_mir: use the new validator's Qualif in promotion.Eduard-Mihai Burtescu-5/+4
2019-10-22Pattern match over PlaceRef rather than PlaceSantiago Pastorino-10/+10
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-29remove indexed_vec re-export from rustc_data_structurescsmoe-1/+1
2019-09-28Rename `sty` to `kind`Dylan MacKenzie-4/+4
2019-09-28Add description for every module in `check_consts`Dylan MacKenzie-0/+2
2019-09-28Share `IndirectlyMutableLocals` results via referenceDylan MacKenzie-21/+30
2019-09-28Move non-const ops into their own moduleDylan MacKenzie-335/+2
2019-09-28Correct list of miri-supported operationsDylan MacKenzie-2/+2
2019-09-28Add dataflow-based const validationDylan MacKenzie-0/+919