blob: 3d286a94a04530f3e0d44014df3d0f09359efe1f [file] [log] [blame]
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -08001// RUN: %clang_cc1 -triple %itanium_abi_triple -pedantic -verify %s
2// RUN: %clang_cc1 -triple %itanium_abi_triple -pedantic -verify -std=c++98 %s
3// RUN: %clang_cc1 -triple %itanium_abi_triple -pedantic -verify -std=c++11 %s
4
Douglas Gregor6fc17ff2008-10-29 15:10:40 +00005int* f(int) { return 0; }
6float* f(float) { return 0; }
Douglas Gregor8e9bebd2008-10-21 16:13:35 +00007void f();
8
9void test_f(int iv, float fv) {
10 float* fp = f(fv);
11 int* ip = f(iv);
12}
13
Richard Trieu2fe9b7f2011-12-15 00:38:15 +000014int* g(int, float, int); // expected-note {{candidate function}}
15float* g(int, int, int); // expected-note {{candidate function}}
16double* g(int, float, float); // expected-note {{candidate function}}
17char* g(int, float, ...); // expected-note {{candidate function}}
Douglas Gregor8e9bebd2008-10-21 16:13:35 +000018void g();
19
20void test_g(int iv, float fv) {
21 int* ip1 = g(iv, fv, 0);
22 float* fp1 = g(iv, iv, 0);
23 double* dp1 = g(iv, fv, fv);
24 char* cp1 = g(0, 0);
25 char* cp2 = g(0, 0, 0, iv, fv);
26
Richard Trieu2fe9b7f2011-12-15 00:38:15 +000027 double* dp2 = g(0, fv, 1.5); // expected-error {{call to 'g' is ambiguous}}
Douglas Gregor8e9bebd2008-10-21 16:13:35 +000028}
29
30double* h(double f);
31int* h(int);
32
33void test_h(float fv, unsigned char cv) {
34 double* dp = h(fv);
35 int* ip = h(cv);
36}
37
38int* i(int);
39double* i(long);
40
41void test_i(short sv, int iv, long lv, unsigned char ucv) {
42 int* ip1 = i(sv);
43 int* ip2 = i(iv);
44 int* ip3 = i(ucv);
45 double* dp1 = i(lv);
46}
47
48int* j(void*);
49double* j(bool);
50
51void test_j(int* ip) {
52 int* ip1 = j(ip);
53}
54
55int* k(char*);
56double* k(bool);
57
58void test_k() {
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -080059 int* ip1 = k("foo");
60#if __cplusplus <= 199711L
61 // expected-warning@-2 {{conversion from string literal to 'char *' is deprecated}}
62#else
63 // expected-error@-4 {{cannot initialize a variable of type 'int *' with an rvalue of type 'double *'}}
64#endif
65
66 int* ip2 = k(("foo"));
67#if __cplusplus <= 199711L
68 // expected-warning@-2 {{conversion from string literal to 'char *' is deprecated}}
69#else
70 // expected-error@-4 {{cannot initialize a variable of type 'int *' with an rvalue of type 'double *'}}
71#endif
Douglas Gregor8e9bebd2008-10-21 16:13:35 +000072 double* dp1 = k(L"foo");
73}
74
75int* l(wchar_t*);
76double* l(bool);
77
78void test_l() {
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -080079 int* ip1 = l(L"foo");
80#if __cplusplus <= 199711L
81 // expected-warning@-2 {{conversion from string literal to 'wchar_t *' is deprecated}}
82#else
83 // expected-error@-4 {{cannot initialize a variable of type 'int *' with an rvalue of type 'double *'}}
84#endif
Douglas Gregor8e9bebd2008-10-21 16:13:35 +000085 double* dp1 = l("foo");
86}
87
88int* m(const char*);
89double* m(char*);
90
91void test_m() {
92 int* ip = m("foo");
93}
94
95int* n(char*);
96double* n(void*);
Douglas Gregor0f669f52008-11-26 23:33:36 +000097class E;
Douglas Gregor8e9bebd2008-10-21 16:13:35 +000098
Douglas Gregor0f669f52008-11-26 23:33:36 +000099void test_n(E* e) {
Douglas Gregor8e9bebd2008-10-21 16:13:35 +0000100 char ca[7];
101 int* ip1 = n(ca);
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800102 int* ip2 = n("foo");
103#if __cplusplus <= 199711L
104 // expected-warning@-2 {{conversion from string literal to 'char *' is deprecated}}
105#else
106 // expected-warning@-4 {{ISO C++11 does not allow conversion from string literal to 'char *'}}
107#endif
Douglas Gregor8e9bebd2008-10-21 16:13:35 +0000108 float fa[7];
109 double* dp1 = n(fa);
Douglas Gregor0f669f52008-11-26 23:33:36 +0000110
111 double* dp2 = n(e);
Douglas Gregor8e9bebd2008-10-21 16:13:35 +0000112}
113
114enum PromotesToInt {
Douglas Gregorc9467cf2008-12-12 02:00:36 +0000115 PromotesToIntValue = -1
Douglas Gregor8e9bebd2008-10-21 16:13:35 +0000116};
117
118enum PromotesToUnsignedInt {
John McCall842aef82009-12-09 09:09:27 +0000119 PromotesToUnsignedIntValue = __INT_MAX__ * 2U
Douglas Gregor8e9bebd2008-10-21 16:13:35 +0000120};
121
122int* o(int);
123double* o(unsigned int);
124float* o(long);
125
126void test_o() {
127 int* ip1 = o(PromotesToIntValue);
128 double* dp1 = o(PromotesToUnsignedIntValue);
129}
130
131int* p(int);
132double* p(double);
133
134void test_p() {
135 int* ip = p((short)1);
136 double* dp = p(1.0f);
137}
138
139struct Bits {
140 signed short int_bitfield : 5;
141 unsigned int uint_bitfield : 8;
142};
143
144int* bitfields(int, int);
145float* bitfields(unsigned int, int);
146
147void test_bitfield(Bits bits, int x) {
148 int* ip = bitfields(bits.int_bitfield, 0);
149 float* fp = bitfields(bits.uint_bitfield, 0u);
150}
151
Richard Trieu2fe9b7f2011-12-15 00:38:15 +0000152int* multiparm(long, int, long); // expected-note {{candidate function}}
153float* multiparm(int, int, int); // expected-note {{candidate function}}
154double* multiparm(int, int, short); // expected-note {{candidate function}}
Douglas Gregor8e9bebd2008-10-21 16:13:35 +0000155
156void test_multiparm(long lv, short sv, int iv) {
157 int* ip1 = multiparm(lv, iv, lv);
158 int* ip2 = multiparm(lv, sv, lv);
159 float* fp1 = multiparm(iv, iv, iv);
160 float* fp2 = multiparm(sv, iv, iv);
161 double* dp1 = multiparm(sv, sv, sv);
162 double* dp2 = multiparm(iv, sv, sv);
Richard Trieu2fe9b7f2011-12-15 00:38:15 +0000163 multiparm(sv, sv, lv); // expected-error {{call to 'multiparm' is ambiguous}}
Douglas Gregor8e9bebd2008-10-21 16:13:35 +0000164}
Douglas Gregor9b6e2d22008-10-22 00:38:21 +0000165
166// Test overloading based on qualification vs. no qualification
167// conversion.
168int* quals1(int const * p);
169char* quals1(int * p);
170
171int* quals2(int const * const * pp);
172char* quals2(int * * pp);
173
174int* quals3(int const * * const * ppp);
175char* quals3(int *** ppp);
176
177void test_quals(int * p, int * * pp, int * * * ppp) {
178 char* q1 = quals1(p);
179 char* q2 = quals2(pp);
180 char* q3 = quals3(ppp);
181}
182
183// Test overloading based on qualification ranking (C++ 13.3.2)p3.
184int* quals_rank1(int const * p);
185float* quals_rank1(int const volatile *p);
Douglas Gregor57373262008-10-22 14:17:15 +0000186char* quals_rank1(char*);
187double* quals_rank1(const char*);
Douglas Gregor9b6e2d22008-10-22 00:38:21 +0000188
189int* quals_rank2(int const * const * pp);
190float* quals_rank2(int * const * pp);
191
Douglas Gregor57373262008-10-22 14:17:15 +0000192void quals_rank3(int const * const * const volatile * p); // expected-note{{candidate function}}
193void quals_rank3(int const * const volatile * const * p); // expected-note{{candidate function}}
194
195void quals_rank3(int const *); // expected-note{{candidate function}}
196void quals_rank3(int volatile *); // expected-note{{candidate function}}
197
Douglas Gregor9b6e2d22008-10-22 00:38:21 +0000198void test_quals_ranking(int * p, int volatile *pq, int * * pp, int * * * ppp) {
Douglas Gregor57373262008-10-22 14:17:15 +0000199 int* q1 = quals_rank1(p);
Douglas Gregor9b6e2d22008-10-22 00:38:21 +0000200 float* q2 = quals_rank1(pq);
Douglas Gregor57373262008-10-22 14:17:15 +0000201 double* q3 = quals_rank1("string literal");
202 char a[17];
203 const char* ap = a;
204 char* q4 = quals_rank1(a);
205 double* q5 = quals_rank1(ap);
206
207 float* q6 = quals_rank2(pp);
208
Richard Trieu2fe9b7f2011-12-15 00:38:15 +0000209 quals_rank3(ppp); // expected-error {{call to 'quals_rank3' is ambiguous}}
Douglas Gregor57373262008-10-22 14:17:15 +0000210
Richard Trieu2fe9b7f2011-12-15 00:38:15 +0000211 quals_rank3(p); // expected-error {{call to 'quals_rank3' is ambiguous}}
Douglas Gregor57373262008-10-22 14:17:15 +0000212 quals_rank3(pq);
Douglas Gregor9b6e2d22008-10-22 00:38:21 +0000213}
Douglas Gregor57373262008-10-22 14:17:15 +0000214
Douglas Gregorbc0805a2008-10-23 00:40:37 +0000215// Test overloading based on derived-to-base conversions
216class A { };
217class B : public A { };
218class C : public B { };
219class D : public C { };
220
221int* derived1(A*);
222char* derived1(const A*);
223float* derived1(void*);
224
225int* derived2(A*);
226float* derived2(B*);
227
228int* derived3(A*);
229float* derived3(const B*);
230char* derived3(C*);
231
232void test_derived(B* b, B const* bc, C* c, const C* cc, void* v, D* d) {
233 int* d1 = derived1(b);
234 char* d2 = derived1(bc);
235 int* d3 = derived1(c);
236 char* d4 = derived1(cc);
237 float* d5 = derived1(v);
238
239 float* d6 = derived2(b);
240 float* d7 = derived2(c);
241
242 char* d8 = derived3(d);
243}
Douglas Gregor27c8dc02008-10-29 00:13:59 +0000244
Douglas Gregor85789812010-06-30 23:01:39 +0000245void derived4(C*); // expected-note{{candidate function not viable: cannot convert from base class pointer 'A *' to derived class pointer 'C *' for 1st argument}}
246
247void test_base(A* a) {
248 derived4(a); // expected-error{{no matching function for call to 'derived4}}
249}
250
Douglas Gregor27c8dc02008-10-29 00:13:59 +0000251// Test overloading of references.
252// (FIXME: tests binding to determine candidate sets, not overload
253// resolution per se).
254int* intref(int&);
255float* intref(const int&);
256
257void intref_test() {
258 float* ir1 = intref(5);
David Blaikiebe0ee872012-05-15 16:56:36 +0000259 float* ir2 = intref(5.5); // expected-warning{{implicit conversion from 'double' to 'int' changes value from 5.5 to 5}}
Douglas Gregor27c8dc02008-10-29 00:13:59 +0000260}
Douglas Gregor15da57e2008-10-29 02:00:59 +0000261
Douglas Gregor2f9d8742010-07-01 02:14:45 +0000262void derived5(C&); // expected-note{{candidate function not viable: cannot bind base class object of type 'A' to derived class reference 'C &' for 1st argument}}
263
264void test_base(A& a) {
265 derived5(a); // expected-error{{no matching function for call to 'derived5}}
266}
267
Douglas Gregor15da57e2008-10-29 02:00:59 +0000268// Test reference binding vs. standard conversions.
269int& bind_vs_conv(const double&);
270float& bind_vs_conv(int);
271
272void bind_vs_conv_test()
273{
274 int& i1 = bind_vs_conv(1.0f);
275 float& f1 = bind_vs_conv((short)1);
276}
277
278// Test that cv-qualifiers get subsumed in the reference binding.
279struct X { };
280struct Y { };
281struct Z : X, Y { };
282
283int& cvqual_subsume(X&); // expected-note{{candidate function}}
284float& cvqual_subsume(const Y&); // expected-note{{candidate function}}
285
Richard Smith8ab10aa2012-05-24 04:29:20 +0000286int& cvqual_subsume2(X&); // expected-note{{candidate function}}
287float& cvqual_subsume2(volatile Y&); // expected-note{{candidate function}}
Douglas Gregor15da57e2008-10-29 02:00:59 +0000288
289void cvqual_subsume_test(Z z) {
Richard Trieu2fe9b7f2011-12-15 00:38:15 +0000290 cvqual_subsume(z); // expected-error{{call to 'cvqual_subsume' is ambiguous}}
Richard Smith8ab10aa2012-05-24 04:29:20 +0000291 cvqual_subsume2(z); // expected-error{{call to 'cvqual_subsume2' is ambiguous}}
Douglas Gregor15da57e2008-10-29 02:00:59 +0000292}
Douglas Gregorf70bdb92008-10-29 14:50:44 +0000293
294// Test overloading with cv-qualification differences in reference
295// binding.
296int& cvqual_diff(X&);
297float& cvqual_diff(const X&);
298
299void cvqual_diff_test(X x, Z z) {
300 int& i1 = cvqual_diff(x);
301 int& i2 = cvqual_diff(z);
302}
303
304// Test overloading with derived-to-base differences in reference
305// binding.
306struct Z2 : Z { };
307
308int& db_rebind(X&);
309long& db_rebind(Y&);
310float& db_rebind(Z&);
311
312void db_rebind_test(Z2 z2) {
313 float& f1 = db_rebind(z2);
314}
Douglas Gregorb7a86f52009-11-06 01:02:41 +0000315
316class string { };
317class opt : public string { };
318
319struct SR {
320 SR(const string&);
321};
322
323void f(SR) { }
324
325void g(opt o) {
326 f(o);
327}
Douglas Gregor335b07a2009-12-13 21:29:20 +0000328
329
330namespace PR5756 {
331 int &a(void*, int);
332 float &a(void*, float);
333 void b() {
334 int &ir = a(0,0);
335 (void)ir;
336 }
337}
John McCall3c80f572010-01-12 02:15:36 +0000338
339// Tests the exact text used to note the candidates
340namespace test1 {
Chris Lattner58f9e132010-09-05 00:04:01 +0000341 template <class T> void foo(T t, unsigned N); // expected-note {{candidate function [with T = int] not viable: no known conversion from 'const char [6]' to 'unsigned int' for 2nd argument}}
342 void foo(int n, char N); // expected-note {{candidate function not viable: no known conversion from 'const char [6]' to 'char' for 2nd argument}}
John McCalladbb8f82010-01-13 09:16:55 +0000343 void foo(int n, const char *s, int t); // expected-note {{candidate function not viable: requires 3 arguments, but 2 were provided}}
344 void foo(int n, const char *s, int t, ...); // expected-note {{candidate function not viable: requires at least 3 arguments, but 2 were provided}}
345 void foo(int n, const char *s, int t, int u = 0); // expected-note {{candidate function not viable: requires at least 3 arguments, but 2 were provided}}
John McCall3c80f572010-01-12 02:15:36 +0000346
Richard Smithf7b80562012-05-11 05:16:41 +0000347 // PR 11857
Richard Smithc608c3c2012-05-15 06:21:54 +0000348 void foo(int n); // expected-note {{candidate function not viable: requires single argument 'n', but 2 arguments were provided}}
349 void foo(unsigned n = 10); // expected-note {{candidate function not viable: allows at most single argument 'n', but 2 arguments were provided}}
350 void bar(int n, int u = 0); // expected-note {{candidate function not viable: requires at least argument 'n', but no arguments were provided}}
Richard Smithf7b80562012-05-11 05:16:41 +0000351 void baz(int n = 0, int u = 0); // expected-note {{candidate function not viable: requires at most 2 arguments, but 3 were provided}}
352
John McCall3c80f572010-01-12 02:15:36 +0000353 void test() {
354 foo(4, "hello"); //expected-error {{no matching function for call to 'foo'}}
Richard Smithf7b80562012-05-11 05:16:41 +0000355 bar(); //expected-error {{no matching function for call to 'bar'}}
356 baz(3, 4, 5); // expected-error {{no matching function for call to 'baz'}}
John McCall3c80f572010-01-12 02:15:36 +0000357 }
358}
John McCalladbb8f82010-01-13 09:16:55 +0000359
John McCallcefd3ad2010-01-13 22:30:33 +0000360// PR 6014
361namespace test2 {
362 struct QFixed {
363 QFixed(int i);
364 QFixed(long i);
365 };
366
367 bool operator==(const QFixed &f, int i);
368
369 class qrgb666 {
370 inline operator unsigned int () const;
371
372 inline bool operator==(const qrgb666 &v) const;
373 inline bool operator!=(const qrgb666 &v) const { return !(*this == v); }
374 };
375}
John McCall258b2032010-01-23 08:10:49 +0000376
377// PR 6117
378namespace test3 {
379 struct Base {};
380 struct Incomplete;
381
382 void foo(Base *); // expected-note 2 {{cannot convert argument of incomplete type}}
383 void foo(Base &); // expected-note 2 {{cannot convert argument of incomplete type}}
384
385 void test(Incomplete *P) {
386 foo(P); // expected-error {{no matching function for call to 'foo'}}
387 foo(*P); // expected-error {{no matching function for call to 'foo'}}
388 }
389}
Douglas Gregorad323a82010-01-27 03:51:04 +0000390
391namespace DerivedToBaseVsVoid {
392 struct A { };
393 struct B : A { };
394
395 float &f(void *);
396 int &f(const A*);
397
398 void g(B *b) {
399 int &ir = f(b);
400 }
401}
John McCallb1bdc622010-02-25 01:37:24 +0000402
John McCall3a813372010-02-25 10:46:05 +0000403// PR 6398 + PR 6421
John McCallb1bdc622010-02-25 01:37:24 +0000404namespace test4 {
405 class A;
406 class B {
407 static void foo(); // expected-note {{not viable}}
408 static void foo(int*); // expected-note {{not viable}}
John McCall3a813372010-02-25 10:46:05 +0000409 static void foo(long*); // expected-note {{not viable}}
John McCallb1bdc622010-02-25 01:37:24 +0000410
411 void bar(A *a) {
412 foo(a); // expected-error {{no matching function for call}}
413 }
414 };
415}
Douglas Gregor9e239322010-02-25 19:01:05 +0000416
417namespace DerivedToBase {
418 struct A { };
419 struct B : A { };
420 struct C : B { };
421
422 int &f0(const A&);
423 float &f0(B);
424
425 void g() {
426 float &fr = f0(C());
427 }
428}
Douglas Gregora1a9f032010-03-07 23:17:44 +0000429
430namespace PR6483 {
431 struct X0 {
432 operator const unsigned int & () const;
433 };
434
435 struct X1 {
436 operator unsigned int & () const;
437 };
438
439 void f0(const bool &);
440 void f1(bool &); // expected-note 2{{not viable}}
441
442 void g(X0 x0, X1 x1) {
443 f0(x0);
444 f1(x0); // expected-error{{no matching function for call}}
445 f0(x1);
446 f1(x1); // expected-error{{no matching function for call}}
447 }
448}
Douglas Gregoraa0be172010-04-13 15:50:39 +0000449
450namespace PR6078 {
Douglas Gregord1a27222010-04-24 20:54:38 +0000451 struct A {
Douglas Gregoraa0be172010-04-13 15:50:39 +0000452 A(short); // expected-note{{candidate constructor}}
453 A(long); // expected-note{{candidate constructor}}
454 };
455 struct S {
456 typedef void ft(A);
457 operator ft*();
458 };
459
460 void f() {
461 S()(0); // expected-error{{conversion from 'int' to 'PR6078::A' is ambiguous}}
462 }
463}
Douglas Gregor66821b52010-04-18 09:22:00 +0000464
465namespace PR6177 {
466 struct String { String(char const*); };
467
Richard Smith8ab10aa2012-05-24 04:29:20 +0000468 void f(bool const volatile&);
469 int &f(String);
Douglas Gregor66821b52010-04-18 09:22:00 +0000470
Richard Smith8ab10aa2012-05-24 04:29:20 +0000471 void g() { int &r = f(""); }
Douglas Gregor66821b52010-04-18 09:22:00 +0000472}
Douglas Gregorae65f4b2010-05-23 22:10:15 +0000473
474namespace PR7095 {
475 struct X { };
476
477 struct Y {
478 operator const X*();
479
480 private:
481 operator X*();
482 };
483
484 void f(const X *);
485 void g(Y y) { f(y); }
486}
Douglas Gregoraf7bea52010-05-25 15:31:05 +0000487
488namespace PR7224 {
489 class A {};
490 class B : public A {};
491
492 int &foo(A *const d);
493 float &foo(const A *const d);
494
495 void bar()
496 {
497 B *const d = 0;
498 B const *const d2 = 0;
499 int &ir = foo(d);
500 float &fr = foo(d2);
501 }
502}
Douglas Gregor5a57efd2010-06-09 03:53:18 +0000503
504namespace NontrivialSubsequence {
505 struct X0;
506
507 class A {
508 operator X0 *();
509 public:
510 operator const X0 *();
511 };
512
513 A a;
514 void foo( void const * );
515
516 void g() {
517 foo(a);
518 }
519}
Argyrios Kyrtzidis25e7e162010-10-05 03:15:43 +0000520
521// rdar://rdar8499524
522namespace rdar8499524 {
523 struct W {};
524 struct S {
525 S(...);
526 };
527
528 void g(const S&);
529 void f() {
530 g(W());
531 }
532}
Douglas Gregor4ae5b722011-06-05 06:15:20 +0000533
534namespace rdar9173984 {
535 template <typename T, unsigned long N> int &f(const T (&)[N]);
536 template <typename T> float &f(const T *);
537
538 void test() {
539 int arr[2] = {0, 0};
540 int *arrp = arr;
541 int &ir = f(arr);
542 float &fr = f(arrp);
543 }
544}
545
546namespace PR9507 {
547 void f(int * const&); // expected-note{{candidate function}}
548 void f(int const(&)[1]); // expected-note{{candidate function}}
549
550 int main() {
551 int n[1];
552 f(n); // expected-error{{call to 'f' is ambiguous}}
553 }
554}
Douglas Gregoree697e62011-10-13 18:10:35 +0000555
556namespace rdar9803316 {
557 void foo(float);
558 int &foo(int);
559
560 void bar() {
561 int &ir = (&foo)(0);
562 }
563}
Richard Smith76f3f692012-02-22 02:04:18 +0000564
565namespace IncompleteArg {
Richard Smithf5cd5cc2012-02-25 06:24:24 +0000566 // Ensure that overload resolution attempts to complete argument types when
567 // performing ADL.
Richard Smith76f3f692012-02-22 02:04:18 +0000568 template<typename T> struct S {
569 friend int f(const S&);
570 };
571 extern S<int> s;
572 int k = f(s);
Richard Smithf5cd5cc2012-02-25 06:24:24 +0000573
574 template<typename T> struct Op {
575 friend bool operator==(const Op &, const Op &);
576 };
577 extern Op<char> op;
578 bool b = op == op;
579
580 // ... and not in other cases! Nothing here requires U<int()> to be complete.
581 // (Note that instantiating U<int()> will fail.)
582 template<typename T> struct U {
583 T t;
584 };
585 struct Consumer {
586 template<typename T>
587 int operator()(const U<T> &);
588 };
589 template<typename T> U<T> &make();
590 Consumer c;
591 int n = sizeof(c(make<int()>()));
Richard Smith76f3f692012-02-22 02:04:18 +0000592}
Douglas Gregordb762ef2012-03-10 00:29:33 +0000593
594namespace PR12142 {
595 void fun(int (*x)[10]); // expected-note{{candidate function not viable: 1st argument ('const int (*)[10]') would lose const qualifier}}
596 void g() { fun((const int(*)[10])0); } // expected-error{{no matching function for call to 'fun'}}
597}
Richard Smith8ab10aa2012-05-24 04:29:20 +0000598
599// DR1152: Take 'volatile' into account when handling reference bindings in
600// overload resolution.
601namespace PR12931 {
602 void f(const int &, ...);
603 void f(const volatile int &, int);
604 void g() { f(0, 0); }
605}
Stephen Hines6bcf27b2014-05-29 04:14:42 -0700606
607void test5() {
608 struct {
609 typedef void F1(int);
610 typedef void F2(double);
611 operator F1*(); // expected-note{{conversion candidate}}
612 operator F2*(); // expected-note{{conversion candidate}}
613 } callable;
614 callable(); // expected-error{{no matching function for call}}
615}
Stephen Hines176edba2014-12-01 14:53:08 -0800616
617namespace PR20218 {
618 void f(void (*const &)()); // expected-note 2{{candidate}}
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800619 void f(void (&&)()) = delete; // expected-note 2{{candidate}}
620#if __cplusplus <= 199711L
621 // expected-warning@-2 {{rvalue references are a C++11 extension}}
622 // expected-warning@-3 {{deleted function definitions are a C++11 extension}}
623#endif
624 void g(void (&&)()) = delete; // expected-note 2{{candidate}}
625#if __cplusplus <= 199711L
626 // expected-warning@-2 {{rvalue references are a C++11 extension}}
627 // expected-warning@-3 {{deleted function definitions are a C++11 extension}}
628#endif
Stephen Hines176edba2014-12-01 14:53:08 -0800629 void g(void (*const &)()); // expected-note 2{{candidate}}
630
631 void x();
632 typedef void (&fr)();
633 struct Y { operator fr(); } y;
634
635 void h() {
636 f(x); // expected-error {{ambiguous}}
637 g(x); // expected-error {{ambiguous}}
638 f(y); // expected-error {{ambiguous}}
639 g(y); // expected-error {{ambiguous}}
640 }
641}