about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/validity.rs
AgeCommit message (Expand)AuthorLines
2025-07-17Report the range of uninit bytes in CTFE errorsOli Scherer-1/+1
2025-07-16const heap: fix ICE on forgotten make_globalRalf Jung-1/+9
2025-07-09Add opaque TypeId handles for CTFEOli Scherer-31/+33
2025-07-03setup CI and tidy to use typos for spellchecking and fix few typosklensy-1/+1
2025-07-01Remove support for dyn*Michael Goulet-3/+0
2025-06-29rename Pointer::from_addr_invalid to match strict provenance APIRalf Jung-1/+1
2025-06-29give Pointer::into_parts a more scary name and offer a safer alternativeRalf Jung-3/+5
2025-06-27Rollup merge of #143046 - RalfJung:zst-unsafe-cell, r=lcnr,oli-obkMatthias Krüger-5/+10
2025-06-27Rollup merge of #143051 - Stypox:tracing-validity, r=RalfJungGuillaume Gomez-4/+11
2025-06-27Add InterpCx::layout_of with tracing, shadowing LayoutOfStypox-1/+1
2025-06-27Add tracing to validate_operandStypox-0/+7
2025-06-26const-eval: allow constants to refer to mutable/external memory, but reject s...Ralf Jung-11/+10
2025-06-26Fix documentation of validate_operandStypox-4/+4
2025-06-26make size_and_align_of_mplace work on all projectableRalf Jung-10/+4
2025-06-26const validation: properly ignore zero-sized UnsafeCellRalf Jung-3/+14
2025-06-03Change `tag_field` to `FieldIdx` in `Variants::Multiple`Scott McMurray-1/+1
2025-04-30interpret: better error message for out-of-bounds pointer arithmetic and acce...Ralf Jung-1/+1
2025-04-28Add or-patterns to pattern typesOli Scherer-0/+8
2025-04-01interpret: add a version of run_for_validation for &selfRalf Jung-1/+1
2025-02-28rename BackendRepr::Vector → SimdVectorRalf Jung-1/+1
2025-02-20fine-tune commentRalf Jung-6/+5
2025-02-20Remove `BackendRepr::Uninhabited`, replaced with an `uninhabited: bool` field...Zachary S-4/+4
2025-02-08Rustfmtbjorn3-13/+12
2025-02-02Check the base type of pattern types for validity firstOli Scherer-5/+4
2025-02-02Test validity of pattern typesOli Scherer-0/+12
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+1
2024-12-18make no-variant types a dedicated Variants variantRalf Jung-5/+4
2024-12-18Variants::Single: do not use invalid VariantIdx for uninhabited enumsRalf Jung-1/+3
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-1/+1
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-7/+6
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-3/+5
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-3/+3
2024-11-09make return type of get_alloc_info a struct, and reduce some code duplication...Ralf Jung-65/+26
2024-11-09interpret: get_alloc_info: also return mutabilityRalf Jung-1/+1
2024-10-29compiler: `rustc_abi::Abi` => `BackendRepr`Jubilee Young-11/+12
2024-10-28compiler: Add `is_uninhabited` and use LayoutS accessorsJubilee Young-3/+3
2024-10-19interpret errors: add map_err_kind, rename InterpError -> InterpErrorKindRalf Jung-17/+15
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-95/+87
2024-09-30panic when an interpreter error gets unintentionally discardedRalf Jung-17/+21
2024-09-23Check vtable projections for validity in miriMichael Goulet-4/+4
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-18/+19
2024-09-16layout computation: eagerly error for unexpected unsized fieldsLukas Markeffsky-1/+1
2024-09-16make `LayoutCx` not genericLukas Markeffsky-2/+2
2024-09-15const: don't ICE when encountering a mutable ref to immutable memoryRalf Jung-8/+2
2024-09-10turn errors that should be impossible due to our static checks into ICEsRalf Jung-1/+8
2024-09-09union padding computation: add fast-path for ZSTRalf Jung-12/+27
2024-09-08interpret: reset padding during validationRalf Jung-19/+268
2024-09-08interpret: reset provenance on typed copiesRalf Jung-89/+170
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-1/+1
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-22 22:44:08 +0000