Auto merge of #2355 - RalfJung:rustup, r=RalfJung

make a test deterministic

rust-version

@@ -1 +1 @@
-1517f5de01c445b5124b30f02257b02b4c5ef3b2
+c396bb3b8a16b1f2762b7c6078dc3e023f6a2493

tests/fail/data_race/atomic_read_na_write_race1.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 #![feature(core_intrinsics)]
 

tests/fail/data_race/atomic_read_na_write_race2.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::sync::atomic::AtomicUsize;

tests/fail/data_race/atomic_write_na_read_race1.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::sync::atomic::AtomicUsize;

tests/fail/data_race/atomic_write_na_read_race2.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 #![feature(core_intrinsics)]
 

tests/fail/data_race/atomic_write_na_write_race1.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 #![feature(core_intrinsics)]
 

tests/fail/data_race/atomic_write_na_write_race2.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::sync::atomic::AtomicUsize;

tests/fail/data_race/dangling_thread_async_race.rs

@@ -1,5 +1,6 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-disable-isolation -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
-//@compile-flags: -Zmiri-disable-isolation
 
 use std::mem;
 use std::thread::{sleep, spawn};

tests/fail/data_race/dangling_thread_race.rs

@@ -1,5 +1,6 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-disable-isolation -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
-//@compile-flags: -Zmiri-disable-isolation
 
 use std::mem;
 use std::thread::{sleep, spawn};

tests/fail/data_race/dealloc_read_race1.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::thread::spawn;

tests/fail/data_race/dealloc_read_race2.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::thread::spawn;

tests/fail/data_race/dealloc_write_race1.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::thread::spawn;

tests/fail/data_race/dealloc_write_race2.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::thread::spawn;

tests/fail/data_race/enable_after_join_to_main.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::thread::spawn;

tests/fail/data_race/read_write_race.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::thread::spawn;

tests/fail/data_race/write_write_race.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 use std::thread::spawn;

tests/fail/weak_memory/racing_mixed_size.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 #![feature(core_intrinsics)]

tests/fail/weak_memory/racing_mixed_size_read.rs

@@ -1,3 +1,5 @@
+// We want to control preemption here.
+//@compile-flags: -Zmiri-preemption-rate=0
 //@ignore-windows: Concurrency on Windows is not supported yet.
 
 #![feature(core_intrinsics)]