overload-member-call.cpp revision e81e15ed0c31f828104b339ceb66648d1c815a8b 
1// RUN: %clang_cc1 -fsyntax-only -verify %s
2
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); // 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; candidates are:}}
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'; candidates are:}}
45  xvp->f(0); // expected-error{{no matching member function for call to 'f'; candidates are:}}
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; candidates are:}}
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 candidates
71namespace 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 'char const [6]' to 'unsigned int' for 2nd argument}}
74    void foo(int n, char N); // expected-note {{candidate function not viable: no known conversion from 'char const [6]' to 'char' for 2nd argument}}
75    void foo(int n); // expected-note {{candidate function not viable: requires 1 argument, but 2 were provided}}
76    void foo(unsigned n = 10); // expected-note {{candidate function not viable: requires at most 1 argument, but 2 were provided}}
77    void foo(int n, const char *s, int t); // expected-note {{candidate function not viable: requires 3 arguments, but 2 were provided}}
78    void foo(int n, const char *s, int t, ...); // expected-note {{candidate function not viable: requires at least 3 arguments, but 2 were provided}}
79    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}}
80
81    void bar(double d); //expected-note {{candidate function not viable: no known conversion from 'class test1::A const' to 'class test1::A' for object argument}}
82    void bar(int i); //expected-note {{candidate function not viable: no known conversion from 'class test1::A const' to 'class test1::A' for object argument}}
83  };
84
85  void test() {
86    A a;
87    a.foo(4, "hello"); //expected-error {{no matching member function for call to 'foo'}}
88
89    const A b;
90    b.bar(0); //expected-error {{no matching member function for call to 'bar'}}
91  }
92}
93
94