enum-scoped.cpp revision 57c13008c634f47d8ca1b6aa9d7965d82a05c502 
1// RUN: %clang_cc1 -fsyntax-only -pedantic -std=c++0x -verify -triple x86_64-apple-darwin %s
2
3enum class E1 {
4  Val1 = 1L
5};
6
7enum struct E2 {
8  Val1 = '\0'
9};
10
11E1 v1 = Val1; // expected-error{{undeclared identifier}}
12E1 v2 = E1::Val1;
13
14static_assert(sizeof(E1) == sizeof(int), "bad size");
15static_assert(sizeof(E1::Val1) == sizeof(int), "bad size");
16static_assert(sizeof(E2) == sizeof(int), "bad size");
17static_assert(sizeof(E2::Val1) == sizeof(int), "bad size");
18
19E1 v3 = E2::Val1; // expected-error{{cannot initialize a variable}}
20int x1 = E1::Val1; // expected-error{{cannot initialize a variable}}
21
22enum E3 : char {
23  Val2 = 1
24};
25
26E3 v4 = Val2;
27E1 v5 = Val2; // expected-error{{cannot initialize a variable}}
28
29static_assert(sizeof(E3) == 1, "bad size");
30
31int x2 = Val2;
32
33int a1[Val2];
34int a2[E1::Val1]; // expected-error{{size of array has non-integer type}}
35
36int* p1 = new int[Val2];
37int* p2 = new int[E1::Val1]; // FIXME Expected-error{{must have integral}}
38
39enum class E4 {
40  e1 = -2147483648, // ok
41  e2 = 2147483647, // ok
42  e3 = 2147483648 // expected-error{{value is not representable}}
43};
44
45enum class E5 {
46  e1 = 2147483647, // ok
47  e2 // expected-error{{2147483648 is not representable in the underlying}}
48};
49
50enum class E6 : bool {
51    e1 = false, e2 = true,
52    e3 // expected-error{{2 is not representable in the underlying}}
53};
54
55enum E7 : bool {
56    e1 = false, e2 = true,
57    e3 // expected-error{{2 is not representable in the underlying}}
58};
59
60template <class T>
61struct X {
62  enum E : T {
63    e1, e2,
64    e3 // expected-error{{2 is not representable in the underlying}}
65  };
66};
67
68X<bool> X2; // expected-note{{in instantiation of template}}
69
70enum Incomplete1; // expected-error{{C++ forbids forward references}}
71
72enum Complete1 : int;
73Complete1 complete1;
74
75enum class Complete2;
76Complete2 complete2;
77
78// All the redeclarations below are done twice on purpose. Tests that the type
79// of the declaration isn't changed.
80
81enum class Redeclare2; // expected-note{{previous use is here}} expected-note{{previous use is here}}
82enum Redeclare2; // expected-error{{previously declared as scoped}}
83enum Redeclare2; // expected-error{{previously declared as scoped}}
84
85enum Redeclare3 : int; // expected-note{{previous use is here}} expected-note{{previous use is here}}
86enum Redeclare3; // expected-error{{previously declared with fixed underlying type}}
87enum Redeclare3; // expected-error{{previously declared with fixed underlying type}}
88
89enum class Redeclare5;
90enum class Redeclare5 : int; // ok
91
92enum Redeclare6 : int; // expected-note{{previous use is here}} expected-note{{previous use is here}}
93enum Redeclare6 : short; // expected-error{{redeclared with different underlying type}}
94enum Redeclare6 : short; // expected-error{{redeclared with different underlying type}}
95
96enum class Redeclare7; // expected-note{{previous use is here}} expected-note{{previous use is here}}
97enum class Redeclare7 : short; // expected-error{{redeclared with different underlying type}}
98enum class Redeclare7 : short; // expected-error{{redeclared with different underlying type}}
99
100enum : long {
101  long_enum_val = 10000
102};
103
104enum : long x; // expected-error{{unnamed enumeration must be a definition}} \
105// expected-warning{{declaration does not declare anything}}
106
107void PR9333() {
108  enum class scoped_enum { yes, no, maybe };
109  scoped_enum e = scoped_enum::yes;
110  if (e == scoped_enum::no) { }
111}
112
113// <rdar://problem/9366066>
114namespace rdar9366066 {
115  enum class X : unsigned { value };
116
117  void f(X x) {
118    x % X::value; // expected-error{{invalid operands to binary expression ('rdar9366066::X' and 'rdar9366066::X')}}
119    x % 8; // expected-error{{invalid operands to binary expression ('rdar9366066::X' and 'int')}}
120  }
121}
122
123// Part of PR10264
124namespace test5 {
125  namespace ns {
126    typedef unsigned Atype;
127    enum A : Atype;
128  }
129  enum ns::A : ns::Atype {
130    x, y, z
131  };
132}
133