src/tools/miri/tests/fail/invalid_char.rs

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