gcc/testsuite/g++.dg/ext/is_polymorphic.C

   1 // { dg-do "run" }
   2 #include <cassert>
   3 #include <exception>
   4
   5 struct A
   6 {
   7   double a;
   8   double b;
   9 };
  10
  11 class B
  12 {
  13   virtual void rotate(int) { }
  14 };
  15
  16 class C
  17 : public B { };
  18
  19 union U
  20 {
  21   double a;
  22   double b;
  23 };
  24
  25 template<typename T>
  26   bool
  27   f()
  28   { return __is_polymorphic(T); }
  29
  30 template<typename T>
  31   class My
  32   {
  33   public:
  34     bool
  35     f()
  36     { return !!__is_polymorphic(T); }
  37   };
  38
  39 template<typename T>
  40   class My2
  41   {
  42   public:
  43     static const bool trait = __is_polymorphic(T);
  44   };
  45
  46 template<typename T>
  47   const bool My2<T>::trait;
  48
  49 template<typename T, bool b = __is_polymorphic(T)>
  50   struct My3_help
  51   { static const bool trait = b; };
  52
  53 template<typename T, bool b>
  54   const bool My3_help<T, b>::trait;
  55
  56 template<typename T>
  57   class My3
  58   {
  59   public:
  60     bool
  61     f()
  62     { return My3_help<T>::trait; }
  63   };
  64
  65 #define PTEST(T) (__is_polymorphic(T) && f<T>() \
  66                   && My<T>().f() && My2<T>::trait && My3<T>().f())
  67
  68 #define NTEST(T) (!__is_polymorphic(T) && !f<T>() \
  69                   && !My<T>().f() && !My2<T>::trait && !My3<T>().f())
  70
  71 int main()
  72 {
  73   assert (NTEST (int));
  74   assert (NTEST (void));
  75   assert (PTEST (std::exception));
  76   assert (NTEST (A));
  77   assert (PTEST (B));
  78   assert (PTEST (C));
  79   assert (NTEST (C[]));
  80   assert (NTEST (U));
  81
  82   return 0;
  83 }