about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/memory.rs
AgeCommit message (Expand)AuthorLines
2025-09-17Auto merge of #146331 - RalfJung:copy-prov-repeat, r=oli-obkbors-2/+2
2025-09-10Rollup merge of #146178 - folkertdev:static-align, r=jdonszelmann,ralfjung,tr...Matthias Krüger-0/+1
2025-09-10interpret: copy_provenance: avoid large intermediate buffer for large repeat ...Ralf Jung-2/+2
2025-09-09allow `#[rustc_align_static(N)]` on `static`sFolkert de Vries-0/+1
2025-09-08const-eval: disable pointer fragment supportRalf Jung-2/+4
2025-08-17Auto merge of #144081 - RalfJung:const-ptr-fragments, r=oli-obkbors-31/+13
2025-08-01Update compiler/rustc_const_eval/src/interpret/memory.rs zachs18-1/+1
2025-07-31Do not give function allocations alignment in consteval or miri.Zachary S-2/+6
2025-07-30const-eval: full support for pointer fragmentsRalf Jung-31/+13
2025-07-23Rollup merge of #144256 - oli-obk:type-id-ice, r=RalfJungMatthias Krüger-1/+1
2025-07-21Don't ICE on non-TypeId metadata within TypeIdOli Scherer-1/+1
2025-07-20fix handling of base address for TypeId allocationsRalf Jung-3/+13
2025-07-19interpret: fix TypeId pointers being considered data pointersRalf Jung-6/+4
2025-07-18Rollup merge of #143293 - folkertdev:naked-function-kcfi, r=compiler-errorsMatthias Krüger-1/+1
2025-07-17Rollup merge of #143975 - RalfJung:type-id-eq, r=oli-obkMatthias Krüger-3/+3
2025-07-16use `codegen_instance_attrs` where an instance is (easily) availableFolkert de Vries-1/+1
2025-07-16type_id_eq: check that the hash fully matches the typeRalf Jung-3/+3
2025-07-16Comment more code and make tests clearerDeadbeef-7/+9
2025-07-16format pointer later instead of eagerly converting to stringDeadbeef-9/+9
2025-07-16add `const_make_global`; err for `const_allocate` ptrs if didn't callDeadbeef-0/+44
2025-07-13Rollup merge of #143634 - nia-e:init-and-wildcards, r=RalfJungMatthias Krüger-1/+1
2025-07-10interpret/allocation: expose init + write_wildcards on a rangeNia Espera-1/+1
2025-07-09Add opaque TypeId handles for CTFEOli Scherer-2/+28
2025-07-07Auto merge of #143182 - xdoardo:more-addrspace, r=workingjubileebors-2/+2
2025-07-07compiler: Parse `p-` specs in datalayout string, allow definition of custom d...Edoardo Marangoni-2/+2
2025-07-05use `is_multiple_of` instead of manual moduloFolkert de Vries-2/+2
2025-07-02interpret: move the native call preparation logic into MiriRalf Jung-34/+27
2025-06-29give Pointer::into_parts a more scary name and offer a safer alternativeRalf Jung-1/+2
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