Skip to content

Commit

Permalink
Fix comment in mutex_id_offset
Browse files Browse the repository at this point in the history
We no longer store the kind inside the pthread_mutex_t, so this comment
is outdated.
  • Loading branch information
Mandragorian committed Sep 6, 2024
1 parent 782b383 commit 5b10b8d
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion src/shims/unix/sync.rs
Original file line number Diff line number Diff line change
Expand Up @@ -62,7 +62,6 @@ fn is_mutex_kind_normal<'tcx>(ecx: &MiriInterpCx<'tcx>, kind: i32) -> InterpResu
// pthread_mutex_t is between 24 and 48 bytes, depending on the platform.
// We ignore the platform layout and store our own fields:
// - id: u32
// - kind: i32

fn mutex_id_offset<'tcx>(ecx: &MiriInterpCx<'tcx>) -> InterpResult<'tcx, u64> {
let offset = match &*ecx.tcx.sess.target.os {
Expand Down

0 comments on commit 5b10b8d

Please sign in to comment.