1 // RUN: %clang_cc1 %s -fsyntax-only -verify -std=c11 -Wno-unused-value
2
3 enum e0; // expected-note{{forward declaration of 'enum e0'}}
4
5 struct a {
6 int a : -1; // expected-error{{bit-field 'a' has negative width}}
7
8 // rdar://6081627
9 int b : 33; // expected-error{{size of bit-field 'b' (33 bits) exceeds size of its type (32 bits)}}
10
11 int c : (1 + 0.25); // expected-error{{expression is not an integer constant expression}}
12 int d : (int)(1 + 0.25);
13
14 // rdar://6138816
15 int e : 0; // expected-error {{bit-field 'e' has zero width}}
16
17 float xx : 4; // expected-error {{bit-field 'xx' has non-integral type}}
18
19 // PR3607
20 enum e0 f : 1; // expected-error {{field has incomplete type 'enum e0'}}
21
22 int g : (_Bool)1;
23
24 // PR4017
25 char : 10; // expected-error {{size of anonymous bit-field (10 bits) exceeds size of its type (8 bits)}}
26 unsigned : -2; // expected-error {{anonymous bit-field has negative width (-2)}}
27 float : 12; // expected-error {{anonymous bit-field has non-integral type 'float'}}
28 };
29
30 struct b {unsigned x : 2;} x;
31 __typeof__(x.x+1) y;
32 int y;
33
34 struct {unsigned x : 2;} x2;
35 __typeof__((x.x+=1)+1) y;
36 __typeof__((0,x.x)+1) y;
37 __typeof__(x.x<<1) y;
38 int y;
39
40 struct PR8025 {
41 double : 2; // expected-error{{anonymous bit-field has non-integral type 'double'}}
42 };
43
44 struct Test4 {
45 unsigned bitX : 4;
46 unsigned bitY : 4;
47 unsigned var;
48 };
test4(struct Test4 * t)49 void test4(struct Test4 *t) {
50 (void) sizeof(t->bitX); // expected-error {{invalid application of 'sizeof' to bit-field}}
51 (void) sizeof((t->bitY)); // expected-error {{invalid application of 'sizeof' to bit-field}}
52 (void) sizeof(t->bitX = 4); // not a bitfield designator in C
53 (void) sizeof(t->bitX += 4); // not a bitfield designator in C
54 (void) sizeof((void) 0, t->bitX); // not a bitfield designator in C
55 (void) sizeof(t->var ? t->bitX : t->bitY); // not a bitfield designator in C
56 (void) sizeof(t->var ? t->bitX : t->bitX); // not a bitfield designator in C
57 }
58
59 typedef unsigned Unsigned;
60 typedef signed Signed;
61
62 struct Test5 { unsigned n : 2; } t5;
63 typedef __typeof__(t5.n) Unsigned; // Bitfield is unsigned
64 typedef __typeof__(+t5.n) Signed; // ... but promotes to signed.
65
66 typedef __typeof__(t5.n + 0) Signed; // Arithmetic promotes.
67
68 typedef __typeof__(+(t5.n = 0)) Signed; // FIXME: Assignment should not; the result
69 typedef __typeof__(+(t5.n += 0)) Signed; // is a non-bit-field lvalue of type unsigned.
70 typedef __typeof__(+(t5.n *= 0)) Signed;
71
72 typedef __typeof__(+(++t5.n)) Signed; // FIXME: Increment is equivalent to compound-assignment.
73 typedef __typeof__(+(--t5.n)) Signed; // This should not promote to signed.
74
75 typedef __typeof__(+(t5.n++)) Unsigned; // Post-increment is underspecified, but seems to
76 typedef __typeof__(+(t5.n--)) Unsigned; // also act like compound-assignment.
77