Add support for `volatile_copy_memory`, `volatile_copy_nonoverlapping_memory` and `volatile_set_memory` - #4672

Merged

feliperodri merged 4 commits into

model-checking:mainfrom

ivmat:volatile-intrinsics-support

Aug 1, 2026

Commits on Jul 25, 2026

Add support for volatile_copy_memory, volatile_copy_nonoverlapping_memory and volatile_set_memory
ivmat
committed
c8816e4

Commits on Jul 26, 2026

Mark the three intrinsics as Partial in the feature-support table
ivmat
committed
97d5de2
Handle volatile_set_memory in the uninit visitor; soften the soundness comment
ivmat
committed
0d78697

Commits on Jul 29, 2026

Derive the written-to pointers in the copy tests from `as_mut_ptr`
ivmat
committed
33dd232