clang/test/SemaCXX/enum-attr.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify -Wassign-enum -Wswitch-enum -Wcovered-switch-default -std=c++11 %s
   2
   3 enum Enum {
   4   A0 = 1, A1 = 10
   5 };
   6
   7 enum __attribute__((enum_extensibility(closed))) EnumClosed {
   8   B0 = 1, B1 = 10
   9 };
  10
  11 enum [[clang::enum_extensibility(open)]] EnumOpen {
  12   C0 = 1, C1 = 10
  13 };
  14
  15 enum __attribute__((flag_enum)) EnumFlag {
  16   D0 = 1, D1 = 8
  17 };
  18
  19 enum __attribute__((flag_enum,enum_extensibility(closed))) EnumFlagClosed {
  20   E0 = 1, E1 = 8
  21 };
  22
  23 enum __attribute__((flag_enum,enum_extensibility(open))) EnumFlagOpen {
  24   F0 = 1, F1 = 8
  25 };
  26
  27 void 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 }