mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #4022 from RalfJung/linux-futex

Browse Source 
fix linux-futex test being accidentally disabled
This commit is contained in:
Ralf Jung 2024-11-10 12:01:30 +00:00 committed by GitHub
commit 881f2ec1b0
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs
View File

@ -1,5 +1,4 @@
//@only-target: linux //@only-target: linux android
//@only-target: android
//@compile-flags: -Zmiri-disable-isolation //@compile-flags: -Zmiri-disable-isolation
// FIXME(static_mut_refs): Do not allow `static_mut_refs` lint // FIXME(static_mut_refs): Do not allow `static_mut_refs` lint
@ -8,8 +7,8 @@
use std::mem::MaybeUninit; use std::mem::MaybeUninit;
use std::ptr::{self, addr_of}; use std::ptr::{self, addr_of};
use std::sync::atomic::{AtomicI32, Ordering}; use std::sync::atomic::{AtomicI32, Ordering};
use std::thread;
use std::time::{Duration, Instant}; use std::time::{Duration, Instant};
use std::{io, thread};
fn wake_nobody() { fn wake_nobody() {
let futex = 0; let futex = 0;