From f875edb3c8ebff56ebfb9341d198bdf498a51618 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Fri, 27 Mar 2015 14:11:20 +0100 Subject: [PATCH] [mc] Fix cross-process access in MC_request_is_enabled() for SIMCALL_MUTEX_LOCK --- src/mc/mc_base.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/mc/mc_base.c b/src/mc/mc_base.c index e55a80cabf..b380bb3b16 100644 --- 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 (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 - return (mutex->owner->pid == req->issuer->pid); + return mutex->owner->pid == req->issuer->pid; #endif } -- 2.20.1