Daniel Dunbar | a572887 | 2009-12-15 20:14:24 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
Douglas Gregor | 88a3514 | 2008-12-22 05:46:06 +0000 | [diff] [blame] | 2 | |
| 3 | struct X { |
Sebastian Redl | 3cb0692 | 2009-02-07 19:52:04 +0000 | [diff] [blame] | 4 | int& f(int) const; // expected-note 2 {{candidate function}} |
| 5 | float& f(int); // expected-note 2 {{candidate function}} |
Douglas Gregor | 88a3514 | 2008-12-22 05:46:06 +0000 | [diff] [blame] | 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 | |
Sebastian Redl | 3cb0692 | 2009-02-07 19:52:04 +0000 | [diff] [blame] | 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}} |
Douglas Gregor | 88a3514 | 2008-12-22 05:46:06 +0000 | [diff] [blame] | 18 | |
| 19 | void h(int); |
Douglas Gregor | 3f20a68 | 2009-01-12 23:20:38 +0000 | [diff] [blame] | 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); |
Richard Trieu | 2fe9b7f | 2011-12-15 00:38:15 +0000 | [diff] [blame] | 35 | g(0); // expected-error{{call to 'g' is ambiguous}} |
Douglas Gregor | 3f20a68 | 2009-01-12 23:20:38 +0000 | [diff] [blame] | 36 | } |
Douglas Gregor | 88a3514 | 2008-12-22 05:46:06 +0000 | [diff] [blame] | 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); |
Richard Trieu | 2fe9b7f | 2011-12-15 00:38:15 +0000 | [diff] [blame] | 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'}} |
Douglas Gregor | 88a3514 | 2008-12-22 05:46:06 +0000 | [diff] [blame] | 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); |
Richard Trieu | 2fe9b7f | 2011-12-15 00:38:15 +0000 | [diff] [blame] | 53 | X::g(0); // expected-error{{call to 'g' is ambiguous}} |
Douglas Gregor | 88a3514 | 2008-12-22 05:46:06 +0000 | [diff] [blame] | 54 | |
| 55 | X::h(0); // expected-error{{call to non-static member function without an object argument}} |
| 56 | } |
Douglas Gregor | b1c2ea5 | 2009-11-05 00:07:36 +0000 | [diff] [blame] | 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 | } |
John McCall | adbb8f8 | 2010-01-13 09:16:55 +0000 | [diff] [blame] | 69 | |
| 70 | // Tests the exact text used to note the candidates |
| 71 | namespace test1 { |
| 72 | class A { |
Chris Lattner | 58f9e13 | 2010-09-05 00:04:01 +0000 | [diff] [blame] | 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}} |
John McCall | adbb8f8 | 2010-01-13 09:16:55 +0000 | [diff] [blame] | 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}} |
John McCall | e81e15e | 2010-01-14 00:56:20 +0000 | [diff] [blame] | 78 | |
Chris Lattner | 0c42bb6 | 2010-09-05 00:17:29 +0000 | [diff] [blame] | 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}} |
John McCall | 651f3ee | 2010-01-14 03:28:57 +0000 | [diff] [blame] | 81 | |
Chris Lattner | 0c42bb6 | 2010-09-05 00:17:29 +0000 | [diff] [blame] | 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}} |
Richard Smith | f7b8056 | 2012-05-11 05:16:41 +0000 | [diff] [blame] | 84 | |
| 85 | // PR 11857 |
Richard Smith | c608c3c | 2012-05-15 06:21:54 +0000 | [diff] [blame] | 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}} |
Richard Smith | f7b8056 | 2012-05-11 05:16:41 +0000 | [diff] [blame] | 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}} |
John McCall | adbb8f8 | 2010-01-13 09:16:55 +0000 | [diff] [blame] | 92 | }; |
| 93 | |
| 94 | void test() { |
| 95 | A a; |
| 96 | a.foo(4, "hello"); //expected-error {{no matching member function for call to 'foo'}} |
John McCall | e81e15e | 2010-01-14 00:56:20 +0000 | [diff] [blame] | 97 | |
Douglas Gregor | 9db7dbb | 2010-01-31 09:12:51 +0000 | [diff] [blame] | 98 | const A b = A(); |
John McCall | e81e15e | 2010-01-14 00:56:20 +0000 | [diff] [blame] | 99 | b.bar(0); //expected-error {{no matching member function for call to 'bar'}} |
John McCall | 651f3ee | 2010-01-14 03:28:57 +0000 | [diff] [blame] | 100 | |
| 101 | a.baz(b); //expected-error {{no matching member function for call to 'baz'}} |
Richard Smith | f7b8056 | 2012-05-11 05:16:41 +0000 | [diff] [blame] | 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'}} |
John McCall | adbb8f8 | 2010-01-13 09:16:55 +0000 | [diff] [blame] | 105 | } |
| 106 | } |
| 107 | |
Richard Smith | 98bfbf5 | 2013-01-26 02:07:32 +0000 | [diff] [blame] | 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 | } |