src/tools/miri/tests/pass/ptr_raw.rs

   1 fn basic_raw() {
   2     let mut x = 12;
   3     let x = &mut x;
   4
   5     assert_eq!(*x, 12);
   6
   7     let raw = x as *mut i32;
   8     unsafe {
   9         *raw = 42;
  10     }
  11
  12     assert_eq!(*x, 42);
  13
  14     let raw = x as *mut i32;
  15     unsafe {
  16         *raw = 12;
  17     }
  18     *x = 23;
  19
  20     assert_eq!(*x, 23);
  21 }
  22
  23 fn main() {
  24     basic_raw();
  25 }