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

   1 // { dg-do run { target c++11 } }
   2 #include <cassert>
   3
   4 struct A
   5 {
   6   double a;
   7   double b;
   8 };
   9
  10 struct B
  11 {
  12   B() { }
  13 };
  14
  15 struct C
  16 : public A { };
  17
  18 template<typename T>
  19   bool
  20   f()
  21   { return __is_pod(T); }
  22
  23 template<typename T>
  24   class My
  25   {
  26   public:
  27     bool
  28     f()
  29     { return !!__is_pod(T); }
  30   };
  31
  32 template<typename T>
  33   class My2
  34   {
  35   public:
  36     static const bool trait = __is_pod(T);
  37   };
  38
  39 template<typename T>
  40   const bool My2<T>::trait;
  41
  42 template<typename T, bool b = __is_pod(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_pod(T) && f<T>() \
  59                   && My<T>().f() && My2<T>::trait && My3<T>().f())
  60
  61 #define NTEST(T) (!__is_pod(T) && !f<T>() \
  62                   && !My<T>().f() && !My2<T>::trait && !My3<T>().f())
  63
  64 int main()
  65 {
  66   assert (PTEST (int));
  67   assert (NTEST (void));
  68   assert (PTEST (A));
  69   assert (PTEST (A[]));
  70   assert (NTEST (B));
  71   assert (PTEST (C));
  72   assert (PTEST (C[]));
  73
  74   return 0;
  75 }