Disable weak memory emulation on scheduler-dependent data race tests

Author: cbeuw

tests/compile-fail/data_race/alloc_read_race.rs

@@ -1,4 +1,5 @@
 // ignore-windows: Concurrency on Windows is not supported yet.
+// compile-flags: -Zmiri-disable-weak-memory-emulation
 #![feature(new_uninit)]
 
 use std::thread::spawn;

tests/compile-fail/data_race/alloc_write_race.rs

@@ -1,4 +1,5 @@
 // ignore-windows: Concurrency on Windows is not supported yet.
+// compile-flags: -Zmiri-disable-weak-memory-emulation
 #![feature(new_uninit)]
 
 use std::thread::spawn;

tests/compile-fail/data_race/dealloc_read_race_stack.rs

@@ -1,5 +1,5 @@
 // ignore-windows: Concurrency on Windows is not supported yet.
-// compile-flags: -Zmiri-disable-isolation
+// compile-flags: -Zmiri-disable-isolation -Zmiri-disable-weak-memory-emulation
 
 use std::thread::{spawn, sleep};
 use std::ptr::null_mut;

tests/compile-fail/data_race/dealloc_write_race_stack.rs

@@ -1,5 +1,5 @@
 // ignore-windows: Concurrency on Windows is not supported yet.
-// compile-flags: -Zmiri-disable-isolation
+// compile-flags: -Zmiri-disable-isolation -Zmiri-disable-weak-memory-emulation
 
 use std::thread::{spawn, sleep};
 use std::ptr::null_mut;

tests/compile-fail/data_race/read_write_race_stack.rs

@@ -1,5 +1,5 @@
 // ignore-windows: Concurrency on Windows is not supported yet.
-// compile-flags: -Zmiri-disable-isolation -Zmir-opt-level=0
+// compile-flags: -Zmiri-disable-isolation -Zmir-opt-level=0 -Zmiri-disable-weak-memory-emulation
 
 // Note: mir-opt-level set to 0 to prevent the read of stack_var in thread 1
 // from being optimized away and preventing the detection of the data-race.

tests/compile-fail/data_race/relax_acquire_race.rs

@@ -1,4 +1,5 @@
 // ignore-windows: Concurrency on Windows is not supported yet.
+// compile-flags: -Zmiri-disable-weak-memory-emulation
 
 use std::thread::spawn;
 use std::sync::atomic::{AtomicUsize, Ordering};

tests/compile-fail/data_race/release_seq_race.rs

@@ -1,5 +1,5 @@
 // ignore-windows: Concurrency on Windows is not supported yet.
-// compile-flags: -Zmiri-disable-isolation
+// compile-flags: -Zmiri-disable-isolation -Zmiri-disable-weak-memory-emulation
 
 use std::thread::{spawn, sleep};
 use std::sync::atomic::{AtomicUsize, Ordering};

tests/compile-fail/data_race/release_seq_race_same_thread.rs

@@ -1,5 +1,5 @@
 // ignore-windows: Concurrency on Windows is not supported yet.
-// compile-flags: -Zmiri-disable-isolation
+// compile-flags: -Zmiri-disable-isolation -Zmiri-disable-weak-memory-emulation
 
 use std::thread::spawn;
 use std::sync::atomic::{AtomicUsize, Ordering};

tests/compile-fail/data_race/rmw_race.rs

@@ -1,4 +1,5 @@
 // ignore-windows: Concurrency on Windows is not supported yet.
+// compile-flags: -Zmiri-disable-weak-memory-emulation
 
 use std::thread::spawn;
 use std::sync::atomic::{AtomicUsize, Ordering};

tests/compile-fail/data_race/write_write_race_stack.rs

@@ -1,5 +1,5 @@
 // ignore-windows: Concurrency on Windows is not supported yet.
-// compile-flags: -Zmiri-disable-isolation
+// compile-flags: -Zmiri-disable-isolation -Zmiri-disable-weak-memory-emulation
 
 use std::thread::{spawn, sleep};
 use std::ptr::null_mut;

tests/run-pass/concurrency/data_race.rs

@@ -1,4 +1,5 @@
 // ignore-windows: Concurrency on Windows is not supported yet.
+// compile-flags: -Zmiri-disable-weak-memory-emulation
 
 
 use std::sync::atomic::{AtomicUsize, fence, Ordering};