Douglas Gregor | 67ca40c | 2010-07-26 04:08:02 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
Chris Lattner | e66218b | 2006-08-12 17:19:28 +0000 | [diff] [blame] | 2 | |
| 3 | void test1() { |
Douglas Gregor | 67ca40c | 2010-07-26 04:08:02 +0000 | [diff] [blame] | 4 | if (sizeof (int){ 1}) {} // sizeof compound literal |
| 5 | if (sizeof (int)) {} // sizeof type |
Chris Lattner | e66218b | 2006-08-12 17:19:28 +0000 | [diff] [blame] | 6 | |
Douglas Gregor | 67ca40c | 2010-07-26 04:08:02 +0000 | [diff] [blame] | 7 | (void)(int)4; // cast. |
| 8 | (void)(int){4}; // compound literal. |
Chris Lattner | e66218b | 2006-08-12 17:19:28 +0000 | [diff] [blame] | 9 | |
Douglas Gregor | 67ca40c | 2010-07-26 04:08:02 +0000 | [diff] [blame] | 10 | int A = (struct{ int a;}){ 1}.a; |
Chris Lattner | e66218b | 2006-08-12 17:19:28 +0000 | [diff] [blame] | 11 | } |
| 12 | |
| 13 | int test2(int a, int b) { |
Douglas Gregor | 67ca40c | 2010-07-26 04:08:02 +0000 | [diff] [blame] | 14 | return a ? (void)a,b : a; |
Chris Lattner | e66218b | 2006-08-12 17:19:28 +0000 | [diff] [blame] | 15 | } |
| 16 | |
Chris Lattner | 2c5c421 | 2006-08-12 18:11:24 +0000 | [diff] [blame] | 17 | int test3(int a, int b, int c) { |
Chris Lattner | e66218b | 2006-08-12 17:19:28 +0000 | [diff] [blame] | 18 | return a = b = c; |
| 19 | } |
Chris Lattner | 2c5c421 | 2006-08-12 18:11:24 +0000 | [diff] [blame] | 20 | |
| 21 | int test4() { |
| 22 | test4(); |
Douglas Gregor | 67ca40c | 2010-07-26 04:08:02 +0000 | [diff] [blame] | 23 | return 0; |
Chris Lattner | 2c5c421 | 2006-08-12 18:11:24 +0000 | [diff] [blame] | 24 | } |
Chris Lattner | 5b6032a | 2006-08-12 19:15:40 +0000 | [diff] [blame] | 25 | |
Douglas Gregor | 67ca40c | 2010-07-26 04:08:02 +0000 | [diff] [blame] | 26 | struct X0 { struct { struct { int c[10][9]; } b; } a; }; |
| 27 | |
Chris Lattner | 5b6032a | 2006-08-12 19:15:40 +0000 | [diff] [blame] | 28 | int test_offsetof() { |
Douglas Gregor | 67ca40c | 2010-07-26 04:08:02 +0000 | [diff] [blame] | 29 | (void)__builtin_offsetof(struct X0, a.b.c[4][5]); |
| 30 | return 0; |
Chris Lattner | 5b6032a | 2006-08-12 19:15:40 +0000 | [diff] [blame] | 31 | } |
Chris Lattner | 47791a4 | 2007-11-13 20:50:37 +0000 | [diff] [blame] | 32 | |
| 33 | void test_sizeof(){ |
| 34 | int arr[10]; |
Douglas Gregor | 67ca40c | 2010-07-26 04:08:02 +0000 | [diff] [blame] | 35 | (void)sizeof arr[0]; |
| 36 | (void)sizeof(arr[0]); |
| 37 | (void)sizeof(arr)[0]; |
Chris Lattner | 47791a4 | 2007-11-13 20:50:37 +0000 | [diff] [blame] | 38 | } |
| 39 | |
Eli Friedman | eb3a9b0 | 2009-01-27 08:43:38 +0000 | [diff] [blame] | 40 | // PR3418 |
| 41 | int test_leading_extension() { |
Abramo Bagnara | 932e393 | 2010-10-15 07:51:18 +0000 | [diff] [blame] | 42 | __extension__ (*(char*)0) = 1; // expected-warning {{indirection of non-volatile null pointer}} \ |
| 43 | // expected-note {{consider using __builtin_trap}} |
Douglas Gregor | 67ca40c | 2010-07-26 04:08:02 +0000 | [diff] [blame] | 44 | return 0; |
Eli Friedman | eb3a9b0 | 2009-01-27 08:43:38 +0000 | [diff] [blame] | 45 | } |
Chris Lattner | 47791a4 | 2007-11-13 20:50:37 +0000 | [diff] [blame] | 46 | |
Chris Lattner | 0d6c061 | 2009-04-13 00:10:38 +0000 | [diff] [blame] | 47 | // PR3972 |
| 48 | int test5(int); |
| 49 | int test6(void) { |
| 50 | return test5( // expected-note {{to match}} |
| 51 | test5(1) |
| 52 | ; // expected-error {{expected ')'}} |
| 53 | } |
John McCall | c5e6b97 | 2011-04-06 02:35:25 +0000 | [diff] [blame] | 54 | |
| 55 | // PR8394 |
| 56 | void test7() { |
| 57 | ({} // expected-note {{to match}} |
| 58 | ; // expected-error {{expected ')'}} |
| 59 | } |
Serge Pavlov | aa57a64 | 2013-10-08 16:56:30 +0000 | [diff] [blame] | 60 | |
| 61 | // PR16992 |
| 62 | struct pr16992 { int x; }; |
| 63 | |
| 64 | void func_16992 () { |
David Majnemer | 767c1f8 | 2013-10-09 00:22:23 +0000 | [diff] [blame] | 65 | int x1 = sizeof int; // expected-error {{expected parentheses around type name in sizeof expression}} |
| 66 | int x2 = sizeof struct pr16992; // expected-error {{expected parentheses around type name in sizeof expression}} |
| 67 | int x3 = __alignof int; // expected-error {{expected parentheses around type name in __alignof expression}} |
| 68 | int x4 = _Alignof int; // expected-error {{expected parentheses around type name in _Alignof expression}} |
Serge Pavlov | aa57a64 | 2013-10-08 16:56:30 +0000 | [diff] [blame] | 69 | } |
Kaelyn Takata | 22101f9 | 2014-07-14 22:48:10 +0000 | [diff] [blame] | 70 | |
| 71 | void callee(double, double); |
| 72 | void test8() { |
| 73 | callee(foobar, // expected-error {{use of undeclared identifier 'foobar'}} |
| 74 | fizbin); // expected-error {{use of undeclared identifier 'fizbin'}} |
| 75 | } |