mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2025-01-27 03:48:33 +00:00
[modules] Don't make out-of-line member specializations of an instantiated
class template specialization visible just because the class template specialization's definition is visible. llvm-svn: 241182
This commit is contained in:
parent
5673eef85a
commit
5327b89001
@ -236,6 +236,7 @@ void Decl::setLexicalDeclContext(DeclContext *DC) {
|
||||
} else {
|
||||
getMultipleDC()->LexicalDC = DC;
|
||||
}
|
||||
Hidden = cast<Decl>(DC)->Hidden;
|
||||
}
|
||||
|
||||
void Decl::setDeclContextsImpl(DeclContext *SemaDC, DeclContext *LexicalDC,
|
||||
|
@ -10,6 +10,7 @@ public:
|
||||
// Check that lookup and access checks are performed in the right context.
|
||||
struct B::Inner2 : Inner1 {};
|
||||
template<typename T> void B::f() {}
|
||||
template<> inline void B::f<int>() {}
|
||||
|
||||
// Check that base-specifiers are correctly disambiguated.
|
||||
template<int N> struct C_Base { struct D { constexpr operator int() const { return 0; } }; };
|
||||
@ -31,7 +32,8 @@ template<typename T> struct F {
|
||||
template<typename T> int F<T>::f() { return 0; }
|
||||
template<typename T> template<typename U> int F<T>::g() { return 0; }
|
||||
template<typename T> int F<T>::n = 0;
|
||||
//template<> template<typename U> int F<char>::g() { return 0; } // FIXME: Re-enable this once we support merging member specializations.
|
||||
template<> inline int F<char>::f() { return 0; }
|
||||
template<> template<typename U> int F<char>::g() { return 0; }
|
||||
template<> struct F<void> { int h(); };
|
||||
inline int F<void>::h() { return 0; }
|
||||
template<typename T> struct F<T *> { int i(); };
|
||||
|
@ -27,33 +27,37 @@ int pre_use_a = use_a(pre_a); // expected-error {{'A' must be imported}} expecte
|
||||
B::Inner2 pre_bi; // expected-error +{{must be imported}}
|
||||
// expected-note@defs.h:4 +{{here}}
|
||||
// expected-note@defs.h:11 +{{here}}
|
||||
void pre_bfi(B b) { // expected-error {{must use 'class'}} expected-error +{{must be imported}}
|
||||
b.f<int>(); // expected-error +{{must be imported}} expected-error +{{}}
|
||||
// expected-note@defs.h:12 +{{here}}
|
||||
}
|
||||
|
||||
C_Base<1> pre_cb1; // expected-error +{{must be imported}}
|
||||
// expected-note@defs.h:15 +{{here}}
|
||||
// expected-note@defs.h:16 +{{here}}
|
||||
C1 pre_c1; // expected-error +{{must be imported}} expected-error {{must use 'struct'}}
|
||||
// expected-note@defs.h:17 +{{here}}
|
||||
C2 pre_c2; // expected-error +{{must be imported}} expected-error {{must use 'struct'}}
|
||||
// expected-note@defs.h:18 +{{here}}
|
||||
C2 pre_c2; // expected-error +{{must be imported}} expected-error {{must use 'struct'}}
|
||||
// expected-note@defs.h:19 +{{here}}
|
||||
|
||||
D::X pre_dx; // expected-error +{{must be imported}}
|
||||
// expected-note@defs.h:20 +{{here}}
|
||||
// expected-note@defs.h:21 +{{here}}
|
||||
// expected-note@defs.h:22 +{{here}}
|
||||
// FIXME: We should warn that use_dx is being used without being imported.
|
||||
int pre_use_dx = use_dx(pre_dx);
|
||||
|
||||
int pre_e = E(0); // expected-error {{must be imported}}
|
||||
// expected-note@defs.h:24 +{{here}}
|
||||
// expected-note@defs.h:25 +{{here}}
|
||||
|
||||
int pre_ff = F<int>().f(); // expected-error +{{must be imported}}
|
||||
int pre_fg = F<int>().g<int>(); // expected-error +{{must be imported}}
|
||||
// expected-note@defs.h:26 +{{here}}
|
||||
// expected-note@defs.h:27 +{{here}}
|
||||
|
||||
G::A pre_ga // expected-error +{{must be imported}}
|
||||
= G::a; // expected-error +{{must be imported}}
|
||||
// expected-note@defs.h:40 +{{here}}
|
||||
// expected-note@defs.h:41 +{{here}}
|
||||
decltype(G::h) pre_gh = G::h; // expected-error +{{must be imported}}
|
||||
// expected-note@defs.h:42 +{{here}}
|
||||
// expected-note@defs.h:43 +{{here}}
|
||||
decltype(G::h) pre_gh = G::h; // expected-error +{{must be imported}}
|
||||
// expected-note@defs.h:44 +{{here}}
|
||||
|
||||
J<> pre_j; // expected-error {{declaration of 'J' must be imported}}
|
||||
#ifdef IMPORT_USE_2
|
||||
@ -63,7 +67,7 @@ J<> pre_j; // expected-error {{declaration of 'J' must be imported}}
|
||||
#else
|
||||
// expected-error@-6 {{default argument of 'J' must be imported from module 'stuff.use'}}
|
||||
#endif
|
||||
// expected-note@defs.h:49 +{{here}}
|
||||
// expected-note@defs.h:51 +{{here}}
|
||||
|
||||
// Make definitions from second module visible.
|
||||
#ifdef TEXTUAL
|
||||
@ -77,6 +81,9 @@ J<> pre_j; // expected-error {{declaration of 'J' must be imported}}
|
||||
A post_a;
|
||||
int post_use_a = use_a(post_a);
|
||||
B::Inner2 post_bi;
|
||||
void post_bfi(B b) {
|
||||
b.f<int>();
|
||||
}
|
||||
C_Base<1> post_cb1;
|
||||
C1 c1;
|
||||
C2 c2;
|
||||
|
Loading…
x
Reference in New Issue
Block a user