11 lines
442 B
Rust
11 lines
442 B
Rust
// Validation makes this fail in the wrong place
|
|
// Make sure we find these even with many checks disabled.
|
|
//@compile-flags: -Zmiri-disable-alignment-check -Zmiri-disable-stacked-borrows -Zmiri-disable-validation
|
|
|
|
fn main() {
|
|
let c = 0xFFFFFFu32;
|
|
assert!(std::char::from_u32(c).is_none());
|
|
let c = unsafe { std::mem::transmute::<u32, char>(c) };
|
|
let _x = c == 'x'; //~ ERROR: interpreting an invalid 32-bit value as a char
|
|
}
|