Clang Project

clang_source_code/test/Sema/enum-attr.c
1// RUN: %clang_cc1 -fsyntax-only -verify -Wassign-enum -Wswitch-enum -Wcovered-switch-default %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 __attribute__((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
27enum __attribute__((enum_extensibility(arg1))) EnumInvalidArg { // expected-warning{{'enum_extensibility' attribute argument not supported: 'arg1'}}
28  X0
29};
30
31// FIXME: The warning should mention that enum_extensibility takes only one argument.
32enum __attribute__((enum_extensibility(closed,open))) EnumTooManyArgs { // expected-error{{use of undeclared identifier 'open'}}
33  X1
34};
35
36enum __attribute__((enum_extensibility())) EnumTooFewArgs { // expected-error{{'enum_extensibility' attribute takes one argument}}
37  X2
38};
39
40struct __attribute__((enum_extensibility(open))) S { // expected-warning{{'enum_extensibility' attribute only applies to enums}}{
41};
42
43void test() {
44  enum Enum t0 = 100; // expected-warning{{integer constant not in range of enumerated type}}
45  t0 = 1;
46
47  switch (t0) { // expected-warning{{enumeration value 'A1' not handled in switch}}
48  case A0: break;
49  case 16: break; // expected-warning{{case value not in enumerated type}}
50  }
51
52  switch (t0) {
53  case A0: break;
54  case A1: break;
55  default: break; // expected-warning{{default label in switch which covers all enumeration}}
56  }
57
58  enum EnumClosed t1 = 100; // expected-warning{{integer constant not in range of enumerated type}}
59  t1 = 1;
60
61  switch (t1) { // expected-warning{{enumeration value 'B1' not handled in switch}}
62  case B0: break;
63  case 16: break; // expected-warning{{case value not in enumerated type}}
64  }
65
66  switch (t1) {
67  case B0: break;
68  case B1: break;
69  default: break; // expected-warning{{default label in switch which covers all enumeration}}
70  }
71
72  enum EnumOpen t2 = 100;
73  t2 = 1;
74
75  switch (t2) { // expected-warning{{enumeration value 'C1' not handled in switch}}
76  case C0: break;
77  case 16: break;
78  }
79
80  switch (t2) {
81  case C0: break;
82  case C1: break;
83  default: break;
84  }
85
86  enum EnumFlag t3 = 5; // expected-warning{{integer constant not in range of enumerated type}}
87  t3 = 9;
88
89  switch (t3) { // expected-warning{{enumeration value 'D1' not handled in switch}}
90  case D0: break;
91  case 9: break;
92  case 16: break; // expected-warning{{case value not in enumerated type}}
93  }
94
95  switch (t3) {
96  case D0: break;
97  case D1: break;
98  default: break;
99  }
100
101  enum EnumFlagClosed t4 = 5; // expected-warning{{integer constant not in range of enumerated type}}
102  t4 = 9;
103
104  switch (t4) { // expected-warning{{enumeration value 'E1' not handled in switch}}
105  case E0: break;
106  case 9: break;
107  case 16: break; // expected-warning{{case value not in enumerated type}}
108  }
109
110  switch (t4) {
111  case E0: break;
112  case E1: break;
113  default: break;
114  }
115
116  enum EnumFlagOpen t5 = 5;
117  t5 = 9;
118
119  switch (t5) { // expected-warning{{enumeration value 'F1' not handled in switch}}
120  case F0: break;
121  case 9: break;
122  case 16: break;
123  }
124
125  switch (t5) {
126  case F0: break;
127  case F1: break;
128  default: break;
129  }
130}
131