about summary refs log tree commit diff
path: root/src/librustc_mir/transform/check_consts
AgeCommit message (Expand)AuthorLines
2019-12-22Format the worldMark Rousskov-300/+254
2019-12-201. ast::Mutability::{Mutable -> Mut, Immutable -> Not}.Mazdak Farrokhzad-2/+2
2019-12-18Add Rvalue::AddressOf to MIRMatthew Jasper-51/+96
2019-12-13Put MIR checks for loops behind the feature flagDylan MacKenzie-0/+4
2019-12-08Rollup merge of #66991 - Nashenas88:body_cache_cleanup, r=eddybMazdak Farrokhzad-5/+5
2019-12-06Rollup merge of #66606 - christianpoveda:mut-refs-in-const-fn, r=oli-obkMazdak Farrokhzad-28/+49
2019-12-05rustc: Apply clearer naming to BodyAndCache, fix Deref impl, remove unneeded ...Paul Daniel Faria-5/+5
2019-12-05update comment to explain the importance of this check more clearlyRemy Rakic-2/+3
2019-12-05make const-qualif look at more `const fn`sRemy Rakic-1/+5
2019-12-04Auto merge of #66275 - oli-obk:organize-intrinsics-promotion-checks, r=RalfJungbors-35/+1
2019-12-03rustc: expose the mir::Body reference lifetime from mir::ReadOnlyBodyCache (#...Eduard-Mihai Burtescu-12/+12
2019-12-03Only check `min_const_fn` for const fnsOliver Scherer-1/+1
2019-12-03Check intrinsics for callability in const fnsMahmut Bulut-34/+0
2019-12-02Suggest feature for const_mut_refs errorsChristian Poveda-3/+7
2019-12-02Fix issues caused during rebasingPaul Daniel Faria-1/+1
2019-12-02Disallow cell borrowingChristian Poveda-27/+36
2019-12-02Allow mutable derefs with feature gateChristian Poveda-1/+5
2019-12-02Allow mutable borrows in constant bodiesChristian Poveda-0/+4
2019-12-02Fix rebasing errors, convert some BodyCache::body() calls to reborrowsPaul Daniel Faria-12/+12
2019-12-02Fix type errors created during rebasingPaul Daniel Faria-20/+20
2019-12-02Rollup merge of #66654 - ecstatic-morse:check-consts-ref, r=eddyb,matthewjasperRalf Jung-129/+100
2019-12-01Incorporate fixes from reviewDylan MacKenzie-5/+3
2019-12-01Rollup merge of #66790 - christianpoveda:check-set-discriminant, r=oli-obkMazdak Farrokhzad-2/+1
2019-11-30Merge match branchesChristian Poveda-4/+1
2019-11-30move GateIssue to rustc_feature & simplify emit_feature_errMazdak Farrokhzad-24/+24
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-27Remove `Rvalue::Ref` handling from `HasMutInterior`Dylan MacKenzie-29/+1
2019-11-27Handle `Rvalue::Ref` in one placeDylan MacKenzie-71/+106
2019-11-27Use type-based qualification for staticsDylan MacKenzie-3/+4
2019-11-26Change way of checking SetDiscriminantChristian Poveda-3/+2
2019-11-26Check SetDiscriminant placeChristian Poveda-1/+4
2019-11-23Auto merge of #66507 - ecstatic-morse:const-if-match, r=oli-obkbors-1/+9
2019-11-21Allow `Downcast` projections if `const_if_match` enabledDylan MacKenzie-1/+5
2019-11-21Add feature gate for const `if` and `match`Dylan MacKenzie-0/+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-15/+18
2019-11-15Fix nits from reviewDylan MacKenzie-11/+11
2019-11-15Use `mir::QualifSet` to store qualifsDylan MacKenzie-22/+23
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-19/+22
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-15Remove `requires_sync`Dylan MacKenzie-10/+0
2019-11-15Rollup merge of #66306 - spastorino:remove-error-handled-by-miri, r=oli-obkYuki Okushi-11/+1
2019-11-14Update to use new librustc_error_codes libraryGuillaume Gomez-0/+2
2019-11-14Auto merge of #66233 - cjgillot:constkind, r=oli-obkbors-2/+1