Index: src/cxa_default_handlers.cpp =================================================================== --- src/cxa_default_handlers.cpp +++ src/cxa_default_handlers.cpp @@ -19,6 +19,7 @@ #include "cxa_exception.hpp" #include "private_typeinfo.h" +#if !defined(LIBCXXABI_SILENT_TERMINATE) static const char* cause = "uncaught"; __attribute__((noreturn)) @@ -84,7 +85,6 @@ std::terminate(); } -#if !defined(LIBCXXABI_SILENT_TERMINATE) static std::terminate_handler default_terminate_handler = demangling_terminate_handler; static std::terminate_handler default_unexpected_handler = demangling_unexpected_handler; #else