-void xbt_ex_setup_backtrace(xbt_ex_t *e) {
-#if defined(HAVE_EXECINFO_H) && defined(HAVE_POPEN) && defined(ADDR2LINE)
- int i;
- /* to get the backtrace from the libc */
- char **backtrace = backtrace_symbols (e->bt, e->used);
-
- /* To build the commandline of addr2line */
- char *cmd = xbt_new(char,strlen(ADDR2LINE)+strlen(xbt_binary_name)+20*e->used);
- char *curr=cmd;
-
- /* to extract the addresses from the backtrace */
- char **addrs=xbt_new(char*,e->used);
- char buff[256],*p;
-
- /* To read the output of addr2line */
- FILE *pipe;
- char line_func[1024],line_pos[1024];
-
- /* build the commandline */
- curr += sprintf(curr,"%s -f -e %s ",ADDR2LINE,xbt_binary_name);
- for (i=0; i<e->used;i++) {
- /* retrieve this address */
- snprintf(buff,256,"%s",strchr(backtrace[i],'[')+1);
- p=strchr(buff,']');
- *p='\0';
- addrs[i]=bprintf("%s",buff);
-
- /* Add it to the command line args */
- curr+=sprintf(curr,"%s ",addrs[i]);
- }
-
- /* parse the output and build a new backtrace */
- e->bt_strings = xbt_new(char*,e->used);
-
- pipe = popen(cmd, "r");
- // xbt_assert(pipe);//,"Cannot fork addr2line to display the backtrace");
- for (i=0; i<e->used; i++) {
- fgets(line_func,1024,pipe);
- line_func[strlen(line_func)-1]='\0';
- fgets(line_pos,1024,pipe);
- line_pos[strlen(line_pos)-1]='\0';
-
- if (strcmp("??",line_func)) {
- e->bt_strings[i] = bprintf("** At %s: %s (%s)", addrs[i], line_func,line_pos);
- } else {
- char *p=bprintf("%s",backtrace[i]);
- char *pos=strrchr(p,' ');
- *pos = '\0';
- e->bt_strings[i] = bprintf("** At %s: ?? (%s)", addrs[i], p);
- free(p);
- }
- free(addrs[i]);
+/* Change raw libc symbols to file names and line numbers */
+void xbt_ex_setup_backtrace(xbt_ex_t *e);
+
+void xbt_backtrace_display(xbt_ex_t *e) {
+ xbt_ex_setup_backtrace(e);
+
+#ifdef HAVE_BACKTRACE
+ if (e->used == 0) {
+ fprintf(stderr,"(backtrace not set)\n");
+ } else {
+ int i;
+
+ fprintf(stderr,"Backtrace (displayed in thread %p):\n",
+ (void*)xbt_thread_self());
+ for (i=1; i<e->used; i++) /* no need to display "xbt_display_backtrace" */
+ fprintf(stderr,"---> %s\n",e->bt_strings[i] +4);