From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 18 Oct 2012 19:37:55 +0000 (+0200)
Subject: model-checker : if get_libsimgrid_plt_section called before first snapshot, libsimgri... 
X-Git-Tag: v3_9_rc1~91^2~177
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/3028d14c0b1903582ac16f5eb09e4f33d7b1eb3a

model-checker : if get_libsimgrid_plt_section called before first snapshot, libsimgrid_path is NULL
---

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index ad1de431dc..b6721f6d2e 100644
--- a/src/mc/mc_checkpoint.c
+++ b/src/mc/mc_checkpoint.c
@@ -222,7 +222,10 @@ void get_libsimgrid_plt_section(){
   int i, plt_not_found = 1;
   unsigned long int size, offset;
 
-  char *command = bprintf( "objdump --section-headers %s", libsimgrid_path);
+  if(libsimgrid_path == NULL)
+    libsimgrid_path = get_libsimgrid_path();
+
+  char *command = bprintf("objdump --section-headers %s", libsimgrid_path);
 
   fp = popen(command, "r");
 
@@ -259,7 +262,6 @@ void get_libsimgrid_plt_section(){
       }
     }
     
-    
   }
 
   free(command);