nested-name-spec.cpp revision d85b5b9b8fcf53906d9a61649b3657ca0d902017
1// RUN: clang-cc -fsyntax-only -std=c++98 -verify -fms-extensions=0 %s 2namespace A { 3 struct C { 4 static int cx; 5 6 static int cx2; 7 8 static int Ag1(); 9 static int Ag2(); 10 }; 11 int ax; 12 void Af(); 13} 14 15A:: ; // expected-error {{expected unqualified-id}} 16::A::ax::undef ex3; // expected-error {{no member named}} 17A::undef1::undef2 ex4; // expected-error {{no member named 'undef1'}} 18 19int A::C::Ag1() { return 0; } 20 21static int A::C::Ag2() { return 0; } // expected-error{{'static' can}} 22 23int A::C::cx = 17; 24 25 26static int A::C::cx2 = 17; // expected-error{{'static' can}} 27 28class C2 { 29 void m(); // expected-note{{member declaration nearly matches}} 30 31 void f(const int& parm); // expected-note{{member declaration nearly matches}} 32 void f(int) const; // expected-note{{member declaration nearly matches}} 33 void f(float); 34 35 int x; 36}; 37 38void C2::m() const { } // expected-error{{out-of-line definition of 'm' does not match any declaration in 'class C2'}} 39 40void C2::f(int) { } // expected-error{{out-of-line definition of 'f' does not match any declaration in 'class C2'}} 41 42void C2::m() { 43 x = 0; 44} 45 46namespace B { 47 void ::A::Af() {} // expected-error {{definition or redeclaration of 'Af' not in a namespace enclosing 'A'}} 48} 49 50void f1() { 51 void A::Af(); // expected-error {{definition or redeclaration of 'Af' not allowed inside a function}} 52} 53 54void f2() { 55 A:: ; // expected-error {{expected unqualified-id}} 56 A::C::undef = 0; // expected-error {{no member named 'undef'}} 57 ::A::C::cx = 0; 58 int x = ::A::ax = A::C::cx; 59 x = sizeof(A::C); 60 x = sizeof(::A::C::cx); 61} 62 63A::C c1; 64struct A::C c2; 65struct S : public A::C {}; 66struct A::undef; // expected-error {{'undef' does not name a tag member in the specified scope}} 67 68namespace A2 { 69 typedef int INT; 70 struct RC; 71 struct CC { 72 struct NC; 73 }; 74} 75 76struct A2::RC { 77 INT x; 78}; 79 80struct A2::CC::NC { 81 void m() {} 82}; 83 84void f3() { 85 N::x = 0; // expected-error {{use of undeclared identifier 'N'}} 86 int N; 87 N::x = 0; // expected-error {{expected a class or namespace}} 88 { int A; A::ax = 0; } 89 { typedef int A; A::ax = 0; } // expected-error{{expected a class or namespace}} 90 { typedef A::C A; A::ax = 0; } // expected-error {{no member named 'ax'}} 91 { typedef A::C A; A::cx = 0; } 92} 93 94// make sure the following doesn't hit any asserts 95void f4(undef::C); // expected-error {{use of undeclared identifier 'undef'}} \ 96 expected-error {{variable has incomplete type 'void'}} 97 98typedef void C2::f5(int); // expected-error{{typedef declarator cannot be qualified}} 99 100void f6(int A2::RC::x); // expected-error{{parameter declarator cannot be qualified}} 101 102int A2::RC::x; // expected-error{{non-static data member defined out-of-line}} 103 104void A2::CC::NC::m(); // expected-error{{out-of-line declaration of a member must be a definition}} 105 106 107namespace E { 108 int X = 5; 109 110 namespace Nested { 111 enum E { 112 X = 0 113 }; 114 115 void f() { 116 return E::X; // expected-error{{expected a class or namespace}} 117 } 118 } 119} 120 121 122class Operators { 123 Operators operator+(const Operators&) const; // expected-note{{member declaration nearly matches}} 124 operator bool(); 125}; 126 127Operators Operators::operator+(const Operators&) { // expected-error{{out-of-line definition of 'operator+' does not match any declaration in 'class Operators'}} 128 Operators ops; 129 return ops; 130} 131 132Operators Operators::operator+(const Operators&) const { 133 Operators ops; 134 return ops; 135} 136 137Operators::operator bool() { 138 return true; 139} 140 141namespace A { 142 void g(int&); // expected-note{{member declaration nearly matches}} 143} 144 145void A::f() {} // expected-error{{out-of-line definition of 'f' does not match any declaration in namespace 'A'}} 146 147void A::g(const int&) { } // expected-error{{out-of-line definition of 'g' does not match any declaration in namespace 'A'}} 148 149struct Struct { }; 150 151void Struct::f() { } // expected-error{{out-of-line definition of 'f' does not match any declaration in 'struct Struct'}} 152 153void global_func(int); 154void global_func2(int); 155 156namespace N { 157 void ::global_func(int) { } // expected-error{{definition or redeclaration of 'global_func' cannot name the global scope}} 158 159 void f(); 160 // FIXME: if we move this to a separate definition of N, things break! 161} 162void ::global_func2(int) { } // expected-error{{definition or redeclaration of 'global_func2' cannot name the global scope}} 163 164void N::f() { } // okay 165 166struct Y; // expected-note{{forward declaration of 'struct Y'}} 167Y::foo y; // expected-error{{incomplete type 'struct Y' named in nested name specifier}} \ 168 // expected-error{{no type named 'foo' in}} 169 170X::X() : a(5) { } // expected-error{{use of undeclared identifier 'X'}} \ 171 // expected-error{{C++ requires a type specifier for all declarations}} \ 172 // expected-error{{only constructors take base initializers}} 173 174struct foo_S { 175 static bool value; 176}; 177bool (foo_S::value); 178 179 180namespace somens { 181 struct a { }; 182} 183 184template <typename T> 185class foo { 186}; 187 188 189// PR4452 190// FIXME: This error recovery sucks. 191foo<somens:a> a2; // expected-error {{unexpected namespace name 'somens': expected expression}} \ 192expected-error {{C++ requires a type specifier for all declarations}} 193 194somens::a a3 = a2; 195 196 197 198 199