clang/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
   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
  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 };
  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
  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 {
  56     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
  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
  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 {{'A *' is a pointer}}
  89   }
  90
  91   void test2(A &x) {
  92     x->A::foo<int>(); // expected-error {{'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
 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
 118   void f(Y *y) {
 119     y->N::X1<int>; // expected-error{{'rdar8231724::N::X1' is not a member of class 'Y'}}
 120     y->Z<int>::n; // expected-error{{'rdar8231724::Z<int>::n' is not a member of class 'Y'}}
 121     y->template Z<int>::n; // expected-error{{'rdar8231724::Z<int>::n' is not a member of class '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}}
 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
 160 namespace 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
 170 namespace DotForSemiTypo {
 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
 186   int f() {
 187     Cl0 c;
 188     return c->a;  // expected-error {{member reference type '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 '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 '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(); };
 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 'S *' is a pointer; did you mean to use '->'}}
 229   }
 230 }