summary refs log tree commit diff
path: root/src/librustc_mir/transform/check_consts/validation.rs
AgeCommit message (Expand)AuthorLines
2019-12-08Rollup merge of #66991 - Nashenas88:body_cache_cleanup, r=eddybMazdak Farrokhzad-3/+3
2019-12-06Rollup merge of #66606 - christianpoveda:mut-refs-in-const-fn, r=oli-obkMazdak Farrokhzad-3/+10
2019-12-05rustc: Apply clearer naming to BodyAndCache, fix Deref impl, remove unneeded ...Paul Daniel Faria-3/+3
2019-12-04Auto merge of #66275 - oli-obk:organize-intrinsics-promotion-checks, r=RalfJungbors-19/+1
2019-12-03rustc: expose the mir::Body reference lifetime from mir::ReadOnlyBodyCache (#...Eduard-Mihai Burtescu-8/+8
2019-12-03Only check `min_const_fn` for const fnsOliver Scherer-1/+1
2019-12-03Check intrinsics for callability in const fnsMahmut Bulut-18/+0
2019-12-02Fix issues caused during rebasingPaul Daniel Faria-1/+1
2019-12-02Disallow cell borrowingChristian Poveda-3/+10
2019-12-02Fix rebasing errors, convert some BodyCache::body() calls to reborrowsPaul Daniel Faria-8/+8
2019-12-02Fix type errors created during rebasingPaul Daniel Faria-14/+14
2019-12-02Rollup merge of #66654 - ecstatic-morse:check-consts-ref, r=eddyb,matthewjasperRalf Jung-97/+95
2019-12-01Incorporate fixes from reviewDylan MacKenzie-5/+3
2019-11-30Merge match branchesChristian Poveda-4/+1
2019-11-27Don't treat a reference to a `static` as a reborrowDylan MacKenzie-0/+13
2019-11-27Remove `CheckOpResult`Dylan MacKenzie-14/+6
2019-11-27Remove `derived_from_illegal_borrow`Dylan MacKenzie-41/+1
2019-11-27Handle `Rvalue::Ref` in one placeDylan MacKenzie-71/+106
2019-11-26Change way of checking SetDiscriminantChristian Poveda-3/+2
2019-11-26Check SetDiscriminant placeChristian Poveda-1/+4
2019-11-21Track pointers to statics in MIRMatthew Jasper-11/+25
2019-11-21Fix rebaseMatthew Jasper-1/+1
2019-11-21Readjust const qualification to detect statics againSantiago Pastorino-3/+12
2019-11-15Fix nits from reviewDylan MacKenzie-3/+3
2019-11-15Use `mir::QualifSet` to store qualifsDylan MacKenzie-9/+7
2019-11-15Remove unnecessary `fmt::Debug` boundDylan MacKenzie-3/+2
2019-11-15Remove remaining validator mismatch codeDylan MacKenzie-16/+1
2019-11-15Move `delay_span_bug` into `emit_error` for if/loopDylan MacKenzie-17/+4
2019-11-15Enable standalone const-checking with `Validator`Dylan MacKenzie-1/+126
2019-11-15Allow `Validator` to get qualifs for the return placeDylan MacKenzie-1/+45
2019-11-15Rollup merge of #66306 - spastorino:remove-error-handled-by-miri, r=oli-obkYuki Okushi-11/+1
2019-11-13Change control flow error to delay span bugDylan MacKenzie-1/+8
2019-11-12check-consts remove cannot mutate statics in initializer of another static errorSantiago Pastorino-11/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-04 00:06:09 +0000