diff --git a/src/shims/windows/sync.rs b/src/shims/windows/sync.rs index a2db9441cf..172312e331 100644 --- 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>,