1 | // RUN: %clang_cc1 -triple %itanium_abi_triple -fsyntax-only -verify %s |
2 | |
3 | // PR3588 |
4 | void g0(int, int); |
5 | void g0(); // expected-note{{previous declaration is here}} expected-note{{'g0' declared 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 | } |
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() { |
49 | extern int f2; // expected-note 2 {{previous definition is here}} |
50 | { |
51 | void f2(int); // expected-error{{redefinition of 'f2' as different kind of symbol}} |
52 | } |
53 | |
54 | { |
55 | int f2; |
56 | { |
57 | void f2(int); // expected-error{{redefinition of 'f2' as different kind of symbol}} |
58 | } |
59 | } |
60 | } |
61 | |
62 | // <rdar://problem/6127293> |
63 | int outer1(int); // expected-note{{previous declaration is here}} |
64 | struct outer3 { }; |
65 | int outer4(int); // expected-note{{previous declaration is here}} |
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); |
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); |
77 | int outer8(int); |
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 | } |
90 | |
91 | void outer_test3() { |
92 | int *(*fp)(int) = outer8; // expected-error{{use of undeclared identifier 'outer8'}} |
93 | } |
94 | |
95 | enum e { e1, e2 }; |
96 | |
97 | // GNU extension: prototypes and K&R function definitions |
98 | int isroot(short x, // expected-note{{previous declaration is here}} |
99 | enum e); |
100 | |
101 | int isroot(x, y) |
102 | short x; // expected-warning{{promoted type 'int' of K&R function parameter is not compatible with the parameter type 'short' declared in a previous prototype}} |
103 | unsigned int y; |
104 | { |
105 | return x == 1; |
106 | } |
107 | |
108 | // PR3817 |
109 | void *h0(unsigned a0, ...); |
110 | extern __typeof (h0) h1 __attribute__((__sentinel__)); |
111 | extern __typeof (h1) h1 __attribute__((__sentinel__)); |
112 | |
113 | // PR3840 |
114 | void i0 (unsigned short a0); |
115 | extern __typeof (i0) i1; |
116 | extern __typeof (i1) i1; |
117 | |
118 | typedef int a(); |
119 | typedef int a2(int*); |
120 | a x; |
121 | a2 x2; // expected-note{{passing argument to parameter here}} |
122 | void test_x() { |
123 | x(5); |
124 | x2(5); // expected-warning{{incompatible integer to pointer conversion passing 'int' to parameter of type 'int *'}} |
125 | } |
126 | |
127 | enum e0 {one}; |
128 | void f3(); |
129 | void f3(enum e0 x) {} |
130 | |
131 | enum incomplete_enum; |
132 | void f4(); // expected-note {{previous declaration is here}} |
133 | void f4(enum incomplete_enum); // expected-error {{conflicting types for 'f4'}} |
134 | |