about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/transform/validate.rs
AgeCommit message (Expand)AuthorLines
2023-08-24when terminating during unwinding, show the reason whyRalf Jung-5/+14
2023-08-20give some unwind-related terminators a more clear nameRalf Jung-7/+7
2023-08-18Add missing instantiation of generator ty in validatorGary Guo-1/+1
2023-08-18Add MIR validation for unwind out from nounwind functionsGary Guo-7/+41
2023-08-17Revert "Implement references VarDebugInfo."Camille GILLOT-6/+0
2023-08-01Use upvar_tys in more places, make it a listMichael Goulet-2/+3
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-33/+28
2023-07-21Reuse MIR validator for inliner.Camille GILLOT-1/+1
2023-07-21Make type validation buffer errors.Camille GILLOT-25/+24
2023-07-21Separate CFG validation from type validation.Camille GILLOT-181/+297
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-12/+11
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-6/+11
2023-07-07Rename `adjustment::PointerCast` and variants using it to `PointerCoercion`Nilstrieb-1/+1
2023-07-06Rollup merge of #111917 - WaffleLapkin:validate_unalloc, r=oli-obkMichael Goulet-14/+9
2023-06-27Auto merge of #112693 - ericmarkmartin:use-more-placeref, r=spastorinobors-7/+5
2023-06-25use PlaceRef abstractions more consistentlyEric Mark Martin-7/+5
2023-06-19Dedup some type checks in the MIR validatorScott McMurray-50/+27
2023-06-19Promote unchecked_add/sub/mul/shl/shr to mir::BinOpScott McMurray-1/+19
2023-05-24Simplify duplicate checks for mir validatorMaybe Waffle-14/+9
2023-05-14Start node has no immediate dominatorTomasz Miąsko-1/+1
2023-05-13Implement references VarDebugInfo.Camille GILLOT-1/+9
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-2/+2
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-22Auto merge of #104844 - cjgillot:mention-eval-place, r=jackh726,RalfJungbors-8/+1
2023-04-21Actually keep `PlaceMention` if requested.Camille GILLOT-8/+1
2023-04-21intern offsetof fieldsDrMeepster-1/+1
2023-04-21offset_ofDrMeepster-4/+49
2023-04-17Spelling - compilerJosh Soref-1/+1
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