[mc] Fix cross-process access in MC_request_is_enabled() for SIMCALL_MUTEX_LOCK

diff --git a/src/mc/mc_base.c b/src/mc/mc_base.c
index e55a80c..b380bb3 100644 (file)
--- a/src/mc/mc_base.c
+++ b/src/mc/mc_base.c
@@ -134,9 +134,11 @@ int MC_request_is_enabled(smx_simcall_t req)
       return TRUE;
     else
 #ifdef HAVE_MC
       return TRUE;
     else
 #ifdef HAVE_MC

-      return (mutex->owner->pid == MC_smx_resolve_process(req->issuer)->pid);
+      // TODO, *(mutex->owner) :/
+      return MC_smx_resolve_process(mutex->owner)->pid ==
+        MC_smx_resolve_process(req->issuer)->pid;

 #else
 #else

-      return (mutex->owner->pid == req->issuer->pid);
+      return mutex->owner->pid == req->issuer->pid;

 #endif
     }
 
 #endif
     }