From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sun, 2 Dec 2012 21:07:32 +0000 (+0100)
Subject: model-checker : text segment is read and exec only
X-Git-Tag: v3_9_rc1~86^2~217
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/72f3e5bb7597e85d02f6fb4dea3c7a8ac18d520a

model-checker : text segment is read and exec only
---

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index 321055faca..d23fbf5911 100644
--- a/src/mc/mc_checkpoint.c
+++ b/src/mc/mc_checkpoint.c
@@ -112,7 +112,7 @@ void MC_init_memory_map_info(){
           }
         }
       }
-    }else if ((reg.prot & PROT_READ)){
+    }else if ((reg.prot & PROT_READ) && (reg.prot & PROT_EXEC)){
       if (maps->regions[i].pathname != NULL){
         if (!memcmp(basename(maps->regions[i].pathname), "libsimgrid", 10)){
           start_text_libsimgrid = reg.start_addr;