GLOBAL_BAD_EXCEPTION.cpp

Go to the documentation of this file.

// checking for class ::bad_exception
 
 
#include "config.h"
 
 
#ifndef _RWSTD_NO_HONOR_STD
#  ifdef _RWSTD_NO_STD_TERMINATE
#    include "terminate.h"
#  endif   // _RWSTD_NO_STD_TERMINATE
#endif   // _RWSTD_NO_HONOR_STD
 
 
#ifndef _RWSTD_NO_EXCEPTION_SPECIFICATION
#  define throws(args)   throw args
#else
#  define throws(ignore)
#endif   // _RWSTD_NO_EXCEPTION_SPECIFICATION
 
 
#ifndef _RWSTD_NO_STD_SET_UNEXPECTED
 
namespace std {
 
#endif   // _RWSTD_NO_STD_SET_UNEXPECTED
 
 
typedef void (*unexpected_handler)();
unexpected_handler set_unexpected (void (*)()) throws (());
 
 
#ifndef _RWSTD_NO_STD_SET_UNEXPECTED
 
}   // namespace std
 
#  define SET_UNEXPECTED(handler)   std::set_unexpected (handler)
 
#else
 
#  define SET_UNEXPECTED(handler)   set_unexpected (handler)
 
#endif   // _RWSTD_NO_STD_SET_UNEXPECTED
 
class bad_exception { };
 
 
void foo () throws ((bad_exception))
{
    // throw an object of a disallowed type
    throw 0;
}
 
void handler ()
{
    // throw an object of a type not allowed by the exception-specification
    // of the function that already violated its specification (due to which
    // the handler has been called); this requires the exception object to be
    // replaced by the runtime library by one of type [std]::bad_exception
    throw "";
}
 
int main ()
{
    SET_UNEXPECTED (handler);
 
    try {
        // will fail if runtime library doesn't recognize ::bad_exception
        // by calling terminate()
        foo ();
    }
    catch (bad_exception&) {
        // successfully caught object thrown by runtime library
        return 0;
    }
    catch (...) {
        return 1;
    }
 
    // runtime library is broken
    return 2;
}