We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0bca4e1 commit 9f60709Copy full SHA for 9f60709
src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs
@@ -280,21 +280,6 @@ fn concurrent_wait_wake() {
280
assert!(woken > 0 && woken < rounds);
281
}
282
283
-// Reproduce https://github.com/rust-lang/miri/issues/3647. This should not ICE.
284
-fn large_timeout() {
285
- let futex: i32 = 123;
286
-
287
- unsafe {
288
- libc::syscall(
289
- libc::SYS_futex,
290
- addr_of!(futex),
291
- libc::FUTEX_WAIT,
292
- 123,
293
- &libc::timespec { tv_sec: 184467440839020, tv_nsec: 117558982 },
294
- );
295
- }
296
-}
297
298
fn main() {
299
wake_nobody();
300
wake_dangling();
@@ -304,5 +289,4 @@ fn main() {
304
wait_wake();
305
wait_wake_bitset();
306
concurrent_wait_wake();
307
- large_timeout();
308
0 commit comments