fix tests

beepster4096 · beepster4096 · commit e8921a8971c1 · 2022-07-05T20:07:52.000-07:00
diff --git a/tests/fail/concurrency/thread_local_static_dealloc.rs b/tests/fail/concurrency/thread_local_static_dealloc.rs
@@ -1,5 +1,3 @@
-// ignore-windows: Concurrency on Windows is not supported yet.
-
 //! Ensure that thread-local statics get deallocated when the thread dies.
 
 #![feature(thread_local)]
diff --git a/tests/fail/concurrency/too_few_args.rs b/tests/fail/concurrency/too_few_args.rs
@@ -1,5 +1,3 @@
-// ignore-windows: Concurrency on Windows is not supported yet.
-
 //! The thread function must have exactly one argument.
 
 #![feature(rustc_private)]
diff --git a/tests/fail/concurrency/too_many_args.rs b/tests/fail/concurrency/too_many_args.rs
@@ -1,5 +1,3 @@
-// ignore-windows: Concurrency on Windows is not supported yet.
-
 //! The thread function must have exactly one argument.
 
 #![feature(rustc_private)]
diff --git a/tests/fail/concurrency/unwind_top_of_stack.rs b/tests/fail/concurrency/unwind_top_of_stack.rs
@@ -1,4 +1,3 @@
-// ignore-windows: Concurrency on Windows is not supported yet.
 // compile-flags: -Zmiri-disable-abi-check
 
 //! Unwinding past the top frame of a stack is Undefined Behavior.
diff --git a/tests/fail/data_race/fence_after_load.rs b/tests/fail/data_race/fence_after_load.rs
@@ -1,6 +1,5 @@
 // We want to control preemption here.
 // compile-flags: -Zmiri-disable-isolation -Zmiri-preemption-rate=0
-// ignore-windows: Concurrency on Windows is not supported yet.
 use std::sync::atomic::{fence, AtomicUsize, Ordering};
 use std::sync::Arc;
 use std::thread;
diff --git a/tests/fail/should-pass/cpp20_rwc_syncs.rs b/tests/fail/should-pass/cpp20_rwc_syncs.rs
@@ -1,4 +1,3 @@
-// ignore-windows: Concurrency on Windows is not supported yet.
 // compile-flags: -Zmiri-ignore-leaks
 // error-pattern: unreachable
 
diff --git a/tests/fail/weak_memory/racing_mixed_size.rs b/tests/fail/weak_memory/racing_mixed_size.rs
@@ -1,5 +1,3 @@
-// ignore-windows: Concurrency on Windows is not supported yet.
-
 #![feature(core_intrinsics)]
 
 use std::sync::atomic::AtomicU32;
diff --git a/tests/fail/weak_memory/racing_mixed_size_read.rs b/tests/fail/weak_memory/racing_mixed_size_read.rs
@@ -1,5 +1,3 @@
-// ignore-windows: Concurrency on Windows is not supported yet.
-
 #![feature(core_intrinsics)]
 
 use std::sync::atomic::AtomicU32;
diff --git a/tests/pass/0weak_memory_consistency.rs b/tests/pass/0weak_memory_consistency.rs
@@ -1,4 +1,3 @@
-// ignore-windows: Concurrency on Windows is not supported yet.
 // compile-flags: -Zmiri-ignore-leaks -Zmiri-disable-stacked-borrows
 
 // The following tests check whether our weak memory emulation produces
diff --git a/tests/pass/weak_memory/extra_cpp.rs b/tests/pass/weak_memory/extra_cpp.rs
@@ -1,4 +1,3 @@
-// ignore-windows: Concurrency on Windows is not supported yet.
 // compile-flags: -Zmiri-ignore-leaks
 
 // Tests operations not perfomable through C++'s atomic API
diff --git a/tests/pass/weak_memory/extra_cpp_unsafe.rs b/tests/pass/weak_memory/extra_cpp_unsafe.rs
@@ -1,4 +1,3 @@
-// ignore-windows: Concurrency on Windows is not supported yet.
 // compile-flags: -Zmiri-ignore-leaks
 
 // Tests operations not perfomable through C++'s atomic API
diff --git a/tests/pass/weak_memory/weak.rs b/tests/pass/weak_memory/weak.rs
@@ -1,4 +1,3 @@
-// ignore-windows: Concurrency on Windows is not supported yet.
 // compile-flags: -Zmiri-ignore-leaks -Zmiri-preemption-rate=0
 
 // Tests showing weak memory behaviours are exhibited. All tests

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,3 @@`
`1`		`-// ignore-windows: Concurrency on Windows is not supported yet.`
`2`		`-`
`3`	`1`	`//! Ensure that thread-local statics get deallocated when the thread dies.`
`4`	`2`
`5`	`3`	`#![feature(thread_local)]`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,3 @@`
`1`		`-// ignore-windows: Concurrency on Windows is not supported yet.`
`2`		`-`
`3`	`1`	`//! The thread function must have exactly one argument.`
`4`	`2`
`5`	`3`	`#![feature(rustc_private)]`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,3 @@`
`1`		`-// ignore-windows: Concurrency on Windows is not supported yet.`
`2`	`1`	`// compile-flags: -Zmiri-disable-abi-check`
`3`	`2`
`4`	`3`	`//! Unwinding past the top frame of a stack is Undefined Behavior.`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,3 @@`
`1`		`-// ignore-windows: Concurrency on Windows is not supported yet.`
`2`	`1`	`// compile-flags: -Zmiri-ignore-leaks`
`3`	`2`	`// error-pattern: unreachable`
`4`	`3`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,3 @@`
`1`		`-// ignore-windows: Concurrency on Windows is not supported yet.`
`2`		`-`
`3`	`1`	`#![feature(core_intrinsics)]`
`4`	`2`
`5`	`3`	`use std::sync::atomic::AtomicU32;`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,3 @@`
`1`		`-// ignore-windows: Concurrency on Windows is not supported yet.`
`2`	`1`	`// compile-flags: -Zmiri-ignore-leaks -Zmiri-disable-stacked-borrows`
`3`	`2`
`4`	`3`	`// The following tests check whether our weak memory emulation produces`