test/errors.rs

   1 #![feature(custom_attribute)]
   2 #![allow(dead_code, unused_attributes)]
   3
   4 #[miri_run]
   5 fn overwriting_part_of_relocation_makes_the_rest_undefined() -> i32 {
   6     let mut p: *const i32 = &42;
   7     unsafe {
   8         let ptr = &mut p as *mut *const i32 as *mut u32;
   9         *ptr = 123;
  10         *p
  11     }
  12 }