forked from OSchip/llvm-project
[modules] Properly merge visibility of class definitions that got merged while
parsing then merged again when the module was loaded. llvm-svn: 240700
This commit is contained in:
parent
e4aedb55d6
commit
1e02a5aac8
|
@ -3897,16 +3897,18 @@ void ASTDeclReader::UpdateDecl(Decl *D, ModuleFile &ModuleFile,
|
|||
if (Reader.getContext().getLangOpts().ModulesLocalVisibility) {
|
||||
// FIXME: This doesn't send the right notifications if there are
|
||||
// ASTMutationListeners other than an ASTWriter.
|
||||
Reader.getContext().mergeDefinitionIntoModule(cast<NamedDecl>(D), Owner,
|
||||
/*NotifyListeners*/false);
|
||||
Reader.PendingMergedDefinitionsToDeduplicate.insert(cast<NamedDecl>(D));
|
||||
Reader.getContext().mergeDefinitionIntoModule(
|
||||
cast<NamedDecl>(Exported), Owner,
|
||||
/*NotifyListeners*/ false);
|
||||
Reader.PendingMergedDefinitionsToDeduplicate.insert(
|
||||
cast<NamedDecl>(Exported));
|
||||
} else if (Owner && Owner->NameVisibility != Module::AllVisible) {
|
||||
// If Owner is made visible at some later point, make this declaration
|
||||
// visible too.
|
||||
Reader.HiddenNamesMap[Owner].push_back(D);
|
||||
Reader.HiddenNamesMap[Owner].push_back(Exported);
|
||||
} else {
|
||||
// The declaration is now visible.
|
||||
D->Hidden = false;
|
||||
Exported->Hidden = false;
|
||||
}
|
||||
break;
|
||||
}
|
||||
|
|
|
@ -1,2 +1,4 @@
|
|||
// Include definition of A into the same module as c.h
|
||||
#include "a.h"
|
||||
|
||||
struct B {};
|
||||
|
|
|
@ -1 +1 @@
|
|||
#include "a.h"
|
||||
struct B {};
|
||||
|
|
|
@ -0,0 +1,3 @@
|
|||
#include "a.h"
|
||||
|
||||
struct B {};
|
|
@ -3,5 +3,6 @@ module Def1 {
|
|||
module C { header "c.h" }
|
||||
}
|
||||
module Def2 {
|
||||
header "d.h"
|
||||
module D { header "d.h" }
|
||||
module E { header "e.h" }
|
||||
}
|
||||
|
|
|
@ -1,15 +1,23 @@
|
|||
// RUN: rm -rf %t
|
||||
// RUN: %clang_cc1 -fmodules -fmodule-map-file=%S/Inputs/merge-class-definition-visibility/modmap \
|
||||
// RUN: -I%S/Inputs/merge-class-definition-visibility \
|
||||
// RUN: -fmodules-cache-path=%t %s -verify
|
||||
// RUN: -fmodules-cache-path=%t %s -verify \
|
||||
// RUN: -fmodules-local-submodule-visibility
|
||||
// expected-no-diagnostics
|
||||
|
||||
#include "c.h"
|
||||
template<typename T> struct X { T t; };
|
||||
typedef X<A> XA;
|
||||
struct B;
|
||||
|
||||
#include "d.h"
|
||||
// Ensure that this triggers the import of the second definition from d.h,
|
||||
#include "e.h"
|
||||
// Ensure that this triggers the import of the second definition from e.h,
|
||||
// which is necessary to make the definition of A visible in the template
|
||||
// instantiation.
|
||||
XA xa;
|
||||
|
||||
// Ensure that we make the definition of B visible. We made the parse-merged
|
||||
// definition from e.h visible, which makes the definition from d.h visible,
|
||||
// and that definition was merged into the canonical definition from b.h,
|
||||
// so that becomes visible, and we have a visible definition.
|
||||
B b;
|
||||
|
|
Loading…
Reference in New Issue