harden uncaught exception registration (#12120)

This commit is contained in:
Daniel Hiltgen
2025-09-02 09:43:55 -07:00
committed by GitHub
parent e42300f25b
commit 0cc90a8186
2 changed files with 34 additions and 2 deletions

View File

@@ -19,8 +19,12 @@ static bool ggml_uncaught_exception_init = []{
return false;
}
const auto prev{std::get_terminate()};
GGML_ASSERT(prev != ggml_uncaught_exception);
previous_terminate_handler = prev;
// GGML_ASSERT(prev != ggml_uncaught_exception);
if (prev != ggml_uncaught_exception) {
previous_terminate_handler = prev;
} else {
GGML_LOG_WARN("%s double registration of ggml_uncaught_exception\n", __func__);
}
std::set_terminate(ggml_uncaught_exception);
return true;
}();