diff options
| author | tiif <pekyuan@gmail.com> | 2024-06-07 23:12:07 +0800 |
|---|---|---|
| committer | tiif <pekyuan@gmail.com> | 2024-06-09 18:00:58 +0800 |
| commit | 9f60709ffd1d9d0fc7d775d18cce23d0c60ed649 (patch) | |
| tree | 4b46ca6ee4522aa7f868e31099cd457a2f1170c5 | |
| parent | 0bca4e1a227665a3b1c737f874048ccd9633b248 (diff) | |
| download | rust-9f60709ffd1d9d0fc7d775d18cce23d0c60ed649.tar.gz rust-9f60709ffd1d9d0fc7d775d18cce23d0c60ed649.zip | |
Remove test
| -rw-r--r-- | src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs | 16 |
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(); } |
