explain windows sync layouts
This commit is contained in:
parent
9d1d651d1d
commit
7380a4d7a1
1 changed files with 3 additions and 0 deletions
|
|
@ -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>,
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue