summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/transform/validate.rs
AgeCommit message (Expand)AuthorLines
2023-04-09Fix transmute intrinsic mir validation ICEJakob Degen-2/+10
2023-04-06Address review feedbackGary Guo-15/+23
2023-04-06Rename `Abort` terminator to `Terminate`Gary Guo-2/+5
2023-04-06Refactor unwind from Option to a new enumGary Guo-9/+9
2023-04-04Rollup merge of #109901 - cjgillot:validate-debuginfo, r=b-naberMichael Goulet-4/+39
2023-04-03Enforce VarDebugInfo::Place in MIR validation.Camille GILLOT-4/+39
2023-04-01slighty simplify a few boolean expressions (clippy::nonminimal_bool)Matthias Krüger-2/+1
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-1/+1
2023-03-25Refactor: `VariantIdx::from_u32(0)` -> `FIRST_VARIANT`Scott McMurray-2/+2
2023-03-22Add `CastKind::Transmute` to MIRScott McMurray-0/+27
2023-03-15Auto merge of #108282 - cjgillot:mir-checked-sh, r=tmiaskobors-9/+0
2023-03-09Introduce a no-op PlaceMention statement for `let _ =`.Camille GILLOT-0/+8
2023-03-08Rollup merge of #108856 - Zeegomo:remove-drop-and-rep, r=tmiaskoMatthias Krüger-12/+0
2023-03-07Remove DropAndReplace terminatorGiacomo Pasini-12/+0
2023-03-05Check for free regions in MIR validationBen Kimock-0/+11
2023-02-27Implement checked Shl/Shr at MIR building.Camille GILLOT-9/+0
2023-02-27Auto merge of #108175 - cjgillot:validate-storage, r=tmiaskobors-2/+20
2023-02-25Explain that this is UB catching instead of malformed MIR.Camille GILLOT-0/+7
2023-02-25MIR-Validate StorageLive.Camille GILLOT-2/+13
2023-02-24Rename many interner functions.Nicholas Nethercote-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-10revert #107074lcnr-1/+10
2023-02-02Stop deaggregating enums in MIR.Camille GILLOT-17/+5
2023-01-30Replace some `_ == _ || _ == _`s with `matches!(_, _ | _)`sMaybe Waffle-1/+1
2023-01-29Auto merge of #106227 - bryangarza:ctfe-limit, r=oli-obkbors-0/+1
2023-01-27Remember where a type was kept in MIR.Camille GILLOT-2/+2
2023-01-23Create stable metric to measure long computation in Const EvalBryan Garza-0/+1
2023-01-19remove unnecessary check for opaque typeslcnr-6/+1
2023-01-16Avoid trivial checks on cleanup control flow in MIR validatorJakob Degen-4/+11
2023-01-16Add cycle checking to cleanup control flow validationJakob Degen-18/+47
2023-01-16Document wf constraints on control flow in cleanup blocksJakob Degen-5/+57
2022-12-21Forbid `RetagKind::TwoPhase` as wellJakob Degen-2/+2
2022-12-21Clarify that raw retags are not permitted in MirJakob Degen-3/+6
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-1/+1
2022-12-14Auto merge of #104986 - compiler-errors:opaques, r=oli-obkbors-2/+2
2022-12-13Combine projection and opaque into aliasMichael Goulet-2/+2
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-1/+1
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-1/+1
2022-12-13Don't require owned data in `MaybeStorageLive`Jakob Degen-2/+2
2022-12-09Remove unneeded field from `SwitchTargets`Jakob Degen-11/+2
2022-12-08validate: use the correct reveal during optslcnr-1/+5
2022-11-25Make the ICEs in the mir typechecker have more spans helpfulOli Scherer-0/+1
2022-11-25More manual formattingOli Scherer-5/+5
2022-11-15mv utility methods into separate modulelcnr-53/+1
2022-11-15nll: correctly deal with bivariancelcnr-44/+41
2022-10-27Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functionsMaybe Waffle-2/+1
2022-10-25Rollup merge of #103122 - ouz-a:mir-technical-debt, r=oli-obkDylan DPC-5/+20
2022-10-23remove misc_cast and validate typesouz-a-5/+20
2022-10-15Surround type with backticksGimgim-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-05 06:12:59 +0000