1 // RUN: %clang_cc1 -fsyntax-only -verify %s 2 namespace A 3 { 4 namespace B 5 { 6 struct base // expected-note{{object type}} 7 { 8 void x() {} 9 void y() {} 10 }; 11 } 12 13 struct member 14 { 15 void foo(); 16 }; 17 18 struct middleman 19 { 20 member * operator->() { return 0; } 21 }; 22 23 struct sub : B::base 24 { 25 void x() {} 26 middleman operator->() { return middleman(); } 27 }; 28 } 29 30 struct bad 31 { 32 int x(); 33 }; 34 35 namespace C 36 { 37 void fun() 38 { 39 A::sub a; 40 41 a.x(); 42 43 a.sub::x(); 44 a.base::x(); 45 46 a.B::base::x(); // expected-error{{use of undeclared identifier 'B'}} 47 48 a.A::sub::x(); 49 a.A::B::base::x(); 50 51 a.bad::x(); // expected-error{{'bad::x' is not a member of class 'A::sub'}} 52 53 a->foo(); 54 a->member::foo(); 55 a->A::member::foo(); 56 } 57 58 void fun2() 59 { 60 A::sub *a; 61 62 a->x(); 63 64 a->sub::x(); 65 a->base::x(); 66 67 a->B::base::x(); // expected-error{{use of undeclared identifier 'B'}} 68 69 a->A::sub::x(); 70 a->A::B::base::x(); 71 72 a->bad::x(); // expected-error{{'bad::x' is not a member of class 'A::sub'}} 73 74 (*a)->foo(); 75 (*a)->member::foo(); 76 (*a)->A::member::foo(); 77 } 78 79 void fun3() 80 { 81 int i; 82 i.foo(); // expected-error{{member reference base type 'int' is not a structure or union}} 83 } 84 85 void fun4a() { 86 A::sub *a; 87 88 typedef A::member base; // expected-note{{current scope}} 89 a->base::x(); // expected-error{{ambiguous}} 90 } 91 92 void fun4b() { 93 A::sub *a; 94 95 typedef A::B::base base; 96 a->base::x(); 97 } 98 99 template<typename T> 100 void fun5() 101 { 102 T a; 103 a.x(); 104 a->foo(); 105 106 a.A::sub::x(); 107 a.A::B::base::x(); 108 a->A::member::foo(); 109 110 a.bad::x(); // expected-error{{'bad::x' is not a member of class 'A::sub'}} 111 } 112 113 void test_fun5() { 114 fun5<A::sub>(); // expected-note{{instantiation}} 115 } 116 117 template<typename T> 118 void fun6() { 119 T a; 120 a.sub::x(); 121 a.base::x(); 122 a->member::foo(); 123 a.B::base::x(); // expected-error{{use of undeclared identifier 'B'}} 124 } 125 126 void test_fun6() { 127 fun6<A::sub>(); // expected-note{{instantiation}} 128 } 129 130 } 131 132 // PR4703 133 struct a { 134 int a; 135 static int sa; 136 }; 137 138 a a; 139 140 int a::sa = a.a; // expected-error {{invalid use of non-static data member 'a'}} 141 142 143 namespace PR6645 { 144 typedef int foo; 145 namespace Inner { 146 typedef int PR6645::foo; // expected-error{{typedef declarator cannot be qualified}} \ 147 // expected-error{{cannot define or redeclare 'foo' here because namespace 'Inner' does not enclose namespace 'PR6645'}} 148 } 149 } 150