We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 72aa65b commit 4dfafb1Copy full SHA for 4dfafb1
src/tools/miri/src/shims/unix/sync.rs
@@ -62,7 +62,6 @@ fn is_mutex_kind_normal<'tcx>(ecx: &MiriInterpCx<'tcx>, kind: i32) -> InterpResu
62
// pthread_mutex_t is between 24 and 48 bytes, depending on the platform.
63
// We ignore the platform layout and store our own fields:
64
// - id: u32
65
-// - kind: i32
66
67
fn mutex_id_offset<'tcx>(ecx: &MiriInterpCx<'tcx>) -> InterpResult<'tcx, u64> {
68
let offset = match &*ecx.tcx.sess.target.os {
0 commit comments