bitfield.c revision 993f43f24d7a45a5cd4678a3316b0852261fc5d4 
1// RUN: %clang_cc1 %s -fsyntax-only -verify
2enum e0; // expected-note{{forward declaration of 'enum e0'}}
3
4struct 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
29struct b {unsigned x : 2;} x;
30__typeof__(x.x+1) y;
31int y;
32
33struct {unsigned x : 2;} x2;
34__typeof__((x.x+=1)+1) y;
35__typeof__((0,x.x)+1) y;
36__typeof__(x.x<<1) y;
37int y;
38
39struct PR8025 {
40  double : 2; // expected-error{{anonymous bit-field has non-integral type 'double'}}
41};
42
43struct Test4 {
44  unsigned bitX : 4;
45  unsigned bitY : 4;
46  unsigned var;
47};
48void 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