1 // RUN: %clang_cc1 -fsyntax-only -verify %s 2 3 struct 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); // expected-note 2 {{candidate function}} 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 39 void 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 58 struct X1 { 59 int& member(); 60 float& member() const; 61 }; 62 63 struct X2 : X1 { }; 64 65 void 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 candidates 71 namespace test1 { 72 class A { 73 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}} 74 void foo(int n, char N); // expected-note {{candidate function not viable: no known conversion from 'const char [6]' to 'char' for 2nd argument}} 75 void foo(int n, const char *s, int t); // expected-note {{candidate function not viable: requires 3 arguments, but 2 were provided}} 76 void foo(int n, const char *s, int t, ...); // expected-note {{candidate function not viable: requires at least 3 arguments, but 2 were provided}} 77 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}} 78 79 void bar(double d); //expected-note {{candidate function not viable: 'this' argument has type 'const test1::A', but method is not marked const}} 80 void bar(int i); //expected-note {{candidate function not viable: 'this' argument has type 'const test1::A', but method is not marked const}} 81 82 void baz(A &d); // expected-note {{candidate function not viable: 1st argument ('const test1::A') would lose const qualifier}} 83 void baz(int i); // expected-note {{candidate function not viable: no known conversion from 'const test1::A' to 'int' for 1st argument}} 84 85 // PR 11857 86 void foo(int n); // expected-note {{candidate function not viable: requires single argument 'n', but 2 arguments were provided}} 87 void foo(unsigned n = 10); // expected-note {{candidate function not viable: allows at most single argument 'n', but 2 arguments were provided}} 88 void rab(double n, int u = 0); // expected-note {{candidate function not viable: requires at least argument 'n', but no arguments were provided}} 89 void rab(int n, int u = 0); // expected-note {{candidate function not viable: requires at least argument 'n', but no arguments were provided}} 90 void zab(double n = 0.0, int u = 0); // expected-note {{candidate function not viable: requires at most 2 arguments, but 3 were provided}} 91 void zab(int n = 0, int u = 0); // expected-note {{candidate function not viable: requires at most 2 arguments, but 3 were provided}} 92 }; 93 94 void test() { 95 A a; 96 a.foo(4, "hello"); //expected-error {{no matching member function for call to 'foo'}} 97 98 const A b = A(); 99 b.bar(0); //expected-error {{no matching member function for call to 'bar'}} 100 101 a.baz(b); //expected-error {{no matching member function for call to 'baz'}} 102 103 a.rab(); //expected-error {{no matching member function for call to 'rab'}} 104 a.zab(3, 4, 5); //expected-error {{no matching member function for call to 'zab'}} 105 } 106 } 107 108 namespace b7398190 { 109 struct S { 110 int f(); // expected-note {{'this' argument has type 'const b7398190::S', but method is not marked const}} 111 void f(int); // expected-note {{requires 1 argument, but 0 were provided}} 112 }; 113 const S *p; 114 int k = p->f(); // expected-error {{no matching member function for call to 'f'}} 115 } 116
