tests/ui/consts/issue-miri-1910.rs


1
2
3
4
5
6
7
8
9
10
11
12
13

//@ ignore-backends: gcc
//@ error-pattern unable to turn pointer into raw bytes
//@ normalize-stderr: "alloc[0-9]+\+0x[a-z0-9]+" -> "ALLOC"

const C: () = unsafe {
    let foo = Some(&42 as *const i32);
    let one_and_a_half_pointers = std::mem::size_of::<*const i32>()/2*3;
    (&foo as *const _ as *const u8).add(one_and_a_half_pointers).read();
    //~^ ERROR unable to turn pointer into integer
};

fn main() {
}