130 lines · cpp
1// RUN: %clang_cc1 -fsyntax-only -verify %s2 3struct X {4 int& f(int) const; // expected-note 2 {{candidate function}}5 float& f(int); // expected-note 2 {{candidate function}}6 7 void test_f(int x) const {8 int& i = f(x);9 }10 11 void test_f2(int x) {12 float& f2 = f(x);13 }14 15 int& g(int) const; // expected-note 2 {{candidate function}}16 float& g(int); // expected-note 2 {{candidate function}}17 static double& g(double);18 19 void h(int);20 21 void test_member() {22 float& f1 = f(0);23 float& f2 = g(0);24 double& d1 = g(0.0);25 }26 27 void test_member_const() const {28 int &i1 = f(0);29 int &i2 = g(0);30 double& d1 = g(0.0);31 }32 33 static void test_member_static() {34 double& d1 = g(0.0);35 g(0); // expected-error{{call to 'g' is ambiguous}}36 }37};38 39void test(X x, const X xc, X* xp, const X* xcp, volatile X xv, volatile X* xvp) {40 int& i1 = xc.f(0);41 int& i2 = xcp->f(0);42 float& f1 = x.f(0);43 float& f2 = xp->f(0);44 xv.f(0); // expected-error{{no matching member function for call to 'f'}}45 xvp->f(0); // expected-error{{no matching member function for call to 'f'}}46 47 int& i3 = xc.g(0);48 int& i4 = xcp->g(0);49 float& f3 = x.g(0);50 float& f4 = xp->g(0);51 double& d1 = xp->g(0.0);52 double& d2 = X::g(0.0);53 X::g(0); // expected-error{{call to 'g' is ambiguous}}54 55 X::h(0); // expected-error{{call to non-static member function without an object argument}}56}57 58struct X1 {59 int& member();60 float& member() const;61};62 63struct X2 : X1 { };64 65void test_X2(X2 *x2p, const X2 *cx2p) {66 int &ir = x2p->member();67 float &fr = cx2p->member();68}69 70// Tests the exact text used to note the candidates71namespace test1 {72 class A {73 template <class T>74 void foo(T t, unsigned N); // expected-note {{candidate function template not viable: no known conversion from 'const char[6]' to 'unsigned int' for 2nd argument}}75 void foo(int n, char N); // expected-note {{candidate function not viable: no known conversion from 'const char[6]' to 'char' for 2nd argument}} 76 void foo(int n, const char *s, int t); // expected-note {{candidate function not viable: requires 3 arguments, but 2 were provided}}77 void foo(int n, const char *s, int t, ...); // expected-note {{candidate function not viable: requires at least 3 arguments, but 2 were provided}}78 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}}79 80 void bar(double d); //expected-note {{candidate function not viable: 'this' argument has type 'const A', but method is not marked const}}81 void bar(int i); //expected-note {{candidate function not viable: 'this' argument has type 'const A', but method is not marked const}}82 83 void baz(A &d); // expected-note {{candidate function not viable: 1st argument ('const A') would lose const qualifier}}84 void baz(int i); // expected-note {{candidate function not viable: no known conversion from 'const A' to 'int' for 1st argument}} 85 86 void ref() &&; // expected-note {{expects an rvalue for object argument}} expected-note {{requires 0 arguments, but 1 was provided}}87 void ref(int) &; // expected-note {{expects an lvalue for object argument}} expected-note {{requires 1 argument, but 0 were provided}}88 89 // PR 1185790 void foo(int n); // expected-note {{candidate function not viable: requires single argument 'n', but 2 arguments were provided}}91 void foo(unsigned n = 10); // expected-note {{candidate function not viable: allows at most single argument 'n', but 2 arguments were provided}}92 void rab(double n, int u = 0); // expected-note {{candidate function not viable: requires at least argument 'n', but no arguments were provided}}93 void rab(int n, int u = 0); // expected-note {{candidate function not viable: requires at least argument 'n', but no arguments were provided}}94 void zab(double n = 0.0, int u = 0); // expected-note {{candidate function not viable: requires at most 2 arguments, but 3 were provided}}95 void zab(int n = 0, int u = 0); // expected-note {{candidate function not viable: requires at most 2 arguments, but 3 were provided}}96 };97 98 void test() {99 A a;100 a.foo(4, "hello"); //expected-error {{no matching member function for call to 'foo'}}101 102 const A b = A();103 b.bar(0); //expected-error {{no matching member function for call to 'bar'}}104 105 a.baz(b); //expected-error {{no matching member function for call to 'baz'}}106 107 a.rab(); //expected-error {{no matching member function for call to 'rab'}}108 a.zab(3, 4, 5); //expected-error {{no matching member function for call to 'zab'}}109 110 a.ref(); // expected-error {{no matching member function for call to 'ref'}}111 A().ref(1); // expected-error {{no matching member function for call to 'ref'}}112 }113}114 115namespace b7398190 {116 struct S {117 int f(); // expected-note {{'this' argument has type 'const S', but method is not marked const}}118 void f(int); // expected-note {{requires 1 argument, but 0 were provided}}119 };120 const S *p;121 int k = p->f(); // expected-error {{no matching member function for call to 'f'}}122}123 124void member_call_op_template(int *p) {125 // Ensure that we don't get confused about relative parameter / argument126 // indexing here.127 [](int, int, auto...){}(p, p); // expected-error {{no matching function}} expected-note {{no known conversion}}128}129 130