explain windows sync layouts

beepster4096 · beepster4096 · commit d537ab9180de · 2023-06-02T17:30:05.000-07:00
diff --git a/src/shims/windows/sync.rs b/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>,

Original file line number	Diff line number	Diff line change
`@@ -38,6 +38,9 @@ trait EvalContextExtPriv<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {`
`38`	`38`	`Ok(())`
`39`	`39`	`}`
`40`	`40`
	`41`	`+ // Windows sync primitives are pointer sized.`
	`42`	`+ // We only use the first 4 bytes for the id.`
	`43`	`+`
`41`	`44`	`fn srwlock_get_id(`
`42`	`45`	`&mut self,`
`43`	`46`	`rwlock_op: &OpTy<'tcx, Provenance>,`