1 // RUN: %clang_cc1 -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); 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); 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 static float outer8(float); // okay 96 97 enum e { e1, e2 }; 98 99 // GNU extension: prototypes and K&R function definitions 100 int isroot(short x, // expected-note{{previous declaration is here}} 101 enum e); 102 103 int isroot(x, y) 104 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}} 105 unsigned int y; 106 { 107 return x == 1; 108 } 109 110 // PR3817 111 void *h0(unsigned a0, ...); 112 extern __typeof (h0) h1 __attribute__((__sentinel__)); 113 extern __typeof (h1) h1 __attribute__((__sentinel__)); 114 115 // PR3840 116 void i0 (unsigned short a0); 117 extern __typeof (i0) i1; 118 extern __typeof (i1) i1; 119 120 typedef int a(); 121 typedef int a2(int*); 122 a x; 123 a2 x2; // expected-note{{passing argument to parameter here}} 124 void test_x() { 125 x(5); 126 x2(5); // expected-warning{{incompatible integer to pointer conversion passing 'int' to parameter of type 'int *'}} 127 } 128 129 enum e0 {one}; 130 void f3(); 131 void f3(enum e0 x) {} 132 133 enum incomplete_enum; 134 void f4(); // expected-note {{previous declaration is here}} 135 void f4(enum incomplete_enum); // expected-error {{conflicting types for 'f4'}} 136