Clang Project

clang_source_code/test/SemaCXX/enum-attr.cpp
1// RUN: %clang_cc1 -fsyntax-only -verify -Wassign-enum -Wswitch-enum -Wcovered-switch-default -std=c++11 %s
2
3enum Enum {
4  A0 = 1, A1 = 10
5};
6
7enum __attribute__((enum_extensibility(closed))) EnumClosed {
8  B0 = 1, B1 = 10
9};
10
11enum [[clang::enum_extensibility(open)]] EnumOpen {
12  C0 = 1, C1 = 10
13};
14
15enum __attribute__((flag_enum)) EnumFlag {
16  D0 = 1, D1 = 8
17};
18
19enum __attribute__((flag_enum,enum_extensibility(closed))) EnumFlagClosed {
20  E0 = 1, E1 = 8
21};
22
23enum __attribute__((flag_enum,enum_extensibility(open))) EnumFlagOpen {
24  F0 = 1, F1 = 8
25};
26
27void test() {
28  enum Enum t0;
29
30  switch (t0) { // expected-warning{{enumeration value 'A1' not handled in switch}}
31  case A0: break;
32  case 16: break; // expected-warning{{case value not in enumerated type}}
33  }
34
35  switch (t0) {
36  case A0: break;
37  case A1: break;
38  default: break; // expected-warning{{default label in switch which covers all enumeration}}
39  }
40
41  enum EnumClosed t1;
42
43  switch (t1) { // expected-warning{{enumeration value 'B1' not handled in switch}}
44  case B0: break;
45  case 16: break; // expected-warning{{case value not in enumerated type}}
46  }
47
48  switch (t1) {
49  case B0: break;
50  case B1: break;
51  default: break; // expected-warning{{default label in switch which covers all enumeration}}
52  }
53
54  enum EnumOpen t2;
55
56  switch (t2) { // expected-warning{{enumeration value 'C1' not handled in switch}}
57  case C0: break;
58  case 16: break;
59  }
60
61  switch (t2) {
62  case C0: break;
63  case C1: break;
64  default: break;
65  }
66
67  enum EnumFlag t3;
68
69  switch (t3) { // expected-warning{{enumeration value 'D1' not handled in switch}}
70  case D0: break;
71  case 9: break;
72  case 16: break; // expected-warning{{case value not in enumerated type}}
73  }
74
75  switch (t3) {
76  case D0: break;
77  case D1: break;
78  default: break;
79  }
80
81  enum EnumFlagClosed t4;
82
83  switch (t4) { // expected-warning{{enumeration value 'E1' not handled in switch}}
84  case E0: break;
85  case 9: break;
86  case 16: break; // expected-warning{{case value not in enumerated type}}
87  }
88
89  switch (t4) {
90  case E0: break;
91  case E1: break;
92  default: break;
93  }
94
95  enum EnumFlagOpen t5;
96
97  switch (t5) { // expected-warning{{enumeration value 'F1' not handled in switch}}
98  case F0: break;
99  case 9: break;
100  case 16: break;
101  }
102
103  switch (t5) {
104  case F0: break;
105  case F1: break;
106  default: break;
107  }
108}
109