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

Formatting.

Browse Source
This commit is contained in:
Mara Bos 2022-04-06 23:13:47 +02:00
parent a72a929b19
commit 12c88886b0
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/shims/posix/linux/sync.rs
View File

@ -63,7 +63,9 @@ pub fn futex<'tcx>(
let bitset = this.read_scalar(&args[6])?.to_u32()?;
if bitset != u32::MAX {
throw_unsup_format!("Miri does not support `futex` syscall with `op=FUTEX_WAIT_BITSET` with a bitset other than UINT_MAX");
throw_unsup_format!(
"Miri does not support `futex` syscall with `op=FUTEX_WAIT_BITSET` with a bitset other than UINT_MAX"
);
}
} else {
if args.len() < 5 {