TYPE_INFO_DTOR.cpp

Go to the documentation of this file.

// checking for type_info dtor
 
 
#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_STD_TYPE_INFO
#  define NAMESPACE(name)   namespace name
#else
#  ifndef _RWSTD_NO_GLOBAL_TYPE_INFO
#    define NAMESPACE(ignore)   extern "C++"
#    define std                 /* empty */
#  else
#    ifndef _RWSTD_NO_RUNTIME_IN_STD
#      define NAMESPACE(name)   namespace name
#    else
#      define NAMESPACE(ignore)   extern "C++"
#      define std                 /* empty */
#    endif   // _RWSTD_NO_RUNTIME_IN_STD
#  endif   // _RWSTD_NO_GLOBAL_TYPE_INFO
#endif   // _RWSTD_NO_STD_TYPE_INFO
 
 
NAMESPACE (std) {
 
 
#if defined (__EDG__) || defined (__sgi)
   // let edg (or some of its derivatives) know about this fake type_info
#  if !defined (__GNUG__) && !defined (__INTEL_COMPILER)
#    pragma define_type_info
#  endif
#endif   // __EDG__
 
 
struct type_info
{
    virtual ~type_info ();
};
 
 
}   // namespace std
 
 
struct B0: virtual std::type_info { };
struct B1: virtual std::type_info { };
 
struct Derived: B0, B1
{
    virtual ~Derived ();
};
 
 
int dtor;
 
int main (int argc, char *argv[])
{
    // avoid executing the body of main unless explicitly requested
    // by specifying at least one command line argument (this foils
    // aggressive optimizers from eliminating the code)
    (void)&argv;
    if (argc < 2)
        return 0;
 
    // try to prevent the compiler from optimizing the dtor call away
    std::type_info *ptr;
 
    if (1 < argc)
        ptr = (std::type_info*)argv[2];
    else
        ptr = (Derived*)argv[1];
 
    // this will most like crash if evaluated but under normal
    // conditions the function should never reach this far
    delete ptr;
 
    return !(1 < argc ? 1 == dtor : 0 == dtor);
}
 
 
Derived::~Derived () { ++dtor; }