forked from OSchip/llvm-project
[modules] Simplify module macro handling in non-local-submodule-visibility mode.
When reaching the end of a module, we used to convert its macros to ModuleMacros but also leave them in the MacroDirective chain for the identifier. This meant that every lookup of such a macro would find two (identical) definitions. It also made it difficult to determine the correct owner for a macro when reaching the end of a module: the most recent MacroDirective in the chain could be from an #included submodule rather than the current module. Simplify this: whenever we convert a MacroDirective to a ModuleMacro when leaving a module, clear out the MacroDirective chain for that identifier, and just rely on the ModuleMacro to provide the macro definition information. (We don't want to do this for local submodule visibility mode, because in that mode we maintain a distinct MacroDirective chain for each submodule, and we need to keep around the prior MacroDirective in case we re-enter the submodule -- for instance, if its header is #included more than once in a module build, we need the include guard directive to stick around. But the problem doesn't arise in this case for the same reason: each submodule has its own MacroDirective chain, so the macros don't leak out of submodules in the first place.) llvm-svn: 302932
This commit is contained in:
parent
4bdd621e93
commit
d58e2d951e
|
@ -777,17 +777,6 @@ Module *Preprocessor::LeaveSubmodule(bool ForPragma) {
|
|||
for (auto *MD = Macro.getLatest(); MD != OldMD; MD = MD->getPrevious()) {
|
||||
assert(MD && "broken macro directive chain");
|
||||
|
||||
// Stop on macros defined in other submodules of this module that we
|
||||
// #included along the way. There's no point doing this if we're
|
||||
// tracking local submodule visibility, since there can be no such
|
||||
// directives in our list.
|
||||
if (!getLangOpts().ModulesLocalVisibility) {
|
||||
Module *Mod = getModuleContainingLocation(MD->getLocation());
|
||||
if (Mod != LeavingMod &&
|
||||
Mod->getTopLevelModule() == LeavingMod->getTopLevelModule())
|
||||
break;
|
||||
}
|
||||
|
||||
if (auto *VisMD = dyn_cast<VisibilityMacroDirective>(MD)) {
|
||||
// The latest visibility directive for a name in a submodule affects
|
||||
// all the directives that come before it.
|
||||
|
@ -809,6 +798,12 @@ Module *Preprocessor::LeaveSubmodule(bool ForPragma) {
|
|||
if (Def || !Macro.getOverriddenMacros().empty())
|
||||
addModuleMacro(LeavingMod, II, Def,
|
||||
Macro.getOverriddenMacros(), IsNew);
|
||||
|
||||
if (!getLangOpts().ModulesLocalVisibility) {
|
||||
// This macro is exposed to the rest of this compilation as a
|
||||
// ModuleMacro; we don't need to track its MacroDirective any more.
|
||||
Macro.setLatest(nullptr);
|
||||
}
|
||||
break;
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue