nested-name-spec.cpp revision 3f09327b26033d0a9676d52d80cf92c48f581aff 
1// RUN: clang-cc -fsyntax-only -std=c++98 -verify %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}} expected-error {{unknown type name 'undef'}}
17A::undef1::undef2 ex4; // expected-error {{no member named 'undef1'}} expected-error {{unknown type name 'undef2'}}
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  { 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
96void f4(undef::C); // expected-error {{use of undeclared identifier 'undef'}} \
97                      expected-error {{variable has incomplete type 'void'}}
98
99typedef void C2::f5(int); // expected-error{{typedef declarator cannot be qualified}}
100
101void f6(int A2::RC::x); // expected-error{{parameter declarator cannot be qualified}}
102
103int A2::RC::x; // expected-error{{non-static data member defined out-of-line}}
104
105void A2::CC::NC::m(); // expected-error{{out-of-line declaration of a member must be a definition}}
106
107
108namespace 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
123class Operators {
124  Operators operator+(const Operators&) const; // expected-note{{member declaration nearly matches}}
125  operator bool();
126};
127
128Operators 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
133Operators Operators::operator+(const Operators&) const {
134  Operators ops;
135  return ops;
136}
137
138Operators::operator bool() {
139  return true;
140}
141
142namespace A {
143  void g(int&); // expected-note{{member declaration nearly matches}}
144}
145
146void A::f() {} // expected-error{{out-of-line definition of 'f' does not match any declaration in namespace 'A'}}
147
148void A::g(const int&) { } // expected-error{{out-of-line definition of 'g' does not match any declaration in namespace 'A'}}
149
150struct Struct { };
151
152void Struct::f() { } // expected-error{{out-of-line definition of 'f' does not match any declaration in 'struct Struct'}}
153
154void global_func(int);
155void global_func2(int);
156
157namespace 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}
163void ::global_func2(int) { } // expected-error{{definition or redeclaration of 'global_func2' cannot name the global scope}}
164
165void N::f() { } // okay
166
167struct Y;  // expected-note{{forward declaration of 'struct Y'}}
168Y::foo y; // expected-error{{incomplete type 'struct Y' named in nested name specifier}} \
169         // expected-error{{unknown type name 'foo'}}
170
171X::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
175struct foo_S {
176  static bool value;
177};
178bool (foo_S::value);
179
180
181namespace somens {
182  struct a { };
183}
184
185template <typename T>
186class foo {
187};
188
189
190// PR4452
191// FIXME: This error recovery sucks.
192foo<somens:a> a2;  // expected-error {{unexpected namespace name 'somens': expected expression}} \
193expected-error {{C++ requires a type specifier for all declarations}}
194
195somens::a a3 = a2;
196
197
198
199
200