+/* 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);
+ }
+
+ /* don't fool xbt_ex_free with uninitialized msg field */
+ e->msg = NULL;
+ e->remote = 0;
+ xbt_ex_free(*e);
+#else
+
+ ERROR0("No backtrace on this arch");
+#endif
+}
+
+/** \brief show the backtrace of the current point (lovely while debuging) */
+void xbt_backtrace_display_current(void)
+{
+ xbt_ex_t e;
+ xbt_backtrace_current(&e);
+ xbt_backtrace_display(&e);
+}
+
+#if defined(HAVE_EXECINFO_H) && defined(HAVE_POPEN) && defined(ADDR2LINE)
+# include "backtrace_linux.c"
+#elif (defined(_XBT_WIN32) && defined (_M_IX86)) && !defined(__GNUC__)
+# include "backtrace_windows.c"
+#else
+# include "backtrace_dummy.c"
+#endif
+