From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 18 Oct 2012 20:00:11 +0000 (+0200)
Subject: model-checker : process can be NULL
X-Git-Tag: v3_9_rc1~91^2~173
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/6db84410f825c13cdebbdec30aa7955f0864cf08?ds=sidebyside

model-checker : process can be NULL
---

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 9c56d814d7..6c52e8bf19 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -629,10 +629,14 @@ void MC_process_clock_add(smx_process_t process, double amount)
 
 double MC_process_clock_get(smx_process_t process)
 {
-  if(mc_time)
-    return mc_time[process->pid];
-  else
+  if(mc_time){
+    if(process != NULL)
+      return mc_time[process->pid];
+    else 
+      return -1;
+  }else{
     return 0;
+  }
 }
 
 void MC_automaton_load(const char *file){