Fix the detection of the raw_heap when snapshoting

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9264 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index d416f72..c1e8ea9 100644 (file)
--- a/src/mc/mc_checkpoint.c
+++ b/src/mc/mc_checkpoint.c
@@ -44,13 +44,11 @@ void MC_take_snapshot(mc_snapshot_t snapshot)
   s_map_region reg;
   memory_map_t maps = get_memory_map();
 
-  /* Save all the writable mapped pages except the  and the stack */
+  /* Save all the writable mapped pages except the raw_heap and the stack */
   for (i = 0; i < maps->mapsize; i++) {
     reg = maps->regions[i];
-    if((reg.prot & PROT_WRITE)
-       && (reg.pathname == NULL
-           || (strncmp(reg.pathname, "/dev/zero", 9)
-               && strncmp(reg.pathname, "[stack]", 7)))){
+    if((reg.prot & PROT_WRITE) && reg.start_addr != raw_heap
+       && (reg.pathname == NULL || strncmp(reg.pathname, "[stack]", 7))){
       MC_snapshot_add_region(snapshot, reg.start_addr,
                              (char*)reg.end_addr - (char*)reg.start_addr);
     }