blob: 37c64c8194485cafd12e6b33a52d149a26378ef3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
//@compile-flags: -Zmiri-symbolic-alignment-check -Cdebug-assertions=no
#![feature(core_intrinsics)]
use std::intrinsics;
fn main() {
// Do a 4-aligned u64 atomic access. That should be UB on all platforms,
// even if u64 only has alignment 4.
let z = [0u32; 2];
let zptr = &z as *const _ as *const u64;
unsafe {
intrinsics::atomic_load::<_, { intrinsics::AtomicOrdering::SeqCst }>(zptr);
//~^ERROR: accessing memory with alignment 4, but alignment 8 is required
}
}
|
