示例#1
0
文件: util.cpp 项目: Jornason/z3
void fatal_error(int error_code) {
    if (g_fatal_error_handler) {
        g_fatal_error_handler(error_code);
    }
    else {
        exit(error_code);
    }
}
示例#2
0
static void NaClFatalErrorHandlerCallback(void *state,
                                          char *buf,
                                          size_t buf_bytes) {
  CHECK(state == NULL);
  g_fatal_error_handler(buf, buf_bytes);
}