Home | History | Annotate | Download | only in Sema
      1 // RUN: %clang_cc1 %s -fsyntax-only -verify
      2 enum e0; // expected-note{{forward declaration of 'enum e0'}}
      3 
      4 struct a {
      5   int a : -1; // expected-error{{bit-field 'a' has negative width}}
      6 
      7   // rdar://6081627
      8   int b : 33; // expected-error{{size of bit-field 'b' (33 bits) exceeds size of its type (32 bits)}}
      9 
     10   int c : (1 + 0.25); // expected-error{{expression is not an integer constant expression}}
     11   int d : (int)(1 + 0.25);
     12 
     13   // rdar://6138816
     14   int e : 0;  // expected-error {{bit-field 'e' has zero width}}
     15 
     16   float xx : 4;  // expected-error {{bit-field 'xx' has non-integral type}}
     17 
     18   // PR3607
     19   enum e0 f : 1; // expected-error {{field has incomplete type 'enum e0'}}
     20 
     21   int g : (_Bool)1;
     22 
     23   // PR4017
     24   char : 10;      // expected-error {{size of anonymous bit-field (10 bits) exceeds size of its type (8 bits)}}
     25   unsigned : -2;  // expected-error {{anonymous bit-field has negative width (-2)}}
     26   float : 12;     // expected-error {{anonymous bit-field has non-integral type 'float'}}
     27 };
     28 
     29 struct b {unsigned x : 2;} x;
     30 __typeof__(x.x+1) y;
     31 int y;
     32 
     33 struct {unsigned x : 2;} x2;
     34 __typeof__((x.x+=1)+1) y;
     35 __typeof__((0,x.x)+1) y;
     36 __typeof__(x.x<<1) y;
     37 int y;
     38 
     39 struct PR8025 {
     40   double : 2; // expected-error{{anonymous bit-field has non-integral type 'double'}}
     41 };
     42 
     43 struct Test4 {
     44   unsigned bitX : 4;
     45   unsigned bitY : 4;
     46   unsigned var;
     47 };
     48 void test4(struct Test4 *t) {
     49   (void) sizeof(t->bitX); // expected-error {{invalid application of 'sizeof' to bit-field}}
     50   (void) sizeof((t->bitY)); // expected-error {{invalid application of 'sizeof' to bit-field}}
     51   (void) sizeof(t->bitX = 4); // not a bitfield designator in C
     52   (void) sizeof(t->bitX += 4); // not a bitfield designator in C
     53   (void) sizeof((void) 0, t->bitX); // not a bitfield designator in C
     54   (void) sizeof(t->var ? t->bitX : t->bitY); // not a bitfield designator in C
     55   (void) sizeof(t->var ? t->bitX : t->bitX); // not a bitfield designator in C
     56 }
     57