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

Auto merge of #2264 - RalfJung:not-a-fixme, r=RalfJung

Browse Source 
remove a FIXME that is not actually a bug
This commit is contained in:
bors 2022-06-25 15:54:31 +00:00
commit 1589ba3bbc
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/shims/unix/linux/sync.rs
View File

@ -172,7 +172,6 @@ pub fn futex<'tcx>(
this.atomic_fence(&[], AtomicFenceOp::SeqCst)?; this.atomic_fence(&[], AtomicFenceOp::SeqCst)?;
// Read an `i32` through the pointer, regardless of any wrapper types. // Read an `i32` through the pointer, regardless of any wrapper types.
// It's not uncommon for `addr` to be passed as another type than `*mut i32`, such as `*const AtomicI32`. // It's not uncommon for `addr` to be passed as another type than `*mut i32`, such as `*const AtomicI32`.
// FIXME: this fails if `addr` is not a pointer type.
let futex_val = this let futex_val = this
.read_scalar_at_offset_atomic( .read_scalar_at_offset_atomic(
&addr.into(), &addr.into(),