• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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  
5  class X{
6  public:
7    enum E {Enumerator}; // expected-note 2{{declared here}}
8    int f();
9    static int mem;
10    static float g();
11  };
12  
test(X * xp,X x)13  void 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  
26  struct A {
27   int f0;
28  };
29  struct B {
30   A *f0();
31  };
f0(B * b)32  int f0(B *b) {
33    return b->f0->f0; // expected-error{{did you mean to call it with no arguments}}
34  }
35  
36  int i;
37  
38  namespace C {
39    int i;
40  }
41  
test2(X * xp)42  void 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  
48  namespace test3 {
49    struct NamespaceDecl;
50  
51    struct NamedDecl {
52      void *getIdentifier() const;
53    };
54  
55    struct NamespaceDecl : NamedDecl {
isAnonymousNamespacetest3::NamespaceDecl56      bool isAnonymousNamespace() const {
57        return !getIdentifier();
58      }
59    };
60  }
61  
62  namespace 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  
test_f(Y y)73    void test_f(Y y) {
74      y.f(17);
75    }
76  }
77  
78  namespace test5 {
79    struct A {
80      template <class T> void foo();
81    };
82  
test0(int x)83    void test0(int x) {
84      x.A::foo<int>(); // expected-error {{'int' is not a structure or union}}
85    }
86  
test1(A * x)87    void test1(A *x) {
88      x.A::foo<int>(); // expected-error {{'test5::A *' is a pointer}}
89    }
90  
test2(A & x)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  
96  namespace PR7508 {
97    struct A {
98      struct CleanupScope {};
99      void PopCleanupBlock(); // expected-note{{'PopCleanupBlock' declared here}}
100    };
101  
foo(A & a)102    void foo(A &a) {
103      a.PopCleanupScope(); // expected-error{{no member named 'PopCleanupScope' in 'PR7508::A'; did you mean 'PopCleanupBlock'?}}
104    }
105  }
106  
107  namespace 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  
f(Y * y)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  
128  namespace 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}}
g()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}}
g2()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}}
g3()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}}
g4()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}}
g5()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  
160  namespace FuncInMemberExpr {
161    struct Vec { int size(); };
162    Vec fun1();
test1()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();
test2()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);
test3()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  
170  namespace DotForSemiTypo {
f(int i)171  void 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  
180  namespace PR15045 {
181    class Cl0 {
182    public:
183      int a;
184    };
185  
f()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  
call_func(T t)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  
test_arrow_on_non_pointer_records()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  
222  namespace pr16676 {
223    struct S { int i; };
224    struct T { S* get_s(); };
f(S * 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