diff options
| author | Ralf Jung <post@ralfj.de> | 2021-03-02 19:58:55 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2021-03-02 19:58:55 +0100 |
| commit | dc685f6815073d2ec45b7a507e717c91525563e4 (patch) | |
| tree | c25d07e80b180883568a55ee5a0c902cebd918f5 | |
| parent | ef0d5924c25b500b2b135e5a5f41754ab4a72e26 (diff) | |
| download | rust-dc685f6815073d2ec45b7a507e717c91525563e4.tar.gz rust-dc685f6815073d2ec45b7a507e717c91525563e4.zip | |
enable atomic_min/max tests in Miri
| -rw-r--r-- | library/core/tests/atomic.rs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/library/core/tests/atomic.rs b/library/core/tests/atomic.rs index 539982eb0e4..b735957666f 100644 --- a/library/core/tests/atomic.rs +++ b/library/core/tests/atomic.rs @@ -61,7 +61,6 @@ fn uint_xor() { #[test] #[cfg(any(not(target_arch = "arm"), target_os = "linux"))] // Missing intrinsic in compiler-builtins -#[cfg_attr(miri, ignore)] // FIXME: Miri does not support atomic_min fn uint_min() { let x = AtomicUsize::new(0xf731); assert_eq!(x.fetch_min(0x137f, SeqCst), 0xf731); @@ -72,7 +71,6 @@ fn uint_min() { #[test] #[cfg(any(not(target_arch = "arm"), target_os = "linux"))] // Missing intrinsic in compiler-builtins -#[cfg_attr(miri, ignore)] // FIXME: Miri does not support atomic_max fn uint_max() { let x = AtomicUsize::new(0x137f); assert_eq!(x.fetch_max(0xf731, SeqCst), 0x137f); @@ -111,7 +109,6 @@ fn int_xor() { #[test] #[cfg(any(not(target_arch = "arm"), target_os = "linux"))] // Missing intrinsic in compiler-builtins -#[cfg_attr(miri, ignore)] // FIXME: Miri does not support atomic_min fn int_min() { let x = AtomicIsize::new(0xf731); assert_eq!(x.fetch_min(0x137f, SeqCst), 0xf731); @@ -122,7 +119,6 @@ fn int_min() { #[test] #[cfg(any(not(target_arch = "arm"), target_os = "linux"))] // Missing intrinsic in compiler-builtins -#[cfg_attr(miri, ignore)] // FIXME: Miri does not support atomic_max fn int_max() { let x = AtomicIsize::new(0x137f); assert_eq!(x.fetch_max(0xf731, SeqCst), 0x137f); |