131 lines · c
1// RUN: %clang_cc1 -fsyntax-only -verify -Wassign-enum -Wswitch-enum -Wcovered-switch-default %s2 3enum Enum {4 A0 = 1, A1 = 105};6 7enum __attribute__((enum_extensibility(closed))) EnumClosed {8 B0 = 1, B1 = 109};10 11enum __attribute__((enum_extensibility(open))) EnumOpen {12 C0 = 1, C1 = 1013};14 15enum __attribute__((flag_enum)) EnumFlag {16 D0 = 1, D1 = 817};18 19enum __attribute__((flag_enum,enum_extensibility(closed))) EnumFlagClosed {20 E0 = 1, E1 = 821};22 23enum __attribute__((flag_enum,enum_extensibility(open))) EnumFlagOpen {24 F0 = 1, F1 = 825};26 27enum __attribute__((enum_extensibility(arg1))) EnumInvalidArg { // expected-warning{{'enum_extensibility' attribute argument not supported: 'arg1'}}28 X029};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 X134};35 36enum __attribute__((enum_extensibility())) EnumTooFewArgs { // expected-error{{'enum_extensibility' attribute takes one argument}}37 X238};39 40struct __attribute__((enum_extensibility(open))) S { // expected-warning{{'enum_extensibility' attribute only applies to enums}}{41};42 43void test(void) {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