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