about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/memory.rs
AgeCommit message (Expand)AuthorLines
2025-06-27const-eval: error when initializing a static writes to that staticRalf Jung-10/+20
2025-06-22centralize `-Zmin-function-alignment` logicFolkert de Vries-6/+1
2025-06-20Ensure copy* intrinsics also perform the static self-init checksOli Scherer-1/+6
2025-05-26extend allocbytes with associated typeNia Espera-3/+5
2025-04-30interpret: better error message for out-of-bounds pointer arithmetic and acce...Ralf Jung-8/+8
2025-04-22add comment for "Other" caseRalf Jung-0/+1
2025-04-20respect `repr(align(N))` on functions in miriFolkert de Vries-2/+14
2025-04-01interpret: add a version of run_for_validation for &selfRalf Jung-11/+32
2025-03-20interpret memory access hooks: also pass through the Pointer used for the accessRalf Jung-1/+12
2025-03-12minor interpret cleanupsRalf Jung-3/+3
2025-03-11miri native_calls: ensure we actually expose *mutable* provenance to the memo...Ralf Jung-0/+4
2025-02-28miri native-call support: all previously exposed provenance is accessible to ...Ralf Jung-10/+5
2025-01-30Auto merge of #136035 - SpecificProtagonist:miri-zeroed-alloc, r=oli-obkbors-7/+14
2025-01-28miri: optimize zeroed allocSpecificProtagonist-7/+14
2025-01-28interpret: is_alloc_live: check global allocs lastRalf Jung-2/+4
2025-01-18const-eval: detect more pointers as definitely not-nullRalf Jung-8/+17
2024-12-21ptr::copy: fix docs for the overlapping caseRalf Jung-0/+2
2024-12-06Rollup merge of #133211 - Strophox:miri-correct-state-update-ffi, r=RalfJungMatthias Krüger-0/+46
2024-12-05extend Miri to correctly pass mutable pointers through FFIStrophox-0/+46
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-2/+2
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-1/+1
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-1/+1
2024-11-09make return type of get_alloc_info a struct, and reduce some code duplication...Ralf Jung-86/+57
2024-11-09interpret: get_alloc_info: also return mutabilityRalf Jung-14/+25
2024-11-03compiler: Directly use rustc_abi in const_evalJubilee Young-1/+1
2024-10-12miri: avoid cloning AllocExtraRalf Jung-13/+18
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-71/+77
2024-09-23Check vtable projections for validity in miriMichael Goulet-8/+6
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-09-15Rollup merge of #130342 - RalfJung:slice-idx-overflow, r=saethlinMatthias Krüger-3/+4
2024-09-15Rollup merge of #129828 - RalfJung:miri-data-race, r=saethlinMatthias Krüger-0/+4
2024-09-15interpret: get_ptr_alloc_mut: lookup allocation only onceRalf Jung-24/+40
2024-09-15also use compute_size_in_bytes for relevant multiplications in MiriRalf Jung-3/+4
2024-09-13Rename and reorder lots of lifetimes.Nicholas Nethercote-2/+2
2024-09-10miri: treat non-memory local variables properly for data race detectionRalf Jung-0/+4
2024-09-08interpret: reset padding during validationRalf Jung-1/+10
2024-09-08interpret: reset provenance on typed copiesRalf Jung-12/+26
2024-09-02chore: Fix typos in 'compiler' (batch 1)Alexander Cyon-1/+1
2024-08-27Rollup merge of #128942 - RalfJung:interpret-weak-memory, r=saethlinTrevor Gross-1/+1
2024-08-12miri weak memory emulation: initialize store buffer only on atomic writes; pr...Ralf Jung-1/+1
2024-08-06miri: make vtable addresses not globally uniqueRalf Jung-1/+4
2024-08-03Miri: add a flag to do recursive validity checkingRalf Jung-1/+4
2024-08-01interpret: simplify pointer arithmetic logicRalf Jung-1/+1
2024-08-01on a signed deref check, mention the right pointer in the errorRalf Jung-33/+53
2024-07-29Rollup merge of #128277 - RalfJung:offset_from_wildcard, r=oli-obkMatthias Krüger-3/+28
2024-07-29Reformat `use` declarations.Nicholas Nethercote-5/+2
2024-07-27improve dangling/oob errors and make them more uniformRalf Jung-3/+9
2024-07-27miri: fix offset_from behavior on wildcard pointersRalf Jung-0/+19
2024-07-02Miri function identity hack: account for possible inliningRalf Jung-6/+8
2024-06-21add as_ptr to trait AllocBytes, fix 2 impls; add pub fn get_bytes_unchecked_r...Strophox-0/+17
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-13 10:51:21 +0000