explain windows sync layouts

rust-lang · Jun 3, 2023 · 7380a4d · 7380a4d
1 parent 9d1d651
commit 7380a4d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/tools/miri/src/shims/windows/sync.rs b/src/tools/miri/src/shims/windows/sync.rs
@@ -38,6 +38,9 @@ trait EvalContextExtPriv<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
         Ok(())
     }
 
+    // Windows sync primitives are pointer sized.
+    // We only use the first 4 bytes for the id.
+
     fn srwlock_get_id(
         &mut self,
         rwlock_op: &OpTy<'tcx, Provenance>,