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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

// { dg-do run { target c++11 } }

#include <cassert>

enum E1 : unsigned { E1_en = 1 };
enum E2 : char { E2_en = 1 };
enum class E3 { a = -1 };
enum class E4 : unsigned char { c = 1 };
enum class E5 : int { a = -1, b = 1 };
enum class E6 : long { c = __LONG_MAX__ };

template<typename T>
  struct underlying_type
  { typedef __underlying_type(T) type; };

template<typename T>
  void
  test(T t, typename underlying_type<T>::type v)
  {
    assert( t == T(v) );
  }

int main()
{
  test(E1::E1_en, 1);
  test(E2::E2_en, 1);
  test(E3::a, -1);
  test(E4::c, 1);
  test(E5::a, -1);
  test(E6::c, __LONG_MAX__);
}