From 609ba683d48cc9eb7570548635e0b6218c57a747 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 2 Sep 2018 21:35:09 +0200 Subject: [PATCH] cosmetics while debuging backtraces --- src/xbt/backtrace_linux.cpp | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) 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 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 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"); -- 2.20.1