src/tools/miri/tests/fail/unaligned_pointers/alignment.rs

//@normalize-stderr-test: "\| +\^+" -> "| ^"
//@compile-flags: -Cdebug-assertions=no

fn main() {
    // No retry needed, this fails reliably.

    let mut x = [0u8; 20];
    let x_ptr: *mut u8 = x.as_mut_ptr();
    #[rustfmt::skip]
    unsafe {
        // At least one of these is definitely unaligned.
        *(x_ptr as *mut u32) = 42; *(x_ptr.add(1) as *mut u32) = 42;
        //~^ ERROR: but alignment 4 is required
    };
}