1 //@compile-flags: -Zmiri-symbolic-alignment-check
2 #![feature(core_intrinsics)]
5 // Do a 4-aligned u64 atomic access. That should be UB on all platforms,
6 // even if u64 only has alignment 4.
8 let zptr = &z as *const _ as *const u64;
10 ::std::intrinsics::atomic_load_seqcst(zptr);
11 //~^ERROR: accessing memory with alignment 4, but alignment 8 is required