Merge pull request #4953 from RalfJung/hack-no-more

genmc tests: remove a hack that is no longer needed

Author: RalfJung

src/tools/miri/tests/fail/weak_memory/weak_uninit.rs

@@ -10,13 +10,6 @@
 use std::sync::atomic::*;
 use std::thread::spawn;
 
-#[allow(dead_code)]
-#[derive(Copy, Clone)]
-struct EvilSend<T>(pub T);
-
-unsafe impl<T> Send for EvilSend<T> {}
-unsafe impl<T> Sync for EvilSend<T> {}
-
 // We can't create static items because we need to run each test multiple times.
 fn static_uninit_atomic() -> &'static AtomicUsize {
     unsafe { Box::leak(Box::new_uninit()).assume_init_ref() }

src/tools/miri/tests/genmc/fail/loom/store_buffering.rs

@@ -29,10 +29,6 @@ fn miri_start(_argc: isize, _argv: *const *const u8) -> isize {
         let x = AtomicUsize::new(0);
         let y = AtomicUsize::new(0);
 
-        // FIXME(genmc,HACK): remove these initializing writes once Miri-GenMC supports mixed atomic-non-atomic accesses.
-        x.store(0, Relaxed);
-        y.store(0, Relaxed);
-
         let mut a: usize = 1234;
         let mut b: usize = 1234;
         unsafe {