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

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