function-redecl.c revision 5862f0e1ac29c5af8089b4bf119fd4493f6ab58c 
1// RUN: %clang_cc1 -fsyntax-only -verify %s
2
3// PR3588
4void g0(int, int);
5void g0(); // expected-note{{previous declaration is here}} expected-note{{'g0' declared here}}
6
7void f0() {
8  g0(1, 2, 3); // expected-error{{too many arguments to function call}}
9}
10
11void g0(int); // expected-error{{conflicting types for 'g0'}}
12
13int g1(int, int);
14
15typedef int INT;
16
17INT g1(x, y)
18     int x;
19     int y;
20{
21  return x + y;
22}
23
24int g2(int, int); // expected-note{{previous declaration is here}}
25
26INT g2(x) // expected-error{{conflicting types for 'g2'}}
27     int x;
28{
29  return x;
30}
31
32void 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
45extern void g3(int); // expected-note{{previous declaration is here}}
46static void g3(int x) { } // expected-error{{static declaration of 'g3' follows non-static declaration}}
47
48void 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>
63int outer1(int); // expected-note{{previous declaration is here}}
64struct outer3 { };
65int outer4(int);
66int outer5; // expected-note{{previous definition is here}}
67int *outer7(int);
68
69void 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
82int outer2(float); // expected-error{{conflicting types for 'outer2'}}
83int outer3(float); // expected-error{{conflicting types for 'outer3'}}
84int outer4(float); // expected-error{{conflicting types for 'outer4'}}
85
86void 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
91void outer_test3() {
92  int *(*fp)(int) = outer8; // expected-error{{use of undeclared identifier 'outer8'}}
93}
94
95static float outer8(float); // okay
96
97enum e { e1, e2 };
98
99// GNU extension: prototypes and K&R function definitions
100int isroot(short x, // expected-note{{previous declaration is here}}
101           enum e);
102
103int 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
111void *h0(unsigned a0,     ...);
112extern __typeof (h0) h1 __attribute__((__sentinel__));
113extern __typeof (h1) h1 __attribute__((__sentinel__));
114
115// PR3840
116void i0 (unsigned short a0);
117extern __typeof (i0) i1;
118extern __typeof (i1) i1;
119
120typedef int a();
121typedef int a2(int*);
122a x;
123a2 x2; // expected-note{{passing argument to parameter here}}
124void test_x() {
125  x(5);
126  x2(5); // expected-warning{{incompatible integer to pointer conversion passing 'int' to parameter of type 'int *'}}
127}
128
129enum e0 {one};
130void f3();
131void f3(enum e0 x) {}
132