From ff7657b68993333a5edcf5b3ee6188fc69a5fcd1 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Mon, 2 Nov 2015 14:21:24 +0100 Subject: [PATCH] [mc] Fix error in dependency checking Introduced by: [mc] Cross process access to simcall synchro --- 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 56e960ee9f..ef553fdd5d 100644 --- a/src/mc/mc_request.cpp +++ b/src/mc/mc_request.cpp @@ -158,7 +158,7 @@ int MC_request_depend(smx_simcall_t r1, smx_simcall_t r2) return simcall_comm_irecv__get__rdv(r1) == simcall_comm_irecv__get__rdv(r2); case SIMCALL_COMM_WAIT: if (synchro1->comm.src_buff == synchro2->comm.src_buff - && synchro2->comm.dst_buff == synchro2->comm.dst_buff) + && synchro1->comm.dst_buff == synchro2->comm.dst_buff) return FALSE; else if (synchro1->comm.src_buff != NULL && synchro1->comm.dst_buff != NULL -- 2.20.1