From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 31 Oct 2012 20:37:46 +0000 (+0100)
Subject: model-checker : ignore some local variables from xbt/ex.c for stack comparison
X-Git-Tag: v3_9_rc1~91^2~126^2~23
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/0685d3d3e78277471c94864a820056f01b74fb7c?ds=sidebyside

model-checker : ignore some local variables from xbt/ex.c for stack comparison
---

diff --git a/src/simix/smx_process.c b/src/simix/smx_process.c
index 6a3ca375cf..b1db2f4834 100644
--- a/src/simix/smx_process.c
+++ b/src/simix/smx_process.c
@@ -710,8 +710,12 @@ void SIMIX_process_yield(smx_process_t self)
     SMX_THROW();
   }
 
-  if(MC_is_active())
+  /* Ignore some local variables from xbt/ex.c" */
+  if(MC_is_active()){
     MC_ignore_stack("ctx", "SIMIX_process_yield");
+    MC_ignore_stack("_throw_ctx", "SIMIX_process_yield");
+    MC_ignore_stack("_log_ev", "SIMIX_process_yield");
+  }
 }
 
 /* callback: context fetching */