1 // RUN: %clang_cc1 -fsyntax-only -verify %s
2 int f(double); // expected-note{{candidate function}}
3 int f(int); // expected-note{{candidate function}}
4
5 int (*pfd)(double) = f; // selects f(double)
6 int (*pfd2)(double) = &f; // selects f(double)
7 int (*pfd3)(double) = ((&((f)))); // selects f(double)
8 int (*pfi)(int) = &f; // selects f(int)
9 // FIXME: This error message is not very good. We need to keep better
10 // track of what went wrong when the implicit conversion failed to
11 // give a better error message here.
12 int (*pfe)(...) = &f; // expected-error{{address of overloaded function 'f' does not match required type 'int (...)'}}
13 int (&rfi)(int) = f; // selects f(int)
14 int (&rfd)(double) = f; // selects f(double)
15
16 void g(int (*fp)(int)); // expected-note{{candidate function}}
17 void g(int (*fp)(float));
18 void g(int (*fp)(double)); // expected-note{{candidate function}}
19
20 int g1(int);
21 int g1(char);
22
23 int g2(int);
24 int g2(double);
25
26 template<typename T> T g3(T);
27 int g3(int);
28 int g3(char);
29
g_test()30 void g_test() {
31 g(g1);
32 g(g2); // expected-error{{call to 'g' is ambiguous}}
33 g(g3);
34 }
35
36 template<typename T> T h1(T);
37 template<typename R, typename A1> R h1(A1);
38 int h1(char);
39
40 void ha(int (*fp)(int));
41 void hb(int (*fp)(double));
42
h_test()43 void h_test() {
44 ha(h1);
45 hb(h1);
46 }
47
48 struct A { };
49 void f(void (*)(A *));
50
51 struct B
52 {
gB53 void g() { f(d); }
54 void d(void *);
55 static void d(A *);
56 };
57
58 struct C {
getCC59 C &getC() {
60 return makeAC; // expected-error{{reference to non-static member function must be called; did you mean to call it with no arguments?}}
61 }
62
63 // FIXME: filter by const so we can unambiguously suggest '()' & point to just the one candidate, probably
64 C &makeAC(); // expected-note{{possible target for call}}
65 const C &makeAC() const; // expected-note{{possible target for call}}
66
67 static void f(); // expected-note{{candidate function}}
68 static void f(int); // expected-note{{candidate function}}
69
gC70 void g() {
71 int (&fp)() = f; // expected-error{{address of overloaded function 'f' does not match required type 'int ()'}}
72 }
73
74 template<typename T>
75 void q1(int); // expected-note{{possible target for call}}
76 template<typename T>
77 void q2(T t = T()); // expected-note{{possible target for call}}
78 template<typename T>
79 void q3(); // expected-note{{possible target for call}}
80 template<typename T1, typename T2>
81 void q4(); // expected-note{{possible target for call}}
82 template<typename T1 = int> // expected-warning{{default template arguments for a function template are a C++11 extension}}
83 void q5(); // expected-note{{possible target for call}}
84
hC85 void h() {
86 // Do not suggest '()' since an int argument is required
87 q1<int>; // expected-error-re{{reference to non-static member function must be called{{$}}}}
88 // Suggest '()' since there's a default value for the only argument & the
89 // type argument is already provided
90 q2<int>; // expected-error{{reference to non-static member function must be called; did you mean to call it with no arguments?}}
91 // Suggest '()' since no arguments are required & the type argument is
92 // already provided
93 q3<int>; // expected-error{{reference to non-static member function must be called; did you mean to call it with no arguments?}}
94 // Do not suggest '()' since another type argument is required
95 q4<int>; // expected-error-re{{reference to non-static member function must be called{{$}}}}
96 // Suggest '()' since the type parameter has a default value
97 q5; // expected-error{{reference to non-static member function must be called; did you mean to call it with no arguments?}}
98 }
99 };
100
101 // PR6886
102 namespace test0 {
103 void myFunction(void (*)(void *));
104
105 class Foo {
106 void foo();
107
108 static void bar(void*);
109 static void bar();
110 };
111
foo()112 void Foo::foo() {
113 myFunction(bar);
114 }
115 }
116
117 namespace PR7971 {
118 struct S {
gPR7971::S119 void g() {
120 f(&g);
121 }
122 void f(bool (*)(int, char));
123 static bool g(int, char);
124 };
125 }
126
127 namespace PR8033 {
128 template <typename T1, typename T2> int f(T1 *, const T2 *); // expected-note {{candidate function [with T1 = const int, T2 = int]}} \
129 // expected-note{{candidate function}}
130 template <typename T1, typename T2> int f(const T1 *, T2 *); // expected-note {{candidate function [with T1 = int, T2 = const int]}} \
131 // expected-note{{candidate function}}
132 int (*p)(const int *, const int *) = f; // expected-error{{address of overloaded function 'f' is ambiguous}} \
133 // expected-error{{address of overloaded function 'f' is ambiguous}}
134
135 }
136
137 namespace PR8196 {
138 template <typename T> struct mcdata {
139 typedef int result_type;
140 };
141 template <class T>
142 typename mcdata<T>::result_type wrap_mean(mcdata<T> const&);
143 void add_property(double(*)(mcdata<double> const &)); // expected-note{{candidate function not viable: no overload of 'wrap_mean' matching}}
f()144 void f() {
145 add_property(&wrap_mean); // expected-error{{no matching function for call to 'add_property'}}
146 }
147 }
148
149 namespace PR7425 {
150 template<typename T>
foo()151 void foo()
152 {
153 }
154
155 struct B
156 {
157 template<typename T>
BPR7425::B158 B(const T&)
159 {
160 }
161 };
162
bar(const B & b)163 void bar(const B& b)
164 {
165 }
166
bar2(const B & b=foo<int>)167 void bar2(const B& b = foo<int>)
168 {
169 }
170
test(int argc,char ** argv)171 void test(int argc, char** argv)
172 {
173 bar(foo<int>);
174 bar2();
175 }
176 }
177
178 namespace test1 {
fun(int x)179 void fun(int x) {}
180
parameter_number()181 void parameter_number() {
182 void (*ptr1)(int, int) = &fun; // expected-error {{cannot initialize a variable of type 'void (*)(int, int)' with an rvalue of type 'void (*)(int)': different number of parameters (2 vs 1)}}
183 void (*ptr2)(int, int);
184 ptr2 = &fun; // expected-error {{assigning to 'void (*)(int, int)' from incompatible type 'void (*)(int)': different number of parameters (2 vs 1)}}
185 }
186
parameter_mismatch()187 void parameter_mismatch() {
188 void (*ptr1)(double) = &fun; // expected-error {{cannot initialize a variable of type 'void (*)(double)' with an rvalue of type 'void (*)(int)': type mismatch at 1st parameter ('double' vs 'int')}}
189 void (*ptr2)(double);
190 ptr2 = &fun; // expected-error {{assigning to 'void (*)(double)' from incompatible type 'void (*)(int)': type mismatch at 1st parameter ('double' vs 'int')}}
191 }
192
return_type_test()193 void return_type_test() {
194 int (*ptr1)(int) = &fun; // expected-error {{cannot initialize a variable of type 'int (*)(int)' with an rvalue of type 'void (*)(int)': different return type ('int' vs 'void')}}
195 int (*ptr2)(int);
196 ptr2 = &fun; // expected-error {{assigning to 'int (*)(int)' from incompatible type 'void (*)(int)': different return type ('int' vs 'void')}}
197 }
198
foo(double x,double y)199 int foo(double x, double y) {return 0;} // expected-note {{candidate function has different number of parameters (expected 1 but has 2)}}
foo(int x,int y)200 int foo(int x, int y) {return 0;} // expected-note {{candidate function has different number of parameters (expected 1 but has 2)}}
foo(double x)201 int foo(double x) {return 0;} // expected-note {{candidate function has type mismatch at 1st parameter (expected 'int' but has 'double')}}
foo(float x,float y)202 double foo(float x, float y) {return 0;} // expected-note {{candidate function has different number of parameters (expected 1 but has 2)}}
foo(int x,float y)203 double foo(int x, float y) {return 0;} // expected-note {{candidate function has different number of parameters (expected 1 but has 2)}}
foo(float x)204 double foo(float x) {return 0;} // expected-note {{candidate function has type mismatch at 1st parameter (expected 'int' but has 'float')}}
foo(int x)205 double foo(int x) {return 0;} // expected-note {{candidate function has different return type ('int' expected but has 'double')}}
206
207 int (*ptr)(int) = &foo; // expected-error {{address of overloaded function 'foo' does not match required type 'int (int)'}}
208
209 struct Qualifiers {
Ntest1::Qualifiers210 void N() {};
Ctest1::Qualifiers211 void C() const {};
Vtest1::Qualifiers212 void V() volatile {};
Rtest1::Qualifiers213 void R() __restrict {};
CVtest1::Qualifiers214 void CV() const volatile {};
CRtest1::Qualifiers215 void CR() const __restrict {};
VRtest1::Qualifiers216 void VR() volatile __restrict {};
CVRtest1::Qualifiers217 void CVR() const volatile __restrict {};
218 };
219
220
QualifierTest()221 void QualifierTest() {
222 void (Qualifiers::*X)();
223 X = &Qualifiers::C; // expected-error-re {{assigning to 'void (test1::Qualifiers::*)(){{( __attribute__\(\(thiscall\)\))?}}' from incompatible type 'void (test1::Qualifiers::*)(){{( __attribute__\(\(thiscall\)\))?}} const': different qualifiers (none vs const)}}
224 X = &Qualifiers::V; // expected-error-re{{assigning to 'void (test1::Qualifiers::*)(){{( __attribute__\(\(thiscall\)\))?}}' from incompatible type 'void (test1::Qualifiers::*)(){{( __attribute__\(\(thiscall\)\))?}} volatile': different qualifiers (none vs volatile)}}
225 X = &Qualifiers::R; // expected-error-re{{assigning to 'void (test1::Qualifiers::*)(){{( __attribute__\(\(thiscall\)\))?}}' from incompatible type 'void (test1::Qualifiers::*)(){{( __attribute__\(\(thiscall\)\))?}} restrict': different qualifiers (none vs restrict)}}
226 X = &Qualifiers::CV; // expected-error-re{{assigning to 'void (test1::Qualifiers::*)(){{( __attribute__\(\(thiscall\)\))?}}' from incompatible type 'void (test1::Qualifiers::*)(){{( __attribute__\(\(thiscall\)\))?}} const volatile': different qualifiers (none vs const and volatile)}}
227 X = &Qualifiers::CR; // expected-error-re{{assigning to 'void (test1::Qualifiers::*)(){{( __attribute__\(\(thiscall\)\))?}}' from incompatible type 'void (test1::Qualifiers::*)(){{( __attribute__\(\(thiscall\)\))?}} const restrict': different qualifiers (none vs const and restrict)}}
228 X = &Qualifiers::VR; // expected-error-re{{assigning to 'void (test1::Qualifiers::*)(){{( __attribute__\(\(thiscall\)\))?}}' from incompatible type 'void (test1::Qualifiers::*)(){{( __attribute__\(\(thiscall\)\))?}} volatile restrict': different qualifiers (none vs volatile and restrict)}}
229 X = &Qualifiers::CVR; // expected-error-re{{assigning to 'void (test1::Qualifiers::*)(){{( __attribute__\(\(thiscall\)\))?}}' from incompatible type 'void (test1::Qualifiers::*)(){{( __attribute__\(\(thiscall\)\))?}} const volatile restrict': different qualifiers (none vs const, volatile, and restrict)}}
230 }
231
232 struct Dummy {
Ntest1::Dummy233 void N() {};
234 };
235
236 void (Qualifiers::*X)() = &Dummy::N; // expected-error-re{{cannot initialize a variable of type 'void (test1::Qualifiers::*)(){{( __attribute__\(\(thiscall\)\))?}}' with an rvalue of type 'void (test1::Dummy::*)(){{( __attribute__\(\(thiscall\)\))?}}': different classes ('test1::Qualifiers' vs 'test1::Dummy')}}
237 }
238
239 template <typename T> class PR16561 {
f()240 virtual bool f() { if (f) {} return false; } // expected-error {{reference to non-static member function must be called}}
241 };
242