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