{
// Manage the exception object itself.
std::type_info *exceptionType;
- __cxa_dtor_type exceptionDestructor;
+ void (_GLIBCXX_CDTOR_CALLABI *exceptionDestructor)(void *);
// The C++ standard has entertaining rules wrt calling set_terminate
// and set_unexpected in the middle of the exception cleanup process.