Douglas Gregor | 6871981 | 2009-02-16 18:20:44 +0000 | [diff] [blame] | 1 | // RUN: clang -fsyntax-only -verify %s |
| 2 | |
| 3 | // PR3588 |
| 4 | void g0(int, int); |
| 5 | void g0(); // expected-note{{previous declaration is here}} |
| 6 | |
| 7 | void f0() { |
| 8 | g0(1, 2, 3); // expected-error{{too many arguments to function call}} |
| 9 | } |
| 10 | |
| 11 | void g0(int); // expected-error{{conflicting types for 'g0'}} |
| 12 | |
| 13 | int g1(int, int); |
| 14 | |
| 15 | typedef int INT; |
| 16 | |
| 17 | INT g1(x, y) |
| 18 | int x; |
| 19 | int y; |
| 20 | { |
| 21 | return x + y; |
| 22 | } |
| 23 | |
| 24 | int g2(int, int); // expected-note{{previous declaration is here}} |
| 25 | |
| 26 | INT g2(x) // expected-error{{conflicting types for 'g2'}} |
| 27 | int x; |
| 28 | { |
| 29 | return x; |
| 30 | } |
Douglas Gregor | 04495c8 | 2009-02-24 01:23:02 +0000 | [diff] [blame] | 31 | |
| 32 | void test() { |
| 33 | int f1; |
| 34 | { |
| 35 | void f1(double); |
| 36 | { |
| 37 | void f1(double); // expected-note{{previous declaration is here}} |
| 38 | { |
| 39 | int f1(int); // expected-error{{conflicting types for 'f1'}} |
| 40 | } |
| 41 | } |
| 42 | } |
| 43 | } |
| 44 | |
| 45 | extern void g3(int); // expected-note{{previous declaration is here}} |
| 46 | static void g3(int x) { } // expected-error{{static declaration of 'g3' follows non-static declaration}} |
| 47 | |
| 48 | void test2() { |
Douglas Gregor | d6f7e9d | 2009-02-24 20:03:32 +0000 | [diff] [blame] | 49 | extern int f2; // expected-note 2 {{previous definition is here}} |
Douglas Gregor | 04495c8 | 2009-02-24 01:23:02 +0000 | [diff] [blame] | 50 | { |
| 51 | void f2(int); // expected-error{{redefinition of 'f2' as different kind of symbol}} |
| 52 | } |
| 53 | |
| 54 | { |
| 55 | int f2; |
| 56 | { |
Douglas Gregor | d6f7e9d | 2009-02-24 20:03:32 +0000 | [diff] [blame] | 57 | void f2(int); // expected-error{{redefinition of 'f2' as different kind of symbol}} |
Douglas Gregor | 04495c8 | 2009-02-24 01:23:02 +0000 | [diff] [blame] | 58 | } |
| 59 | } |
| 60 | } |
Douglas Gregor | 25d944a | 2009-02-24 04:26:15 +0000 | [diff] [blame] | 61 | |
| 62 | // <rdar://problem/6127293> |
| 63 | int outer1(int); // expected-note{{previous declaration is here}} |
| 64 | struct outer3 { }; |
| 65 | int outer4(int); |
| 66 | int outer5; // expected-note{{previous definition is here}} |
| 67 | int *outer7(int); |
| 68 | |
| 69 | void outer_test() { |
| 70 | int outer1(float); // expected-error{{conflicting types for 'outer1'}} |
| 71 | int outer2(int); // expected-note{{previous declaration is here}} |
| 72 | int outer3(int); // expected-note{{previous declaration is here}} |
| 73 | int outer4(int); // expected-note{{previous declaration is here}} |
| 74 | int outer5(int); // expected-error{{redefinition of 'outer5' as different kind of symbol}} |
| 75 | int* outer6(int); // expected-note{{previous declaration is here}} |
| 76 | int *outer7(int); |
Douglas Gregor | 6393519 | 2009-03-02 00:19:53 +0000 | [diff] [blame] | 77 | int outer8(int); |
Douglas Gregor | 25d944a | 2009-02-24 04:26:15 +0000 | [diff] [blame] | 78 | |
| 79 | int *ip7 = outer7(6); |
| 80 | } |
| 81 | |
| 82 | int outer2(float); // expected-error{{conflicting types for 'outer2'}} |
| 83 | int outer3(float); // expected-error{{conflicting types for 'outer3'}} |
| 84 | int outer4(float); // expected-error{{conflicting types for 'outer4'}} |
| 85 | |
| 86 | void outer_test2(int x) { |
| 87 | int* ip = outer6(x); // expected-warning{{use of out-of-scope declaration of 'outer6'}} |
| 88 | int *ip2 = outer7(x); |
| 89 | } |
Douglas Gregor | 6393519 | 2009-03-02 00:19:53 +0000 | [diff] [blame] | 90 | |
| 91 | void outer_test3() { |
| 92 | int *(*fp)(int) = outer8; // expected-error{{use of undeclared identifier 'outer8'}} |
| 93 | } |
| 94 | |
| 95 | static float outer8(float); // okay |