From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 30 Jun 2015 11:36:49 +0000 (+0200)
Subject: Clean the possibly dangling waiting_synchro pointer
X-Git-Tag: v3_12~540
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/990474fcdafe6ee6f9d3e6f08ac849e77f8784f4

Clean the possibly dangling waiting_synchro pointer
---

diff --git a/src/simix/smx_process.c b/src/simix/smx_process.c
index df8d7ecaf7..f645d20c24 100644
--- a/src/simix/smx_process.c
+++ b/src/simix/smx_process.c
@@ -377,6 +377,8 @@ void SIMIX_process_kill(smx_process_t process, smx_process_t issuer) {
       break;
 
     }
+
+    process->waiting_synchro = NULL;
   }
   if(!xbt_dynar_member(simix_global->process_to_run, &(process)) && process != issuer) {
     XBT_DEBUG("Inserting %s in the to_run list", process->name);