From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Tue, 4 Dec 2012 18:16:33 +0000 (+0100)
Subject: model-checker : ignore new variables
X-Git-Tag: v3_9_rc1~86^2~186
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/6d8693000fed2c1603be15a9ff86d1965c2c61a9

model-checker : ignore new variables
---

diff --git a/src/mc/mc_compare.c b/src/mc/mc_compare.c
index 0604d0ef22..2174d45bc9 100644
--- a/src/mc/mc_compare.c
+++ b/src/mc/mc_compare.c
@@ -617,6 +617,8 @@ static int compare_stack(stack_region_t s1, stack_region_t s2, void *sp1, void *
 }
 
 int MC_compare_snapshots(void *s1, void *s2){
+  
+  MC_ignore_stack("self", "simcall_BODY_mc_snapshot");
 
   return simcall_mc_compare_snapshots(s1, s2);
 
diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 964ef4102d..ffca4fe4f3 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -172,6 +172,8 @@ void MC_init(){
   get_libsimgrid_plt_section();
   get_binary_plt_section();
 
+  MC_ignore_data_bss(&end_raw_heap, sizeof(end_raw_heap));
+
   /* Get global variables */
   MC_get_global_variables(xbt_binary_name);
   MC_get_global_variables(libsimgrid_path);
@@ -183,11 +185,11 @@ void MC_init(){
   MC_ignore_stack("__ex_cleanup", "*");
   MC_ignore_stack("__ex_mctx_en", "*");
   MC_ignore_stack("__ex_mctx_me", "*");
+  MC_ignore_stack("__xbt_ex_ctx_ptr", "*");
   MC_ignore_stack("_log_ev", "*");
   MC_ignore_stack("_throw_ctx", "*");
   MC_ignore_stack("ctx", "*");
 
-
   if(raw_mem_set)
     MC_SET_RAW_MEM;