blob: 09f280bc1dbb563fc5142e3c9d847f6c4e0c16be [file] [log] [blame]
Daniel Dunbar8fbe78f2009-12-15 20:14:24 +00001// RUN: %clang_cc1 -fsyntax-only -verify %s
Douglas Gregore81f58e2010-11-08 03:40:48 +00002int f(double); // expected-note{{candidate function}}
3int f(int); // expected-note{{candidate function}}
Douglas Gregorcd695e52008-11-10 20:40:00 +00004
5int (*pfd)(double) = f; // selects f(double)
6int (*pfd2)(double) = &f; // selects f(double)
7int (*pfd3)(double) = ((&((f)))); // selects f(double)
8int (*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.
Douglas Gregore81f58e2010-11-08 03:40:48 +000012int (*pfe)(...) = &f; // expected-error{{address of overloaded function 'f' does not match required type 'int (...)'}}
Douglas Gregorcd695e52008-11-10 20:40:00 +000013int (&rfi)(int) = f; // selects f(int)
14int (&rfd)(double) = f; // selects f(double)
15
Richard Trieu553b2b22011-12-15 00:38:15 +000016void g(int (*fp)(int)); // expected-note{{candidate function}}
Douglas Gregorcd695e52008-11-10 20:40:00 +000017void g(int (*fp)(float));
Richard Trieu553b2b22011-12-15 00:38:15 +000018void g(int (*fp)(double)); // expected-note{{candidate function}}
Douglas Gregorcd695e52008-11-10 20:40:00 +000019
20int g1(int);
21int g1(char);
22
23int g2(int);
24int g2(double);
25
Douglas Gregor48bc3742009-09-14 22:02:01 +000026template<typename T> T g3(T);
27int g3(int);
28int g3(char);
29
Douglas Gregorcd695e52008-11-10 20:40:00 +000030void g_test() {
31 g(g1);
Richard Trieu553b2b22011-12-15 00:38:15 +000032 g(g2); // expected-error{{call to 'g' is ambiguous}}
Douglas Gregor48bc3742009-09-14 22:02:01 +000033 g(g3);
34}
35
36template<typename T> T h1(T);
37template<typename R, typename A1> R h1(A1);
Douglas Gregor2e0807c2009-09-14 22:31:20 +000038int h1(char);
Douglas Gregor48bc3742009-09-14 22:02:01 +000039
Douglas Gregor2e0807c2009-09-14 22:31:20 +000040void ha(int (*fp)(int));
41void hb(int (*fp)(double));
Douglas Gregor48bc3742009-09-14 22:02:01 +000042
43void h_test() {
Douglas Gregor2e0807c2009-09-14 22:31:20 +000044 ha(h1);
45 hb(h1);
Douglas Gregorcd695e52008-11-10 20:40:00 +000046}
Anders Carlsson6c966c42009-10-07 22:26:29 +000047
48struct A { };
49void f(void (*)(A *));
50
51struct B
52{
53 void g() { f(d); }
54 void d(void *);
55 static void d(A *);
56};
Douglas Gregor064fdb22010-04-14 23:11:21 +000057
58struct C {
59 C &getC() {
David Blaikiee5323aa2013-06-21 23:54:45 +000060 return makeAC; // expected-error{{reference to non-static member function must be called; did you mean to call it with no arguments?}}
Douglas Gregor064fdb22010-04-14 23:11:21 +000061 }
62
David Blaikie6df859d82013-06-04 00:28:46 +000063 // 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}}
Douglas Gregor064fdb22010-04-14 23:11:21 +000066
67 static void f(); // expected-note{{candidate function}}
68 static void f(int); // expected-note{{candidate function}}
69
70 void g() {
71 int (&fp)() = f; // expected-error{{address of overloaded function 'f' does not match required type 'int ()'}}
72 }
David Blaikiee5323aa2013-06-21 23:54:45 +000073
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
85 void h() {
86 // Do not suggest '()' since an int argument is required
Alp Toker6ed72512013-12-14 01:07:05 +000087 q1<int>; // expected-error-re{{reference to non-static member function must be called{{$}}}}
David Blaikiee5323aa2013-06-21 23:54:45 +000088 // 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
Alp Toker6ed72512013-12-14 01:07:05 +000095 q4<int>; // expected-error-re{{reference to non-static member function must be called{{$}}}}
David Blaikiee5323aa2013-06-21 23:54:45 +000096 // 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 }
Douglas Gregor064fdb22010-04-14 23:11:21 +000099};
John McCall8c12dc42010-04-22 18:44:12 +0000100
101// PR6886
102namespace 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
112 void Foo::foo() {
113 myFunction(bar);
114 }
115}
Eli Friedman7fd55442010-08-24 05:23:20 +0000116
117namespace PR7971 {
118 struct S {
119 void g() {
120 f(&g);
121 }
122 void f(bool (*)(int, char));
123 static bool g(int, char);
124 };
125}
Douglas Gregorbdd7b232010-09-12 08:16:09 +0000126
127namespace PR8033 {
George Burgess IV5f2ef452015-10-12 18:40:58 +0000128 template <typename T1, typename T2> int f(T1 *, const T2 *); // expected-note {{candidate function [with T1 = const int, T2 = int]}}
129 template <typename T1, typename T2> int f(const T1 *, T2 *); // expected-note {{candidate function [with T1 = int, T2 = const int]}}
130 int (*p)(const int *, const int *) = f; // expected-error{{address of overloaded function 'f' is ambiguous}}
Douglas Gregorbdd7b232010-09-12 08:16:09 +0000131}
Douglas Gregor4ed49f32010-09-29 21:14:36 +0000132
133namespace PR8196 {
134 template <typename T> struct mcdata {
135 typedef int result_type;
136 };
137 template <class T>
138 typename mcdata<T>::result_type wrap_mean(mcdata<T> const&);
139 void add_property(double(*)(mcdata<double> const &)); // expected-note{{candidate function not viable: no overload of 'wrap_mean' matching}}
140 void f() {
141 add_property(&wrap_mean); // expected-error{{no matching function for call to 'add_property'}}
142 }
143}
Douglas Gregorbcd62532010-11-08 15:20:28 +0000144
145namespace PR7425 {
146 template<typename T>
147 void foo()
148 {
149 }
150
151 struct B
152 {
153 template<typename T>
154 B(const T&)
155 {
156 }
157 };
158
159 void bar(const B& b)
160 {
161 }
162
163 void bar2(const B& b = foo<int>)
164 {
165 }
166
167 void test(int argc, char** argv)
168 {
169 bar(foo<int>);
170 bar2();
171 }
172}
Richard Trieucaff2472011-11-23 22:32:32 +0000173
174namespace test1 {
175 void fun(int x) {}
176
177 void parameter_number() {
178 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)}}
179 void (*ptr2)(int, int);
180 ptr2 = &fun; // expected-error {{assigning to 'void (*)(int, int)' from incompatible type 'void (*)(int)': different number of parameters (2 vs 1)}}
181 }
182
183 void parameter_mismatch() {
Richard Trieu96ed5b62011-12-13 23:19:45 +0000184 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')}}
Richard Trieucaff2472011-11-23 22:32:32 +0000185 void (*ptr2)(double);
186 ptr2 = &fun; // expected-error {{assigning to 'void (*)(double)' from incompatible type 'void (*)(int)': type mismatch at 1st parameter ('double' vs 'int')}}
187 }
188
189 void return_type_test() {
190 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')}}
191 int (*ptr2)(int);
192 ptr2 = &fun; // expected-error {{assigning to 'int (*)(int)' from incompatible type 'void (*)(int)': different return type ('int' vs 'void')}}
193 }
194
195 int foo(double x, double y) {return 0;} // expected-note {{candidate function has different number of parameters (expected 1 but has 2)}}
196 int foo(int x, int y) {return 0;} // expected-note {{candidate function has different number of parameters (expected 1 but has 2)}}
197 int foo(double x) {return 0;} // expected-note {{candidate function has type mismatch at 1st parameter (expected 'int' but has 'double')}}
198 double foo(float x, float y) {return 0;} // expected-note {{candidate function has different number of parameters (expected 1 but has 2)}}
199 double foo(int x, float y) {return 0;} // expected-note {{candidate function has different number of parameters (expected 1 but has 2)}}
200 double foo(float x) {return 0;} // expected-note {{candidate function has type mismatch at 1st parameter (expected 'int' but has 'float')}}
201 double foo(int x) {return 0;} // expected-note {{candidate function has different return type ('int' expected but has 'double')}}
202
203 int (*ptr)(int) = &foo; // expected-error {{address of overloaded function 'foo' does not match required type 'int (int)'}}
204
205 struct Qualifiers {
206 void N() {};
207 void C() const {};
208 void V() volatile {};
209 void R() __restrict {};
210 void CV() const volatile {};
211 void CR() const __restrict {};
212 void VR() volatile __restrict {};
213 void CVR() const volatile __restrict {};
214 };
215
216
217 void QualifierTest() {
218 void (Qualifiers::*X)();
Alp Toker6ed72512013-12-14 01:07:05 +0000219 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)}}
220 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)}}
Jacques Pienaarb92e7a92015-03-03 23:58:09 +0000221 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)}}
Alp Toker6ed72512013-12-14 01:07:05 +0000222 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)}}
Jacques Pienaarb92e7a92015-03-03 23:58:09 +0000223 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)}}
224 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)}}
225 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)}}
Richard Trieucaff2472011-11-23 22:32:32 +0000226 }
227
228 struct Dummy {
229 void N() {};
230 };
231
Alp Toker6ed72512013-12-14 01:07:05 +0000232 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')}}
Richard Trieucaff2472011-11-23 22:32:32 +0000233}
Eli Friedman544c9562013-07-08 23:35:04 +0000234
235template <typename T> class PR16561 {
236 virtual bool f() { if (f) {} return false; } // expected-error {{reference to non-static member function must be called}}
237};