Clang Project

clang_source_code/test/SemaCXX/member-expr.cpp
1// RUN: %clang_cc1 -fsyntax-only -verify %s
2// RUN: %clang_cc1 -fsyntax-only -verify -std=c++98 %s
3// RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
4
5class X{
6public:
7  enum E {Enumerator}; // expected-note 2{{declared here}}
8  int f();
9  static int mem;
10  static float g();
11};
12
13void test(X* xp, X x) {
14  int i1 = x.f();
15  int i2 = xp->f();
16  x.E; // expected-error{{cannot refer to type member 'E' in 'X' with '.'}}
17  xp->E; // expected-error{{cannot refer to type member 'E' in 'X' with '->'}}
18  int i3 = x.Enumerator;
19  int i4 = xp->Enumerator;
20  x.mem = 1;
21  xp->mem = 2;
22  float f1 = x.g();
23  float f2 = xp->g();
24}
25
26struct A {
27 int f0;
28};
29struct B {
30 A *f0();
31};
32int f0(B *b) {
33  return b->f0->f0; // expected-error{{did you mean to call it with no arguments}}
34}
35
36int i;
37
38namespace C {
39  int i;
40}
41
42void test2(X *xp) {
43  xp->::i = 7; // expected-error{{qualified member access refers to a member in the global namespace}}
44  xp->C::i = 7; // expected-error{{qualified member access refers to a member in namespace 'C'}}
45}
46
47
48namespace test3 {
49  struct NamespaceDecl;
50
51  struct NamedDecl {
52    void *getIdentifier() const;
53  };
54
55  struct NamespaceDecl : NamedDecl {
56    bool isAnonymousNamespace() const {
57      return !getIdentifier();
58    }
59  };
60}
61
62namespace test4 {
63  class X {
64  protected:
65    template<typename T> void f(T);
66  };
67
68  class Y : public X {
69  public:
70    using X::f;
71  };
72
73  void test_f(Y y) {
74    y.f(17);
75  }
76}
77
78namespace test5 {
79  struct A {
80    template <class T> void foo();
81  };
82
83  void test0(int x) {
84    x.A::foo<int>(); // expected-error {{'int' is not a structure or union}}
85  }
86
87  void test1(A *x) {
88    x.A::foo<int>(); // expected-error {{'test5::A *' is a pointer}}
89  }
90
91  void test2(A &x) {
92    x->A::foo<int>(); // expected-error {{'test5::A' is not a pointer; did you mean to use '.'?}}
93  }
94}
95
96namespace PR7508 {
97  struct A {
98    struct CleanupScope {};
99    void PopCleanupBlock(); // expected-note{{'PopCleanupBlock' declared here}}
100  };
101
102  void foo(A &a) {
103    a.PopCleanupScope(); // expected-error{{no member named 'PopCleanupScope' in 'PR7508::A'; did you mean 'PopCleanupBlock'?}}
104  }
105}
106
107namespace rdar8231724 {
108  namespace N {
109    template<typename T> struct X1;
110    int i;
111  }
112
113  struct X { };
114  struct Y : X { };
115
116  template<typename T> struct Z { int n; };
117
118  void f(Y *y) {
119    y->N::X1<int>; // expected-error{{'rdar8231724::N::X1' is not a member of class 'rdar8231724::Y'}}
120    y->Z<int>::n; // expected-error{{'rdar8231724::Z<int>::n' is not a member of class 'rdar8231724::Y'}}
121    y->template Z<int>::n; // expected-error{{'rdar8231724::Z<int>::n' is not a member of class 'rdar8231724::Y'}}
122#if __cplusplus <= 199711L // C++03 or earlier modes
123    // expected-warning@-2{{'template' keyword outside of a template}}
124#endif
125  }
126}
127
128namespace PR9025 {
129  struct S { int x; };
130  S fun(); // expected-note{{possible target for call}}
131  int fun(int i); // expected-note{{possible target for call}}
132  int g() {
133    return fun.x; // expected-error{{reference to overloaded function could not be resolved; did you mean to call it with no arguments?}}
134  }
135
136  S fun2(); // expected-note{{possible target for call}}
137  S fun2(int i); // expected-note{{possible target for call}}
138  int g2() {
139    return fun2.x; // expected-error{{reference to overloaded function could not be resolved; did you mean to call it with no arguments?}}
140  }
141
142  S fun3(int i=0); // expected-note{{possible target for call}}
143  int fun3(int i, int j); // expected-note{{possible target for call}}
144  int g3() {
145    return fun3.x; // expected-error{{reference to overloaded function could not be resolved; did you mean to call it with no arguments?}}
146  }
147
148  template <typename T> S fun4(); // expected-note{{possible target for call}}
149  int g4() {
150    return fun4.x; // expected-error{{reference to overloaded function could not be resolved; did you mean to call it?}}
151  }
152
153  S fun5(int i); // expected-note{{possible target for call}}
154  S fun5(float f); // expected-note{{possible target for call}}
155  int g5() {
156    return fun5.x; // expected-error{{reference to overloaded function could not be resolved; did you mean to call it?}}
157  }
158}
159
160namespace FuncInMemberExpr {
161  struct Vec { int size(); };
162  Vec fun1();
163  int test1() { return fun1.size(); } // expected-error {{base of member reference is a function; perhaps you meant to call it with no arguments}}
164  Vec *fun2();
165  int test2() { return fun2->size(); } // expected-error {{base of member reference is a function; perhaps you meant to call it with no arguments}}
166  Vec fun3(int x = 0);
167  int test3() { return fun3.size(); } // expected-error {{base of member reference is a function; perhaps you meant to call it with no arguments}}
168}
169
170namespace DotForSemiTypo {
171void f(int i) {
172  // If the programmer typo'd '.' for ';', make sure we point at the '.' rather
173  // than the "field name" (whatever the first token on the next line happens to
174  // be).
175  int j = i. // expected-error {{member reference base type 'int' is not a structure or union}}
176  j = 0;
177}
178}
179
180namespace PR15045 {
181  class Cl0 {
182  public:
183    int a;
184  };
185
186  int f() {
187    Cl0 c;
188    return c->a;  // expected-error {{member reference type 'PR15045::Cl0' is not a pointer; did you mean to use '.'?}}
189  }
190
191  struct bar {
192    void func();  // expected-note {{'func' declared here}}
193  };
194
195  struct foo {
196    bar operator->();  // expected-note 2 {{'->' applied to return value of the operator->() declared here}}
197  };
198
199  template <class T> void call_func(T t) {
200    t->func();  // expected-error-re 2 {{member reference type 'PR15045::bar' is not a pointer{{$}}}} \
201                // expected-note {{did you mean to use '.' instead?}}
202  }
203
204  void test_arrow_on_non_pointer_records() {
205    bar e;
206    foo f;
207
208    // Show that recovery has happened by also triggering typo correction
209    e->Func();  // expected-error {{member reference type 'PR15045::bar' is not a pointer; did you mean to use '.'?}} \
210                // expected-error {{no member named 'Func' in 'PR15045::bar'; did you mean 'func'?}}
211
212    // Make sure a fixit isn't given in the case that the '->' isn't actually
213    // the problem (the problem is with the return value of an operator->).
214    f->func();  // expected-error-re {{member reference type 'PR15045::bar' is not a pointer{{$}}}}
215
216    call_func(e);  // expected-note {{in instantiation of function template specialization 'PR15045::call_func<PR15045::bar>' requested here}}
217
218    call_func(f);  // expected-note {{in instantiation of function template specialization 'PR15045::call_func<PR15045::foo>' requested here}}
219  }
220}
221
222namespace pr16676 {
223  struct S { int i; };
224  struct T { S* get_s(); };
225  int f(S* s) {
226    T t;
227    return t.get_s  // expected-error {{reference to non-static member function must be called; did you mean to call it with no arguments?}}
228        .i;  // expected-error {{member reference type 'pr16676::S *' is a pointer; did you mean to use '->'}}
229  }
230}
231
CodeThinker, Enjoy your reading code