diff options
| author | DrMeepster <19316085+DrMeepster@users.noreply.github.com> | 2023-06-02 17:30:05 -0700 |
|---|---|---|
| committer | DrMeepster <19316085+DrMeepster@users.noreply.github.com> | 2023-06-02 17:30:05 -0700 |
| commit | 7380a4d7a163be356b96de01f7fc9d885ef6a894 (patch) | |
| tree | ce1fe0abc5a2734bf445530b03eccbe235eb9227 | |
| parent | 9d1d651d1d87777883d0b536df676ef110b44e9a (diff) | |
| download | rust-7380a4d7a163be356b96de01f7fc9d885ef6a894.tar.gz rust-7380a4d7a163be356b96de01f7fc9d885ef6a894.zip | |
explain windows sync layouts
| -rw-r--r-- | src/tools/miri/src/shims/windows/sync.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/tools/miri/src/shims/windows/sync.rs b/src/tools/miri/src/shims/windows/sync.rs index a2db9441cf0..172312e331a 100644 --- 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>, |