|
150
|
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);
|
|
|
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>
|
|
|
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 test1::A', but method is not marked const}}
|
|
|
81 void bar(int i); //expected-note {{candidate function not viable: 'this' argument has type 'const test1::A', but method is not marked const}}
|
|
|
82
|
|
|
83 void baz(A &d); // expected-note {{candidate function not viable: 1st argument ('const test1::A') would lose const qualifier}}
|
|
|
84 void baz(int i); // expected-note {{candidate function not viable: no known conversion from 'const test1::A' to 'int' for 1st argument}}
|
|
|
85
|
|
|
86 // PR 11857
|
|
|
87 void foo(int n); // expected-note {{candidate function not viable: requires single argument 'n', but 2 arguments were provided}}
|
|
|
88 void foo(unsigned n = 10); // expected-note {{candidate function not viable: allows at most single argument 'n', but 2 arguments were provided}}
|
|
|
89 void rab(double n, int u = 0); // expected-note {{candidate function not viable: requires at least argument 'n', but no arguments were provided}}
|
|
|
90 void rab(int n, int u = 0); // expected-note {{candidate function not viable: requires at least argument 'n', but no arguments were provided}}
|
|
|
91 void zab(double n = 0.0, int u = 0); // expected-note {{candidate function not viable: requires at most 2 arguments, but 3 were provided}}
|
|
|
92 void zab(int n = 0, int u = 0); // expected-note {{candidate function not viable: requires at most 2 arguments, but 3 were provided}}
|
|
|
93 };
|
|
|
94
|
|
|
95 void test() {
|
|
|
96 A a;
|
|
|
97 a.foo(4, "hello"); //expected-error {{no matching member function for call to 'foo'}}
|
|
|
98
|
|
|
99 const A b = A();
|
|
|
100 b.bar(0); //expected-error {{no matching member function for call to 'bar'}}
|
|
|
101
|
|
|
102 a.baz(b); //expected-error {{no matching member function for call to 'baz'}}
|
|
|
103
|
|
|
104 a.rab(); //expected-error {{no matching member function for call to 'rab'}}
|
|
|
105 a.zab(3, 4, 5); //expected-error {{no matching member function for call to 'zab'}}
|
|
|
106 }
|
|
|
107 }
|
|
|
108
|
|
|
109 namespace b7398190 {
|
|
|
110 struct S {
|
|
|
111 int f(); // expected-note {{'this' argument has type 'const b7398190::S', but method is not marked const}}
|
|
|
112 void f(int); // expected-note {{requires 1 argument, but 0 were provided}}
|
|
|
113 };
|
|
|
114 const S *p;
|
|
|
115 int k = p->f(); // expected-error {{no matching member function for call to 'f'}}
|
|
|
116 }
|
|
|
117
|
|
|
118 void member_call_op_template(int *p) {
|
|
|
119 // Ensure that we don't get confused about relative parameter / argument
|
|
|
120 // indexing here.
|
|
|
121 [](int, int, auto...){}(p, p); // expected-error {{no matching function}} expected-note {{no known conversion}}
|
|
|
122 }
|
|
|
123
|
