summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/transform/validate.rs
AgeCommit message (Expand)AuthorLines
2024-01-26Normalize field types before checking validityMichael Goulet-9/+14
2024-01-19Validate AggregateKind types in MIRMichael Goulet-1/+61
2024-01-15compiler: Lower fn call arg spans down to MIRMartin Nordholts-1/+1
2024-01-04Migrate memory overlap check from validator to lintTomasz Miąsko-43/+3
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-1/+1
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-2/+2
2023-12-21Add pass to identify undefined or erroneous behaviourTomasz Miąsko-47/+3
2023-12-18Rename `Session::span_diagnostic` as `Session::dcx`.Nicholas Nethercote-2/+2
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-3/+3
2023-11-22Validate there are no critical call edges in optimized MIRTomasz Miąsko-0/+22
2023-11-08rename `BorrowKind::Shallow` to `Fake`lcnr-2/+2
2023-10-31Enums in offset_of: update based on est31, scottmcm & llogiq reviewGeorge Bateman-24/+12
2023-10-31Support enum variants in offset_of!George Bateman-11/+22
2023-10-20s/generator/coroutine/Oli Scherer-10/+10
2023-10-20s/Generator/Coroutine/Oli Scherer-7/+7
2023-10-02change is_subtype to relate_typesouz-a-4/+13
2023-10-02Add docs, remove code, change subtyper codeouz-a-24/+19
2023-10-02subtyping_projectionsouz-a-0/+24
2023-09-28Add a mir validation check to prevent OpaqueCast after analysis passes finishOli Scherer-0/+8
2023-09-26subst -> instantiatelcnr-2/+2
2023-09-05Refactor how MIR represents composite debuginfo.Camille GILLOT-32/+26
2023-08-28Rollup merge of #115164 - RalfJung:no-in-place-packed, r=b-naberMatthias Krüger-3/+28
2023-08-24when terminating during unwinding, show the reason whyRalf Jung-5/+14
2023-08-24MIR validation: reject in-place argument/return for packed fieldsRalf Jung-3/+28
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