summary refs log tree commit diff
path: root/src/librustc_mir/transform/check_consts/validation.rs
AgeCommit message (Expand)AuthorLines
2020-06-01test miri-unleash TLS accessesRalf Jung-5/+1
2020-05-30Make TLS accesses explicit in MIROliver Scherer-5/+7
2020-05-23take mir::PlaceElem by valueBastian Kauschke-1/+1
2020-05-18Add asm! to MIRAmanieu d'Antras-0/+4
2020-05-09Rollup merge of #71942 - nnethercote:shrink-LocalDecl, r=matthewjasperDylan DPC-1/+1
2020-05-08Rollup merge of #71989 - ecstatic-morse:const-context-enum, r=oli-obkDylan DPC-13/+12
2020-05-07Use `hir::ConstContext` instead of local enumsDylan MacKenzie-13/+12
2020-05-06Shrink `LocalDecl` by 56 bytes.Nicholas Nethercote-1/+1
2020-05-04Import dataflow impls via the `impls` submoduleDylan MacKenzie-1/+1
2020-05-03Auto merge of #71631 - RalfJung:miri-unleash-the-gates, r=oli-obkbors-4/+4
2020-05-03Reflect API changes on current masterDylan MacKenzie-1/+1
2020-05-03Support backward dataflow analysesDylan MacKenzie-3/+3
2020-05-03warn about each skipped feature gateRalf Jung-7/+1
2020-05-02fix miri-unleash delayed sanity checkingRalf Jung-0/+2
2020-05-02explain why we use def_spanRalf Jung-0/+1
2020-05-02make sure the miri-unleash-flag is not used to circumvent feature gatesRalf Jung-0/+3
2020-04-30Rollup merge of #71688 - ecstatic-morse:const-downcast, r=oli-obkTyler Mandry-4/+1
2020-04-30deduplicate warningsRalf Jung-1/+1
2020-04-30unleashed Miri: open all the gatesRalf Jung-3/+3
2020-04-30Add a convenience function for testing whether a static is `#[thread_local]`Oliver Scherer-4/+2
2020-04-29Allow `Downcast` projections unconditionallyDylan MacKenzie-4/+1
2020-04-28Add `CustomEq` qualifDylan MacKenzie-1/+27
2020-04-25Rollup merge of #71527 - ecstatic-morse:debug-check-consts, r=Dylan-DPCDylan DPC-10/+1
2020-04-25Rollup merge of #71330 - ecstatic-morse:const-qualif-lazy, r=oli-obkDylan DPC-72/+83
2020-04-24Remove unused `visit_local`Dylan MacKenzie-9/+0
2020-04-24Use `debug` to print illegal operations in a const contextDylan MacKenzie-1/+1
2020-04-23Modify `as_local_hir_id` to return a bare `HirId`marmeladema-1/+1
2020-04-23Modify `as_local_hir_id` to accept a `LocalDefId` instead of a `DefId`marmeladema-1/+1
2020-04-23Lazily run dataflow for const qualificationDylan MacKenzie-43/+56
2020-04-23Don't cache result of `in_any_value_of_ty` for localsDylan MacKenzie-53/+51
2020-04-23Make type alias privateDylan MacKenzie-1/+1
2020-04-23Rename `Item` to `ConstCx`.Oliver Scherer-28/+28
2020-04-22Auto merge of #71044 - ecstatic-morse:body-predecessor-cache, r=oli-obkbors-14/+14
2020-04-22Don't use `*` for deref-coercionDylan MacKenzie-14/+14
2020-04-22Rollup merge of #71401 - spastorino:remove-visit-place-base, r=wesleywiserDylan DPC-5/+4
2020-04-22Rollup merge of #71336 - ecstatic-morse:check-consts-asm, r=oli-obkDylan DPC-5/+27
2020-04-22Rollup merge of #70970 - eddyb:trait-vs-impl-mismatch, r=oli-obkDylan DPC-1/+1
2020-04-21visit_place_base is just visit_localSantiago Pastorino-5/+4
2020-04-21Assign correct span to new illegal opsDylan MacKenzie-0/+2
2020-04-19Note that some terminators should cause an errorDylan MacKenzie-0/+2
2020-04-19Exhaustively match on `TerminatorKind` during const checkingDylan MacKenzie-1/+11
2020-04-19Exhaustively match on `StatementKind` during const checkingDylan MacKenzie-3/+8
2020-04-19Check for `llvm_asm` in a const contextDylan MacKenzie-1/+4
2020-04-19Dogfood more or_patterns in the compilerJosh Stone-5/+2
2020-04-18Detect mistyped associated consts in `Instance::resolve`.Eduard-Mihai Burtescu-1/+1
2020-04-15remove rustfmt-induced spurious trailing commaRalf Jung-1/+1
2020-04-15remove an impossible branch from check_constsRalf Jung-6/+5
2020-04-02direct imports for langitem stuffMazdak Farrokhzad-1/+1
2020-03-31Use Place directly in place_as_reborrow, it's CopySantiago Pastorino-3/+3
2020-03-30rustc -> rustc_middle part 3 (rustfmt)Mazdak Farrokhzad-4/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 15:14:18 +0000