test/SemaCXX/nested-name-spec.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -std=c++98 -verify %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 // FIXME: redundant errors
  17 ::A::ax::undef ex3; // expected-error {{no member named}} expected-error {{unknown type name}}
  18 A::undef1::undef2 ex4; // expected-error {{no member named 'undef1'}} expected-error {{unknown type name}}
  19
  20 int A::C::Ag1() { return 0; }
  21
  22 static int A::C::Ag2() { return 0; } // expected-error{{'static' can}}
  23
  24 int A::C::cx = 17;
  25
  26
  27 static int A::C::cx2 = 17; // expected-error{{'static' can}}
  28
  29 class C2 {
  30   void m(); // expected-note{{member declaration nearly matches}}
  31
  32   void f(const int& parm); // expected-note{{member declaration nearly matches}}
  33   void f(int) const; // expected-note{{member declaration nearly matches}}
  34   void f(float);
  35
  36   int x;
  37 };
  38
  39 void C2::m() const { } // expected-error{{out-of-line definition of 'm' does not match any declaration in 'C2'}}
  40
  41 void C2::f(int) { } // expected-error{{out-of-line definition of 'f' does not match any declaration in 'C2'}}
  42
  43 void C2::m() {
  44   x = 0;
  45 }
  46
  47 namespace B {
  48   void ::A::Af() {} // expected-error {{definition or redeclaration of 'Af' not in a namespace enclosing 'A'}}
  49 }
  50
  51 void f1() {
  52   void A::Af(); // expected-error {{definition or redeclaration of 'Af' not allowed inside a function}}
  53 }
  54
  55 void f2() {
  56   A:: ; // expected-error {{expected unqualified-id}}
  57   A::C::undef = 0; // expected-error {{no member named 'undef'}}
  58   ::A::C::cx = 0;
  59   int x = ::A::ax = A::C::cx;
  60   x = sizeof(A::C);
  61   x = sizeof(::A::C::cx);
  62 }
  63
  64 A::C c1;
  65 struct A::C c2;
  66 struct S : public A::C {};
  67 struct A::undef; // expected-error {{'undef' does not name a tag member in the specified scope}}
  68
  69 namespace A2 {
  70   typedef int INT;
  71   struct RC;
  72   struct CC {
  73     struct NC;
  74   };
  75 }
  76
  77 struct A2::RC {
  78   INT x;
  79 };
  80
  81 struct A2::CC::NC {
  82   void m() {}
  83 };
  84
  85 void f3() {
  86   N::x = 0; // expected-error {{use of undeclared identifier 'N'}}
  87   int N;
  88   N::x = 0; // expected-error {{expected a class or namespace}}
  89   { int A;           A::ax = 0; }
  90   { typedef int A;   A::ax = 0; } // expected-error{{expected a class or namespace}}
  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 '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'}}
 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 'Y'}}
 168 Y::foo y; // expected-error{{incomplete type '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 { }; // expected-note{{candidate constructor (the implicit copy constructor)}}
 183 }
 184
 185 template <typename T>
 186 class foo {
 187 };
 188
 189
 190 // PR4452 / PR4451
 191 foo<somens:a> a2;  // expected-error {{unexpected ':' in nested name specifier}}
 192
 193 somens::a a3 = a2; // expected-error {{no viable conversion}}
 194
 195 // typedefs and using declarations.
 196 namespace test1 {
 197   namespace ns {
 198     class Counter { static int count; };
 199     typedef Counter counter;
 200   }
 201   using ns::counter;
 202
 203   class Test {
 204     void test1() {
 205       counter c;
 206       c.count++;
 207       counter::count++;
 208     }
 209   };
 210 }
 211
 212 // We still need to do lookup in the lexical scope, even if we push a
 213 // non-lexical scope.
 214 namespace test2 {
 215   namespace ns {
 216     extern int *count_ptr;
 217   }
 218   namespace {
 219     int count = 0;
 220   }
 221
 222   int *ns::count_ptr = &count;
 223 }
 224
 225 // PR6259, invalid case
 226 namespace test3 {
 227   // FIXME: this should really only trigger once
 228   class A; // expected-note 2 {{forward declaration}}
 229   void foo(const char *path) {
 230     A::execute(path); // expected-error 2 {{incomplete type 'test3::A' named in nested name specifier}}
 231   }
 232 }