1 // RUN: %clang_cc1 -fsyntax-only -verify %s 2 3 // [class.mfct.non-static]p3: 4 // When an id-expression (5.1) that is not part of a class member 5 // access syntax (5.2.5) and not used to form a pointer to member 6 // (5.3.1) is used in the body of a non-static member function of 7 // class X, if name lookup (3.4.1) resolves the name in the 8 // id-expression to a non-static non-type member of some class C, 9 // the id-expression is transformed into a class member access 10 // expression (5.2.5) using (*this) (9.3.2) as the 11 // postfix-expression to the left of the . operator. [ Note: if C is 12 // not X or a base class of X, the class member access expression is 13 // ill-formed. --end note] Similarly during name lookup, when an 14 // unqualified-id (5.1) used in the definition of a member function 15 // for class X resolves to a static member, an enumerator or a 16 // nested type of class X or of a base class of X, the 17 // unqualified-id is transformed into a qualified-id (5.1) in which 18 // the nested-name-specifier names the class of the member function. 19 20 namespace test0 { 21 class A { 22 int data_member; 23 int instance_method(); 24 static int static_method(); 25 26 bool test() { 27 return data_member + instance_method() < static_method(); 28 } 29 }; 30 } 31 32 namespace test1 { 33 struct Opaque1 {}; struct Opaque2 {}; struct Opaque3 {}; 34 35 struct A { 36 void foo(Opaque1); // expected-note {{candidate}} 37 void foo(Opaque2); // expected-note {{candidate}} 38 }; 39 40 struct B : A { 41 void test(); 42 }; 43 44 struct C1 : A { }; 45 struct C2 : B { }; 46 47 void B::test() { 48 A::foo(Opaque1()); 49 A::foo(Opaque2()); 50 A::foo(Opaque3()); // expected-error {{no matching member function}} 51 52 C1::foo(Opaque1()); // expected-error {{call to non-static member function without an object argument}} 53 C2::foo(Opaque1()); // expected-error {{call to non-static member function without an object argument}} 54 } 55 } 56 57 namespace test2 { 58 struct Unrelated { 59 void foo(); 60 }; 61 62 template <class T> struct B; 63 template <class T> struct C; 64 65 template <class T> struct A { 66 void foo(); 67 68 void test0() { 69 Unrelated::foo(); // expected-error {{call to non-static member function without an object argument}} 70 } 71 72 void test1() { 73 B<T>::foo(); 74 } 75 76 static void test2() { 77 B<T>::foo(); // expected-error {{call to non-static member function without an object argument}} 78 } 79 80 void test3() { 81 C<T>::foo(); // expected-error {{no member named 'foo'}} 82 } 83 }; 84 85 template <class T> struct B : A<T> { 86 }; 87 88 template <class T> struct C { 89 }; 90 91 int test() { 92 A<int> a; 93 a.test0(); // no instantiation note here, decl is ill-formed 94 a.test1(); 95 a.test2(); // expected-note {{in instantiation}} 96 a.test3(); // expected-note {{in instantiation}} 97 } 98 } 99
