From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Tue, 5 Mar 2013 20:31:51 +0000 (+0100)
Subject: model-checker : remove local variable only if frame name is known
X-Git-Tag: v3_9_90~451
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/e423c327ec83e22715123e4cbf1dcfd6dd1d8fd6?hp=2d8659efd37976d438feae7108ca944efe38adac

model-checker : remove local variable only if frame name is known
---

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index c3c6539d22..d67f00dadf 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -1027,9 +1027,11 @@ void MC_ignore_stack(const char *var_name, const char *frame_name){
 
   if(mc_local_variables != NULL){
 
-    dw_frame_t frame = xbt_dict_get_or_null(mc_local_variables, frame_name);
-    if(frame != NULL)
-      xbt_dict_remove(frame->variables, var_name);
+    if(strcmp(frame_name, "*") != 0){
+      dw_frame_t frame = xbt_dict_get_or_null(mc_local_variables, frame_name);
+      if(frame != NULL)
+        xbt_dict_remove(frame->variables, var_name);
+    }
 
   }