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

   1 // { dg-do run { target c++11 } }
   2
   3 #include <cassert>
   4
   5 enum E1 : unsigned { E1_en = 1 };
   6 enum E2 : char { E2_en = 1 };
   7 enum class E3 { a = -1 };
   8 enum class E4 : unsigned char { c = 1 };
   9 enum class E5 : int { a = -1, b = 1 };
  10 enum class E6 : long { c = __LONG_MAX__ };
  11
  12 template<typename T>
  13   struct underlying_type
  14   { typedef __underlying_type(T) type; };
  15
  16 template<typename T>
  17   void
  18   test(T t, typename underlying_type<T>::type v)
  19   {
  20     assert( t == T(v) );
  21   }
  22
  23 int main()
  24 {
  25   test(E1::E1_en, 1);
  26   test(E2::E2_en, 1);
  27   test(E3::a, -1);
  28   test(E4::c, 1);
  29   test(E5::a, -1);
  30   test(E6::c, __LONG_MAX__);
  31 }