summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/transform/validate.rs
AgeCommit message (Expand)AuthorLines
2024-03-08Distinguish between library and lang UB in assert_unsafe_preconditionBen Kimock-1/+1
2024-02-24Change InlineAsm to allow multiple targets insteadGary Guo-3/+3
2024-02-21Convert `delayed_bug`s to `bug`s.Nicholas Nethercote-1/+1
2024-02-15Enforce coroutine-closure layouts are identicalMichael Goulet-0/+20
2024-02-14Use fewer delayed bugs.Nicholas Nethercote-12/+8
2024-02-09Auto merge of #120843 - matthiaskrgr:rollup-med37z5, r=matthiaskrgrbors-0/+2
2024-02-09Don't ice in validation when error body is createdMichael Goulet-0/+2
2024-02-08Add a new debug_assertions instrinsic (compiler)Ben Kimock-1/+1
2024-02-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-0/+1
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+22
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