X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/bb9c46e03a4e98cde63514bce0f018fb564f9171..696ee2a4af4489387e1557a5bd4bcc523d56ff04:/src/xbt/ex.c

diff --git a/src/xbt/ex.c b/src/xbt/ex.c
index b29414db85..f5a7969b52 100644
--- a/src/xbt/ex.c
+++ b/src/xbt/ex.c
@@ -147,12 +147,15 @@ void xbt_ex_setup_backtrace(xbt_ex_t *e)  {
 	DEBUG4("%#lx %s [%#lx-%#lx]",
 	       addr, found? "in":"out of",first,last);
       }
-      if (!found) 
-	CRITICAL0("Problem while reading the maps file");
-
       fclose(maps);
       free(maps_name);
 
+      if (!found) {
+	WARN0("Problem while reading the maps file");
+	e->bt_strings[i] = bprintf("**   In ?? (%s)", backtrace[i]);
+	continue;
+      }
+
       /* Ok, Found the offset of the maps line containing the searched symbol. 
 	 We now need to substract this from the address we got from backtrace.
       */