about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/validity.rs
AgeCommit message (Expand)AuthorLines
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
2024-08-08Rename struct_tail_erasing_lifetimes to struct_tail_for_codegenMichael Goulet-1/+1
2024-08-03Miri: add a flag to do recursive validity checkingRalf Jung-72/+104
2024-08-01on a signed deref check, mention the right pointer in the errorRalf Jung-1/+1
2024-07-29Rollup merge of #128277 - RalfJung:offset_from_wildcard, r=oli-obkMatthias Krüger-4/+4
2024-07-29Reformat `use` declarations.Nicholas Nethercote-6/+6
2024-07-27improve dangling/oob errors and make them more uniformRalf Jung-4/+4
2024-07-19Use `#[rustfmt::skip]` on some `use` groups to prevent reordering.Nicholas Nethercote-0/+2
2024-07-17Avoid comments that describe multiple `use` items.Nicholas Nethercote-1/+0
2024-07-02Miri function identity hack: account for possible inliningRalf Jung-1/+1
2024-06-22don't ICE when encountering an extern type field during validationRalf Jung-4/+6
2024-06-14const validation: fix ICE on dangling ZST referenceRalf Jung-5/+11
2024-06-12Rollup merge of #126232 - RalfJung:dyn-trait-equality, r=oli-obkGuillaume Gomez-11/+7
2024-06-10interpret: refactor dyn trait handlingRalf Jung-11/+7
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-2/+2
2024-06-04Add safe/unsafe to static inside extern blocksSantiago Pastorino-1/+3
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-12/+7
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_const_eval`.Nicholas Nethercote-0/+1
2024-05-21improve comment wordingRalf Jung-1/+2
2024-05-13offset, offset_from: allow zero-byte offset on arbitrary pointersRalf Jung-2/+9
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-3/+4
2024-04-21Miri: detect wrong vtables in wide pointersRalf Jung-4/+19
2024-04-17Simplify alloc id mutability checkOli Scherer-10/+15
2024-04-17Deduplicate logic for checking the mutability of allocationsOli Scherer-79/+75
2024-04-17Run the "is this static mutable" logic the same way as in `in_mutable_memory`Oli Scherer-14/+16
2024-04-17Validate nested static itemsOli Scherer-7/+19
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-23 01:13:56 +0000