Skip to content

Commit 4dfafb1

Browse files
committed
Fix comment in mutex_id_offset
We no longer store the kind inside the pthread_mutex_t, so this comment is outdated.
1 parent 72aa65b commit 4dfafb1

1 file changed

Lines changed: 0 additions & 1 deletion

File tree

  • src/tools/miri/src/shims/unix

‎src/tools/miri/src/shims/unix/sync.rs‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -62,7 +62,6 @@ fn is_mutex_kind_normal<'tcx>(ecx: &MiriInterpCx<'tcx>, kind: i32) -> InterpResu
6262
// pthread_mutex_t is between 24 and 48 bytes, depending on the platform.
6363
// We ignore the platform layout and store our own fields:
6464
// - id: u32
65-
// - kind: i32
6665

6766
fnmutex_id_offset<'tcx>(ecx:&MiriInterpCx<'tcx>) -> InterpResult<'tcx,u64>{
6867
let offset = match&*ecx.tcx.sess.target.os{

0 commit comments

Comments
 (0)