diff --git a/src/shims/posix/linux/sync.rs b/src/shims/posix/linux/sync.rs
index cc09b33ba684..09558554aa22 100644
--- a/src/shims/posix/linux/sync.rs
+++ b/src/shims/posix/linux/sync.rs
@@ -30,6 +30,8 @@ pub fn futex<'tcx>(
 
     // The raw pointer value is used to identify the mutex.
     // Not all mutex operations actually read from this address or even require this address to exist.
+    // This will make FUTEX_WAKE fail on an integer cast to a pointer. But FUTEX_WAIT on
+    // such a pointer can never work anyway, so that seems fine.
     let futex_ptr = this.force_ptr(addr.to_scalar()?)?;
 
     let thread = this.get_active_thread();