src/tools/miri/tests/fail/const-ub-checks.rs

   1 #![feature(const_ptr_read)]
   2
   3 const UNALIGNED_READ: () = unsafe {
   4     let x = &[0u8; 4];
   5     let ptr = x.as_ptr().cast::<u32>();
   6     ptr.read(); //~ERROR: evaluation of constant value failed
   7 };
   8
   9 fn main() {
  10     let _x = UNALIGNED_READ;
  11 }