From c7776b0eba6a1d477144244726ee9067ed723db6 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Tue, 25 Aug 2015 15:48:00 +0200 Subject: [PATCH] [mc] Fix segfault when displaying SIMCALL_MUTEX_LOCK --- src/mc/mc_request.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mc/mc_request.cpp b/src/mc/mc_request.cpp index 4dfc427c71..4503597f38 100644 --- a/src/mc/mc_request.cpp +++ b/src/mc/mc_request.cpp @@ -650,7 +650,7 @@ char *MC_request_get_dot_output(smx_simcall_t req, int value) 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: -- 2.20.1