Argyrios Kyrtzidis | d3dbbb6 | 2008-10-05 21:10:08 +0000 | [diff] [blame] | 1 | // RUN: clang -fsyntax-only -verify -pedantic-errors %s |
Argyrios Kyrtzidis | 5404a15 | 2008-10-05 00:06:24 +0000 | [diff] [blame] | 2 | |
| 3 | void f() { |
| 4 | int a; |
| 5 | struct S { int m; }; |
| 6 | typedef S *T; |
| 7 | |
| 8 | // Expressions. |
| 9 | T(a)->m = 7; |
| 10 | int(a)++; // expected-error {{invalid lvalue in increment/decrement expression}} |
| 11 | __extension__ int(a)++; // expected-error {{invalid lvalue in increment/decrement expression}} |
| 12 | typeof(int)(a,5)<<a; // expected-error {{function-style cast to a builtin type can only take one argument}} |
| 13 | void(a), ++a; // expected-warning {{statement was disambiguated as expression}} expected-warning {{expression result unused}} |
Argyrios Kyrtzidis | a8a4598 | 2008-10-05 15:03:47 +0000 | [diff] [blame] | 14 | if (int(a)+1) {} |
Argyrios Kyrtzidis | bbc70c0 | 2008-10-05 15:50:46 +0000 | [diff] [blame] | 15 | for (int(a)+1;;) {} |
Argyrios Kyrtzidis | 78c8d80 | 2008-10-05 19:56:22 +0000 | [diff] [blame] | 16 | a = sizeof(int()+1); |
Argyrios Kyrtzidis | d3dbbb6 | 2008-10-05 21:10:08 +0000 | [diff] [blame] | 17 | a = sizeof(int(1)); |
Argyrios Kyrtzidis | 78c8d80 | 2008-10-05 19:56:22 +0000 | [diff] [blame] | 18 | typeof(int()+1) a2; |
Argyrios Kyrtzidis | d3dbbb6 | 2008-10-05 21:10:08 +0000 | [diff] [blame] | 19 | (int(1)); // expected-warning {{expression result unused}} |
| 20 | |
| 21 | // type-id |
Gabor Greif | 0fe7060 | 2008-10-21 11:46:36 +0000 | [diff] [blame] | 22 | (int())1; // expected-error {{used type 'int (void)' where arithmetic or pointer type is required}} |
Argyrios Kyrtzidis | 5404a15 | 2008-10-05 00:06:24 +0000 | [diff] [blame] | 23 | |
| 24 | // Declarations. |
Argyrios Kyrtzidis | 259b0d9 | 2008-10-15 23:21:32 +0000 | [diff] [blame] | 25 | int fd(T(a)); // expected-warning {{parentheses were disambiguated as a function declarator}} |
| 26 | T(*d)(int(p)); // expected-warning {{parentheses were disambiguated as a function declarator}} expected-warning {{statement was disambiguated as declaration}} expected-error {{previous definition is here}} |
Argyrios Kyrtzidis | 5404a15 | 2008-10-05 00:06:24 +0000 | [diff] [blame] | 27 | T(d)[5]; // expected-warning {{statement was disambiguated as declaration}} expected-error {{redefinition of 'd'}} |
| 28 | typeof(int[])(f) = { 1, 2 }; // expected-warning {{statement was disambiguated as declaration}} |
| 29 | void(b)(int); |
Argyrios Kyrtzidis | 1ee2c43 | 2008-10-05 14:27:18 +0000 | [diff] [blame] | 30 | int(d2) __attribute__(()); // expected-warning {{statement was disambiguated as declaration}} |
Argyrios Kyrtzidis | ca35baa | 2008-10-05 15:19:49 +0000 | [diff] [blame] | 31 | if (int(a)=1) {} |
Argyrios Kyrtzidis | b9f3419 | 2008-10-05 18:52:21 +0000 | [diff] [blame] | 32 | int(d3(int())); // expected-warning {{statement was disambiguated as declaration}} |
Argyrios Kyrtzidis | 5404a15 | 2008-10-05 00:06:24 +0000 | [diff] [blame] | 33 | } |
Argyrios Kyrtzidis | d3dbbb6 | 2008-10-05 21:10:08 +0000 | [diff] [blame] | 34 | |
| 35 | class C { }; |
| 36 | void fn(int(C)) { } // void fn(int(*fp)(C c)) { } |
| 37 | // not: void fn(int C); |
| 38 | int g(C); |
| 39 | |
| 40 | void foo() { |
Douglas Gregor | 98cd599 | 2008-10-21 23:43:52 +0000 | [diff] [blame^] | 41 | fn(1); // expected-error {{incompatible type passing 'int', expected 'int (*)(class C)'}} |
Argyrios Kyrtzidis | d3dbbb6 | 2008-10-05 21:10:08 +0000 | [diff] [blame] | 42 | fn(g); // OK |
| 43 | } |