Daniel Dunbar | a572887 | 2009-12-15 20:14:24 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 %s -fsyntax-only -verify |
Douglas Gregor | a03aca8 | 2009-03-10 21:58:27 +0000 | [diff] [blame] | 2 | enum e0; // expected-note{{forward declaration of 'enum e0'}} |
Anders Carlsson | 9f1e572 | 2008-12-06 20:33:04 +0000 | [diff] [blame] | 3 | |
| 4 | struct a { |
| 5 | int a : -1; // expected-error{{bit-field 'a' has negative width}} |
Chris Lattner | f62e14d | 2008-12-11 23:11:52 +0000 | [diff] [blame] | 6 | |
| 7 | // rdar://6081627 |
Anders Carlsson | c75d6cc | 2010-04-15 18:47:32 +0000 | [diff] [blame] | 8 | int b : 33; // expected-error{{size of bit-field 'b' (33 bits) exceeds size of its type (32 bits)}} |
Chris Lattner | f62e14d | 2008-12-11 23:11:52 +0000 | [diff] [blame] | 9 | |
Anders Carlsson | 9f1e572 | 2008-12-06 20:33:04 +0000 | [diff] [blame] | 10 | int c : (1 + 0.25); // expected-error{{expression is not an integer constant expression}} |
| 11 | int d : (int)(1 + 0.25); |
Chris Lattner | cd08707 | 2008-12-12 04:56:04 +0000 | [diff] [blame] | 12 | |
| 13 | // rdar://6138816 |
| 14 | int e : 0; // expected-error {{bit-field 'e' has zero width}} |
Chris Lattner | 2479366 | 2009-03-05 22:45:59 +0000 | [diff] [blame] | 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'}} |
Anders Carlsson | f257b61 | 2009-03-16 18:19:21 +0000 | [diff] [blame] | 20 | |
| 21 | int g : (_Bool)1; |
Chris Lattner | df9bcd5 | 2009-04-20 17:29:38 +0000 | [diff] [blame] | 22 | |
| 23 | // PR4017 |
Anders Carlsson | c75d6cc | 2010-04-15 18:47:32 +0000 | [diff] [blame] | 24 | char : 10; // expected-error {{size of anonymous bit-field (10 bits) exceeds size of its type (8 bits)}} |
Chris Lattner | df9bcd5 | 2009-04-20 17:29:38 +0000 | [diff] [blame] | 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'}} |
Anders Carlsson | 9f1e572 | 2008-12-06 20:33:04 +0000 | [diff] [blame] | 27 | }; |
Douglas Gregor | fc24e44 | 2009-05-01 20:41:21 +0000 | [diff] [blame] | 28 | |
| 29 | struct b {unsigned x : 2;} x; |
| 30 | __typeof__(x.x+1) y; |
| 31 | int y; |
Douglas Gregor | 2d833e3 | 2009-05-02 00:36:19 +0000 | [diff] [blame] | 32 | |
| 33 | struct {unsigned x : 2;} x2; |
Douglas Gregor | 33bbbc5 | 2009-05-02 02:18:30 +0000 | [diff] [blame] | 34 | __typeof__((x.x+=1)+1) y; |
Douglas Gregor | 2d833e3 | 2009-05-02 00:36:19 +0000 | [diff] [blame] | 35 | __typeof__(x.x<<1) y; |
| 36 | int y; |
Douglas Gregor | 90ba6d5 | 2010-11-09 03:31:16 +0000 | [diff] [blame] | 37 | |
| 38 | struct PR8025 { |
| 39 | double : 2; // expected-error{{anonymous bit-field has non-integral type 'double'}} |
| 40 | }; |