about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/validity.rs
AgeCommit message (Expand)AuthorLines
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
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+1
2024-03-12Exhaustively match on the mutability and nestednessOli Scherer-7/+9
2024-03-12s/mt/mutability/Oli Scherer-3/+3
2024-03-12Ensure nested allocations in statics do not get deduplicatedOli Scherer-12/+20
2024-03-12Add `nested` bool to `DefKind::Static`.Oli Scherer-1/+1
2024-03-12Change `DefKind::Static` to a struct variantOli Scherer-9/+10
2024-03-11Rollup merge of #122249 - RalfJung:machine-read-hook, r=oli-obkJubilee-1/+1
2024-03-09interpret: do not call machine read hooks during validationRalf Jung-1/+1
2024-03-09miri: do not apply aliasing restrictions to Box with custom allocatorRalf Jung-2/+6
2024-02-29allow statics pointing to mutable staticsRalf Jung-17/+8
2024-02-16Rollup merge of #121179 - RalfJung:zst-mutable-refs, r=oli-obkGuillaume Gomez-46/+39
2024-02-16allow mutable references in const values when they point to no memoryRalf Jung-46/+39
2024-02-16Auto merge of #120486 - reitermarkus:use-generic-nonzero, r=dtolnaybors-2/+2
2024-02-15Do not allocate a second "background" alloc id for the main allocation of a s...Oli Scherer-8/+11
2024-02-15Use generic `NonZero` internally.Markus Reiter-2/+2
2024-02-12Rollup merge of #120950 - compiler-errors:miri-async-closurs, r=RalfJung,oli-obkMatthias Krüger-2/+2