rust/tests/fail/uninit_byte_read.rs

// compile-flags: -Zmiri-allow-uninit-numbers
fn main() {
    let v: Vec<u8> = Vec::with_capacity(10);
    let undef = unsafe { *v.get_unchecked(5) };
    let x = undef + 1; //~ ERROR this operation requires initialized memory
    panic!("this should never print: {}", x);
}
enable number validity checking and ptr::invalid checking by default 2022-05-23 08:44:27 -05:00			`// compile-flags: -Zmiri-allow-uninit-numbers`
don't use `#[miri_run]` anymore, but execute the `main` function 2016-06-13 07:27:05 -05:00			`fn main() {`
			`let v: Vec<u8> = Vec::with_capacity(10);`
			`let undef = unsafe { *v.get_unchecked(5) };`
adjust for error reform 2020-03-08 17:34:54 -05:00			`let x = undef + 1; //~ ERROR this operation requires initialized memory`
don't use `#[miri_run]` anymore, but execute the `main` function 2016-06-13 07:27:05 -05:00			`panic!("this should never print: {}", x);`
			`}`