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

   1 #![allow(invalid_value)]
   2 // Validation makes this fail in the wrong place
   3 // Make sure we find these even with many checks disabled.
   4 //@compile-flags: -Zmiri-disable-alignment-check -Zmiri-disable-stacked-borrows -Zmiri-disable-validation
   5
   6 fn main() {
   7     let i = unsafe { std::mem::MaybeUninit::<i32>::uninit().assume_init() }; //~ ERROR: uninitialized
   8     let _x = i + 0;
   9 }