1718292f2SDouglas Gregor //===--- ModuleMap.cpp - Describe the layout of modules ---------*- C++ -*-===//
2718292f2SDouglas Gregor //
3718292f2SDouglas Gregor //                     The LLVM Compiler Infrastructure
4718292f2SDouglas Gregor //
5718292f2SDouglas Gregor // This file is distributed under the University of Illinois Open Source
6718292f2SDouglas Gregor // License. See LICENSE.TXT for details.
7718292f2SDouglas Gregor //
8718292f2SDouglas Gregor //===----------------------------------------------------------------------===//
9718292f2SDouglas Gregor //
10718292f2SDouglas Gregor // This file defines the ModuleMap implementation, which describes the layout
11718292f2SDouglas Gregor // of a module as it relates to headers.
12718292f2SDouglas Gregor //
13718292f2SDouglas Gregor //===----------------------------------------------------------------------===//
14718292f2SDouglas Gregor #include "clang/Lex/ModuleMap.h"
15a7d03840SJordan Rose #include "clang/Basic/CharInfo.h"
16718292f2SDouglas Gregor #include "clang/Basic/Diagnostic.h"
17811db4eaSDouglas Gregor #include "clang/Basic/DiagnosticOptions.h"
18718292f2SDouglas Gregor #include "clang/Basic/FileManager.h"
19718292f2SDouglas Gregor #include "clang/Basic/TargetInfo.h"
20718292f2SDouglas Gregor #include "clang/Basic/TargetOptions.h"
21b146baabSArgyrios Kyrtzidis #include "clang/Lex/HeaderSearch.h"
223a02247dSChandler Carruth #include "clang/Lex/LexDiagnostic.h"
233a02247dSChandler Carruth #include "clang/Lex/Lexer.h"
243a02247dSChandler Carruth #include "clang/Lex/LiteralSupport.h"
253a02247dSChandler Carruth #include "llvm/ADT/StringRef.h"
263a02247dSChandler Carruth #include "llvm/ADT/StringSwitch.h"
27718292f2SDouglas Gregor #include "llvm/Support/Allocator.h"
28e89dbc1dSDouglas Gregor #include "llvm/Support/FileSystem.h"
29718292f2SDouglas Gregor #include "llvm/Support/Host.h"
30552c169eSRafael Espindola #include "llvm/Support/Path.h"
31718292f2SDouglas Gregor #include "llvm/Support/raw_ostream.h"
3207c22b78SDouglas Gregor #include <stdlib.h>
3301c7cfa2SDouglas Gregor #if defined(LLVM_ON_UNIX)
34eadae014SDmitri Gribenko #include <limits.h>
3501c7cfa2SDouglas Gregor #endif
36718292f2SDouglas Gregor using namespace clang;
37718292f2SDouglas Gregor 
382b82c2a5SDouglas Gregor Module::ExportDecl
392b82c2a5SDouglas Gregor ModuleMap::resolveExport(Module *Mod,
402b82c2a5SDouglas Gregor                          const Module::UnresolvedExportDecl &Unresolved,
41e4412640SArgyrios Kyrtzidis                          bool Complain) const {
42f5eedd05SDouglas Gregor   // We may have just a wildcard.
43f5eedd05SDouglas Gregor   if (Unresolved.Id.empty()) {
44f5eedd05SDouglas Gregor     assert(Unresolved.Wildcard && "Invalid unresolved export");
45*d2d442caSCraig Topper     return Module::ExportDecl(nullptr, true);
46f5eedd05SDouglas Gregor   }
47f5eedd05SDouglas Gregor 
48fb912657SDouglas Gregor   // Resolve the module-id.
49fb912657SDouglas Gregor   Module *Context = resolveModuleId(Unresolved.Id, Mod, Complain);
50fb912657SDouglas Gregor   if (!Context)
51fb912657SDouglas Gregor     return Module::ExportDecl();
52fb912657SDouglas Gregor 
53fb912657SDouglas Gregor   return Module::ExportDecl(Context, Unresolved.Wildcard);
54fb912657SDouglas Gregor }
55fb912657SDouglas Gregor 
56fb912657SDouglas Gregor Module *ModuleMap::resolveModuleId(const ModuleId &Id, Module *Mod,
57fb912657SDouglas Gregor                                    bool Complain) const {
582b82c2a5SDouglas Gregor   // Find the starting module.
59fb912657SDouglas Gregor   Module *Context = lookupModuleUnqualified(Id[0].first, Mod);
602b82c2a5SDouglas Gregor   if (!Context) {
612b82c2a5SDouglas Gregor     if (Complain)
620761a8a0SDaniel Jasper       Diags.Report(Id[0].second, diag::err_mmap_missing_module_unqualified)
63fb912657SDouglas Gregor       << Id[0].first << Mod->getFullModuleName();
642b82c2a5SDouglas Gregor 
65*d2d442caSCraig Topper     return nullptr;
662b82c2a5SDouglas Gregor   }
672b82c2a5SDouglas Gregor 
682b82c2a5SDouglas Gregor   // Dig into the module path.
69fb912657SDouglas Gregor   for (unsigned I = 1, N = Id.size(); I != N; ++I) {
70fb912657SDouglas Gregor     Module *Sub = lookupModuleQualified(Id[I].first, Context);
712b82c2a5SDouglas Gregor     if (!Sub) {
722b82c2a5SDouglas Gregor       if (Complain)
730761a8a0SDaniel Jasper         Diags.Report(Id[I].second, diag::err_mmap_missing_module_qualified)
74fb912657SDouglas Gregor         << Id[I].first << Context->getFullModuleName()
75fb912657SDouglas Gregor         << SourceRange(Id[0].second, Id[I-1].second);
762b82c2a5SDouglas Gregor 
77*d2d442caSCraig Topper       return nullptr;
782b82c2a5SDouglas Gregor     }
792b82c2a5SDouglas Gregor 
802b82c2a5SDouglas Gregor     Context = Sub;
812b82c2a5SDouglas Gregor   }
822b82c2a5SDouglas Gregor 
83fb912657SDouglas Gregor   return Context;
842b82c2a5SDouglas Gregor }
852b82c2a5SDouglas Gregor 
860761a8a0SDaniel Jasper ModuleMap::ModuleMap(SourceManager &SourceMgr, DiagnosticsEngine &Diags,
87b146baabSArgyrios Kyrtzidis                      const LangOptions &LangOpts, const TargetInfo *Target,
88b146baabSArgyrios Kyrtzidis                      HeaderSearch &HeaderInfo)
890761a8a0SDaniel Jasper     : SourceMgr(SourceMgr), Diags(Diags), LangOpts(LangOpts), Target(Target),
90*d2d442caSCraig Topper       HeaderInfo(HeaderInfo), BuiltinIncludeDir(nullptr),
91*d2d442caSCraig Topper       CompilingModule(nullptr), SourceModule(nullptr) {}
92718292f2SDouglas Gregor 
93718292f2SDouglas Gregor ModuleMap::~ModuleMap() {
945acdf59eSDouglas Gregor   for (llvm::StringMap<Module *>::iterator I = Modules.begin(),
955acdf59eSDouglas Gregor                                         IEnd = Modules.end();
965acdf59eSDouglas Gregor        I != IEnd; ++I) {
975acdf59eSDouglas Gregor     delete I->getValue();
985acdf59eSDouglas Gregor   }
99718292f2SDouglas Gregor }
100718292f2SDouglas Gregor 
10189929282SDouglas Gregor void ModuleMap::setTarget(const TargetInfo &Target) {
10289929282SDouglas Gregor   assert((!this->Target || this->Target == &Target) &&
10389929282SDouglas Gregor          "Improper target override");
10489929282SDouglas Gregor   this->Target = &Target;
10589929282SDouglas Gregor }
10689929282SDouglas Gregor 
107056396aeSDouglas Gregor /// \brief "Sanitize" a filename so that it can be used as an identifier.
108056396aeSDouglas Gregor static StringRef sanitizeFilenameAsIdentifier(StringRef Name,
109056396aeSDouglas Gregor                                               SmallVectorImpl<char> &Buffer) {
110056396aeSDouglas Gregor   if (Name.empty())
111056396aeSDouglas Gregor     return Name;
112056396aeSDouglas Gregor 
113a7d03840SJordan Rose   if (!isValidIdentifier(Name)) {
114056396aeSDouglas Gregor     // If we don't already have something with the form of an identifier,
115056396aeSDouglas Gregor     // create a buffer with the sanitized name.
116056396aeSDouglas Gregor     Buffer.clear();
117a7d03840SJordan Rose     if (isDigit(Name[0]))
118056396aeSDouglas Gregor       Buffer.push_back('_');
119056396aeSDouglas Gregor     Buffer.reserve(Buffer.size() + Name.size());
120056396aeSDouglas Gregor     for (unsigned I = 0, N = Name.size(); I != N; ++I) {
121a7d03840SJordan Rose       if (isIdentifierBody(Name[I]))
122056396aeSDouglas Gregor         Buffer.push_back(Name[I]);
123056396aeSDouglas Gregor       else
124056396aeSDouglas Gregor         Buffer.push_back('_');
125056396aeSDouglas Gregor     }
126056396aeSDouglas Gregor 
127056396aeSDouglas Gregor     Name = StringRef(Buffer.data(), Buffer.size());
128056396aeSDouglas Gregor   }
129056396aeSDouglas Gregor 
130056396aeSDouglas Gregor   while (llvm::StringSwitch<bool>(Name)
131056396aeSDouglas Gregor #define KEYWORD(Keyword,Conditions) .Case(#Keyword, true)
132056396aeSDouglas Gregor #define ALIAS(Keyword, AliasOf, Conditions) .Case(Keyword, true)
133056396aeSDouglas Gregor #include "clang/Basic/TokenKinds.def"
134056396aeSDouglas Gregor            .Default(false)) {
135056396aeSDouglas Gregor     if (Name.data() != Buffer.data())
136056396aeSDouglas Gregor       Buffer.append(Name.begin(), Name.end());
137056396aeSDouglas Gregor     Buffer.push_back('_');
138056396aeSDouglas Gregor     Name = StringRef(Buffer.data(), Buffer.size());
139056396aeSDouglas Gregor   }
140056396aeSDouglas Gregor 
141056396aeSDouglas Gregor   return Name;
142056396aeSDouglas Gregor }
143056396aeSDouglas Gregor 
14434d52749SDouglas Gregor /// \brief Determine whether the given file name is the name of a builtin
14534d52749SDouglas Gregor /// header, supplied by Clang to replace, override, or augment existing system
14634d52749SDouglas Gregor /// headers.
14734d52749SDouglas Gregor static bool isBuiltinHeader(StringRef FileName) {
14834d52749SDouglas Gregor   return llvm::StringSwitch<bool>(FileName)
14934d52749SDouglas Gregor            .Case("float.h", true)
15034d52749SDouglas Gregor            .Case("iso646.h", true)
15134d52749SDouglas Gregor            .Case("limits.h", true)
15234d52749SDouglas Gregor            .Case("stdalign.h", true)
15334d52749SDouglas Gregor            .Case("stdarg.h", true)
15434d52749SDouglas Gregor            .Case("stdbool.h", true)
15534d52749SDouglas Gregor            .Case("stddef.h", true)
15634d52749SDouglas Gregor            .Case("stdint.h", true)
15734d52749SDouglas Gregor            .Case("tgmath.h", true)
15834d52749SDouglas Gregor            .Case("unwind.h", true)
15934d52749SDouglas Gregor            .Default(false);
16034d52749SDouglas Gregor }
16134d52749SDouglas Gregor 
16292669ee4SDaniel Jasper ModuleMap::HeadersMap::iterator
16392669ee4SDaniel Jasper ModuleMap::findKnownHeader(const FileEntry *File) {
16459527666SDouglas Gregor   HeadersMap::iterator Known = Headers.find(File);
1654eaf0a6cSDaniel Jasper   if (Known == Headers.end() && File->getDir() == BuiltinIncludeDir &&
1664eaf0a6cSDaniel Jasper       isBuiltinHeader(llvm::sys::path::filename(File->getName()))) {
1674eaf0a6cSDaniel Jasper     HeaderInfo.loadTopLevelSystemModules();
16892669ee4SDaniel Jasper     return Headers.find(File);
1694eaf0a6cSDaniel Jasper   }
17092669ee4SDaniel Jasper   return Known;
17192669ee4SDaniel Jasper }
17292669ee4SDaniel Jasper 
1734469138eSBen Langmuir ModuleMap::KnownHeader
1744469138eSBen Langmuir ModuleMap::findHeaderInUmbrellaDirs(const FileEntry *File,
1754469138eSBen Langmuir                     SmallVectorImpl<const DirectoryEntry *> &IntermediateDirs) {
1764469138eSBen Langmuir   const DirectoryEntry *Dir = File->getDir();
1774469138eSBen Langmuir   assert(Dir && "file in no directory");
1784469138eSBen Langmuir 
1794469138eSBen Langmuir   // Note: as an egregious but useful hack we use the real path here, because
1804469138eSBen Langmuir   // frameworks moving from top-level frameworks to embedded frameworks tend
1814469138eSBen Langmuir   // to be symlinked from the top-level location to the embedded location,
1824469138eSBen Langmuir   // and we need to resolve lookups as if we had found the embedded location.
1834469138eSBen Langmuir   StringRef DirName = SourceMgr.getFileManager().getCanonicalName(Dir);
1844469138eSBen Langmuir 
1854469138eSBen Langmuir   // Keep walking up the directory hierarchy, looking for a directory with
1864469138eSBen Langmuir   // an umbrella header.
1874469138eSBen Langmuir   do {
1884469138eSBen Langmuir     auto KnownDir = UmbrellaDirs.find(Dir);
1894469138eSBen Langmuir     if (KnownDir != UmbrellaDirs.end())
1904469138eSBen Langmuir       return KnownHeader(KnownDir->second, NormalHeader);
1914469138eSBen Langmuir 
1924469138eSBen Langmuir     IntermediateDirs.push_back(Dir);
1934469138eSBen Langmuir 
1944469138eSBen Langmuir     // Retrieve our parent path.
1954469138eSBen Langmuir     DirName = llvm::sys::path::parent_path(DirName);
1964469138eSBen Langmuir     if (DirName.empty())
1974469138eSBen Langmuir       break;
1984469138eSBen Langmuir 
1994469138eSBen Langmuir     // Resolve the parent path to a directory entry.
2004469138eSBen Langmuir     Dir = SourceMgr.getFileManager().getDirectory(DirName);
2014469138eSBen Langmuir   } while (Dir);
2024469138eSBen Langmuir   return KnownHeader();
2034469138eSBen Langmuir }
2044469138eSBen Langmuir 
20592669ee4SDaniel Jasper // Returns 'true' if 'RequestingModule directly uses 'RequestedModule'.
20692669ee4SDaniel Jasper static bool directlyUses(const Module *RequestingModule,
20792669ee4SDaniel Jasper                          const Module *RequestedModule) {
20892669ee4SDaniel Jasper   return std::find(RequestingModule->DirectUses.begin(),
20992669ee4SDaniel Jasper                    RequestingModule->DirectUses.end(),
21092669ee4SDaniel Jasper                    RequestedModule) != RequestingModule->DirectUses.end();
21192669ee4SDaniel Jasper }
21292669ee4SDaniel Jasper 
21392669ee4SDaniel Jasper static bool violatesPrivateInclude(Module *RequestingModule,
21492669ee4SDaniel Jasper                                    const FileEntry *IncFileEnt,
21592669ee4SDaniel Jasper                                    ModuleMap::ModuleHeaderRole Role,
21692669ee4SDaniel Jasper                                    Module *RequestedModule) {
21792669ee4SDaniel Jasper   #ifndef NDEBUG
21892669ee4SDaniel Jasper   // Check for consistency between the module header role
21992669ee4SDaniel Jasper   // as obtained from the lookup and as obtained from the module.
22092669ee4SDaniel Jasper   // This check is not cheap, so enable it only for debugging.
22192669ee4SDaniel Jasper   SmallVectorImpl<const FileEntry *> &PvtHdrs
22292669ee4SDaniel Jasper       = RequestedModule->PrivateHeaders;
22392669ee4SDaniel Jasper   SmallVectorImpl<const FileEntry *>::iterator Look
22492669ee4SDaniel Jasper       = std::find(PvtHdrs.begin(), PvtHdrs.end(), IncFileEnt);
22592669ee4SDaniel Jasper   bool IsPrivate = Look != PvtHdrs.end();
22692669ee4SDaniel Jasper   assert((IsPrivate && Role == ModuleMap::PrivateHeader)
22792669ee4SDaniel Jasper                || (!IsPrivate && Role != ModuleMap::PrivateHeader));
22892669ee4SDaniel Jasper   #endif
22992669ee4SDaniel Jasper   return Role == ModuleMap::PrivateHeader &&
23092669ee4SDaniel Jasper          RequestedModule->getTopLevelModule() != RequestingModule;
23192669ee4SDaniel Jasper }
23292669ee4SDaniel Jasper 
23371e1a64fSBen Langmuir static Module *getTopLevelOrNull(Module *M) {
23471e1a64fSBen Langmuir   return M ? M->getTopLevelModule() : nullptr;
23571e1a64fSBen Langmuir }
23671e1a64fSBen Langmuir 
23792669ee4SDaniel Jasper void ModuleMap::diagnoseHeaderInclusion(Module *RequestingModule,
23892669ee4SDaniel Jasper                                         SourceLocation FilenameLoc,
23992669ee4SDaniel Jasper                                         StringRef Filename,
24092669ee4SDaniel Jasper                                         const FileEntry *File) {
24192669ee4SDaniel Jasper   // No errors for indirect modules. This may be a bit of a problem for modules
24292669ee4SDaniel Jasper   // with no source files.
24371e1a64fSBen Langmuir   if (getTopLevelOrNull(RequestingModule) != getTopLevelOrNull(SourceModule))
24492669ee4SDaniel Jasper     return;
24592669ee4SDaniel Jasper 
24692669ee4SDaniel Jasper   if (RequestingModule)
24792669ee4SDaniel Jasper     resolveUses(RequestingModule, /*Complain=*/false);
24892669ee4SDaniel Jasper 
24971e1a64fSBen Langmuir   bool Excluded = false;
250*d2d442caSCraig Topper   Module *Private = nullptr;
251*d2d442caSCraig Topper   Module *NotUsed = nullptr;
25271e1a64fSBen Langmuir 
25371e1a64fSBen Langmuir   HeadersMap::iterator Known = findKnownHeader(File);
25471e1a64fSBen Langmuir   if (Known != Headers.end()) {
25571e1a64fSBen Langmuir     for (const KnownHeader &Header : Known->second) {
25692669ee4SDaniel Jasper       // Excluded headers don't really belong to a module.
25771e1a64fSBen Langmuir       if (Header.getRole() == ModuleMap::ExcludedHeader) {
25871e1a64fSBen Langmuir         Excluded = true;
25992669ee4SDaniel Jasper         continue;
26071e1a64fSBen Langmuir       }
26192669ee4SDaniel Jasper 
26292669ee4SDaniel Jasper       // If 'File' is part of 'RequestingModule' we can definitely include it.
26371e1a64fSBen Langmuir       if (Header.getModule() == RequestingModule)
26492669ee4SDaniel Jasper         return;
26592669ee4SDaniel Jasper 
26692669ee4SDaniel Jasper       // Remember private headers for later printing of a diagnostic.
26771e1a64fSBen Langmuir       if (violatesPrivateInclude(RequestingModule, File, Header.getRole(),
26871e1a64fSBen Langmuir                                  Header.getModule())) {
26971e1a64fSBen Langmuir         Private = Header.getModule();
27092669ee4SDaniel Jasper         continue;
27192669ee4SDaniel Jasper       }
27292669ee4SDaniel Jasper 
27392669ee4SDaniel Jasper       // If uses need to be specified explicitly, we are only allowed to return
27492669ee4SDaniel Jasper       // modules that are explicitly used by the requesting module.
27592669ee4SDaniel Jasper       if (RequestingModule && LangOpts.ModulesDeclUse &&
27671e1a64fSBen Langmuir           !directlyUses(RequestingModule, Header.getModule())) {
27771e1a64fSBen Langmuir         NotUsed = Header.getModule();
27892669ee4SDaniel Jasper         continue;
27992669ee4SDaniel Jasper       }
28092669ee4SDaniel Jasper 
28192669ee4SDaniel Jasper       // We have found a module that we can happily use.
28292669ee4SDaniel Jasper       return;
28392669ee4SDaniel Jasper     }
28471e1a64fSBen Langmuir   }
28592669ee4SDaniel Jasper 
28692669ee4SDaniel Jasper   // We have found a header, but it is private.
287*d2d442caSCraig Topper   if (Private) {
28892669ee4SDaniel Jasper     Diags.Report(FilenameLoc, diag::error_use_of_private_header_outside_module)
28992669ee4SDaniel Jasper         << Filename;
29092669ee4SDaniel Jasper     return;
29192669ee4SDaniel Jasper   }
29292669ee4SDaniel Jasper 
29392669ee4SDaniel Jasper   // We have found a module, but we don't use it.
294*d2d442caSCraig Topper   if (NotUsed) {
29592669ee4SDaniel Jasper     Diags.Report(FilenameLoc, diag::error_undeclared_use_of_module)
29692669ee4SDaniel Jasper         << RequestingModule->getFullModuleName() << Filename;
29792669ee4SDaniel Jasper     return;
29892669ee4SDaniel Jasper   }
29992669ee4SDaniel Jasper 
30071e1a64fSBen Langmuir   if (Excluded || isHeaderInUmbrellaDirs(File))
30171e1a64fSBen Langmuir     return;
30271e1a64fSBen Langmuir 
30371e1a64fSBen Langmuir   // At this point, only non-modular includes remain.
30471e1a64fSBen Langmuir 
30571e1a64fSBen Langmuir   if (LangOpts.ModulesStrictDeclUse) {
30671e1a64fSBen Langmuir     Diags.Report(FilenameLoc, diag::error_undeclared_use_of_module)
30771e1a64fSBen Langmuir         << RequestingModule->getFullModuleName() << Filename;
30871e1a64fSBen Langmuir   } else if (RequestingModule) {
30971e1a64fSBen Langmuir     diag::kind DiagID = RequestingModule->getTopLevelModule()->IsFramework ?
31071e1a64fSBen Langmuir         diag::warn_non_modular_include_in_framework_module :
31171e1a64fSBen Langmuir         diag::warn_non_modular_include_in_module;
31271e1a64fSBen Langmuir     Diags.Report(FilenameLoc, DiagID) << RequestingModule->getFullModuleName();
31371e1a64fSBen Langmuir   }
31492669ee4SDaniel Jasper }
31592669ee4SDaniel Jasper 
31692669ee4SDaniel Jasper ModuleMap::KnownHeader
31792669ee4SDaniel Jasper ModuleMap::findModuleForHeader(const FileEntry *File,
31892669ee4SDaniel Jasper                                Module *RequestingModule) {
31992669ee4SDaniel Jasper   HeadersMap::iterator Known = findKnownHeader(File);
3204eaf0a6cSDaniel Jasper 
3211fb5c3a6SDouglas Gregor   if (Known != Headers.end()) {
32297da9178SDaniel Jasper     ModuleMap::KnownHeader Result = KnownHeader();
3231fb5c3a6SDouglas Gregor 
32497da9178SDaniel Jasper     // Iterate over all modules that 'File' is part of to find the best fit.
32597da9178SDaniel Jasper     for (SmallVectorImpl<KnownHeader>::iterator I = Known->second.begin(),
32697da9178SDaniel Jasper                                                 E = Known->second.end();
32797da9178SDaniel Jasper          I != E; ++I) {
3284eaf0a6cSDaniel Jasper       // Cannot use a module if the header is excluded in it.
3294eaf0a6cSDaniel Jasper       if (I->getRole() == ModuleMap::ExcludedHeader)
3304eaf0a6cSDaniel Jasper         continue;
3314eaf0a6cSDaniel Jasper 
3324eaf0a6cSDaniel Jasper       // Cannot use a module if it is unavailable.
3334eaf0a6cSDaniel Jasper       if (!I->getModule()->isAvailable())
33497da9178SDaniel Jasper         continue;
33597da9178SDaniel Jasper 
33697da9178SDaniel Jasper       // If 'File' is part of 'RequestingModule', 'RequestingModule' is the
33797da9178SDaniel Jasper       // module we are looking for.
33897da9178SDaniel Jasper       if (I->getModule() == RequestingModule)
33997da9178SDaniel Jasper         return *I;
34097da9178SDaniel Jasper 
34197da9178SDaniel Jasper       // If uses need to be specified explicitly, we are only allowed to return
34297da9178SDaniel Jasper       // modules that are explicitly used by the requesting module.
34397da9178SDaniel Jasper       if (RequestingModule && LangOpts.ModulesDeclUse &&
34492669ee4SDaniel Jasper           !directlyUses(RequestingModule, I->getModule()))
34597da9178SDaniel Jasper         continue;
3464eaf0a6cSDaniel Jasper 
34797da9178SDaniel Jasper       Result = *I;
34897da9178SDaniel Jasper       // If 'File' is a public header of this module, this is as good as we
34997da9178SDaniel Jasper       // are going to get.
3508c71eba1SRichard Smith       // FIXME: If we have a RequestingModule, we should prefer the header from
3518c71eba1SRichard Smith       // that module.
35297da9178SDaniel Jasper       if (I->getRole() == ModuleMap::NormalHeader)
35397da9178SDaniel Jasper         break;
35497da9178SDaniel Jasper     }
35597da9178SDaniel Jasper     return Result;
3561fb5c3a6SDouglas Gregor   }
357ab0c8a84SDouglas Gregor 
358f857950dSDmitri Gribenko   SmallVector<const DirectoryEntry *, 2> SkippedDirs;
3594469138eSBen Langmuir   KnownHeader H = findHeaderInUmbrellaDirs(File, SkippedDirs);
3604469138eSBen Langmuir   if (H) {
3614469138eSBen Langmuir     Module *Result = H.getModule();
362930a85ccSDouglas Gregor 
363930a85ccSDouglas Gregor     // Search up the module stack until we find a module with an umbrella
36473141fa9SDouglas Gregor     // directory.
365930a85ccSDouglas Gregor     Module *UmbrellaModule = Result;
36673141fa9SDouglas Gregor     while (!UmbrellaModule->getUmbrellaDir() && UmbrellaModule->Parent)
367930a85ccSDouglas Gregor       UmbrellaModule = UmbrellaModule->Parent;
368930a85ccSDouglas Gregor 
369930a85ccSDouglas Gregor     if (UmbrellaModule->InferSubmodules) {
370a89c5ac4SDouglas Gregor       // Infer submodules for each of the directories we found between
371a89c5ac4SDouglas Gregor       // the directory of the umbrella header and the directory where
372a89c5ac4SDouglas Gregor       // the actual header is located.
3739458f82dSDouglas Gregor       bool Explicit = UmbrellaModule->InferExplicitSubmodules;
3749458f82dSDouglas Gregor 
3757033127bSDouglas Gregor       for (unsigned I = SkippedDirs.size(); I != 0; --I) {
376a89c5ac4SDouglas Gregor         // Find or create the module that corresponds to this directory name.
377056396aeSDouglas Gregor         SmallString<32> NameBuf;
378056396aeSDouglas Gregor         StringRef Name = sanitizeFilenameAsIdentifier(
3794469138eSBen Langmuir             llvm::sys::path::stem(SkippedDirs[I-1]->getName()), NameBuf);
380beee15e7SBen Langmuir         Result = findOrCreateModule(Name, Result, UmbrellaModule->ModuleMap,
381beee15e7SBen Langmuir                                     /*IsFramework=*/false, Explicit).first;
382ffbafa2aSBen Langmuir         Result->IsInferred = true;
383a89c5ac4SDouglas Gregor 
384a89c5ac4SDouglas Gregor         // Associate the module and the directory.
385a89c5ac4SDouglas Gregor         UmbrellaDirs[SkippedDirs[I-1]] = Result;
386a89c5ac4SDouglas Gregor 
387a89c5ac4SDouglas Gregor         // If inferred submodules export everything they import, add a
388a89c5ac4SDouglas Gregor         // wildcard to the set of exports.
389930a85ccSDouglas Gregor         if (UmbrellaModule->InferExportWildcard && Result->Exports.empty())
390*d2d442caSCraig Topper           Result->Exports.push_back(Module::ExportDecl(nullptr, true));
391a89c5ac4SDouglas Gregor       }
392a89c5ac4SDouglas Gregor 
393a89c5ac4SDouglas Gregor       // Infer a submodule with the same name as this header file.
394056396aeSDouglas Gregor       SmallString<32> NameBuf;
395056396aeSDouglas Gregor       StringRef Name = sanitizeFilenameAsIdentifier(
396056396aeSDouglas Gregor                          llvm::sys::path::stem(File->getName()), NameBuf);
397beee15e7SBen Langmuir       Result = findOrCreateModule(Name, Result, UmbrellaModule->ModuleMap,
398beee15e7SBen Langmuir                                   /*IsFramework=*/false, Explicit).first;
399ffbafa2aSBen Langmuir       Result->IsInferred = true;
4003c5305c1SArgyrios Kyrtzidis       Result->addTopHeader(File);
401a89c5ac4SDouglas Gregor 
402a89c5ac4SDouglas Gregor       // If inferred submodules export everything they import, add a
403a89c5ac4SDouglas Gregor       // wildcard to the set of exports.
404930a85ccSDouglas Gregor       if (UmbrellaModule->InferExportWildcard && Result->Exports.empty())
405*d2d442caSCraig Topper         Result->Exports.push_back(Module::ExportDecl(nullptr, true));
406a89c5ac4SDouglas Gregor     } else {
407a89c5ac4SDouglas Gregor       // Record each of the directories we stepped through as being part of
408a89c5ac4SDouglas Gregor       // the module we found, since the umbrella header covers them all.
409a89c5ac4SDouglas Gregor       for (unsigned I = 0, N = SkippedDirs.size(); I != N; ++I)
410a89c5ac4SDouglas Gregor         UmbrellaDirs[SkippedDirs[I]] = Result;
411a89c5ac4SDouglas Gregor     }
412a89c5ac4SDouglas Gregor 
41397da9178SDaniel Jasper     Headers[File].push_back(KnownHeader(Result, NormalHeader));
4141fb5c3a6SDouglas Gregor 
4151fb5c3a6SDouglas Gregor     // If a header corresponds to an unavailable module, don't report
4161fb5c3a6SDouglas Gregor     // that it maps to anything.
4171fb5c3a6SDouglas Gregor     if (!Result->isAvailable())
418b53e5483SLawrence Crowl       return KnownHeader();
4191fb5c3a6SDouglas Gregor 
42097da9178SDaniel Jasper     return Headers[File].back();
421a89c5ac4SDouglas Gregor   }
422a89c5ac4SDouglas Gregor 
423b53e5483SLawrence Crowl   return KnownHeader();
424ab0c8a84SDouglas Gregor }
425ab0c8a84SDouglas Gregor 
426e4412640SArgyrios Kyrtzidis bool ModuleMap::isHeaderInUnavailableModule(const FileEntry *Header) const {
427*d2d442caSCraig Topper   return isHeaderUnavailableInModule(Header, nullptr);
42850996ce1SRichard Smith }
42950996ce1SRichard Smith 
43062bcd925SDmitri Gribenko bool
43162bcd925SDmitri Gribenko ModuleMap::isHeaderUnavailableInModule(const FileEntry *Header,
43262bcd925SDmitri Gribenko                                        const Module *RequestingModule) const {
433e4412640SArgyrios Kyrtzidis   HeadersMap::const_iterator Known = Headers.find(Header);
43497da9178SDaniel Jasper   if (Known != Headers.end()) {
43597da9178SDaniel Jasper     for (SmallVectorImpl<KnownHeader>::const_iterator
43697da9178SDaniel Jasper              I = Known->second.begin(),
43797da9178SDaniel Jasper              E = Known->second.end();
43897da9178SDaniel Jasper          I != E; ++I) {
43950996ce1SRichard Smith       if (I->isAvailable() && (!RequestingModule ||
44050996ce1SRichard Smith                                I->getModule()->isSubModuleOf(RequestingModule)))
44197da9178SDaniel Jasper         return false;
44297da9178SDaniel Jasper     }
44397da9178SDaniel Jasper     return true;
44497da9178SDaniel Jasper   }
4451fb5c3a6SDouglas Gregor 
4461fb5c3a6SDouglas Gregor   const DirectoryEntry *Dir = Header->getDir();
447f857950dSDmitri Gribenko   SmallVector<const DirectoryEntry *, 2> SkippedDirs;
4481fb5c3a6SDouglas Gregor   StringRef DirName = Dir->getName();
4491fb5c3a6SDouglas Gregor 
45050996ce1SRichard Smith   auto IsUnavailable = [&](const Module *M) {
45150996ce1SRichard Smith     return !M->isAvailable() && (!RequestingModule ||
45250996ce1SRichard Smith                                  M->isSubModuleOf(RequestingModule));
45350996ce1SRichard Smith   };
45450996ce1SRichard Smith 
4551fb5c3a6SDouglas Gregor   // Keep walking up the directory hierarchy, looking for a directory with
4561fb5c3a6SDouglas Gregor   // an umbrella header.
4571fb5c3a6SDouglas Gregor   do {
458e4412640SArgyrios Kyrtzidis     llvm::DenseMap<const DirectoryEntry *, Module *>::const_iterator KnownDir
4591fb5c3a6SDouglas Gregor       = UmbrellaDirs.find(Dir);
4601fb5c3a6SDouglas Gregor     if (KnownDir != UmbrellaDirs.end()) {
4611fb5c3a6SDouglas Gregor       Module *Found = KnownDir->second;
46250996ce1SRichard Smith       if (IsUnavailable(Found))
4631fb5c3a6SDouglas Gregor         return true;
4641fb5c3a6SDouglas Gregor 
4651fb5c3a6SDouglas Gregor       // Search up the module stack until we find a module with an umbrella
4661fb5c3a6SDouglas Gregor       // directory.
4671fb5c3a6SDouglas Gregor       Module *UmbrellaModule = Found;
4681fb5c3a6SDouglas Gregor       while (!UmbrellaModule->getUmbrellaDir() && UmbrellaModule->Parent)
4691fb5c3a6SDouglas Gregor         UmbrellaModule = UmbrellaModule->Parent;
4701fb5c3a6SDouglas Gregor 
4711fb5c3a6SDouglas Gregor       if (UmbrellaModule->InferSubmodules) {
4721fb5c3a6SDouglas Gregor         for (unsigned I = SkippedDirs.size(); I != 0; --I) {
4731fb5c3a6SDouglas Gregor           // Find or create the module that corresponds to this directory name.
474056396aeSDouglas Gregor           SmallString<32> NameBuf;
475056396aeSDouglas Gregor           StringRef Name = sanitizeFilenameAsIdentifier(
476056396aeSDouglas Gregor                              llvm::sys::path::stem(SkippedDirs[I-1]->getName()),
477056396aeSDouglas Gregor                              NameBuf);
4781fb5c3a6SDouglas Gregor           Found = lookupModuleQualified(Name, Found);
4791fb5c3a6SDouglas Gregor           if (!Found)
4801fb5c3a6SDouglas Gregor             return false;
48150996ce1SRichard Smith           if (IsUnavailable(Found))
4821fb5c3a6SDouglas Gregor             return true;
4831fb5c3a6SDouglas Gregor         }
4841fb5c3a6SDouglas Gregor 
4851fb5c3a6SDouglas Gregor         // Infer a submodule with the same name as this header file.
486056396aeSDouglas Gregor         SmallString<32> NameBuf;
487056396aeSDouglas Gregor         StringRef Name = sanitizeFilenameAsIdentifier(
488056396aeSDouglas Gregor                            llvm::sys::path::stem(Header->getName()),
489056396aeSDouglas Gregor                            NameBuf);
4901fb5c3a6SDouglas Gregor         Found = lookupModuleQualified(Name, Found);
4911fb5c3a6SDouglas Gregor         if (!Found)
4921fb5c3a6SDouglas Gregor           return false;
4931fb5c3a6SDouglas Gregor       }
4941fb5c3a6SDouglas Gregor 
49550996ce1SRichard Smith       return IsUnavailable(Found);
4961fb5c3a6SDouglas Gregor     }
4971fb5c3a6SDouglas Gregor 
4981fb5c3a6SDouglas Gregor     SkippedDirs.push_back(Dir);
4991fb5c3a6SDouglas Gregor 
5001fb5c3a6SDouglas Gregor     // Retrieve our parent path.
5011fb5c3a6SDouglas Gregor     DirName = llvm::sys::path::parent_path(DirName);
5021fb5c3a6SDouglas Gregor     if (DirName.empty())
5031fb5c3a6SDouglas Gregor       break;
5041fb5c3a6SDouglas Gregor 
5051fb5c3a6SDouglas Gregor     // Resolve the parent path to a directory entry.
5061f76c4e8SManuel Klimek     Dir = SourceMgr.getFileManager().getDirectory(DirName);
5071fb5c3a6SDouglas Gregor   } while (Dir);
5081fb5c3a6SDouglas Gregor 
5091fb5c3a6SDouglas Gregor   return false;
5101fb5c3a6SDouglas Gregor }
5111fb5c3a6SDouglas Gregor 
512e4412640SArgyrios Kyrtzidis Module *ModuleMap::findModule(StringRef Name) const {
513e4412640SArgyrios Kyrtzidis   llvm::StringMap<Module *>::const_iterator Known = Modules.find(Name);
51488bdfb0eSDouglas Gregor   if (Known != Modules.end())
51588bdfb0eSDouglas Gregor     return Known->getValue();
51688bdfb0eSDouglas Gregor 
517*d2d442caSCraig Topper   return nullptr;
51888bdfb0eSDouglas Gregor }
51988bdfb0eSDouglas Gregor 
520e4412640SArgyrios Kyrtzidis Module *ModuleMap::lookupModuleUnqualified(StringRef Name,
521e4412640SArgyrios Kyrtzidis                                            Module *Context) const {
5222b82c2a5SDouglas Gregor   for(; Context; Context = Context->Parent) {
5232b82c2a5SDouglas Gregor     if (Module *Sub = lookupModuleQualified(Name, Context))
5242b82c2a5SDouglas Gregor       return Sub;
5252b82c2a5SDouglas Gregor   }
5262b82c2a5SDouglas Gregor 
5272b82c2a5SDouglas Gregor   return findModule(Name);
5282b82c2a5SDouglas Gregor }
5292b82c2a5SDouglas Gregor 
530e4412640SArgyrios Kyrtzidis Module *ModuleMap::lookupModuleQualified(StringRef Name, Module *Context) const{
5312b82c2a5SDouglas Gregor   if (!Context)
5322b82c2a5SDouglas Gregor     return findModule(Name);
5332b82c2a5SDouglas Gregor 
534eb90e830SDouglas Gregor   return Context->findSubmodule(Name);
5352b82c2a5SDouglas Gregor }
5362b82c2a5SDouglas Gregor 
537de3ef502SDouglas Gregor std::pair<Module *, bool>
538beee15e7SBen Langmuir ModuleMap::findOrCreateModule(StringRef Name, Module *Parent,
539beee15e7SBen Langmuir                               const FileEntry *ModuleMap, bool IsFramework,
54069021974SDouglas Gregor                               bool IsExplicit) {
54169021974SDouglas Gregor   // Try to find an existing module with this name.
542eb90e830SDouglas Gregor   if (Module *Sub = lookupModuleQualified(Name, Parent))
543eb90e830SDouglas Gregor     return std::make_pair(Sub, false);
54469021974SDouglas Gregor 
54569021974SDouglas Gregor   // Create a new module with this name.
546beee15e7SBen Langmuir   Module *Result = new Module(Name, SourceLocation(), Parent, ModuleMap,
547beee15e7SBen Langmuir                               IsFramework, IsExplicit);
548ba7f2f71SDaniel Jasper   if (LangOpts.CurrentModule == Name) {
549ba7f2f71SDaniel Jasper     SourceModule = Result;
550ba7f2f71SDaniel Jasper     SourceModuleName = Name;
551ba7f2f71SDaniel Jasper   }
5526f722b4eSArgyrios Kyrtzidis   if (!Parent) {
55369021974SDouglas Gregor     Modules[Name] = Result;
5546f722b4eSArgyrios Kyrtzidis     if (!LangOpts.CurrentModule.empty() && !CompilingModule &&
5556f722b4eSArgyrios Kyrtzidis         Name == LangOpts.CurrentModule) {
5566f722b4eSArgyrios Kyrtzidis       CompilingModule = Result;
5576f722b4eSArgyrios Kyrtzidis     }
5586f722b4eSArgyrios Kyrtzidis   }
55969021974SDouglas Gregor   return std::make_pair(Result, true);
56069021974SDouglas Gregor }
56169021974SDouglas Gregor 
5629194a91dSDouglas Gregor bool ModuleMap::canInferFrameworkModule(const DirectoryEntry *ParentDir,
563e4412640SArgyrios Kyrtzidis                                         StringRef Name, bool &IsSystem) const {
5649194a91dSDouglas Gregor   // Check whether we have already looked into the parent directory
5659194a91dSDouglas Gregor   // for a module map.
566e4412640SArgyrios Kyrtzidis   llvm::DenseMap<const DirectoryEntry *, InferredDirectory>::const_iterator
5679194a91dSDouglas Gregor     inferred = InferredDirectories.find(ParentDir);
5689194a91dSDouglas Gregor   if (inferred == InferredDirectories.end())
5699194a91dSDouglas Gregor     return false;
5709194a91dSDouglas Gregor 
5719194a91dSDouglas Gregor   if (!inferred->second.InferModules)
5729194a91dSDouglas Gregor     return false;
5739194a91dSDouglas Gregor 
5749194a91dSDouglas Gregor   // We're allowed to infer for this directory, but make sure it's okay
5759194a91dSDouglas Gregor   // to infer this particular module.
5769194a91dSDouglas Gregor   bool canInfer = std::find(inferred->second.ExcludedModules.begin(),
5779194a91dSDouglas Gregor                             inferred->second.ExcludedModules.end(),
5789194a91dSDouglas Gregor                             Name) == inferred->second.ExcludedModules.end();
5799194a91dSDouglas Gregor 
5809194a91dSDouglas Gregor   if (canInfer && inferred->second.InferSystemModules)
5819194a91dSDouglas Gregor     IsSystem = true;
5829194a91dSDouglas Gregor 
5839194a91dSDouglas Gregor   return canInfer;
5849194a91dSDouglas Gregor }
5859194a91dSDouglas Gregor 
58611dfe6feSDouglas Gregor /// \brief For a framework module, infer the framework against which we
58711dfe6feSDouglas Gregor /// should link.
58811dfe6feSDouglas Gregor static void inferFrameworkLink(Module *Mod, const DirectoryEntry *FrameworkDir,
58911dfe6feSDouglas Gregor                                FileManager &FileMgr) {
59011dfe6feSDouglas Gregor   assert(Mod->IsFramework && "Can only infer linking for framework modules");
59111dfe6feSDouglas Gregor   assert(!Mod->isSubFramework() &&
59211dfe6feSDouglas Gregor          "Can only infer linking for top-level frameworks");
59311dfe6feSDouglas Gregor 
59411dfe6feSDouglas Gregor   SmallString<128> LibName;
59511dfe6feSDouglas Gregor   LibName += FrameworkDir->getName();
59611dfe6feSDouglas Gregor   llvm::sys::path::append(LibName, Mod->Name);
59711dfe6feSDouglas Gregor   if (FileMgr.getFile(LibName)) {
59811dfe6feSDouglas Gregor     Mod->LinkLibraries.push_back(Module::LinkLibrary(Mod->Name,
59911dfe6feSDouglas Gregor                                                      /*IsFramework=*/true));
60011dfe6feSDouglas Gregor   }
60111dfe6feSDouglas Gregor }
60211dfe6feSDouglas Gregor 
603de3ef502SDouglas Gregor Module *
60456c64013SDouglas Gregor ModuleMap::inferFrameworkModule(StringRef ModuleName,
605e89dbc1dSDouglas Gregor                                 const DirectoryEntry *FrameworkDir,
606a686e1b0SDouglas Gregor                                 bool IsSystem,
607e89dbc1dSDouglas Gregor                                 Module *Parent) {
60856c64013SDouglas Gregor   // Check whether we've already found this module.
609e89dbc1dSDouglas Gregor   if (Module *Mod = lookupModuleQualified(ModuleName, Parent))
610e89dbc1dSDouglas Gregor     return Mod;
611e89dbc1dSDouglas Gregor 
6121f76c4e8SManuel Klimek   FileManager &FileMgr = SourceMgr.getFileManager();
61356c64013SDouglas Gregor 
6149194a91dSDouglas Gregor   // If the framework has a parent path from which we're allowed to infer
6159194a91dSDouglas Gregor   // a framework module, do so.
616beee15e7SBen Langmuir   const FileEntry *ModuleMapFile = nullptr;
6179194a91dSDouglas Gregor   if (!Parent) {
6184ddf2221SDouglas Gregor     // Determine whether we're allowed to infer a module map.
619e00c8b20SDouglas Gregor 
6204ddf2221SDouglas Gregor     // Note: as an egregious but useful hack we use the real path here, because
6214ddf2221SDouglas Gregor     // we might be looking at an embedded framework that symlinks out to a
6224ddf2221SDouglas Gregor     // top-level framework, and we need to infer as if we were naming the
6234ddf2221SDouglas Gregor     // top-level framework.
624e00c8b20SDouglas Gregor     StringRef FrameworkDirName
6251f76c4e8SManuel Klimek       = SourceMgr.getFileManager().getCanonicalName(FrameworkDir);
6264ddf2221SDouglas Gregor 
6279194a91dSDouglas Gregor     bool canInfer = false;
6284ddf2221SDouglas Gregor     if (llvm::sys::path::has_parent_path(FrameworkDirName)) {
6299194a91dSDouglas Gregor       // Figure out the parent path.
6304ddf2221SDouglas Gregor       StringRef Parent = llvm::sys::path::parent_path(FrameworkDirName);
6319194a91dSDouglas Gregor       if (const DirectoryEntry *ParentDir = FileMgr.getDirectory(Parent)) {
6329194a91dSDouglas Gregor         // Check whether we have already looked into the parent directory
6339194a91dSDouglas Gregor         // for a module map.
634e4412640SArgyrios Kyrtzidis         llvm::DenseMap<const DirectoryEntry *, InferredDirectory>::const_iterator
6359194a91dSDouglas Gregor           inferred = InferredDirectories.find(ParentDir);
6369194a91dSDouglas Gregor         if (inferred == InferredDirectories.end()) {
6379194a91dSDouglas Gregor           // We haven't looked here before. Load a module map, if there is
6389194a91dSDouglas Gregor           // one.
639984e1df7SBen Langmuir           bool IsFrameworkDir = Parent.endswith(".framework");
640984e1df7SBen Langmuir           if (const FileEntry *ModMapFile =
641984e1df7SBen Langmuir                 HeaderInfo.lookupModuleMapFile(ParentDir, IsFrameworkDir)) {
642963c5535SDouglas Gregor             parseModuleMapFile(ModMapFile, IsSystem);
6439194a91dSDouglas Gregor             inferred = InferredDirectories.find(ParentDir);
6449194a91dSDouglas Gregor           }
6459194a91dSDouglas Gregor 
6469194a91dSDouglas Gregor           if (inferred == InferredDirectories.end())
6479194a91dSDouglas Gregor             inferred = InferredDirectories.insert(
6489194a91dSDouglas Gregor                          std::make_pair(ParentDir, InferredDirectory())).first;
6499194a91dSDouglas Gregor         }
6509194a91dSDouglas Gregor 
6519194a91dSDouglas Gregor         if (inferred->second.InferModules) {
6529194a91dSDouglas Gregor           // We're allowed to infer for this directory, but make sure it's okay
6539194a91dSDouglas Gregor           // to infer this particular module.
6544ddf2221SDouglas Gregor           StringRef Name = llvm::sys::path::stem(FrameworkDirName);
6559194a91dSDouglas Gregor           canInfer = std::find(inferred->second.ExcludedModules.begin(),
6569194a91dSDouglas Gregor                                inferred->second.ExcludedModules.end(),
6579194a91dSDouglas Gregor                                Name) == inferred->second.ExcludedModules.end();
6589194a91dSDouglas Gregor 
6599194a91dSDouglas Gregor           if (inferred->second.InferSystemModules)
6609194a91dSDouglas Gregor             IsSystem = true;
661beee15e7SBen Langmuir           ModuleMapFile = inferred->second.ModuleMapFile;
6629194a91dSDouglas Gregor         }
6639194a91dSDouglas Gregor       }
6649194a91dSDouglas Gregor     }
6659194a91dSDouglas Gregor 
6669194a91dSDouglas Gregor     // If we're not allowed to infer a framework module, don't.
6679194a91dSDouglas Gregor     if (!canInfer)
668*d2d442caSCraig Topper       return nullptr;
669beee15e7SBen Langmuir   } else
670beee15e7SBen Langmuir     ModuleMapFile = Parent->ModuleMap;
6719194a91dSDouglas Gregor 
6729194a91dSDouglas Gregor 
67356c64013SDouglas Gregor   // Look for an umbrella header.
6742c1dd271SDylan Noblesmith   SmallString<128> UmbrellaName = StringRef(FrameworkDir->getName());
67517381a06SBenjamin Kramer   llvm::sys::path::append(UmbrellaName, "Headers", ModuleName + ".h");
676e89dbc1dSDouglas Gregor   const FileEntry *UmbrellaHeader = FileMgr.getFile(UmbrellaName);
67756c64013SDouglas Gregor 
67856c64013SDouglas Gregor   // FIXME: If there's no umbrella header, we could probably scan the
67956c64013SDouglas Gregor   // framework to load *everything*. But, it's not clear that this is a good
68056c64013SDouglas Gregor   // idea.
68156c64013SDouglas Gregor   if (!UmbrellaHeader)
682*d2d442caSCraig Topper     return nullptr;
68356c64013SDouglas Gregor 
684beee15e7SBen Langmuir   Module *Result = new Module(ModuleName, SourceLocation(), Parent, ModuleMapFile,
685e89dbc1dSDouglas Gregor                               /*IsFramework=*/true, /*IsExplicit=*/false);
686ba7f2f71SDaniel Jasper   if (LangOpts.CurrentModule == ModuleName) {
687ba7f2f71SDaniel Jasper     SourceModule = Result;
688ba7f2f71SDaniel Jasper     SourceModuleName = ModuleName;
689ba7f2f71SDaniel Jasper   }
690a686e1b0SDouglas Gregor   if (IsSystem)
691a686e1b0SDouglas Gregor     Result->IsSystem = IsSystem;
692a686e1b0SDouglas Gregor 
693eb90e830SDouglas Gregor   if (!Parent)
694e89dbc1dSDouglas Gregor     Modules[ModuleName] = Result;
695e89dbc1dSDouglas Gregor 
696322f633cSDouglas Gregor   // umbrella header "umbrella-header-name"
69773141fa9SDouglas Gregor   Result->Umbrella = UmbrellaHeader;
69897da9178SDaniel Jasper   Headers[UmbrellaHeader].push_back(KnownHeader(Result, NormalHeader));
6994dc71835SDouglas Gregor   UmbrellaDirs[UmbrellaHeader->getDir()] = Result;
700d8bd7537SDouglas Gregor 
701d8bd7537SDouglas Gregor   // export *
702*d2d442caSCraig Topper   Result->Exports.push_back(Module::ExportDecl(nullptr, true));
703d8bd7537SDouglas Gregor 
704a89c5ac4SDouglas Gregor   // module * { export * }
705a89c5ac4SDouglas Gregor   Result->InferSubmodules = true;
706a89c5ac4SDouglas Gregor   Result->InferExportWildcard = true;
707a89c5ac4SDouglas Gregor 
708e89dbc1dSDouglas Gregor   // Look for subframeworks.
709e89dbc1dSDouglas Gregor   llvm::error_code EC;
7102c1dd271SDylan Noblesmith   SmallString<128> SubframeworksDirName
711ddaa69cbSDouglas Gregor     = StringRef(FrameworkDir->getName());
712e89dbc1dSDouglas Gregor   llvm::sys::path::append(SubframeworksDirName, "Frameworks");
7132d4d8cb3SBenjamin Kramer   llvm::sys::path::native(SubframeworksDirName);
714ddaa69cbSDouglas Gregor   for (llvm::sys::fs::directory_iterator
7152d4d8cb3SBenjamin Kramer          Dir(SubframeworksDirName.str(), EC), DirEnd;
716e89dbc1dSDouglas Gregor        Dir != DirEnd && !EC; Dir.increment(EC)) {
717e89dbc1dSDouglas Gregor     if (!StringRef(Dir->path()).endswith(".framework"))
718e89dbc1dSDouglas Gregor       continue;
719f2161a70SDouglas Gregor 
720e89dbc1dSDouglas Gregor     if (const DirectoryEntry *SubframeworkDir
721e89dbc1dSDouglas Gregor           = FileMgr.getDirectory(Dir->path())) {
72207c22b78SDouglas Gregor       // Note: as an egregious but useful hack, we use the real path here and
72307c22b78SDouglas Gregor       // check whether it is actually a subdirectory of the parent directory.
72407c22b78SDouglas Gregor       // This will not be the case if the 'subframework' is actually a symlink
72507c22b78SDouglas Gregor       // out to a top-level framework.
726e00c8b20SDouglas Gregor       StringRef SubframeworkDirName = FileMgr.getCanonicalName(SubframeworkDir);
72707c22b78SDouglas Gregor       bool FoundParent = false;
72807c22b78SDouglas Gregor       do {
72907c22b78SDouglas Gregor         // Get the parent directory name.
73007c22b78SDouglas Gregor         SubframeworkDirName
73107c22b78SDouglas Gregor           = llvm::sys::path::parent_path(SubframeworkDirName);
73207c22b78SDouglas Gregor         if (SubframeworkDirName.empty())
73307c22b78SDouglas Gregor           break;
73407c22b78SDouglas Gregor 
73507c22b78SDouglas Gregor         if (FileMgr.getDirectory(SubframeworkDirName) == FrameworkDir) {
73607c22b78SDouglas Gregor           FoundParent = true;
73707c22b78SDouglas Gregor           break;
73807c22b78SDouglas Gregor         }
73907c22b78SDouglas Gregor       } while (true);
74007c22b78SDouglas Gregor 
74107c22b78SDouglas Gregor       if (!FoundParent)
74207c22b78SDouglas Gregor         continue;
74307c22b78SDouglas Gregor 
744e89dbc1dSDouglas Gregor       // FIXME: Do we want to warn about subframeworks without umbrella headers?
745056396aeSDouglas Gregor       SmallString<32> NameBuf;
746056396aeSDouglas Gregor       inferFrameworkModule(sanitizeFilenameAsIdentifier(
747056396aeSDouglas Gregor                              llvm::sys::path::stem(Dir->path()), NameBuf),
748056396aeSDouglas Gregor                            SubframeworkDir, IsSystem, Result);
749e89dbc1dSDouglas Gregor     }
750e89dbc1dSDouglas Gregor   }
751e89dbc1dSDouglas Gregor 
75211dfe6feSDouglas Gregor   // If the module is a top-level framework, automatically link against the
75311dfe6feSDouglas Gregor   // framework.
75411dfe6feSDouglas Gregor   if (!Result->isSubFramework()) {
75511dfe6feSDouglas Gregor     inferFrameworkLink(Result, FrameworkDir, FileMgr);
75611dfe6feSDouglas Gregor   }
75711dfe6feSDouglas Gregor 
75856c64013SDouglas Gregor   return Result;
75956c64013SDouglas Gregor }
76056c64013SDouglas Gregor 
761a89c5ac4SDouglas Gregor void ModuleMap::setUmbrellaHeader(Module *Mod, const FileEntry *UmbrellaHeader){
76297da9178SDaniel Jasper   Headers[UmbrellaHeader].push_back(KnownHeader(Mod, NormalHeader));
76373141fa9SDouglas Gregor   Mod->Umbrella = UmbrellaHeader;
7647033127bSDouglas Gregor   UmbrellaDirs[UmbrellaHeader->getDir()] = Mod;
765a89c5ac4SDouglas Gregor }
766a89c5ac4SDouglas Gregor 
767524e33e1SDouglas Gregor void ModuleMap::setUmbrellaDir(Module *Mod, const DirectoryEntry *UmbrellaDir) {
768524e33e1SDouglas Gregor   Mod->Umbrella = UmbrellaDir;
769524e33e1SDouglas Gregor   UmbrellaDirs[UmbrellaDir] = Mod;
770524e33e1SDouglas Gregor }
771524e33e1SDouglas Gregor 
77259527666SDouglas Gregor void ModuleMap::addHeader(Module *Mod, const FileEntry *Header,
773b53e5483SLawrence Crowl                           ModuleHeaderRole Role) {
774b53e5483SLawrence Crowl   if (Role == ExcludedHeader) {
77559527666SDouglas Gregor     Mod->ExcludedHeaders.push_back(Header);
776b146baabSArgyrios Kyrtzidis   } else {
777b53e5483SLawrence Crowl     if (Role == PrivateHeader)
778b53e5483SLawrence Crowl       Mod->PrivateHeaders.push_back(Header);
779b53e5483SLawrence Crowl     else
780b53e5483SLawrence Crowl       Mod->NormalHeaders.push_back(Header);
7816f722b4eSArgyrios Kyrtzidis     bool isCompilingModuleHeader = Mod->getTopLevelModule() == CompilingModule;
782b53e5483SLawrence Crowl     HeaderInfo.MarkFileModuleHeader(Header, Role, isCompilingModuleHeader);
783b146baabSArgyrios Kyrtzidis   }
78497da9178SDaniel Jasper   Headers[Header].push_back(KnownHeader(Mod, Role));
785a89c5ac4SDouglas Gregor }
786a89c5ac4SDouglas Gregor 
787514b636aSDouglas Gregor const FileEntry *
788e4412640SArgyrios Kyrtzidis ModuleMap::getContainingModuleMapFile(Module *Module) const {
7891f76c4e8SManuel Klimek   if (Module->DefinitionLoc.isInvalid())
790*d2d442caSCraig Topper     return nullptr;
791514b636aSDouglas Gregor 
7921f76c4e8SManuel Klimek   return SourceMgr.getFileEntryForID(
7931f76c4e8SManuel Klimek            SourceMgr.getFileID(Module->DefinitionLoc));
794514b636aSDouglas Gregor }
795514b636aSDouglas Gregor 
796718292f2SDouglas Gregor void ModuleMap::dump() {
797718292f2SDouglas Gregor   llvm::errs() << "Modules:";
798718292f2SDouglas Gregor   for (llvm::StringMap<Module *>::iterator M = Modules.begin(),
799718292f2SDouglas Gregor                                         MEnd = Modules.end();
800718292f2SDouglas Gregor        M != MEnd; ++M)
801d28d1b8dSDouglas Gregor     M->getValue()->print(llvm::errs(), 2);
802718292f2SDouglas Gregor 
803718292f2SDouglas Gregor   llvm::errs() << "Headers:";
80459527666SDouglas Gregor   for (HeadersMap::iterator H = Headers.begin(), HEnd = Headers.end();
805718292f2SDouglas Gregor        H != HEnd; ++H) {
80697da9178SDaniel Jasper     llvm::errs() << "  \"" << H->first->getName() << "\" -> ";
80797da9178SDaniel Jasper     for (SmallVectorImpl<KnownHeader>::const_iterator I = H->second.begin(),
80897da9178SDaniel Jasper                                                       E = H->second.end();
80997da9178SDaniel Jasper          I != E; ++I) {
81097da9178SDaniel Jasper       if (I != H->second.begin())
81197da9178SDaniel Jasper         llvm::errs() << ",";
81297da9178SDaniel Jasper       llvm::errs() << I->getModule()->getFullModuleName();
81397da9178SDaniel Jasper     }
81497da9178SDaniel Jasper     llvm::errs() << "\n";
815718292f2SDouglas Gregor   }
816718292f2SDouglas Gregor }
817718292f2SDouglas Gregor 
8182b82c2a5SDouglas Gregor bool ModuleMap::resolveExports(Module *Mod, bool Complain) {
8192b82c2a5SDouglas Gregor   bool HadError = false;
8202b82c2a5SDouglas Gregor   for (unsigned I = 0, N = Mod->UnresolvedExports.size(); I != N; ++I) {
8212b82c2a5SDouglas Gregor     Module::ExportDecl Export = resolveExport(Mod, Mod->UnresolvedExports[I],
8222b82c2a5SDouglas Gregor                                               Complain);
823f5eedd05SDouglas Gregor     if (Export.getPointer() || Export.getInt())
8242b82c2a5SDouglas Gregor       Mod->Exports.push_back(Export);
8252b82c2a5SDouglas Gregor     else
8262b82c2a5SDouglas Gregor       HadError = true;
8272b82c2a5SDouglas Gregor   }
8282b82c2a5SDouglas Gregor   Mod->UnresolvedExports.clear();
8292b82c2a5SDouglas Gregor   return HadError;
8302b82c2a5SDouglas Gregor }
8312b82c2a5SDouglas Gregor 
832ba7f2f71SDaniel Jasper bool ModuleMap::resolveUses(Module *Mod, bool Complain) {
833ba7f2f71SDaniel Jasper   bool HadError = false;
834ba7f2f71SDaniel Jasper   for (unsigned I = 0, N = Mod->UnresolvedDirectUses.size(); I != N; ++I) {
835ba7f2f71SDaniel Jasper     Module *DirectUse =
836ba7f2f71SDaniel Jasper         resolveModuleId(Mod->UnresolvedDirectUses[I], Mod, Complain);
837ba7f2f71SDaniel Jasper     if (DirectUse)
838ba7f2f71SDaniel Jasper       Mod->DirectUses.push_back(DirectUse);
839ba7f2f71SDaniel Jasper     else
840ba7f2f71SDaniel Jasper       HadError = true;
841ba7f2f71SDaniel Jasper   }
842ba7f2f71SDaniel Jasper   Mod->UnresolvedDirectUses.clear();
843ba7f2f71SDaniel Jasper   return HadError;
844ba7f2f71SDaniel Jasper }
845ba7f2f71SDaniel Jasper 
846fb912657SDouglas Gregor bool ModuleMap::resolveConflicts(Module *Mod, bool Complain) {
847fb912657SDouglas Gregor   bool HadError = false;
848fb912657SDouglas Gregor   for (unsigned I = 0, N = Mod->UnresolvedConflicts.size(); I != N; ++I) {
849fb912657SDouglas Gregor     Module *OtherMod = resolveModuleId(Mod->UnresolvedConflicts[I].Id,
850fb912657SDouglas Gregor                                        Mod, Complain);
851fb912657SDouglas Gregor     if (!OtherMod) {
852fb912657SDouglas Gregor       HadError = true;
853fb912657SDouglas Gregor       continue;
854fb912657SDouglas Gregor     }
855fb912657SDouglas Gregor 
856fb912657SDouglas Gregor     Module::Conflict Conflict;
857fb912657SDouglas Gregor     Conflict.Other = OtherMod;
858fb912657SDouglas Gregor     Conflict.Message = Mod->UnresolvedConflicts[I].Message;
859fb912657SDouglas Gregor     Mod->Conflicts.push_back(Conflict);
860fb912657SDouglas Gregor   }
861fb912657SDouglas Gregor   Mod->UnresolvedConflicts.clear();
862fb912657SDouglas Gregor   return HadError;
863fb912657SDouglas Gregor }
864fb912657SDouglas Gregor 
8650093b3c7SDouglas Gregor Module *ModuleMap::inferModuleFromLocation(FullSourceLoc Loc) {
8660093b3c7SDouglas Gregor   if (Loc.isInvalid())
867*d2d442caSCraig Topper     return nullptr;
8680093b3c7SDouglas Gregor 
8690093b3c7SDouglas Gregor   // Use the expansion location to determine which module we're in.
8700093b3c7SDouglas Gregor   FullSourceLoc ExpansionLoc = Loc.getExpansionLoc();
8710093b3c7SDouglas Gregor   if (!ExpansionLoc.isFileID())
872*d2d442caSCraig Topper     return nullptr;
8730093b3c7SDouglas Gregor 
8740093b3c7SDouglas Gregor   const SourceManager &SrcMgr = Loc.getManager();
8750093b3c7SDouglas Gregor   FileID ExpansionFileID = ExpansionLoc.getFileID();
876224d8a74SDouglas Gregor 
877224d8a74SDouglas Gregor   while (const FileEntry *ExpansionFile
878224d8a74SDouglas Gregor            = SrcMgr.getFileEntryForID(ExpansionFileID)) {
879224d8a74SDouglas Gregor     // Find the module that owns this header (if any).
880b53e5483SLawrence Crowl     if (Module *Mod = findModuleForHeader(ExpansionFile).getModule())
881224d8a74SDouglas Gregor       return Mod;
882224d8a74SDouglas Gregor 
883224d8a74SDouglas Gregor     // No module owns this header, so look up the inclusion chain to see if
884224d8a74SDouglas Gregor     // any included header has an associated module.
885224d8a74SDouglas Gregor     SourceLocation IncludeLoc = SrcMgr.getIncludeLoc(ExpansionFileID);
886224d8a74SDouglas Gregor     if (IncludeLoc.isInvalid())
887*d2d442caSCraig Topper       return nullptr;
8880093b3c7SDouglas Gregor 
889224d8a74SDouglas Gregor     ExpansionFileID = SrcMgr.getFileID(IncludeLoc);
890224d8a74SDouglas Gregor   }
891224d8a74SDouglas Gregor 
892*d2d442caSCraig Topper   return nullptr;
8930093b3c7SDouglas Gregor }
8940093b3c7SDouglas Gregor 
895718292f2SDouglas Gregor //----------------------------------------------------------------------------//
896718292f2SDouglas Gregor // Module map file parser
897718292f2SDouglas Gregor //----------------------------------------------------------------------------//
898718292f2SDouglas Gregor 
899718292f2SDouglas Gregor namespace clang {
900718292f2SDouglas Gregor   /// \brief A token in a module map file.
901718292f2SDouglas Gregor   struct MMToken {
902718292f2SDouglas Gregor     enum TokenKind {
9031fb5c3a6SDouglas Gregor       Comma,
90435b13eceSDouglas Gregor       ConfigMacros,
905fb912657SDouglas Gregor       Conflict,
906718292f2SDouglas Gregor       EndOfFile,
907718292f2SDouglas Gregor       HeaderKeyword,
908718292f2SDouglas Gregor       Identifier,
909a3feee2aSRichard Smith       Exclaim,
91059527666SDouglas Gregor       ExcludeKeyword,
911718292f2SDouglas Gregor       ExplicitKeyword,
9122b82c2a5SDouglas Gregor       ExportKeyword,
91397292843SDaniel Jasper       ExternKeyword,
914755b2055SDouglas Gregor       FrameworkKeyword,
9156ddfca91SDouglas Gregor       LinkKeyword,
916718292f2SDouglas Gregor       ModuleKeyword,
9172b82c2a5SDouglas Gregor       Period,
918b53e5483SLawrence Crowl       PrivateKeyword,
919718292f2SDouglas Gregor       UmbrellaKeyword,
920ba7f2f71SDaniel Jasper       UseKeyword,
9211fb5c3a6SDouglas Gregor       RequiresKeyword,
9222b82c2a5SDouglas Gregor       Star,
923718292f2SDouglas Gregor       StringLiteral,
924718292f2SDouglas Gregor       LBrace,
925a686e1b0SDouglas Gregor       RBrace,
926a686e1b0SDouglas Gregor       LSquare,
927a686e1b0SDouglas Gregor       RSquare
928718292f2SDouglas Gregor     } Kind;
929718292f2SDouglas Gregor 
930718292f2SDouglas Gregor     unsigned Location;
931718292f2SDouglas Gregor     unsigned StringLength;
932718292f2SDouglas Gregor     const char *StringData;
933718292f2SDouglas Gregor 
934718292f2SDouglas Gregor     void clear() {
935718292f2SDouglas Gregor       Kind = EndOfFile;
936718292f2SDouglas Gregor       Location = 0;
937718292f2SDouglas Gregor       StringLength = 0;
938*d2d442caSCraig Topper       StringData = nullptr;
939718292f2SDouglas Gregor     }
940718292f2SDouglas Gregor 
941718292f2SDouglas Gregor     bool is(TokenKind K) const { return Kind == K; }
942718292f2SDouglas Gregor 
943718292f2SDouglas Gregor     SourceLocation getLocation() const {
944718292f2SDouglas Gregor       return SourceLocation::getFromRawEncoding(Location);
945718292f2SDouglas Gregor     }
946718292f2SDouglas Gregor 
947718292f2SDouglas Gregor     StringRef getString() const {
948718292f2SDouglas Gregor       return StringRef(StringData, StringLength);
949718292f2SDouglas Gregor     }
950718292f2SDouglas Gregor   };
951718292f2SDouglas Gregor 
9529194a91dSDouglas Gregor   /// \brief The set of attributes that can be attached to a module.
9534442605fSBill Wendling   struct Attributes {
95477944868SRichard Smith     Attributes() : IsSystem(), IsExternC(), IsExhaustive() { }
9559194a91dSDouglas Gregor 
9569194a91dSDouglas Gregor     /// \brief Whether this is a system module.
9579194a91dSDouglas Gregor     unsigned IsSystem : 1;
95835b13eceSDouglas Gregor 
95977944868SRichard Smith     /// \brief Whether this is an extern "C" module.
96077944868SRichard Smith     unsigned IsExternC : 1;
96177944868SRichard Smith 
96235b13eceSDouglas Gregor     /// \brief Whether this is an exhaustive set of configuration macros.
96335b13eceSDouglas Gregor     unsigned IsExhaustive : 1;
9649194a91dSDouglas Gregor   };
9659194a91dSDouglas Gregor 
9669194a91dSDouglas Gregor 
967718292f2SDouglas Gregor   class ModuleMapParser {
968718292f2SDouglas Gregor     Lexer &L;
969718292f2SDouglas Gregor     SourceManager &SourceMgr;
970bc10b9fbSDouglas Gregor 
971bc10b9fbSDouglas Gregor     /// \brief Default target information, used only for string literal
972bc10b9fbSDouglas Gregor     /// parsing.
973bc10b9fbSDouglas Gregor     const TargetInfo *Target;
974bc10b9fbSDouglas Gregor 
975718292f2SDouglas Gregor     DiagnosticsEngine &Diags;
976718292f2SDouglas Gregor     ModuleMap &Map;
977718292f2SDouglas Gregor 
978beee15e7SBen Langmuir     /// \brief The current module map file.
979beee15e7SBen Langmuir     const FileEntry *ModuleMapFile;
980beee15e7SBen Langmuir 
9815257fc63SDouglas Gregor     /// \brief The directory that this module map resides in.
9825257fc63SDouglas Gregor     const DirectoryEntry *Directory;
9835257fc63SDouglas Gregor 
9843ec6663bSDouglas Gregor     /// \brief The directory containing Clang-supplied headers.
9853ec6663bSDouglas Gregor     const DirectoryEntry *BuiltinIncludeDir;
9863ec6663bSDouglas Gregor 
987963c5535SDouglas Gregor     /// \brief Whether this module map is in a system header directory.
988963c5535SDouglas Gregor     bool IsSystem;
989963c5535SDouglas Gregor 
990718292f2SDouglas Gregor     /// \brief Whether an error occurred.
991718292f2SDouglas Gregor     bool HadError;
992718292f2SDouglas Gregor 
993718292f2SDouglas Gregor     /// \brief Stores string data for the various string literals referenced
994718292f2SDouglas Gregor     /// during parsing.
995718292f2SDouglas Gregor     llvm::BumpPtrAllocator StringData;
996718292f2SDouglas Gregor 
997718292f2SDouglas Gregor     /// \brief The current token.
998718292f2SDouglas Gregor     MMToken Tok;
999718292f2SDouglas Gregor 
1000718292f2SDouglas Gregor     /// \brief The active module.
1001de3ef502SDouglas Gregor     Module *ActiveModule;
1002718292f2SDouglas Gregor 
1003718292f2SDouglas Gregor     /// \brief Consume the current token and return its location.
1004718292f2SDouglas Gregor     SourceLocation consumeToken();
1005718292f2SDouglas Gregor 
1006718292f2SDouglas Gregor     /// \brief Skip tokens until we reach the a token with the given kind
1007718292f2SDouglas Gregor     /// (or the end of the file).
1008718292f2SDouglas Gregor     void skipUntil(MMToken::TokenKind K);
1009718292f2SDouglas Gregor 
1010f857950dSDmitri Gribenko     typedef SmallVector<std::pair<std::string, SourceLocation>, 2> ModuleId;
1011e7ab3669SDouglas Gregor     bool parseModuleId(ModuleId &Id);
1012718292f2SDouglas Gregor     void parseModuleDecl();
101397292843SDaniel Jasper     void parseExternModuleDecl();
10141fb5c3a6SDouglas Gregor     void parseRequiresDecl();
1015b53e5483SLawrence Crowl     void parseHeaderDecl(clang::MMToken::TokenKind,
1016b53e5483SLawrence Crowl                          SourceLocation LeadingLoc);
1017524e33e1SDouglas Gregor     void parseUmbrellaDirDecl(SourceLocation UmbrellaLoc);
10182b82c2a5SDouglas Gregor     void parseExportDecl();
1019ba7f2f71SDaniel Jasper     void parseUseDecl();
10206ddfca91SDouglas Gregor     void parseLinkDecl();
102135b13eceSDouglas Gregor     void parseConfigMacros();
1022fb912657SDouglas Gregor     void parseConflict();
10239194a91dSDouglas Gregor     void parseInferredModuleDecl(bool Framework, bool Explicit);
10244442605fSBill Wendling     bool parseOptionalAttributes(Attributes &Attrs);
1025718292f2SDouglas Gregor 
1026718292f2SDouglas Gregor   public:
1027718292f2SDouglas Gregor     explicit ModuleMapParser(Lexer &L, SourceManager &SourceMgr,
1028bc10b9fbSDouglas Gregor                              const TargetInfo *Target,
1029718292f2SDouglas Gregor                              DiagnosticsEngine &Diags,
10305257fc63SDouglas Gregor                              ModuleMap &Map,
1031beee15e7SBen Langmuir                              const FileEntry *ModuleMapFile,
10323ec6663bSDouglas Gregor                              const DirectoryEntry *Directory,
1033963c5535SDouglas Gregor                              const DirectoryEntry *BuiltinIncludeDir,
1034963c5535SDouglas Gregor                              bool IsSystem)
1035bc10b9fbSDouglas Gregor       : L(L), SourceMgr(SourceMgr), Target(Target), Diags(Diags), Map(Map),
1036beee15e7SBen Langmuir         ModuleMapFile(ModuleMapFile), Directory(Directory),
1037beee15e7SBen Langmuir         BuiltinIncludeDir(BuiltinIncludeDir), IsSystem(IsSystem),
1038*d2d442caSCraig Topper         HadError(false), ActiveModule(nullptr)
1039718292f2SDouglas Gregor     {
1040718292f2SDouglas Gregor       Tok.clear();
1041718292f2SDouglas Gregor       consumeToken();
1042718292f2SDouglas Gregor     }
1043718292f2SDouglas Gregor 
1044718292f2SDouglas Gregor     bool parseModuleMapFile();
1045718292f2SDouglas Gregor   };
1046718292f2SDouglas Gregor }
1047718292f2SDouglas Gregor 
1048718292f2SDouglas Gregor SourceLocation ModuleMapParser::consumeToken() {
1049718292f2SDouglas Gregor retry:
1050718292f2SDouglas Gregor   SourceLocation Result = Tok.getLocation();
1051718292f2SDouglas Gregor   Tok.clear();
1052718292f2SDouglas Gregor 
1053718292f2SDouglas Gregor   Token LToken;
1054718292f2SDouglas Gregor   L.LexFromRawLexer(LToken);
1055718292f2SDouglas Gregor   Tok.Location = LToken.getLocation().getRawEncoding();
1056718292f2SDouglas Gregor   switch (LToken.getKind()) {
10572d57cea2SAlp Toker   case tok::raw_identifier: {
10582d57cea2SAlp Toker     StringRef RI = LToken.getRawIdentifier();
10592d57cea2SAlp Toker     Tok.StringData = RI.data();
10602d57cea2SAlp Toker     Tok.StringLength = RI.size();
10612d57cea2SAlp Toker     Tok.Kind = llvm::StringSwitch<MMToken::TokenKind>(RI)
106235b13eceSDouglas Gregor                  .Case("config_macros", MMToken::ConfigMacros)
1063fb912657SDouglas Gregor                  .Case("conflict", MMToken::Conflict)
106459527666SDouglas Gregor                  .Case("exclude", MMToken::ExcludeKeyword)
1065718292f2SDouglas Gregor                  .Case("explicit", MMToken::ExplicitKeyword)
10662b82c2a5SDouglas Gregor                  .Case("export", MMToken::ExportKeyword)
106797292843SDaniel Jasper                  .Case("extern", MMToken::ExternKeyword)
1068755b2055SDouglas Gregor                  .Case("framework", MMToken::FrameworkKeyword)
106935b13eceSDouglas Gregor                  .Case("header", MMToken::HeaderKeyword)
10706ddfca91SDouglas Gregor                  .Case("link", MMToken::LinkKeyword)
1071718292f2SDouglas Gregor                  .Case("module", MMToken::ModuleKeyword)
1072b53e5483SLawrence Crowl                  .Case("private", MMToken::PrivateKeyword)
10731fb5c3a6SDouglas Gregor                  .Case("requires", MMToken::RequiresKeyword)
1074718292f2SDouglas Gregor                  .Case("umbrella", MMToken::UmbrellaKeyword)
1075ba7f2f71SDaniel Jasper                  .Case("use", MMToken::UseKeyword)
1076718292f2SDouglas Gregor                  .Default(MMToken::Identifier);
1077718292f2SDouglas Gregor     break;
10782d57cea2SAlp Toker   }
1079718292f2SDouglas Gregor 
10801fb5c3a6SDouglas Gregor   case tok::comma:
10811fb5c3a6SDouglas Gregor     Tok.Kind = MMToken::Comma;
10821fb5c3a6SDouglas Gregor     break;
10831fb5c3a6SDouglas Gregor 
1084718292f2SDouglas Gregor   case tok::eof:
1085718292f2SDouglas Gregor     Tok.Kind = MMToken::EndOfFile;
1086718292f2SDouglas Gregor     break;
1087718292f2SDouglas Gregor 
1088718292f2SDouglas Gregor   case tok::l_brace:
1089718292f2SDouglas Gregor     Tok.Kind = MMToken::LBrace;
1090718292f2SDouglas Gregor     break;
1091718292f2SDouglas Gregor 
1092a686e1b0SDouglas Gregor   case tok::l_square:
1093a686e1b0SDouglas Gregor     Tok.Kind = MMToken::LSquare;
1094a686e1b0SDouglas Gregor     break;
1095a686e1b0SDouglas Gregor 
10962b82c2a5SDouglas Gregor   case tok::period:
10972b82c2a5SDouglas Gregor     Tok.Kind = MMToken::Period;
10982b82c2a5SDouglas Gregor     break;
10992b82c2a5SDouglas Gregor 
1100718292f2SDouglas Gregor   case tok::r_brace:
1101718292f2SDouglas Gregor     Tok.Kind = MMToken::RBrace;
1102718292f2SDouglas Gregor     break;
1103718292f2SDouglas Gregor 
1104a686e1b0SDouglas Gregor   case tok::r_square:
1105a686e1b0SDouglas Gregor     Tok.Kind = MMToken::RSquare;
1106a686e1b0SDouglas Gregor     break;
1107a686e1b0SDouglas Gregor 
11082b82c2a5SDouglas Gregor   case tok::star:
11092b82c2a5SDouglas Gregor     Tok.Kind = MMToken::Star;
11102b82c2a5SDouglas Gregor     break;
11112b82c2a5SDouglas Gregor 
1112a3feee2aSRichard Smith   case tok::exclaim:
1113a3feee2aSRichard Smith     Tok.Kind = MMToken::Exclaim;
1114a3feee2aSRichard Smith     break;
1115a3feee2aSRichard Smith 
1116718292f2SDouglas Gregor   case tok::string_literal: {
1117d67aea28SRichard Smith     if (LToken.hasUDSuffix()) {
1118d67aea28SRichard Smith       Diags.Report(LToken.getLocation(), diag::err_invalid_string_udl);
1119d67aea28SRichard Smith       HadError = true;
1120d67aea28SRichard Smith       goto retry;
1121d67aea28SRichard Smith     }
1122d67aea28SRichard Smith 
1123718292f2SDouglas Gregor     // Parse the string literal.
1124718292f2SDouglas Gregor     LangOptions LangOpts;
1125718292f2SDouglas Gregor     StringLiteralParser StringLiteral(&LToken, 1, SourceMgr, LangOpts, *Target);
1126718292f2SDouglas Gregor     if (StringLiteral.hadError)
1127718292f2SDouglas Gregor       goto retry;
1128718292f2SDouglas Gregor 
1129718292f2SDouglas Gregor     // Copy the string literal into our string data allocator.
1130718292f2SDouglas Gregor     unsigned Length = StringLiteral.GetStringLength();
1131718292f2SDouglas Gregor     char *Saved = StringData.Allocate<char>(Length + 1);
1132718292f2SDouglas Gregor     memcpy(Saved, StringLiteral.GetString().data(), Length);
1133718292f2SDouglas Gregor     Saved[Length] = 0;
1134718292f2SDouglas Gregor 
1135718292f2SDouglas Gregor     // Form the token.
1136718292f2SDouglas Gregor     Tok.Kind = MMToken::StringLiteral;
1137718292f2SDouglas Gregor     Tok.StringData = Saved;
1138718292f2SDouglas Gregor     Tok.StringLength = Length;
1139718292f2SDouglas Gregor     break;
1140718292f2SDouglas Gregor   }
1141718292f2SDouglas Gregor 
1142718292f2SDouglas Gregor   case tok::comment:
1143718292f2SDouglas Gregor     goto retry;
1144718292f2SDouglas Gregor 
1145718292f2SDouglas Gregor   default:
1146718292f2SDouglas Gregor     Diags.Report(LToken.getLocation(), diag::err_mmap_unknown_token);
1147718292f2SDouglas Gregor     HadError = true;
1148718292f2SDouglas Gregor     goto retry;
1149718292f2SDouglas Gregor   }
1150718292f2SDouglas Gregor 
1151718292f2SDouglas Gregor   return Result;
1152718292f2SDouglas Gregor }
1153718292f2SDouglas Gregor 
1154718292f2SDouglas Gregor void ModuleMapParser::skipUntil(MMToken::TokenKind K) {
1155718292f2SDouglas Gregor   unsigned braceDepth = 0;
1156a686e1b0SDouglas Gregor   unsigned squareDepth = 0;
1157718292f2SDouglas Gregor   do {
1158718292f2SDouglas Gregor     switch (Tok.Kind) {
1159718292f2SDouglas Gregor     case MMToken::EndOfFile:
1160718292f2SDouglas Gregor       return;
1161718292f2SDouglas Gregor 
1162718292f2SDouglas Gregor     case MMToken::LBrace:
1163a686e1b0SDouglas Gregor       if (Tok.is(K) && braceDepth == 0 && squareDepth == 0)
1164718292f2SDouglas Gregor         return;
1165718292f2SDouglas Gregor 
1166718292f2SDouglas Gregor       ++braceDepth;
1167718292f2SDouglas Gregor       break;
1168718292f2SDouglas Gregor 
1169a686e1b0SDouglas Gregor     case MMToken::LSquare:
1170a686e1b0SDouglas Gregor       if (Tok.is(K) && braceDepth == 0 && squareDepth == 0)
1171a686e1b0SDouglas Gregor         return;
1172a686e1b0SDouglas Gregor 
1173a686e1b0SDouglas Gregor       ++squareDepth;
1174a686e1b0SDouglas Gregor       break;
1175a686e1b0SDouglas Gregor 
1176718292f2SDouglas Gregor     case MMToken::RBrace:
1177718292f2SDouglas Gregor       if (braceDepth > 0)
1178718292f2SDouglas Gregor         --braceDepth;
1179718292f2SDouglas Gregor       else if (Tok.is(K))
1180718292f2SDouglas Gregor         return;
1181718292f2SDouglas Gregor       break;
1182718292f2SDouglas Gregor 
1183a686e1b0SDouglas Gregor     case MMToken::RSquare:
1184a686e1b0SDouglas Gregor       if (squareDepth > 0)
1185a686e1b0SDouglas Gregor         --squareDepth;
1186a686e1b0SDouglas Gregor       else if (Tok.is(K))
1187a686e1b0SDouglas Gregor         return;
1188a686e1b0SDouglas Gregor       break;
1189a686e1b0SDouglas Gregor 
1190718292f2SDouglas Gregor     default:
1191a686e1b0SDouglas Gregor       if (braceDepth == 0 && squareDepth == 0 && Tok.is(K))
1192718292f2SDouglas Gregor         return;
1193718292f2SDouglas Gregor       break;
1194718292f2SDouglas Gregor     }
1195718292f2SDouglas Gregor 
1196718292f2SDouglas Gregor    consumeToken();
1197718292f2SDouglas Gregor   } while (true);
1198718292f2SDouglas Gregor }
1199718292f2SDouglas Gregor 
1200e7ab3669SDouglas Gregor /// \brief Parse a module-id.
1201e7ab3669SDouglas Gregor ///
1202e7ab3669SDouglas Gregor ///   module-id:
1203e7ab3669SDouglas Gregor ///     identifier
1204e7ab3669SDouglas Gregor ///     identifier '.' module-id
1205e7ab3669SDouglas Gregor ///
1206e7ab3669SDouglas Gregor /// \returns true if an error occurred, false otherwise.
1207e7ab3669SDouglas Gregor bool ModuleMapParser::parseModuleId(ModuleId &Id) {
1208e7ab3669SDouglas Gregor   Id.clear();
1209e7ab3669SDouglas Gregor   do {
12103cd34c76SDaniel Jasper     if (Tok.is(MMToken::Identifier) || Tok.is(MMToken::StringLiteral)) {
1211e7ab3669SDouglas Gregor       Id.push_back(std::make_pair(Tok.getString(), Tok.getLocation()));
1212e7ab3669SDouglas Gregor       consumeToken();
1213e7ab3669SDouglas Gregor     } else {
1214e7ab3669SDouglas Gregor       Diags.Report(Tok.getLocation(), diag::err_mmap_expected_module_name);
1215e7ab3669SDouglas Gregor       return true;
1216e7ab3669SDouglas Gregor     }
1217e7ab3669SDouglas Gregor 
1218e7ab3669SDouglas Gregor     if (!Tok.is(MMToken::Period))
1219e7ab3669SDouglas Gregor       break;
1220e7ab3669SDouglas Gregor 
1221e7ab3669SDouglas Gregor     consumeToken();
1222e7ab3669SDouglas Gregor   } while (true);
1223e7ab3669SDouglas Gregor 
1224e7ab3669SDouglas Gregor   return false;
1225e7ab3669SDouglas Gregor }
1226e7ab3669SDouglas Gregor 
1227a686e1b0SDouglas Gregor namespace {
1228a686e1b0SDouglas Gregor   /// \brief Enumerates the known attributes.
1229a686e1b0SDouglas Gregor   enum AttributeKind {
1230a686e1b0SDouglas Gregor     /// \brief An unknown attribute.
1231a686e1b0SDouglas Gregor     AT_unknown,
1232a686e1b0SDouglas Gregor     /// \brief The 'system' attribute.
123335b13eceSDouglas Gregor     AT_system,
123477944868SRichard Smith     /// \brief The 'extern_c' attribute.
123577944868SRichard Smith     AT_extern_c,
123635b13eceSDouglas Gregor     /// \brief The 'exhaustive' attribute.
123735b13eceSDouglas Gregor     AT_exhaustive
1238a686e1b0SDouglas Gregor   };
1239a686e1b0SDouglas Gregor }
1240a686e1b0SDouglas Gregor 
1241718292f2SDouglas Gregor /// \brief Parse a module declaration.
1242718292f2SDouglas Gregor ///
1243718292f2SDouglas Gregor ///   module-declaration:
124497292843SDaniel Jasper ///     'extern' 'module' module-id string-literal
1245a686e1b0SDouglas Gregor ///     'explicit'[opt] 'framework'[opt] 'module' module-id attributes[opt]
1246a686e1b0SDouglas Gregor ///       { module-member* }
1247a686e1b0SDouglas Gregor ///
1248718292f2SDouglas Gregor ///   module-member:
12491fb5c3a6SDouglas Gregor ///     requires-declaration
1250718292f2SDouglas Gregor ///     header-declaration
1251e7ab3669SDouglas Gregor ///     submodule-declaration
12522b82c2a5SDouglas Gregor ///     export-declaration
12536ddfca91SDouglas Gregor ///     link-declaration
125473441091SDouglas Gregor ///
125573441091SDouglas Gregor ///   submodule-declaration:
125673441091SDouglas Gregor ///     module-declaration
125773441091SDouglas Gregor ///     inferred-submodule-declaration
1258718292f2SDouglas Gregor void ModuleMapParser::parseModuleDecl() {
1259755b2055SDouglas Gregor   assert(Tok.is(MMToken::ExplicitKeyword) || Tok.is(MMToken::ModuleKeyword) ||
126097292843SDaniel Jasper          Tok.is(MMToken::FrameworkKeyword) || Tok.is(MMToken::ExternKeyword));
126197292843SDaniel Jasper   if (Tok.is(MMToken::ExternKeyword)) {
126297292843SDaniel Jasper     parseExternModuleDecl();
126397292843SDaniel Jasper     return;
126497292843SDaniel Jasper   }
126597292843SDaniel Jasper 
1266f2161a70SDouglas Gregor   // Parse 'explicit' or 'framework' keyword, if present.
1267e7ab3669SDouglas Gregor   SourceLocation ExplicitLoc;
1268718292f2SDouglas Gregor   bool Explicit = false;
1269f2161a70SDouglas Gregor   bool Framework = false;
1270755b2055SDouglas Gregor 
1271f2161a70SDouglas Gregor   // Parse 'explicit' keyword, if present.
1272f2161a70SDouglas Gregor   if (Tok.is(MMToken::ExplicitKeyword)) {
1273e7ab3669SDouglas Gregor     ExplicitLoc = consumeToken();
1274f2161a70SDouglas Gregor     Explicit = true;
1275f2161a70SDouglas Gregor   }
1276f2161a70SDouglas Gregor 
1277f2161a70SDouglas Gregor   // Parse 'framework' keyword, if present.
1278755b2055SDouglas Gregor   if (Tok.is(MMToken::FrameworkKeyword)) {
1279755b2055SDouglas Gregor     consumeToken();
1280755b2055SDouglas Gregor     Framework = true;
1281755b2055SDouglas Gregor   }
1282718292f2SDouglas Gregor 
1283718292f2SDouglas Gregor   // Parse 'module' keyword.
1284718292f2SDouglas Gregor   if (!Tok.is(MMToken::ModuleKeyword)) {
1285d6343c99SDouglas Gregor     Diags.Report(Tok.getLocation(), diag::err_mmap_expected_module);
1286718292f2SDouglas Gregor     consumeToken();
1287718292f2SDouglas Gregor     HadError = true;
1288718292f2SDouglas Gregor     return;
1289718292f2SDouglas Gregor   }
1290718292f2SDouglas Gregor   consumeToken(); // 'module' keyword
1291718292f2SDouglas Gregor 
129273441091SDouglas Gregor   // If we have a wildcard for the module name, this is an inferred submodule.
129373441091SDouglas Gregor   // Parse it.
129473441091SDouglas Gregor   if (Tok.is(MMToken::Star))
12959194a91dSDouglas Gregor     return parseInferredModuleDecl(Framework, Explicit);
129673441091SDouglas Gregor 
1297718292f2SDouglas Gregor   // Parse the module name.
1298e7ab3669SDouglas Gregor   ModuleId Id;
1299e7ab3669SDouglas Gregor   if (parseModuleId(Id)) {
1300718292f2SDouglas Gregor     HadError = true;
1301718292f2SDouglas Gregor     return;
1302718292f2SDouglas Gregor   }
1303e7ab3669SDouglas Gregor 
1304e7ab3669SDouglas Gregor   if (ActiveModule) {
1305e7ab3669SDouglas Gregor     if (Id.size() > 1) {
1306e7ab3669SDouglas Gregor       Diags.Report(Id.front().second, diag::err_mmap_nested_submodule_id)
1307e7ab3669SDouglas Gregor         << SourceRange(Id.front().second, Id.back().second);
1308e7ab3669SDouglas Gregor 
1309e7ab3669SDouglas Gregor       HadError = true;
1310e7ab3669SDouglas Gregor       return;
1311e7ab3669SDouglas Gregor     }
1312e7ab3669SDouglas Gregor   } else if (Id.size() == 1 && Explicit) {
1313e7ab3669SDouglas Gregor     // Top-level modules can't be explicit.
1314e7ab3669SDouglas Gregor     Diags.Report(ExplicitLoc, diag::err_mmap_explicit_top_level);
1315e7ab3669SDouglas Gregor     Explicit = false;
1316e7ab3669SDouglas Gregor     ExplicitLoc = SourceLocation();
1317e7ab3669SDouglas Gregor     HadError = true;
1318e7ab3669SDouglas Gregor   }
1319e7ab3669SDouglas Gregor 
1320e7ab3669SDouglas Gregor   Module *PreviousActiveModule = ActiveModule;
1321e7ab3669SDouglas Gregor   if (Id.size() > 1) {
1322e7ab3669SDouglas Gregor     // This module map defines a submodule. Go find the module of which it
1323e7ab3669SDouglas Gregor     // is a submodule.
1324*d2d442caSCraig Topper     ActiveModule = nullptr;
1325e7ab3669SDouglas Gregor     for (unsigned I = 0, N = Id.size() - 1; I != N; ++I) {
1326e7ab3669SDouglas Gregor       if (Module *Next = Map.lookupModuleQualified(Id[I].first, ActiveModule)) {
1327e7ab3669SDouglas Gregor         ActiveModule = Next;
1328e7ab3669SDouglas Gregor         continue;
1329e7ab3669SDouglas Gregor       }
1330e7ab3669SDouglas Gregor 
1331e7ab3669SDouglas Gregor       if (ActiveModule) {
1332e7ab3669SDouglas Gregor         Diags.Report(Id[I].second, diag::err_mmap_missing_module_qualified)
13335b5d21eaSRichard Smith           << Id[I].first
13345b5d21eaSRichard Smith           << ActiveModule->getTopLevelModule()->getFullModuleName();
1335e7ab3669SDouglas Gregor       } else {
1336e7ab3669SDouglas Gregor         Diags.Report(Id[I].second, diag::err_mmap_expected_module_name);
1337e7ab3669SDouglas Gregor       }
1338e7ab3669SDouglas Gregor       HadError = true;
1339e7ab3669SDouglas Gregor       return;
1340e7ab3669SDouglas Gregor     }
1341e7ab3669SDouglas Gregor   }
1342e7ab3669SDouglas Gregor 
1343e7ab3669SDouglas Gregor   StringRef ModuleName = Id.back().first;
1344e7ab3669SDouglas Gregor   SourceLocation ModuleNameLoc = Id.back().second;
1345718292f2SDouglas Gregor 
1346a686e1b0SDouglas Gregor   // Parse the optional attribute list.
13474442605fSBill Wendling   Attributes Attrs;
13489194a91dSDouglas Gregor   parseOptionalAttributes(Attrs);
1349a686e1b0SDouglas Gregor 
1350718292f2SDouglas Gregor   // Parse the opening brace.
1351718292f2SDouglas Gregor   if (!Tok.is(MMToken::LBrace)) {
1352718292f2SDouglas Gregor     Diags.Report(Tok.getLocation(), diag::err_mmap_expected_lbrace)
1353718292f2SDouglas Gregor       << ModuleName;
1354718292f2SDouglas Gregor     HadError = true;
1355718292f2SDouglas Gregor     return;
1356718292f2SDouglas Gregor   }
1357718292f2SDouglas Gregor   SourceLocation LBraceLoc = consumeToken();
1358718292f2SDouglas Gregor 
1359718292f2SDouglas Gregor   // Determine whether this (sub)module has already been defined.
1360eb90e830SDouglas Gregor   if (Module *Existing = Map.lookupModuleQualified(ModuleName, ActiveModule)) {
1361fcc54a3bSDouglas Gregor     if (Existing->DefinitionLoc.isInvalid() && !ActiveModule) {
1362fcc54a3bSDouglas Gregor       // Skip the module definition.
1363fcc54a3bSDouglas Gregor       skipUntil(MMToken::RBrace);
1364fcc54a3bSDouglas Gregor       if (Tok.is(MMToken::RBrace))
1365fcc54a3bSDouglas Gregor         consumeToken();
1366fcc54a3bSDouglas Gregor       else {
1367fcc54a3bSDouglas Gregor         Diags.Report(Tok.getLocation(), diag::err_mmap_expected_rbrace);
1368fcc54a3bSDouglas Gregor         Diags.Report(LBraceLoc, diag::note_mmap_lbrace_match);
1369fcc54a3bSDouglas Gregor         HadError = true;
1370fcc54a3bSDouglas Gregor       }
1371fcc54a3bSDouglas Gregor       return;
1372fcc54a3bSDouglas Gregor     }
1373fcc54a3bSDouglas Gregor 
1374718292f2SDouglas Gregor     Diags.Report(ModuleNameLoc, diag::err_mmap_module_redefinition)
1375718292f2SDouglas Gregor       << ModuleName;
1376eb90e830SDouglas Gregor     Diags.Report(Existing->DefinitionLoc, diag::note_mmap_prev_definition);
1377718292f2SDouglas Gregor 
1378718292f2SDouglas Gregor     // Skip the module definition.
1379718292f2SDouglas Gregor     skipUntil(MMToken::RBrace);
1380718292f2SDouglas Gregor     if (Tok.is(MMToken::RBrace))
1381718292f2SDouglas Gregor       consumeToken();
1382718292f2SDouglas Gregor 
1383718292f2SDouglas Gregor     HadError = true;
1384718292f2SDouglas Gregor     return;
1385718292f2SDouglas Gregor   }
1386718292f2SDouglas Gregor 
1387beee15e7SBen Langmuir   // If this is a submodule, use the parent's module map, since we don't want
1388beee15e7SBen Langmuir   // the private module map file.
1389beee15e7SBen Langmuir   const FileEntry *ModuleMap = ActiveModule ? ActiveModule->ModuleMap
1390beee15e7SBen Langmuir                                             : ModuleMapFile;
1391beee15e7SBen Langmuir 
1392718292f2SDouglas Gregor   // Start defining this module.
1393beee15e7SBen Langmuir   ActiveModule = Map.findOrCreateModule(ModuleName, ActiveModule, ModuleMap,
1394beee15e7SBen Langmuir                                         Framework, Explicit).first;
1395eb90e830SDouglas Gregor   ActiveModule->DefinitionLoc = ModuleNameLoc;
1396963c5535SDouglas Gregor   if (Attrs.IsSystem || IsSystem)
1397a686e1b0SDouglas Gregor     ActiveModule->IsSystem = true;
139877944868SRichard Smith   if (Attrs.IsExternC)
139977944868SRichard Smith     ActiveModule->IsExternC = true;
1400718292f2SDouglas Gregor 
1401718292f2SDouglas Gregor   bool Done = false;
1402718292f2SDouglas Gregor   do {
1403718292f2SDouglas Gregor     switch (Tok.Kind) {
1404718292f2SDouglas Gregor     case MMToken::EndOfFile:
1405718292f2SDouglas Gregor     case MMToken::RBrace:
1406718292f2SDouglas Gregor       Done = true;
1407718292f2SDouglas Gregor       break;
1408718292f2SDouglas Gregor 
140935b13eceSDouglas Gregor     case MMToken::ConfigMacros:
141035b13eceSDouglas Gregor       parseConfigMacros();
141135b13eceSDouglas Gregor       break;
141235b13eceSDouglas Gregor 
1413fb912657SDouglas Gregor     case MMToken::Conflict:
1414fb912657SDouglas Gregor       parseConflict();
1415fb912657SDouglas Gregor       break;
1416fb912657SDouglas Gregor 
1417718292f2SDouglas Gregor     case MMToken::ExplicitKeyword:
141897292843SDaniel Jasper     case MMToken::ExternKeyword:
1419f2161a70SDouglas Gregor     case MMToken::FrameworkKeyword:
1420718292f2SDouglas Gregor     case MMToken::ModuleKeyword:
1421718292f2SDouglas Gregor       parseModuleDecl();
1422718292f2SDouglas Gregor       break;
1423718292f2SDouglas Gregor 
14242b82c2a5SDouglas Gregor     case MMToken::ExportKeyword:
14252b82c2a5SDouglas Gregor       parseExportDecl();
14262b82c2a5SDouglas Gregor       break;
14272b82c2a5SDouglas Gregor 
1428ba7f2f71SDaniel Jasper     case MMToken::UseKeyword:
1429ba7f2f71SDaniel Jasper       parseUseDecl();
1430ba7f2f71SDaniel Jasper       break;
1431ba7f2f71SDaniel Jasper 
14321fb5c3a6SDouglas Gregor     case MMToken::RequiresKeyword:
14331fb5c3a6SDouglas Gregor       parseRequiresDecl();
14341fb5c3a6SDouglas Gregor       break;
14351fb5c3a6SDouglas Gregor 
1436524e33e1SDouglas Gregor     case MMToken::UmbrellaKeyword: {
1437524e33e1SDouglas Gregor       SourceLocation UmbrellaLoc = consumeToken();
1438524e33e1SDouglas Gregor       if (Tok.is(MMToken::HeaderKeyword))
1439b53e5483SLawrence Crowl         parseHeaderDecl(MMToken::UmbrellaKeyword, UmbrellaLoc);
1440524e33e1SDouglas Gregor       else
1441524e33e1SDouglas Gregor         parseUmbrellaDirDecl(UmbrellaLoc);
1442718292f2SDouglas Gregor       break;
1443524e33e1SDouglas Gregor     }
1444718292f2SDouglas Gregor 
144559527666SDouglas Gregor     case MMToken::ExcludeKeyword: {
144659527666SDouglas Gregor       SourceLocation ExcludeLoc = consumeToken();
144759527666SDouglas Gregor       if (Tok.is(MMToken::HeaderKeyword)) {
1448b53e5483SLawrence Crowl         parseHeaderDecl(MMToken::ExcludeKeyword, ExcludeLoc);
144959527666SDouglas Gregor       } else {
145059527666SDouglas Gregor         Diags.Report(Tok.getLocation(), diag::err_mmap_expected_header)
145159527666SDouglas Gregor           << "exclude";
145259527666SDouglas Gregor       }
145359527666SDouglas Gregor       break;
145459527666SDouglas Gregor     }
145559527666SDouglas Gregor 
1456b53e5483SLawrence Crowl     case MMToken::PrivateKeyword: {
1457b53e5483SLawrence Crowl       SourceLocation PrivateLoc = consumeToken();
1458b53e5483SLawrence Crowl       if (Tok.is(MMToken::HeaderKeyword)) {
1459b53e5483SLawrence Crowl         parseHeaderDecl(MMToken::PrivateKeyword, PrivateLoc);
1460b53e5483SLawrence Crowl       } else {
1461b53e5483SLawrence Crowl         Diags.Report(Tok.getLocation(), diag::err_mmap_expected_header)
1462b53e5483SLawrence Crowl           << "private";
1463b53e5483SLawrence Crowl       }
1464b53e5483SLawrence Crowl       break;
1465b53e5483SLawrence Crowl     }
1466b53e5483SLawrence Crowl 
1467322f633cSDouglas Gregor     case MMToken::HeaderKeyword:
1468b53e5483SLawrence Crowl       parseHeaderDecl(MMToken::HeaderKeyword, SourceLocation());
1469718292f2SDouglas Gregor       break;
1470718292f2SDouglas Gregor 
14716ddfca91SDouglas Gregor     case MMToken::LinkKeyword:
14726ddfca91SDouglas Gregor       parseLinkDecl();
14736ddfca91SDouglas Gregor       break;
14746ddfca91SDouglas Gregor 
1475718292f2SDouglas Gregor     default:
1476718292f2SDouglas Gregor       Diags.Report(Tok.getLocation(), diag::err_mmap_expected_member);
1477718292f2SDouglas Gregor       consumeToken();
1478718292f2SDouglas Gregor       break;
1479718292f2SDouglas Gregor     }
1480718292f2SDouglas Gregor   } while (!Done);
1481718292f2SDouglas Gregor 
1482718292f2SDouglas Gregor   if (Tok.is(MMToken::RBrace))
1483718292f2SDouglas Gregor     consumeToken();
1484718292f2SDouglas Gregor   else {
1485718292f2SDouglas Gregor     Diags.Report(Tok.getLocation(), diag::err_mmap_expected_rbrace);
1486718292f2SDouglas Gregor     Diags.Report(LBraceLoc, diag::note_mmap_lbrace_match);
1487718292f2SDouglas Gregor     HadError = true;
1488718292f2SDouglas Gregor   }
1489718292f2SDouglas Gregor 
149011dfe6feSDouglas Gregor   // If the active module is a top-level framework, and there are no link
149111dfe6feSDouglas Gregor   // libraries, automatically link against the framework.
149211dfe6feSDouglas Gregor   if (ActiveModule->IsFramework && !ActiveModule->isSubFramework() &&
149311dfe6feSDouglas Gregor       ActiveModule->LinkLibraries.empty()) {
149411dfe6feSDouglas Gregor     inferFrameworkLink(ActiveModule, Directory, SourceMgr.getFileManager());
149511dfe6feSDouglas Gregor   }
149611dfe6feSDouglas Gregor 
1497ec8c9752SBen Langmuir   // If the module meets all requirements but is still unavailable, mark the
1498ec8c9752SBen Langmuir   // whole tree as unavailable to prevent it from building.
1499ec8c9752SBen Langmuir   if (!ActiveModule->IsAvailable && !ActiveModule->IsMissingRequirement &&
1500ec8c9752SBen Langmuir       ActiveModule->Parent) {
1501ec8c9752SBen Langmuir     ActiveModule->getTopLevelModule()->markUnavailable();
1502ec8c9752SBen Langmuir     ActiveModule->getTopLevelModule()->MissingHeaders.append(
1503ec8c9752SBen Langmuir       ActiveModule->MissingHeaders.begin(), ActiveModule->MissingHeaders.end());
1504ec8c9752SBen Langmuir   }
1505ec8c9752SBen Langmuir 
1506e7ab3669SDouglas Gregor   // We're done parsing this module. Pop back to the previous module.
1507e7ab3669SDouglas Gregor   ActiveModule = PreviousActiveModule;
1508718292f2SDouglas Gregor }
1509718292f2SDouglas Gregor 
151097292843SDaniel Jasper /// \brief Parse an extern module declaration.
151197292843SDaniel Jasper ///
151297292843SDaniel Jasper ///   extern module-declaration:
151397292843SDaniel Jasper ///     'extern' 'module' module-id string-literal
151497292843SDaniel Jasper void ModuleMapParser::parseExternModuleDecl() {
151597292843SDaniel Jasper   assert(Tok.is(MMToken::ExternKeyword));
151697292843SDaniel Jasper   consumeToken(); // 'extern' keyword
151797292843SDaniel Jasper 
151897292843SDaniel Jasper   // Parse 'module' keyword.
151997292843SDaniel Jasper   if (!Tok.is(MMToken::ModuleKeyword)) {
152097292843SDaniel Jasper     Diags.Report(Tok.getLocation(), diag::err_mmap_expected_module);
152197292843SDaniel Jasper     consumeToken();
152297292843SDaniel Jasper     HadError = true;
152397292843SDaniel Jasper     return;
152497292843SDaniel Jasper   }
152597292843SDaniel Jasper   consumeToken(); // 'module' keyword
152697292843SDaniel Jasper 
152797292843SDaniel Jasper   // Parse the module name.
152897292843SDaniel Jasper   ModuleId Id;
152997292843SDaniel Jasper   if (parseModuleId(Id)) {
153097292843SDaniel Jasper     HadError = true;
153197292843SDaniel Jasper     return;
153297292843SDaniel Jasper   }
153397292843SDaniel Jasper 
153497292843SDaniel Jasper   // Parse the referenced module map file name.
153597292843SDaniel Jasper   if (!Tok.is(MMToken::StringLiteral)) {
153697292843SDaniel Jasper     Diags.Report(Tok.getLocation(), diag::err_mmap_expected_mmap_file);
153797292843SDaniel Jasper     HadError = true;
153897292843SDaniel Jasper     return;
153997292843SDaniel Jasper   }
154097292843SDaniel Jasper   std::string FileName = Tok.getString();
154197292843SDaniel Jasper   consumeToken(); // filename
154297292843SDaniel Jasper 
154397292843SDaniel Jasper   StringRef FileNameRef = FileName;
154497292843SDaniel Jasper   SmallString<128> ModuleMapFileName;
154597292843SDaniel Jasper   if (llvm::sys::path::is_relative(FileNameRef)) {
154697292843SDaniel Jasper     ModuleMapFileName += Directory->getName();
154797292843SDaniel Jasper     llvm::sys::path::append(ModuleMapFileName, FileName);
154897292843SDaniel Jasper     FileNameRef = ModuleMapFileName.str();
154997292843SDaniel Jasper   }
155097292843SDaniel Jasper   if (const FileEntry *File = SourceMgr.getFileManager().getFile(FileNameRef))
155197292843SDaniel Jasper     Map.parseModuleMapFile(File, /*IsSystem=*/false);
155297292843SDaniel Jasper }
155397292843SDaniel Jasper 
15541fb5c3a6SDouglas Gregor /// \brief Parse a requires declaration.
15551fb5c3a6SDouglas Gregor ///
15561fb5c3a6SDouglas Gregor ///   requires-declaration:
15571fb5c3a6SDouglas Gregor ///     'requires' feature-list
15581fb5c3a6SDouglas Gregor ///
15591fb5c3a6SDouglas Gregor ///   feature-list:
1560a3feee2aSRichard Smith ///     feature ',' feature-list
1561a3feee2aSRichard Smith ///     feature
1562a3feee2aSRichard Smith ///
1563a3feee2aSRichard Smith ///   feature:
1564a3feee2aSRichard Smith ///     '!'[opt] identifier
15651fb5c3a6SDouglas Gregor void ModuleMapParser::parseRequiresDecl() {
15661fb5c3a6SDouglas Gregor   assert(Tok.is(MMToken::RequiresKeyword));
15671fb5c3a6SDouglas Gregor 
15681fb5c3a6SDouglas Gregor   // Parse 'requires' keyword.
15691fb5c3a6SDouglas Gregor   consumeToken();
15701fb5c3a6SDouglas Gregor 
15711fb5c3a6SDouglas Gregor   // Parse the feature-list.
15721fb5c3a6SDouglas Gregor   do {
1573a3feee2aSRichard Smith     bool RequiredState = true;
1574a3feee2aSRichard Smith     if (Tok.is(MMToken::Exclaim)) {
1575a3feee2aSRichard Smith       RequiredState = false;
1576a3feee2aSRichard Smith       consumeToken();
1577a3feee2aSRichard Smith     }
1578a3feee2aSRichard Smith 
15791fb5c3a6SDouglas Gregor     if (!Tok.is(MMToken::Identifier)) {
15801fb5c3a6SDouglas Gregor       Diags.Report(Tok.getLocation(), diag::err_mmap_expected_feature);
15811fb5c3a6SDouglas Gregor       HadError = true;
15821fb5c3a6SDouglas Gregor       return;
15831fb5c3a6SDouglas Gregor     }
15841fb5c3a6SDouglas Gregor 
15851fb5c3a6SDouglas Gregor     // Consume the feature name.
15861fb5c3a6SDouglas Gregor     std::string Feature = Tok.getString();
15871fb5c3a6SDouglas Gregor     consumeToken();
15881fb5c3a6SDouglas Gregor 
15891fb5c3a6SDouglas Gregor     // Add this feature.
1590a3feee2aSRichard Smith     ActiveModule->addRequirement(Feature, RequiredState,
1591a3feee2aSRichard Smith                                  Map.LangOpts, *Map.Target);
15921fb5c3a6SDouglas Gregor 
15931fb5c3a6SDouglas Gregor     if (!Tok.is(MMToken::Comma))
15941fb5c3a6SDouglas Gregor       break;
15951fb5c3a6SDouglas Gregor 
15961fb5c3a6SDouglas Gregor     // Consume the comma.
15971fb5c3a6SDouglas Gregor     consumeToken();
15981fb5c3a6SDouglas Gregor   } while (true);
15991fb5c3a6SDouglas Gregor }
16001fb5c3a6SDouglas Gregor 
1601f2161a70SDouglas Gregor /// \brief Append to \p Paths the set of paths needed to get to the
1602f2161a70SDouglas Gregor /// subframework in which the given module lives.
1603bf8da9d7SBenjamin Kramer static void appendSubframeworkPaths(Module *Mod,
1604f857950dSDmitri Gribenko                                     SmallVectorImpl<char> &Path) {
1605f2161a70SDouglas Gregor   // Collect the framework names from the given module to the top-level module.
1606f857950dSDmitri Gribenko   SmallVector<StringRef, 2> Paths;
1607f2161a70SDouglas Gregor   for (; Mod; Mod = Mod->Parent) {
1608f2161a70SDouglas Gregor     if (Mod->IsFramework)
1609f2161a70SDouglas Gregor       Paths.push_back(Mod->Name);
1610f2161a70SDouglas Gregor   }
1611f2161a70SDouglas Gregor 
1612f2161a70SDouglas Gregor   if (Paths.empty())
1613f2161a70SDouglas Gregor     return;
1614f2161a70SDouglas Gregor 
1615f2161a70SDouglas Gregor   // Add Frameworks/Name.framework for each subframework.
161617381a06SBenjamin Kramer   for (unsigned I = Paths.size() - 1; I != 0; --I)
161717381a06SBenjamin Kramer     llvm::sys::path::append(Path, "Frameworks", Paths[I-1] + ".framework");
1618f2161a70SDouglas Gregor }
1619f2161a70SDouglas Gregor 
1620718292f2SDouglas Gregor /// \brief Parse a header declaration.
1621718292f2SDouglas Gregor ///
1622718292f2SDouglas Gregor ///   header-declaration:
1623322f633cSDouglas Gregor ///     'umbrella'[opt] 'header' string-literal
162459527666SDouglas Gregor ///     'exclude'[opt] 'header' string-literal
1625b53e5483SLawrence Crowl void ModuleMapParser::parseHeaderDecl(MMToken::TokenKind LeadingToken,
1626b53e5483SLawrence Crowl                                       SourceLocation LeadingLoc) {
1627718292f2SDouglas Gregor   assert(Tok.is(MMToken::HeaderKeyword));
16281871ed3dSBenjamin Kramer   consumeToken();
1629718292f2SDouglas Gregor 
1630718292f2SDouglas Gregor   // Parse the header name.
1631718292f2SDouglas Gregor   if (!Tok.is(MMToken::StringLiteral)) {
1632718292f2SDouglas Gregor     Diags.Report(Tok.getLocation(), diag::err_mmap_expected_header)
1633718292f2SDouglas Gregor       << "header";
1634718292f2SDouglas Gregor     HadError = true;
1635718292f2SDouglas Gregor     return;
1636718292f2SDouglas Gregor   }
16370761a8a0SDaniel Jasper   Module::HeaderDirective Header;
16380761a8a0SDaniel Jasper   Header.FileName = Tok.getString();
16390761a8a0SDaniel Jasper   Header.FileNameLoc = consumeToken();
1640718292f2SDouglas Gregor 
1641524e33e1SDouglas Gregor   // Check whether we already have an umbrella.
1642b53e5483SLawrence Crowl   if (LeadingToken == MMToken::UmbrellaKeyword && ActiveModule->Umbrella) {
16430761a8a0SDaniel Jasper     Diags.Report(Header.FileNameLoc, diag::err_mmap_umbrella_clash)
1644524e33e1SDouglas Gregor       << ActiveModule->getFullModuleName();
1645322f633cSDouglas Gregor     HadError = true;
1646322f633cSDouglas Gregor     return;
1647322f633cSDouglas Gregor   }
1648322f633cSDouglas Gregor 
16495257fc63SDouglas Gregor   // Look for this file.
1650*d2d442caSCraig Topper   const FileEntry *File = nullptr;
1651*d2d442caSCraig Topper   const FileEntry *BuiltinFile = nullptr;
16522c1dd271SDylan Noblesmith   SmallString<128> PathName;
16530761a8a0SDaniel Jasper   if (llvm::sys::path::is_absolute(Header.FileName)) {
16540761a8a0SDaniel Jasper     PathName = Header.FileName;
1655e7ab3669SDouglas Gregor     File = SourceMgr.getFileManager().getFile(PathName);
1656e7ab3669SDouglas Gregor   } else {
1657e7ab3669SDouglas Gregor     // Search for the header file within the search directory.
16587033127bSDouglas Gregor     PathName = Directory->getName();
1659e7ab3669SDouglas Gregor     unsigned PathLength = PathName.size();
1660755b2055SDouglas Gregor 
1661f2161a70SDouglas Gregor     if (ActiveModule->isPartOfFramework()) {
1662f2161a70SDouglas Gregor       appendSubframeworkPaths(ActiveModule, PathName);
1663755b2055SDouglas Gregor 
1664e7ab3669SDouglas Gregor       // Check whether this file is in the public headers.
16650761a8a0SDaniel Jasper       llvm::sys::path::append(PathName, "Headers", Header.FileName);
1666e7ab3669SDouglas Gregor       File = SourceMgr.getFileManager().getFile(PathName);
1667e7ab3669SDouglas Gregor 
1668e7ab3669SDouglas Gregor       if (!File) {
1669e7ab3669SDouglas Gregor         // Check whether this file is in the private headers.
1670e7ab3669SDouglas Gregor         PathName.resize(PathLength);
16710761a8a0SDaniel Jasper         llvm::sys::path::append(PathName, "PrivateHeaders", Header.FileName);
1672e7ab3669SDouglas Gregor         File = SourceMgr.getFileManager().getFile(PathName);
1673e7ab3669SDouglas Gregor       }
1674e7ab3669SDouglas Gregor     } else {
1675e7ab3669SDouglas Gregor       // Lookup for normal headers.
16760761a8a0SDaniel Jasper       llvm::sys::path::append(PathName, Header.FileName);
1677e7ab3669SDouglas Gregor       File = SourceMgr.getFileManager().getFile(PathName);
16783ec6663bSDouglas Gregor 
16793ec6663bSDouglas Gregor       // If this is a system module with a top-level header, this header
16803ec6663bSDouglas Gregor       // may have a counterpart (or replacement) in the set of headers
16813ec6663bSDouglas Gregor       // supplied by Clang. Find that builtin header.
1682b53e5483SLawrence Crowl       if (ActiveModule->IsSystem && LeadingToken != MMToken::UmbrellaKeyword &&
1683b53e5483SLawrence Crowl           BuiltinIncludeDir && BuiltinIncludeDir != Directory &&
16840761a8a0SDaniel Jasper           isBuiltinHeader(Header.FileName)) {
16852c1dd271SDylan Noblesmith         SmallString<128> BuiltinPathName(BuiltinIncludeDir->getName());
16860761a8a0SDaniel Jasper         llvm::sys::path::append(BuiltinPathName, Header.FileName);
16873ec6663bSDouglas Gregor         BuiltinFile = SourceMgr.getFileManager().getFile(BuiltinPathName);
16883ec6663bSDouglas Gregor 
16893ec6663bSDouglas Gregor         // If Clang supplies this header but the underlying system does not,
16903ec6663bSDouglas Gregor         // just silently swap in our builtin version. Otherwise, we'll end
16913ec6663bSDouglas Gregor         // up adding both (later).
16923ec6663bSDouglas Gregor         if (!File && BuiltinFile) {
16933ec6663bSDouglas Gregor           File = BuiltinFile;
1694*d2d442caSCraig Topper           BuiltinFile = nullptr;
16953ec6663bSDouglas Gregor         }
16963ec6663bSDouglas Gregor       }
1697e7ab3669SDouglas Gregor     }
1698e7ab3669SDouglas Gregor   }
16995257fc63SDouglas Gregor 
17005257fc63SDouglas Gregor   // FIXME: We shouldn't be eagerly stat'ing every file named in a module map.
17015257fc63SDouglas Gregor   // Come up with a lazy way to do this.
1702e7ab3669SDouglas Gregor   if (File) {
170397da9178SDaniel Jasper     if (LeadingToken == MMToken::UmbrellaKeyword) {
1704322f633cSDouglas Gregor       const DirectoryEntry *UmbrellaDir = File->getDir();
170559527666SDouglas Gregor       if (Module *UmbrellaModule = Map.UmbrellaDirs[UmbrellaDir]) {
1706b53e5483SLawrence Crowl         Diags.Report(LeadingLoc, diag::err_mmap_umbrella_clash)
170759527666SDouglas Gregor           << UmbrellaModule->getFullModuleName();
1708322f633cSDouglas Gregor         HadError = true;
17095257fc63SDouglas Gregor       } else {
1710322f633cSDouglas Gregor         // Record this umbrella header.
1711322f633cSDouglas Gregor         Map.setUmbrellaHeader(ActiveModule, File);
1712322f633cSDouglas Gregor       }
1713322f633cSDouglas Gregor     } else {
1714322f633cSDouglas Gregor       // Record this header.
1715b53e5483SLawrence Crowl       ModuleMap::ModuleHeaderRole Role = ModuleMap::NormalHeader;
1716b53e5483SLawrence Crowl       if (LeadingToken == MMToken::ExcludeKeyword)
1717b53e5483SLawrence Crowl         Role = ModuleMap::ExcludedHeader;
1718b53e5483SLawrence Crowl       else if (LeadingToken == MMToken::PrivateKeyword)
1719b53e5483SLawrence Crowl         Role = ModuleMap::PrivateHeader;
1720b53e5483SLawrence Crowl       else
1721b53e5483SLawrence Crowl         assert(LeadingToken == MMToken::HeaderKeyword);
1722b53e5483SLawrence Crowl 
1723b53e5483SLawrence Crowl       Map.addHeader(ActiveModule, File, Role);
17243ec6663bSDouglas Gregor 
17253ec6663bSDouglas Gregor       // If there is a builtin counterpart to this file, add it now.
17263ec6663bSDouglas Gregor       if (BuiltinFile)
1727b53e5483SLawrence Crowl         Map.addHeader(ActiveModule, BuiltinFile, Role);
17285257fc63SDouglas Gregor     }
1729b53e5483SLawrence Crowl   } else if (LeadingToken != MMToken::ExcludeKeyword) {
17304b27a64bSDouglas Gregor     // Ignore excluded header files. They're optional anyway.
17314b27a64bSDouglas Gregor 
17320761a8a0SDaniel Jasper     // If we find a module that has a missing header, we mark this module as
17330761a8a0SDaniel Jasper     // unavailable and store the header directive for displaying diagnostics.
17340761a8a0SDaniel Jasper     Header.IsUmbrella = LeadingToken == MMToken::UmbrellaKeyword;
1735ec8c9752SBen Langmuir     ActiveModule->markUnavailable();
17360761a8a0SDaniel Jasper     ActiveModule->MissingHeaders.push_back(Header);
17375257fc63SDouglas Gregor   }
1738718292f2SDouglas Gregor }
1739718292f2SDouglas Gregor 
1740524e33e1SDouglas Gregor /// \brief Parse an umbrella directory declaration.
1741524e33e1SDouglas Gregor ///
1742524e33e1SDouglas Gregor ///   umbrella-dir-declaration:
1743524e33e1SDouglas Gregor ///     umbrella string-literal
1744524e33e1SDouglas Gregor void ModuleMapParser::parseUmbrellaDirDecl(SourceLocation UmbrellaLoc) {
1745524e33e1SDouglas Gregor   // Parse the directory name.
1746524e33e1SDouglas Gregor   if (!Tok.is(MMToken::StringLiteral)) {
1747524e33e1SDouglas Gregor     Diags.Report(Tok.getLocation(), diag::err_mmap_expected_header)
1748524e33e1SDouglas Gregor       << "umbrella";
1749524e33e1SDouglas Gregor     HadError = true;
1750524e33e1SDouglas Gregor     return;
1751524e33e1SDouglas Gregor   }
1752524e33e1SDouglas Gregor 
1753524e33e1SDouglas Gregor   std::string DirName = Tok.getString();
1754524e33e1SDouglas Gregor   SourceLocation DirNameLoc = consumeToken();
1755524e33e1SDouglas Gregor 
1756524e33e1SDouglas Gregor   // Check whether we already have an umbrella.
1757524e33e1SDouglas Gregor   if (ActiveModule->Umbrella) {
1758524e33e1SDouglas Gregor     Diags.Report(DirNameLoc, diag::err_mmap_umbrella_clash)
1759524e33e1SDouglas Gregor       << ActiveModule->getFullModuleName();
1760524e33e1SDouglas Gregor     HadError = true;
1761524e33e1SDouglas Gregor     return;
1762524e33e1SDouglas Gregor   }
1763524e33e1SDouglas Gregor 
1764524e33e1SDouglas Gregor   // Look for this file.
1765*d2d442caSCraig Topper   const DirectoryEntry *Dir = nullptr;
1766524e33e1SDouglas Gregor   if (llvm::sys::path::is_absolute(DirName))
1767524e33e1SDouglas Gregor     Dir = SourceMgr.getFileManager().getDirectory(DirName);
1768524e33e1SDouglas Gregor   else {
17692c1dd271SDylan Noblesmith     SmallString<128> PathName;
1770524e33e1SDouglas Gregor     PathName = Directory->getName();
1771524e33e1SDouglas Gregor     llvm::sys::path::append(PathName, DirName);
1772524e33e1SDouglas Gregor     Dir = SourceMgr.getFileManager().getDirectory(PathName);
1773524e33e1SDouglas Gregor   }
1774524e33e1SDouglas Gregor 
1775524e33e1SDouglas Gregor   if (!Dir) {
1776524e33e1SDouglas Gregor     Diags.Report(DirNameLoc, diag::err_mmap_umbrella_dir_not_found)
1777524e33e1SDouglas Gregor       << DirName;
1778524e33e1SDouglas Gregor     HadError = true;
1779524e33e1SDouglas Gregor     return;
1780524e33e1SDouglas Gregor   }
1781524e33e1SDouglas Gregor 
1782524e33e1SDouglas Gregor   if (Module *OwningModule = Map.UmbrellaDirs[Dir]) {
1783524e33e1SDouglas Gregor     Diags.Report(UmbrellaLoc, diag::err_mmap_umbrella_clash)
1784524e33e1SDouglas Gregor       << OwningModule->getFullModuleName();
1785524e33e1SDouglas Gregor     HadError = true;
1786524e33e1SDouglas Gregor     return;
1787524e33e1SDouglas Gregor   }
1788524e33e1SDouglas Gregor 
1789524e33e1SDouglas Gregor   // Record this umbrella directory.
1790524e33e1SDouglas Gregor   Map.setUmbrellaDir(ActiveModule, Dir);
1791524e33e1SDouglas Gregor }
1792524e33e1SDouglas Gregor 
17932b82c2a5SDouglas Gregor /// \brief Parse a module export declaration.
17942b82c2a5SDouglas Gregor ///
17952b82c2a5SDouglas Gregor ///   export-declaration:
17962b82c2a5SDouglas Gregor ///     'export' wildcard-module-id
17972b82c2a5SDouglas Gregor ///
17982b82c2a5SDouglas Gregor ///   wildcard-module-id:
17992b82c2a5SDouglas Gregor ///     identifier
18002b82c2a5SDouglas Gregor ///     '*'
18012b82c2a5SDouglas Gregor ///     identifier '.' wildcard-module-id
18022b82c2a5SDouglas Gregor void ModuleMapParser::parseExportDecl() {
18032b82c2a5SDouglas Gregor   assert(Tok.is(MMToken::ExportKeyword));
18042b82c2a5SDouglas Gregor   SourceLocation ExportLoc = consumeToken();
18052b82c2a5SDouglas Gregor 
18062b82c2a5SDouglas Gregor   // Parse the module-id with an optional wildcard at the end.
18072b82c2a5SDouglas Gregor   ModuleId ParsedModuleId;
18082b82c2a5SDouglas Gregor   bool Wildcard = false;
18092b82c2a5SDouglas Gregor   do {
18102b82c2a5SDouglas Gregor     if (Tok.is(MMToken::Identifier)) {
18112b82c2a5SDouglas Gregor       ParsedModuleId.push_back(std::make_pair(Tok.getString(),
18122b82c2a5SDouglas Gregor                                               Tok.getLocation()));
18132b82c2a5SDouglas Gregor       consumeToken();
18142b82c2a5SDouglas Gregor 
18152b82c2a5SDouglas Gregor       if (Tok.is(MMToken::Period)) {
18162b82c2a5SDouglas Gregor         consumeToken();
18172b82c2a5SDouglas Gregor         continue;
18182b82c2a5SDouglas Gregor       }
18192b82c2a5SDouglas Gregor 
18202b82c2a5SDouglas Gregor       break;
18212b82c2a5SDouglas Gregor     }
18222b82c2a5SDouglas Gregor 
18232b82c2a5SDouglas Gregor     if(Tok.is(MMToken::Star)) {
18242b82c2a5SDouglas Gregor       Wildcard = true;
1825f5eedd05SDouglas Gregor       consumeToken();
18262b82c2a5SDouglas Gregor       break;
18272b82c2a5SDouglas Gregor     }
18282b82c2a5SDouglas Gregor 
1829ba7f2f71SDaniel Jasper     Diags.Report(Tok.getLocation(), diag::err_mmap_module_id);
18302b82c2a5SDouglas Gregor     HadError = true;
18312b82c2a5SDouglas Gregor     return;
18322b82c2a5SDouglas Gregor   } while (true);
18332b82c2a5SDouglas Gregor 
18342b82c2a5SDouglas Gregor   Module::UnresolvedExportDecl Unresolved = {
18352b82c2a5SDouglas Gregor     ExportLoc, ParsedModuleId, Wildcard
18362b82c2a5SDouglas Gregor   };
18372b82c2a5SDouglas Gregor   ActiveModule->UnresolvedExports.push_back(Unresolved);
18382b82c2a5SDouglas Gregor }
18392b82c2a5SDouglas Gregor 
1840ba7f2f71SDaniel Jasper /// \brief Parse a module uses declaration.
1841ba7f2f71SDaniel Jasper ///
1842ba7f2f71SDaniel Jasper ///   uses-declaration:
1843ba7f2f71SDaniel Jasper ///     'uses' wildcard-module-id
1844ba7f2f71SDaniel Jasper void ModuleMapParser::parseUseDecl() {
1845ba7f2f71SDaniel Jasper   assert(Tok.is(MMToken::UseKeyword));
1846ba7f2f71SDaniel Jasper   consumeToken();
1847ba7f2f71SDaniel Jasper   // Parse the module-id.
1848ba7f2f71SDaniel Jasper   ModuleId ParsedModuleId;
18493cd34c76SDaniel Jasper   parseModuleId(ParsedModuleId);
1850ba7f2f71SDaniel Jasper 
1851ba7f2f71SDaniel Jasper   ActiveModule->UnresolvedDirectUses.push_back(ParsedModuleId);
1852ba7f2f71SDaniel Jasper }
1853ba7f2f71SDaniel Jasper 
18546ddfca91SDouglas Gregor /// \brief Parse a link declaration.
18556ddfca91SDouglas Gregor ///
18566ddfca91SDouglas Gregor ///   module-declaration:
18576ddfca91SDouglas Gregor ///     'link' 'framework'[opt] string-literal
18586ddfca91SDouglas Gregor void ModuleMapParser::parseLinkDecl() {
18596ddfca91SDouglas Gregor   assert(Tok.is(MMToken::LinkKeyword));
18606ddfca91SDouglas Gregor   SourceLocation LinkLoc = consumeToken();
18616ddfca91SDouglas Gregor 
18626ddfca91SDouglas Gregor   // Parse the optional 'framework' keyword.
18636ddfca91SDouglas Gregor   bool IsFramework = false;
18646ddfca91SDouglas Gregor   if (Tok.is(MMToken::FrameworkKeyword)) {
18656ddfca91SDouglas Gregor     consumeToken();
18666ddfca91SDouglas Gregor     IsFramework = true;
18676ddfca91SDouglas Gregor   }
18686ddfca91SDouglas Gregor 
18696ddfca91SDouglas Gregor   // Parse the library name
18706ddfca91SDouglas Gregor   if (!Tok.is(MMToken::StringLiteral)) {
18716ddfca91SDouglas Gregor     Diags.Report(Tok.getLocation(), diag::err_mmap_expected_library_name)
18726ddfca91SDouglas Gregor       << IsFramework << SourceRange(LinkLoc);
18736ddfca91SDouglas Gregor     HadError = true;
18746ddfca91SDouglas Gregor     return;
18756ddfca91SDouglas Gregor   }
18766ddfca91SDouglas Gregor 
18776ddfca91SDouglas Gregor   std::string LibraryName = Tok.getString();
18786ddfca91SDouglas Gregor   consumeToken();
18796ddfca91SDouglas Gregor   ActiveModule->LinkLibraries.push_back(Module::LinkLibrary(LibraryName,
18806ddfca91SDouglas Gregor                                                             IsFramework));
18816ddfca91SDouglas Gregor }
18826ddfca91SDouglas Gregor 
188335b13eceSDouglas Gregor /// \brief Parse a configuration macro declaration.
188435b13eceSDouglas Gregor ///
188535b13eceSDouglas Gregor ///   module-declaration:
188635b13eceSDouglas Gregor ///     'config_macros' attributes[opt] config-macro-list?
188735b13eceSDouglas Gregor ///
188835b13eceSDouglas Gregor ///   config-macro-list:
188935b13eceSDouglas Gregor ///     identifier (',' identifier)?
189035b13eceSDouglas Gregor void ModuleMapParser::parseConfigMacros() {
189135b13eceSDouglas Gregor   assert(Tok.is(MMToken::ConfigMacros));
189235b13eceSDouglas Gregor   SourceLocation ConfigMacrosLoc = consumeToken();
189335b13eceSDouglas Gregor 
189435b13eceSDouglas Gregor   // Only top-level modules can have configuration macros.
189535b13eceSDouglas Gregor   if (ActiveModule->Parent) {
189635b13eceSDouglas Gregor     Diags.Report(ConfigMacrosLoc, diag::err_mmap_config_macro_submodule);
189735b13eceSDouglas Gregor   }
189835b13eceSDouglas Gregor 
189935b13eceSDouglas Gregor   // Parse the optional attributes.
190035b13eceSDouglas Gregor   Attributes Attrs;
190135b13eceSDouglas Gregor   parseOptionalAttributes(Attrs);
190235b13eceSDouglas Gregor   if (Attrs.IsExhaustive && !ActiveModule->Parent) {
190335b13eceSDouglas Gregor     ActiveModule->ConfigMacrosExhaustive = true;
190435b13eceSDouglas Gregor   }
190535b13eceSDouglas Gregor 
190635b13eceSDouglas Gregor   // If we don't have an identifier, we're done.
190735b13eceSDouglas Gregor   if (!Tok.is(MMToken::Identifier))
190835b13eceSDouglas Gregor     return;
190935b13eceSDouglas Gregor 
191035b13eceSDouglas Gregor   // Consume the first identifier.
191135b13eceSDouglas Gregor   if (!ActiveModule->Parent) {
191235b13eceSDouglas Gregor     ActiveModule->ConfigMacros.push_back(Tok.getString().str());
191335b13eceSDouglas Gregor   }
191435b13eceSDouglas Gregor   consumeToken();
191535b13eceSDouglas Gregor 
191635b13eceSDouglas Gregor   do {
191735b13eceSDouglas Gregor     // If there's a comma, consume it.
191835b13eceSDouglas Gregor     if (!Tok.is(MMToken::Comma))
191935b13eceSDouglas Gregor       break;
192035b13eceSDouglas Gregor     consumeToken();
192135b13eceSDouglas Gregor 
192235b13eceSDouglas Gregor     // We expect to see a macro name here.
192335b13eceSDouglas Gregor     if (!Tok.is(MMToken::Identifier)) {
192435b13eceSDouglas Gregor       Diags.Report(Tok.getLocation(), diag::err_mmap_expected_config_macro);
192535b13eceSDouglas Gregor       break;
192635b13eceSDouglas Gregor     }
192735b13eceSDouglas Gregor 
192835b13eceSDouglas Gregor     // Consume the macro name.
192935b13eceSDouglas Gregor     if (!ActiveModule->Parent) {
193035b13eceSDouglas Gregor       ActiveModule->ConfigMacros.push_back(Tok.getString().str());
193135b13eceSDouglas Gregor     }
193235b13eceSDouglas Gregor     consumeToken();
193335b13eceSDouglas Gregor   } while (true);
193435b13eceSDouglas Gregor }
193535b13eceSDouglas Gregor 
1936fb912657SDouglas Gregor /// \brief Format a module-id into a string.
1937fb912657SDouglas Gregor static std::string formatModuleId(const ModuleId &Id) {
1938fb912657SDouglas Gregor   std::string result;
1939fb912657SDouglas Gregor   {
1940fb912657SDouglas Gregor     llvm::raw_string_ostream OS(result);
1941fb912657SDouglas Gregor 
1942fb912657SDouglas Gregor     for (unsigned I = 0, N = Id.size(); I != N; ++I) {
1943fb912657SDouglas Gregor       if (I)
1944fb912657SDouglas Gregor         OS << ".";
1945fb912657SDouglas Gregor       OS << Id[I].first;
1946fb912657SDouglas Gregor     }
1947fb912657SDouglas Gregor   }
1948fb912657SDouglas Gregor 
1949fb912657SDouglas Gregor   return result;
1950fb912657SDouglas Gregor }
1951fb912657SDouglas Gregor 
1952fb912657SDouglas Gregor /// \brief Parse a conflict declaration.
1953fb912657SDouglas Gregor ///
1954fb912657SDouglas Gregor ///   module-declaration:
1955fb912657SDouglas Gregor ///     'conflict' module-id ',' string-literal
1956fb912657SDouglas Gregor void ModuleMapParser::parseConflict() {
1957fb912657SDouglas Gregor   assert(Tok.is(MMToken::Conflict));
1958fb912657SDouglas Gregor   SourceLocation ConflictLoc = consumeToken();
1959fb912657SDouglas Gregor   Module::UnresolvedConflict Conflict;
1960fb912657SDouglas Gregor 
1961fb912657SDouglas Gregor   // Parse the module-id.
1962fb912657SDouglas Gregor   if (parseModuleId(Conflict.Id))
1963fb912657SDouglas Gregor     return;
1964fb912657SDouglas Gregor 
1965fb912657SDouglas Gregor   // Parse the ','.
1966fb912657SDouglas Gregor   if (!Tok.is(MMToken::Comma)) {
1967fb912657SDouglas Gregor     Diags.Report(Tok.getLocation(), diag::err_mmap_expected_conflicts_comma)
1968fb912657SDouglas Gregor       << SourceRange(ConflictLoc);
1969fb912657SDouglas Gregor     return;
1970fb912657SDouglas Gregor   }
1971fb912657SDouglas Gregor   consumeToken();
1972fb912657SDouglas Gregor 
1973fb912657SDouglas Gregor   // Parse the message.
1974fb912657SDouglas Gregor   if (!Tok.is(MMToken::StringLiteral)) {
1975fb912657SDouglas Gregor     Diags.Report(Tok.getLocation(), diag::err_mmap_expected_conflicts_message)
1976fb912657SDouglas Gregor       << formatModuleId(Conflict.Id);
1977fb912657SDouglas Gregor     return;
1978fb912657SDouglas Gregor   }
1979fb912657SDouglas Gregor   Conflict.Message = Tok.getString().str();
1980fb912657SDouglas Gregor   consumeToken();
1981fb912657SDouglas Gregor 
1982fb912657SDouglas Gregor   // Add this unresolved conflict.
1983fb912657SDouglas Gregor   ActiveModule->UnresolvedConflicts.push_back(Conflict);
1984fb912657SDouglas Gregor }
1985fb912657SDouglas Gregor 
19866ddfca91SDouglas Gregor /// \brief Parse an inferred module declaration (wildcard modules).
19879194a91dSDouglas Gregor ///
19889194a91dSDouglas Gregor ///   module-declaration:
19899194a91dSDouglas Gregor ///     'explicit'[opt] 'framework'[opt] 'module' * attributes[opt]
19909194a91dSDouglas Gregor ///       { inferred-module-member* }
19919194a91dSDouglas Gregor ///
19929194a91dSDouglas Gregor ///   inferred-module-member:
19939194a91dSDouglas Gregor ///     'export' '*'
19949194a91dSDouglas Gregor ///     'exclude' identifier
19959194a91dSDouglas Gregor void ModuleMapParser::parseInferredModuleDecl(bool Framework, bool Explicit) {
199673441091SDouglas Gregor   assert(Tok.is(MMToken::Star));
199773441091SDouglas Gregor   SourceLocation StarLoc = consumeToken();
199873441091SDouglas Gregor   bool Failed = false;
199973441091SDouglas Gregor 
200073441091SDouglas Gregor   // Inferred modules must be submodules.
20019194a91dSDouglas Gregor   if (!ActiveModule && !Framework) {
200273441091SDouglas Gregor     Diags.Report(StarLoc, diag::err_mmap_top_level_inferred_submodule);
200373441091SDouglas Gregor     Failed = true;
200473441091SDouglas Gregor   }
200573441091SDouglas Gregor 
20069194a91dSDouglas Gregor   if (ActiveModule) {
2007524e33e1SDouglas Gregor     // Inferred modules must have umbrella directories.
20084898cde4SBen Langmuir     if (!Failed && ActiveModule->IsAvailable &&
20094898cde4SBen Langmuir         !ActiveModule->getUmbrellaDir()) {
201073441091SDouglas Gregor       Diags.Report(StarLoc, diag::err_mmap_inferred_no_umbrella);
201173441091SDouglas Gregor       Failed = true;
201273441091SDouglas Gregor     }
201373441091SDouglas Gregor 
201473441091SDouglas Gregor     // Check for redefinition of an inferred module.
2015dd005f69SDouglas Gregor     if (!Failed && ActiveModule->InferSubmodules) {
201673441091SDouglas Gregor       Diags.Report(StarLoc, diag::err_mmap_inferred_redef);
2017dd005f69SDouglas Gregor       if (ActiveModule->InferredSubmoduleLoc.isValid())
2018dd005f69SDouglas Gregor         Diags.Report(ActiveModule->InferredSubmoduleLoc,
201973441091SDouglas Gregor                      diag::note_mmap_prev_definition);
202073441091SDouglas Gregor       Failed = true;
202173441091SDouglas Gregor     }
202273441091SDouglas Gregor 
20239194a91dSDouglas Gregor     // Check for the 'framework' keyword, which is not permitted here.
20249194a91dSDouglas Gregor     if (Framework) {
20259194a91dSDouglas Gregor       Diags.Report(StarLoc, diag::err_mmap_inferred_framework_submodule);
20269194a91dSDouglas Gregor       Framework = false;
20279194a91dSDouglas Gregor     }
20289194a91dSDouglas Gregor   } else if (Explicit) {
20299194a91dSDouglas Gregor     Diags.Report(StarLoc, diag::err_mmap_explicit_inferred_framework);
20309194a91dSDouglas Gregor     Explicit = false;
20319194a91dSDouglas Gregor   }
20329194a91dSDouglas Gregor 
203373441091SDouglas Gregor   // If there were any problems with this inferred submodule, skip its body.
203473441091SDouglas Gregor   if (Failed) {
203573441091SDouglas Gregor     if (Tok.is(MMToken::LBrace)) {
203673441091SDouglas Gregor       consumeToken();
203773441091SDouglas Gregor       skipUntil(MMToken::RBrace);
203873441091SDouglas Gregor       if (Tok.is(MMToken::RBrace))
203973441091SDouglas Gregor         consumeToken();
204073441091SDouglas Gregor     }
204173441091SDouglas Gregor     HadError = true;
204273441091SDouglas Gregor     return;
204373441091SDouglas Gregor   }
204473441091SDouglas Gregor 
20459194a91dSDouglas Gregor   // Parse optional attributes.
20464442605fSBill Wendling   Attributes Attrs;
20479194a91dSDouglas Gregor   parseOptionalAttributes(Attrs);
20489194a91dSDouglas Gregor 
20499194a91dSDouglas Gregor   if (ActiveModule) {
205073441091SDouglas Gregor     // Note that we have an inferred submodule.
2051dd005f69SDouglas Gregor     ActiveModule->InferSubmodules = true;
2052dd005f69SDouglas Gregor     ActiveModule->InferredSubmoduleLoc = StarLoc;
2053dd005f69SDouglas Gregor     ActiveModule->InferExplicitSubmodules = Explicit;
20549194a91dSDouglas Gregor   } else {
20559194a91dSDouglas Gregor     // We'll be inferring framework modules for this directory.
20569194a91dSDouglas Gregor     Map.InferredDirectories[Directory].InferModules = true;
20579194a91dSDouglas Gregor     Map.InferredDirectories[Directory].InferSystemModules = Attrs.IsSystem;
2058beee15e7SBen Langmuir     Map.InferredDirectories[Directory].ModuleMapFile = ModuleMapFile;
2059131daca0SRichard Smith     // FIXME: Handle the 'framework' keyword.
20609194a91dSDouglas Gregor   }
206173441091SDouglas Gregor 
206273441091SDouglas Gregor   // Parse the opening brace.
206373441091SDouglas Gregor   if (!Tok.is(MMToken::LBrace)) {
206473441091SDouglas Gregor     Diags.Report(Tok.getLocation(), diag::err_mmap_expected_lbrace_wildcard);
206573441091SDouglas Gregor     HadError = true;
206673441091SDouglas Gregor     return;
206773441091SDouglas Gregor   }
206873441091SDouglas Gregor   SourceLocation LBraceLoc = consumeToken();
206973441091SDouglas Gregor 
207073441091SDouglas Gregor   // Parse the body of the inferred submodule.
207173441091SDouglas Gregor   bool Done = false;
207273441091SDouglas Gregor   do {
207373441091SDouglas Gregor     switch (Tok.Kind) {
207473441091SDouglas Gregor     case MMToken::EndOfFile:
207573441091SDouglas Gregor     case MMToken::RBrace:
207673441091SDouglas Gregor       Done = true;
207773441091SDouglas Gregor       break;
207873441091SDouglas Gregor 
20799194a91dSDouglas Gregor     case MMToken::ExcludeKeyword: {
20809194a91dSDouglas Gregor       if (ActiveModule) {
20819194a91dSDouglas Gregor         Diags.Report(Tok.getLocation(), diag::err_mmap_expected_inferred_member)
2082*d2d442caSCraig Topper           << (ActiveModule != nullptr);
20839194a91dSDouglas Gregor         consumeToken();
20849194a91dSDouglas Gregor         break;
20859194a91dSDouglas Gregor       }
20869194a91dSDouglas Gregor 
20879194a91dSDouglas Gregor       consumeToken();
20889194a91dSDouglas Gregor       if (!Tok.is(MMToken::Identifier)) {
20899194a91dSDouglas Gregor         Diags.Report(Tok.getLocation(), diag::err_mmap_missing_exclude_name);
20909194a91dSDouglas Gregor         break;
20919194a91dSDouglas Gregor       }
20929194a91dSDouglas Gregor 
20939194a91dSDouglas Gregor       Map.InferredDirectories[Directory].ExcludedModules
20949194a91dSDouglas Gregor         .push_back(Tok.getString());
20959194a91dSDouglas Gregor       consumeToken();
20969194a91dSDouglas Gregor       break;
20979194a91dSDouglas Gregor     }
20989194a91dSDouglas Gregor 
20999194a91dSDouglas Gregor     case MMToken::ExportKeyword:
21009194a91dSDouglas Gregor       if (!ActiveModule) {
21019194a91dSDouglas Gregor         Diags.Report(Tok.getLocation(), diag::err_mmap_expected_inferred_member)
2102*d2d442caSCraig Topper           << (ActiveModule != nullptr);
21039194a91dSDouglas Gregor         consumeToken();
21049194a91dSDouglas Gregor         break;
21059194a91dSDouglas Gregor       }
21069194a91dSDouglas Gregor 
210773441091SDouglas Gregor       consumeToken();
210873441091SDouglas Gregor       if (Tok.is(MMToken::Star))
2109dd005f69SDouglas Gregor         ActiveModule->InferExportWildcard = true;
211073441091SDouglas Gregor       else
211173441091SDouglas Gregor         Diags.Report(Tok.getLocation(),
211273441091SDouglas Gregor                      diag::err_mmap_expected_export_wildcard);
211373441091SDouglas Gregor       consumeToken();
211473441091SDouglas Gregor       break;
211573441091SDouglas Gregor 
211673441091SDouglas Gregor     case MMToken::ExplicitKeyword:
211773441091SDouglas Gregor     case MMToken::ModuleKeyword:
211873441091SDouglas Gregor     case MMToken::HeaderKeyword:
2119b53e5483SLawrence Crowl     case MMToken::PrivateKeyword:
212073441091SDouglas Gregor     case MMToken::UmbrellaKeyword:
212173441091SDouglas Gregor     default:
21229194a91dSDouglas Gregor       Diags.Report(Tok.getLocation(), diag::err_mmap_expected_inferred_member)
2123*d2d442caSCraig Topper           << (ActiveModule != nullptr);
212473441091SDouglas Gregor       consumeToken();
212573441091SDouglas Gregor       break;
212673441091SDouglas Gregor     }
212773441091SDouglas Gregor   } while (!Done);
212873441091SDouglas Gregor 
212973441091SDouglas Gregor   if (Tok.is(MMToken::RBrace))
213073441091SDouglas Gregor     consumeToken();
213173441091SDouglas Gregor   else {
213273441091SDouglas Gregor     Diags.Report(Tok.getLocation(), diag::err_mmap_expected_rbrace);
213373441091SDouglas Gregor     Diags.Report(LBraceLoc, diag::note_mmap_lbrace_match);
213473441091SDouglas Gregor     HadError = true;
213573441091SDouglas Gregor   }
213673441091SDouglas Gregor }
213773441091SDouglas Gregor 
21389194a91dSDouglas Gregor /// \brief Parse optional attributes.
21399194a91dSDouglas Gregor ///
21409194a91dSDouglas Gregor ///   attributes:
21419194a91dSDouglas Gregor ///     attribute attributes
21429194a91dSDouglas Gregor ///     attribute
21439194a91dSDouglas Gregor ///
21449194a91dSDouglas Gregor ///   attribute:
21459194a91dSDouglas Gregor ///     [ identifier ]
21469194a91dSDouglas Gregor ///
21479194a91dSDouglas Gregor /// \param Attrs Will be filled in with the parsed attributes.
21489194a91dSDouglas Gregor ///
21499194a91dSDouglas Gregor /// \returns true if an error occurred, false otherwise.
21504442605fSBill Wendling bool ModuleMapParser::parseOptionalAttributes(Attributes &Attrs) {
21519194a91dSDouglas Gregor   bool HadError = false;
21529194a91dSDouglas Gregor 
21539194a91dSDouglas Gregor   while (Tok.is(MMToken::LSquare)) {
21549194a91dSDouglas Gregor     // Consume the '['.
21559194a91dSDouglas Gregor     SourceLocation LSquareLoc = consumeToken();
21569194a91dSDouglas Gregor 
21579194a91dSDouglas Gregor     // Check whether we have an attribute name here.
21589194a91dSDouglas Gregor     if (!Tok.is(MMToken::Identifier)) {
21599194a91dSDouglas Gregor       Diags.Report(Tok.getLocation(), diag::err_mmap_expected_attribute);
21609194a91dSDouglas Gregor       skipUntil(MMToken::RSquare);
21619194a91dSDouglas Gregor       if (Tok.is(MMToken::RSquare))
21629194a91dSDouglas Gregor         consumeToken();
21639194a91dSDouglas Gregor       HadError = true;
21649194a91dSDouglas Gregor     }
21659194a91dSDouglas Gregor 
21669194a91dSDouglas Gregor     // Decode the attribute name.
21679194a91dSDouglas Gregor     AttributeKind Attribute
21689194a91dSDouglas Gregor       = llvm::StringSwitch<AttributeKind>(Tok.getString())
216935b13eceSDouglas Gregor           .Case("exhaustive", AT_exhaustive)
217077944868SRichard Smith           .Case("extern_c", AT_extern_c)
21719194a91dSDouglas Gregor           .Case("system", AT_system)
21729194a91dSDouglas Gregor           .Default(AT_unknown);
21739194a91dSDouglas Gregor     switch (Attribute) {
21749194a91dSDouglas Gregor     case AT_unknown:
21759194a91dSDouglas Gregor       Diags.Report(Tok.getLocation(), diag::warn_mmap_unknown_attribute)
21769194a91dSDouglas Gregor         << Tok.getString();
21779194a91dSDouglas Gregor       break;
21789194a91dSDouglas Gregor 
21799194a91dSDouglas Gregor     case AT_system:
21809194a91dSDouglas Gregor       Attrs.IsSystem = true;
21819194a91dSDouglas Gregor       break;
218235b13eceSDouglas Gregor 
218377944868SRichard Smith     case AT_extern_c:
218477944868SRichard Smith       Attrs.IsExternC = true;
218577944868SRichard Smith       break;
218677944868SRichard Smith 
218735b13eceSDouglas Gregor     case AT_exhaustive:
218835b13eceSDouglas Gregor       Attrs.IsExhaustive = true;
218935b13eceSDouglas Gregor       break;
21909194a91dSDouglas Gregor     }
21919194a91dSDouglas Gregor     consumeToken();
21929194a91dSDouglas Gregor 
21939194a91dSDouglas Gregor     // Consume the ']'.
21949194a91dSDouglas Gregor     if (!Tok.is(MMToken::RSquare)) {
21959194a91dSDouglas Gregor       Diags.Report(Tok.getLocation(), diag::err_mmap_expected_rsquare);
21969194a91dSDouglas Gregor       Diags.Report(LSquareLoc, diag::note_mmap_lsquare_match);
21979194a91dSDouglas Gregor       skipUntil(MMToken::RSquare);
21989194a91dSDouglas Gregor       HadError = true;
21999194a91dSDouglas Gregor     }
22009194a91dSDouglas Gregor 
22019194a91dSDouglas Gregor     if (Tok.is(MMToken::RSquare))
22029194a91dSDouglas Gregor       consumeToken();
22039194a91dSDouglas Gregor   }
22049194a91dSDouglas Gregor 
22059194a91dSDouglas Gregor   return HadError;
22069194a91dSDouglas Gregor }
22079194a91dSDouglas Gregor 
2208718292f2SDouglas Gregor /// \brief Parse a module map file.
2209718292f2SDouglas Gregor ///
2210718292f2SDouglas Gregor ///   module-map-file:
2211718292f2SDouglas Gregor ///     module-declaration*
2212718292f2SDouglas Gregor bool ModuleMapParser::parseModuleMapFile() {
2213718292f2SDouglas Gregor   do {
2214718292f2SDouglas Gregor     switch (Tok.Kind) {
2215718292f2SDouglas Gregor     case MMToken::EndOfFile:
2216718292f2SDouglas Gregor       return HadError;
2217718292f2SDouglas Gregor 
2218e7ab3669SDouglas Gregor     case MMToken::ExplicitKeyword:
221997292843SDaniel Jasper     case MMToken::ExternKeyword:
2220718292f2SDouglas Gregor     case MMToken::ModuleKeyword:
2221755b2055SDouglas Gregor     case MMToken::FrameworkKeyword:
2222718292f2SDouglas Gregor       parseModuleDecl();
2223718292f2SDouglas Gregor       break;
2224718292f2SDouglas Gregor 
22251fb5c3a6SDouglas Gregor     case MMToken::Comma:
222635b13eceSDouglas Gregor     case MMToken::ConfigMacros:
2227fb912657SDouglas Gregor     case MMToken::Conflict:
2228a3feee2aSRichard Smith     case MMToken::Exclaim:
222959527666SDouglas Gregor     case MMToken::ExcludeKeyword:
22302b82c2a5SDouglas Gregor     case MMToken::ExportKeyword:
2231718292f2SDouglas Gregor     case MMToken::HeaderKeyword:
2232718292f2SDouglas Gregor     case MMToken::Identifier:
2233718292f2SDouglas Gregor     case MMToken::LBrace:
22346ddfca91SDouglas Gregor     case MMToken::LinkKeyword:
2235a686e1b0SDouglas Gregor     case MMToken::LSquare:
22362b82c2a5SDouglas Gregor     case MMToken::Period:
2237b53e5483SLawrence Crowl     case MMToken::PrivateKeyword:
2238718292f2SDouglas Gregor     case MMToken::RBrace:
2239a686e1b0SDouglas Gregor     case MMToken::RSquare:
22401fb5c3a6SDouglas Gregor     case MMToken::RequiresKeyword:
22412b82c2a5SDouglas Gregor     case MMToken::Star:
2242718292f2SDouglas Gregor     case MMToken::StringLiteral:
2243718292f2SDouglas Gregor     case MMToken::UmbrellaKeyword:
2244ba7f2f71SDaniel Jasper     case MMToken::UseKeyword:
2245718292f2SDouglas Gregor       Diags.Report(Tok.getLocation(), diag::err_mmap_expected_module);
2246718292f2SDouglas Gregor       HadError = true;
2247718292f2SDouglas Gregor       consumeToken();
2248718292f2SDouglas Gregor       break;
2249718292f2SDouglas Gregor     }
2250718292f2SDouglas Gregor   } while (true);
2251718292f2SDouglas Gregor }
2252718292f2SDouglas Gregor 
2253963c5535SDouglas Gregor bool ModuleMap::parseModuleMapFile(const FileEntry *File, bool IsSystem) {
22544ddf2221SDouglas Gregor   llvm::DenseMap<const FileEntry *, bool>::iterator Known
22554ddf2221SDouglas Gregor     = ParsedModuleMap.find(File);
22564ddf2221SDouglas Gregor   if (Known != ParsedModuleMap.end())
22574ddf2221SDouglas Gregor     return Known->second;
22584ddf2221SDouglas Gregor 
2259*d2d442caSCraig Topper   assert(Target && "Missing target information");
2260cb69b57bSBen Langmuir   auto FileCharacter = IsSystem ? SrcMgr::C_System : SrcMgr::C_User;
2261cb69b57bSBen Langmuir   FileID ID = SourceMgr.createFileID(File, SourceLocation(), FileCharacter);
22621f76c4e8SManuel Klimek   const llvm::MemoryBuffer *Buffer = SourceMgr.getBuffer(ID);
2263718292f2SDouglas Gregor   if (!Buffer)
22644ddf2221SDouglas Gregor     return ParsedModuleMap[File] = true;
2265718292f2SDouglas Gregor 
2266984e1df7SBen Langmuir   // Find the directory for the module. For frameworks, that may require going
2267984e1df7SBen Langmuir   // up from the 'Modules' directory.
2268984e1df7SBen Langmuir   const DirectoryEntry *Dir = File->getDir();
2269984e1df7SBen Langmuir   StringRef DirName(Dir->getName());
2270984e1df7SBen Langmuir   if (llvm::sys::path::filename(DirName) == "Modules") {
2271984e1df7SBen Langmuir     DirName = llvm::sys::path::parent_path(DirName);
2272984e1df7SBen Langmuir     if (DirName.endswith(".framework"))
2273984e1df7SBen Langmuir       Dir = SourceMgr.getFileManager().getDirectory(DirName);
2274984e1df7SBen Langmuir     assert(Dir && "parent must exist");
2275984e1df7SBen Langmuir   }
2276984e1df7SBen Langmuir 
2277718292f2SDouglas Gregor   // Parse this module map file.
22781f76c4e8SManuel Klimek   Lexer L(ID, SourceMgr.getBuffer(ID), SourceMgr, MMapLangOpts);
2279beee15e7SBen Langmuir   ModuleMapParser Parser(L, SourceMgr, Target, Diags, *this, File, Dir,
2280963c5535SDouglas Gregor                          BuiltinIncludeDir, IsSystem);
2281718292f2SDouglas Gregor   bool Result = Parser.parseModuleMapFile();
22824ddf2221SDouglas Gregor   ParsedModuleMap[File] = Result;
2283718292f2SDouglas Gregor   return Result;
2284718292f2SDouglas Gregor }
2285