about summary refs log tree commit diff
diff options
context:
space:
mode:
authortiif <pekyuan@gmail.com>2024-06-07 23:12:07 +0800
committertiif <pekyuan@gmail.com>2024-06-09 18:00:58 +0800
commit9f60709ffd1d9d0fc7d775d18cce23d0c60ed649 (patch)
tree4b46ca6ee4522aa7f868e31099cd457a2f1170c5
parent0bca4e1a227665a3b1c737f874048ccd9633b248 (diff)
downloadrust-9f60709ffd1d9d0fc7d775d18cce23d0c60ed649.tar.gz
rust-9f60709ffd1d9d0fc7d775d18cce23d0c60ed649.zip
Remove test
-rw-r--r--src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs16
1 files changed, 0 insertions, 16 deletions
diff --git a/src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs b/src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs
index 5e266c7949f..d21f953672d 100644
--- a/src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs
+++ b/src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs
@@ -280,21 +280,6 @@ fn concurrent_wait_wake() {
     assert!(woken > 0 && woken < rounds);
 }
 
-// Reproduce https://github.com/rust-lang/miri/issues/3647. This should not ICE.
-fn large_timeout() {
-    let futex: i32 = 123;
-
-    unsafe {
-        libc::syscall(
-            libc::SYS_futex,
-            addr_of!(futex),
-            libc::FUTEX_WAIT,
-            123,
-            &libc::timespec { tv_sec: 184467440839020, tv_nsec: 117558982 },
-        );
-    }
-}
-
 fn main() {
     wake_nobody();
     wake_dangling();
@@ -304,5 +289,4 @@ fn main() {
     wait_wake();
     wait_wake_bitset();
     concurrent_wait_wake();
-    large_timeout();
 }