|
150
|
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'}}
|
