48f73ee666
When calculating the name to display for inline namespaces, we have custom logic to try to hide redundant inline namespaces from the diagnostic. Calculating these redundancies requires performing a lookup in the parent declaration context, but that lookup should not try to look through transparent declaration contexts, like linkage specifications. Instead, loop up the declaration context chain until we find a non-transparent context and use that instead. This fixes PR49954.
62 lines
3.3 KiB
C++
62 lines
3.3 KiB
C++
// 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
|