diag-inline-namespace.cpp | Explore in Territory

// RUN: %clang_cc1 -verify %s -std=c++20

// We avoid printing the name of an inline namespace unless it's necessary to
// uniquely identify the target.
namespace N {
  inline namespace A {
    inline namespace B {
      inline namespace C {
        int f, g, h, i, j;
        struct f; struct g; struct h; struct i; struct j;
      }
      struct g;
      struct j;
    }
    struct h;
  }
  struct i;
  struct j;

  template<int*> struct Q; // expected-note 5{{here}}
  Q<&A::B::C::f> q1; // expected-error {{implicit instantiation of undefined template 'N::Q<&N::f>'}}
  Q<&A::B::C::g> q2; // expected-error {{implicit instantiation of undefined template 'N::Q<&N::C::g>'}}
  Q<&A::B::C::h> q3; // expected-error {{implicit instantiation of undefined template 'N::Q<&N::B::h>'}}
  Q<&A::B::C::i> q4; // expected-error {{implicit instantiation of undefined template 'N::Q<&N::A::i>'}}
  Q<&A::B::C::j> q5; // expected-error {{implicit instantiation of undefined template 'N::Q<&N::C::j>'}}

  template<typename> struct R; // expected-note 5{{here}}
  R<struct A::B::C::f> r1; // expected-error {{implicit instantiation of undefined template 'N::R<N::f>'}}
  R<struct A::B::C::g> r2; // expected-error {{implicit instantiation of undefined template 'N::R<N::C::g>'}}
  R<struct A::B::C::h> r3; // expected-error {{implicit instantiation of undefined template 'N::R<N::B::h>'}}
  R<struct A::B::C::i> r4; // expected-error {{implicit instantiation of undefined template 'N::R<N::A::i>'}}
  R<struct A::B::C::j> r5; // expected-error {{implicit instantiation of undefined template 'N::R<N::C::j>'}}

  // Make the name N::C ambiguous.
  inline namespace A { int C; }

  template<int*> struct S; // expected-note 5{{here}}
  S<&A::B::C::f> s1; // expected-error {{implicit instantiation of undefined template 'N::S<&N::f>'}}
  S<&A::B::C::g> s2; // expected-error {{implicit instantiation of undefined template 'N::S<&N::B::C::g>'}}
  S<&A::B::C::h> s3; // expected-error {{implicit instantiation of undefined template 'N::S<&N::B::h>'}}
  S<&A::B::C::i> s4; // expected-error {{implicit instantiation of undefined template 'N::S<&N::A::i>'}}
  S<&A::B::C::j> s5; // expected-error {{implicit instantiation of undefined template 'N::S<&N::B::C::j>'}}

  template<typename> struct T; // expected-note 5{{here}}
  T<struct A::B::C::f> t1; // expected-error {{implicit instantiation of undefined template 'N::T<N::f>'}}
  T<struct A::B::C::g> t2; // expected-error {{implicit instantiation of undefined template 'N::T<N::B::C::g>'}}
  T<struct A::B::C::h> t3; // expected-error {{implicit instantiation of undefined template 'N::T<N::B::h>'}}
  T<struct A::B::C::i> t4; // expected-error {{implicit instantiation of undefined template 'N::T<N::A::i>'}}
  T<struct A::B::C::j> t5; // expected-error {{implicit instantiation of undefined template 'N::T<N::B::C::j>'}}
}

namespace dont_crash {
// A malformed lookup involving inline namespaces in a linkage specification
// would previous cause an assertion due to the way diagnostics are emitted.
extern "C++" inline namespace {
namespace a {
  a : b // expected-error {{unexpected ':' in nested name specifier; did you mean '::'?}} \
        // expected-error {{no type named 'b' in namespace 'dont_crash::a'}}
} // expected-error {{expected unqualified-id}}
} // inline namespace
} // dont_crash
llvm/clang/test/Misc/diag-inline-namespace.cpp
