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

   1 use std::sync::atomic::{AtomicUsize, Ordering};
   2
   3 static mut X: usize = 5;
   4 static Y: AtomicUsize = AtomicUsize::new(5);
   5
   6 fn main() {
   7     unsafe {
   8         X = 6;
   9         assert_eq!(X, 6);
  10     }
  11
  12     Y.store(6, Ordering::Relaxed);
  13     assert_eq!(Y.load(Ordering::Relaxed), 6);
  14 }