From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 7 Nov 2012 14:38:07 +0000 (+0100)
Subject: model-checker : add local variables from xbt/ex.h in ignore mechanism for stacks... 
X-Git-Tag: v3_9_rc1~91^2~126^2~22
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/96276d3834e5af1b4fc06a4c64c705108d5cd855?ds=sidebyside

model-checker : add local variables from xbt/ex.h in ignore mechanism for stacks comparison
---

diff --git a/src/msg/msg_gos.c b/src/msg/msg_gos.c
index 9f2156eace..24babd3f78 100644
--- a/src/msg/msg_gos.c
+++ b/src/msg/msg_gos.c
@@ -433,6 +433,13 @@ int MSG_comm_test(msg_comm_t comm)
 {
   xbt_ex_t e;
   int finished = 0;
+
+  /* Ignore some variables from xbt/ex.h used by exception e for stacks comparison */
+  if (MC_is_active()){
+    MC_ignore_stack("e", "MSG_comm_test");
+    MC_ignore_stack("__ex_cleanup", "MSG_comm_test");
+  }
+
   TRY {
     finished = simcall_comm_test(comm->s_comm);
 
diff --git a/src/simix/smx_process.c b/src/simix/smx_process.c
index b1db2f4834..ad38a717cc 100644
--- a/src/simix/smx_process.c
+++ b/src/simix/smx_process.c
@@ -710,7 +710,7 @@ void SIMIX_process_yield(smx_process_t self)
     SMX_THROW();
   }
 
-  /* Ignore some local variables from xbt/ex.c" */
+  /* Ignore some local variables from xbt/ex.c for stacks comparison */
   if(MC_is_active()){
     MC_ignore_stack("ctx", "SIMIX_process_yield");
     MC_ignore_stack("_throw_ctx", "SIMIX_process_yield");