[rustc.git] / src / test / ui / consts / issue-miri-1910.rs

// error-pattern unable to turn pointer into raw bytes
// normalize-stderr-test: "alloc[0-9]+\+0x[a-z0-9]+" -> "ALLOC"
#![feature(const_ptr_read)]

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();
};

fn main() {
}
Commit	Line	Data
3c0e092e	1	// error-pattern unable to turn pointer into raw bytes
f2b60f7d	2	// normalize-stderr-test: "alloc[0-9]+\+0x[a-z0-9]+" -> "ALLOC"
3c0e092e	3	#![feature(const_ptr_read)]
3c0e092e XL	4
	5	const C: () = unsafe {
	6	let foo = Some(&42 as *const i32);
	7	let one_and_a_half_pointers = std::mem::size_of::<const i32>()/23;
	8	(&foo as const _ as const u8).add(one_and_a_half_pointers).read();
	9	};
	10
	11	fn main() {
	12	}