Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fix segfault when displaying SIMCALL_MUTEX_LOCK
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 25 Aug 2015 13:48:00 +0000 (15:48 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 25 Aug 2015 13:48:00 +0000 (15:48 +0200)
src/mc/mc_request.cpp

index 4dfc427..4503597 100644 (file)
@@ -650,7 +650,7 @@ char *MC_request_get_dot_output(smx_simcall_t req, int value)
     break;
 
   case SIMCALL_MUTEX_LOCK:
     break;
 
   case SIMCALL_MUTEX_LOCK:
-    label = bprintf("[(%lu)] Mutex LOCK", req->issuer->pid);
+    label = bprintf("[(%lu)] Mutex LOCK", issuer->pid);
     break;
 
   case SIMCALL_MC_RANDOM:
     break;
 
   case SIMCALL_MC_RANDOM: