diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

dump stack on YAP bug (maybe extend to user foreign code).

Browse Source
This commit is contained in:
Vítor Santos Costa 2016-02-20 23:58:06 +00:00
parent b7ee47ce46
commit 1c68deb663
3 changed files with 35 additions and 120 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

39
C/errors.c
View File

@ -27,6 +27,9 @@
#if HAVE_STRING_H #if HAVE_STRING_H
#include <string.h> #include <string.h>
#endif #endif
#if HAVE_EXECINFO_H
#include <execinfo.h>
#endif
#include "Foreign.h" #include "Foreign.h"
#if DEBUG #if DEBUG
@ -310,25 +313,25 @@ static char tmpbuf[YAP_BUF_SIZE];
#define E(A, B, C) \ #define E(A, B, C) \
case A: \ case A: \
ts -= 1; \ ts -= 1; \
ts[0] = MkAtomTerm(Yap_LookupAtom(C)); \ ts[0] = MkAtomTerm(Yap_LookupAtom(C)); \
return mkerrorct(B, ts); return mkerrorct(B, ts);
#define E2(A, B, C, D) \ #define E2(A, B, C, D) \
case A: \ case A: \
ts -= 2; \ ts -= 2; \
ts[0] = MkAtomTerm(Yap_LookupAtom(C)); \ ts[0] = MkAtomTerm(Yap_LookupAtom(C)); \
ts[1] = MkAtomTerm(Yap_LookupAtom(D)); \ ts[1] = MkAtomTerm(Yap_LookupAtom(D)); \
return mkerrorct(B, ts); return mkerrorct(B, ts);
#define END_ERRORS() \ #define END_ERRORS() \
} \ } \
} }
#include "YapErrors.h" #include "YapErrors.h"
/** /**
* @brief Yap_Error * @brief Yap_Error
* This function handles errors in the C code. Check errors.yap for the * This function handles errors in the C code. Check errors.yap for the
*corresponding Prolog code. *corresponding Prolog code.
* *
@ -480,7 +483,21 @@ yamop *Yap_Error__(const char *file, const char *function, int lineno,
fprintf(stderr, "%% YAP crashed while booting %s\n", tmpbuf); fprintf(stderr, "%% YAP crashed while booting %s\n", tmpbuf);
} else { } else {
Yap_detect_bug_location(P, FIND_PRED_FROM_ANYWHERE, YAP_BUF_SIZE); Yap_detect_bug_location(P, FIND_PRED_FROM_ANYWHERE, YAP_BUF_SIZE);
if (tmpbuf[0]) {
fprintf(stderr, "%% Bug found while executing %s\n", tmpbuf); fprintf(stderr, "%% Bug found while executing %s\n", tmpbuf);
}
#if HAVE_BACKTRACE
void *callstack[256];
int i;
int frames = backtrace(callstack, 256);
char** strs = backtrace_symbols(callstack, frames);
fprintf(stderr, "Execution stack:\n");
for (i = 0; i < frames; ++i) {
fprintf(stderr, " %s\n", strs[i]);
}
free(strs);
#endif
} }
error_exit_yap(1); error_exit_yap(1);
} }

1
cmake/Config.cmake
View File

@ -192,6 +192,7 @@ check_function_exists( access HAVE_ACCESS )
check_function_exists( acosh HAVE_ACOSH ) check_function_exists( acosh HAVE_ACOSH )
check_function_exists( asinh HAVE_ASINH ) check_function_exists( asinh HAVE_ASINH )
check_function_exists( atanh HAVE_ATANH ) check_function_exists( atanh HAVE_ATANH )
check_function_exists( backtrace HAVE_BACKTRACE )
check_function_exists( basename HAVE_BASENAME ) check_function_exists( basename HAVE_BASENAME )
check_function_exists( chdir HAVE_CHDIR ) check_function_exists( chdir HAVE_CHDIR )
check_function_exists(_chsize_s HAVE__CHSIZE_S) check_function_exists(_chsize_s HAVE__CHSIZE_S)

115
config.h.cmake
View File

@ -246,6 +246,11 @@ function. */
#cmakedefine HAVE_BASENAME ${HAVE_BASENAME} #cmakedefine HAVE_BASENAME ${HAVE_BASENAME}
#endif #endif
/* Define to 1 if you have the `basename' function. */
#ifndef HAVE_BACKTRACE
#cmakedefine HAVE_BACKTRACE ${HAVE_BACKTRACE}
#endif
/* Define to 1 if you have the `chdir' function. */ /* Define to 1 if you have the `chdir' function. */
#ifndef HAVE_CHDIR #ifndef HAVE_CHDIR
#cmakedefine HAVE_CHDIR ${HAVE_CHDIR} #cmakedefine HAVE_CHDIR ${HAVE_CHDIR}
@ -531,115 +536,7 @@ function. */
#cmakedefine HAVE_GLOB ${HAVE_GLOB} #cmakedefine HAVE_GLOB ${HAVE_GLOB}
#endif #endif
/* Define to 1 if you have the `gmtime' function. */
/*q Define to 1 if you have the `gmtime' function. */
#ifndef HAVE_GMTIME #ifndef HAVE_GMTIME
#cmakedefine HAVE_GMTIME ${HAVE_GMTIME} #cmakedefine HAVE_GMTIME ${HAVE_GMTIME}
#endif #endif