From: Martin Quinson <martin.quinson@loria.fr>
Date: Sun, 2 Sep 2018 19:35:09 +0000 (+0200)
Subject: cosmetics while debuging backtraces
X-Git-Tag: v3_21~119
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/609ba683d48cc9eb7570548635e0b6218c57a747

cosmetics while debuging backtraces
---

diff --git a/src/xbt/backtrace_linux.cpp b/src/xbt/backtrace_linux.cpp
index 3c8ecb3820..80de20ae18 100644
--- a/src/xbt/backtrace_linux.cpp
+++ b/src/xbt/backtrace_linux.cpp
@@ -191,9 +191,7 @@ std::vector<std::string> resolve_backtrace(xbt_backtrace_location_t const* loc,
 
   XBT_VERB("Fire a first command: '%s'", cmd.c_str());
   FILE* pipe = popen(cmd.c_str(), "r");
-  if (not pipe) {
-    xbt_die("Cannot fork addr2line to display the backtrace");
-  }
+  xbt_assert(pipe, "Cannot fork addr2line to display the backtrace");
 
   /* To read the output of addr2line */
   char line_func[1024];
@@ -290,7 +288,7 @@ std::vector<std::string> resolve_backtrace(xbt_backtrace_location_t const* loc,
 
         /* Here we go, fire an addr2line up */
         std::string subcmd = std::string(ADDR2LINE) + " -f -e " + p + " " + addrs[i];
-        XBT_VERB("Fire a new command: '%s'", subcmd.c_str());
+        XBT_VERB("Fire another command: '%s'", subcmd.c_str());
         FILE* subpipe = popen(subcmd.c_str(), "r");
         if (not subpipe) {
           xbt_die("Cannot fork addr2line to display the backtrace");