clang/test/Sema/enum.c

   1 // RUN: %clang_cc1 -triple %itanium_abi_triple %s -fsyntax-only -verify -pedantic
   2 enum e {A,
   3         B = 42LL << 32,        // expected-warning {{ISO C restricts enumerator values to range of 'int'}}
   4       C = -4, D = 12456 };
   5
   6 enum f { a = -2147483648, b = 2147483647 }; // ok.
   7
   8 enum g {  // too negative
   9    c = -2147483649,         // expected-warning {{ISO C restricts enumerator values to range of 'int'}}
  10    d = 2147483647 };
  11 enum h { e = -2147483648, // too pos
  12    f = 2147483648,           // expected-warning {{ISO C restricts enumerator values to range of 'int'}}
  13   i = 0xFFFF0000 // expected-warning {{too large}}
  14 };
  15
  16 // minll maxull
  17 enum x                      // expected-warning {{enumeration values exceed range of largest integer}}
  18 { y = -9223372036854775807LL-1,  // expected-warning {{ISO C restricts enumerator values to range of 'int'}}
  19 z = 9223372036854775808ULL };    // expected-warning {{ISO C restricts enumerator values to range of 'int'}}
  20
  21 int test(void) {
  22   return sizeof(enum e) ;
  23 }
  24
  25 enum gccForwardEnumExtension ve; // expected-warning{{ISO C forbids forward references to 'enum' types}} \
  26 // expected-error{{tentative definition has type 'enum gccForwardEnumExtension' that is never completed}} \
  27 // expected-note{{forward declaration of 'enum gccForwardEnumExtension'}}
  28
  29 int test2(int i)
  30 {
  31   ve + i; // expected-error{{invalid operands to binary expression}}
  32 }
  33
  34 // PR2020
  35 union u0;    // expected-note {{previous use is here}}
  36 enum u0 { U0A }; // expected-error {{use of 'u0' with tag type that does not match previous declaration}}
  37
  38
  39 // rdar://6095136
  40 extern enum some_undefined_enum ve2; // expected-warning {{ISO C forbids forward references to 'enum' types}}
  41
  42 void test4(void) {
  43   for (; ve2;) // expected-error {{statement requires expression of scalar type}}
  44     ;
  45   (_Bool)ve2;  // expected-error {{arithmetic or pointer type is required}}
  46
  47   for (; ;ve2) // expected-warning {{expression result unused}}
  48     ;
  49   (void)ve2;
  50   ve2;         // expected-warning {{expression result unused}}
  51 }
  52
  53 // PR2416
  54 enum someenum {};  // expected-error {{use of empty enum}}
  55
  56 // <rdar://problem/6093889>
  57 enum e0 { // expected-note {{previous definition is here}}
  58   E0 = sizeof(enum e0 { E1 }), // expected-error {{nested redefinition}}
  59 };
  60
  61 // PR3173
  62 enum { PR3173A, PR3173B = PR3173A+50 };
  63
  64 // PR2753
  65 void foo(void) {
  66   enum xpto; // expected-warning{{ISO C forbids forward references to 'enum' types}}
  67   enum xpto; // expected-warning{{ISO C forbids forward references to 'enum' types}}
  68 }
  69
  70 // <rdar://problem/6503878>
  71 typedef enum { X = 0 }; // expected-warning{{typedef requires a name}}
  72
  73
  74 enum NotYetComplete { // expected-note{{definition of 'enum NotYetComplete' is not complete until the closing '}'}}
  75   NYC1 = sizeof(enum NotYetComplete) // expected-error{{invalid application of 'sizeof' to an incomplete type 'enum NotYetComplete'}}
  76 };
  77
  78 /// PR3688
  79 struct s1 {
  80   enum e1 (*bar)(void); // expected-warning{{ISO C forbids forward references to 'enum' types}}
  81 };
  82
  83 enum e1 { YES, NO };
  84
  85 static enum e1 badfunc(struct s1 *q) {
  86   return q->bar();
  87 }
  88
  89
  90 // Make sure we don't a.k.a. anonymous enums.
  91 typedef enum {
  92   an_enumerator = 20
  93 } an_enum;
  94 char * s = (an_enum) an_enumerator; // expected-error {{incompatible integer to pointer conversion initializing 'char *' with an expression of type 'an_enum'}}
  95
  96 // PR4515
  97 enum PR4515 {PR4515a=1u,PR4515b=(PR4515a-2)/2};
  98 int CheckPR4515[PR4515b==0?1:-1];
  99
 100 // PR7911
 101 extern enum PR7911T PR7911V; // expected-warning{{ISO C forbids forward references to 'enum' types}}
 102 void PR7911F(void) {
 103   switch (PR7911V) // expected-error {{statement requires expression of integer type}}
 104     ;
 105 }
 106
 107 char test5[__has_feature(enumerator_attributes) ? 1 : -1];
 108
 109 // PR8694
 110 // rdar://8707031
 111 void PR8694(int* e) // expected-note {{passing argument to parameter 'e' here}}
 112 {
 113 }
 114
 115 void crash(enum E* e) // expected-warning {{declaration of 'enum E' will not be visible outside of this function}} \
 116                       // expected-warning {{ISO C forbids forward references to 'enum' types}}
 117 {
 118         PR8694(e); // expected-warning {{incompatible pointer types passing 'enum E *' to parameter of type 'int *'}}
 119 }
 120
 121 typedef enum { NegativeShort = (short)-1 } NegativeShortEnum;
 122 int NegativeShortTest[NegativeShort == -1 ? 1 : -1];
 123
 124 // PR24610
 125 enum Color { Red, Green, Blue }; // expected-note{{previous use is here}}
 126 typedef struct Color NewColor; // expected-error {{use of 'Color' with tag type that does not match previous declaration}}
 127
 128 // PR28903
 129 // In C it is valid to define tags inside enums.
 130 struct PR28903 {
 131   enum {
 132     PR28903_A = (enum {
 133       PR28903_B,
 134       PR28903_C = PR28903_B
 135     })0
 136   };
 137   int makeStructNonEmpty;
 138 };
 139
 140 static int EnumRedecl; // expected-note 2 {{previous definition is here}}
 141 struct S {
 142   enum {
 143     EnumRedecl = 4 // expected-error {{redefinition of 'EnumRedecl'}}
 144   } e;
 145 };
 146
 147 union U {
 148   enum {
 149     EnumRedecl = 5 // expected-error {{redefinition of 'EnumRedecl'}}
 150   } e;
 151 };
 152
 153 enum PR15071 {
 154   PR15071_One // expected-note {{previous definition is here}}
 155 };
 156
 157 struct EnumRedeclStruct {
 158   enum {
 159     PR15071_One // expected-error {{redefinition of enumerator 'PR15071_One'}}
 160   } e;
 161 };
 162
 163 enum struct GH42372_1 { // expected-error {{expected identifier or '{'}} expected-warning {{declaration does not declare anything}}
 164   One
 165 };
 166
 167 // Because class is not a keyword in C, this looks like a forward declaration.
 168 // expected-error@+4 {{expected ';' after top level declarator}}
 169 // expected-error@+3 {{tentative definition has type 'enum class' that is never completed}}
 170 // expected-warning@+2 {{ISO C forbids forward references to 'enum' types}}
 171 // expected-note@+1 {{forward declaration of 'enum class'}}
 172 enum class GH42372_2 {
 173   One
 174 };