10 lines
306 B
Rust
10 lines
306 B
Rust
// This should fail even without validation
|
|
// compile-flags: -Zmir-emit-validate=0
|
|
|
|
fn main() {
|
|
let v: Vec<u8> = Vec::with_capacity(10);
|
|
let undef = unsafe { *v.get_unchecked(5) };
|
|
let x = undef + 1; //~ ERROR: attempted to read undefined bytes
|
|
panic!("this should never print: {}", x);
|
|
}
|