blob: 4ee38719289bcb61c6c303341c3d4d0aa1e16c97 [file] [log] [blame]
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001//===--- HeaderSearch.cpp - Resolve Header File Locations ---===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner5b12ab82007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattner59a9ebd2006-10-18 05:34:33 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the DirectoryLookup and HeaderSearch interfaces.
11//
12//===----------------------------------------------------------------------===//
13
Chris Lattner59a9ebd2006-10-18 05:34:33 +000014#include "clang/Lex/HeaderSearch.h"
Chris Lattneref6b1362007-10-07 08:58:51 +000015#include "clang/Basic/FileManager.h"
16#include "clang/Basic/IdentifierTable.h"
Richard Smith2aedca32015-07-01 02:29:35 +000017#include "clang/Lex/ExternalPreprocessorSource.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000018#include "clang/Lex/HeaderMap.h"
19#include "clang/Lex/HeaderSearchOptions.h"
Will Wilson0fafd342013-12-27 19:46:16 +000020#include "clang/Lex/LexDiagnostic.h"
Chandler Carruth5553d0d2014-01-07 11:51:46 +000021#include "clang/Lex/Lexer.h"
Richard Smith20e883e2015-04-29 23:20:19 +000022#include "clang/Lex/Preprocessor.h"
Ben Langmuirbeee15e2014-04-14 18:00:01 +000023#include "llvm/ADT/APInt.h"
24#include "llvm/ADT/Hashing.h"
Chris Lattner43fd42e2006-10-30 03:40:58 +000025#include "llvm/ADT/SmallString.h"
Ted Kremenekae63d102011-07-27 18:41:18 +000026#include "llvm/Support/Capacity.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000027#include "llvm/Support/FileSystem.h"
28#include "llvm/Support/Path.h"
Chris Lattnerc25d8a72009-03-02 22:20:04 +000029#include <cstdio>
Benjamin Kramercfeacf52016-05-27 14:27:13 +000030#include <utility>
Douglas Gregor01c7cfa2013-01-22 23:49:45 +000031#if defined(LLVM_ON_UNIX)
Dmitri Gribenkoeadae012013-01-26 16:29:36 +000032#include <limits.h>
Douglas Gregor01c7cfa2013-01-22 23:49:45 +000033#endif
Chris Lattner59a9ebd2006-10-18 05:34:33 +000034using namespace clang;
35
Douglas Gregor99734e72009-04-25 23:30:02 +000036const IdentifierInfo *
Richard Smith2aedca32015-07-01 02:29:35 +000037HeaderFileInfo::getControllingMacro(ExternalPreprocessorSource *External) {
38 if (ControllingMacro) {
Chandler Carruth59666772016-11-04 06:32:57 +000039 if (ControllingMacro->isOutOfDate()) {
40 assert(External && "We must have an external source if we have a "
41 "controlling macro that is out of date.");
Richard Smith2aedca32015-07-01 02:29:35 +000042 External->updateOutOfDateIdentifier(
43 *const_cast<IdentifierInfo *>(ControllingMacro));
Chandler Carruth59666772016-11-04 06:32:57 +000044 }
Douglas Gregor99734e72009-04-25 23:30:02 +000045 return ControllingMacro;
Richard Smith2aedca32015-07-01 02:29:35 +000046 }
Douglas Gregor99734e72009-04-25 23:30:02 +000047
48 if (!ControllingMacroID || !External)
Craig Topperd2d442c2014-05-17 23:10:59 +000049 return nullptr;
Douglas Gregor99734e72009-04-25 23:30:02 +000050
51 ControllingMacro = External->GetIdentifier(ControllingMacroID);
52 return ControllingMacro;
53}
54
Angel Garcia Gomez637d1e62015-10-20 13:23:58 +000055ExternalHeaderFileInfoSource::~ExternalHeaderFileInfoSource() {}
Douglas Gregor09b69892011-02-10 17:09:37 +000056
David Blaikie9c28cb32017-01-06 01:04:46 +000057HeaderSearch::HeaderSearch(std::shared_ptr<HeaderSearchOptions> HSOpts,
Manuel Klimek1f76c4e2013-10-24 07:51:24 +000058 SourceManager &SourceMgr, DiagnosticsEngine &Diags,
Will Wilson0fafd342013-12-27 19:46:16 +000059 const LangOptions &LangOpts,
Douglas Gregor89929282012-01-30 06:01:29 +000060 const TargetInfo *Target)
Benjamin Kramercfeacf52016-05-27 14:27:13 +000061 : HSOpts(std::move(HSOpts)), Diags(Diags),
62 FileMgr(SourceMgr.getFileManager()), FrameworkMap(64),
63 ModMap(SourceMgr, Diags, LangOpts, Target, *this) {
Nico Weber3b1d1212011-05-24 04:31:14 +000064 AngledDirIdx = 0;
Chris Lattner641a0be2006-10-20 06:23:14 +000065 SystemDirIdx = 0;
66 NoCurDirSearch = false;
Mike Stump11289f42009-09-09 15:08:12 +000067
Craig Topperd2d442c2014-05-17 23:10:59 +000068 ExternalLookup = nullptr;
69 ExternalSource = nullptr;
Chris Lattner641a0be2006-10-20 06:23:14 +000070 NumIncluded = 0;
71 NumMultiIncludeFileOptzn = 0;
72 NumFrameworkLookups = NumSubFrameworkLookups = 0;
73}
74
Chris Lattnerc4ba38e2007-12-17 06:36:45 +000075HeaderSearch::~HeaderSearch() {
76 // Delete headermaps.
77 for (unsigned i = 0, e = HeaderMaps.size(); i != e; ++i)
78 delete HeaderMaps[i].second;
79}
Mike Stump11289f42009-09-09 15:08:12 +000080
Chris Lattner59a9ebd2006-10-18 05:34:33 +000081void HeaderSearch::PrintStats() {
Chris Lattner23b7eb62007-06-15 23:05:46 +000082 fprintf(stderr, "\n*** HeaderSearch Stats:\n");
83 fprintf(stderr, "%d files tracked.\n", (int)FileInfo.size());
Chris Lattner59a9ebd2006-10-18 05:34:33 +000084 unsigned NumOnceOnlyFiles = 0, MaxNumIncludes = 0, NumSingleIncludedFiles = 0;
85 for (unsigned i = 0, e = FileInfo.size(); i != e; ++i) {
86 NumOnceOnlyFiles += FileInfo[i].isImport;
87 if (MaxNumIncludes < FileInfo[i].NumIncludes)
88 MaxNumIncludes = FileInfo[i].NumIncludes;
89 NumSingleIncludedFiles += FileInfo[i].NumIncludes == 1;
90 }
Chris Lattner23b7eb62007-06-15 23:05:46 +000091 fprintf(stderr, " %d #import/#pragma once files.\n", NumOnceOnlyFiles);
92 fprintf(stderr, " %d included exactly once.\n", NumSingleIncludedFiles);
93 fprintf(stderr, " %d max times a file is included.\n", MaxNumIncludes);
Mike Stump11289f42009-09-09 15:08:12 +000094
Chris Lattner23b7eb62007-06-15 23:05:46 +000095 fprintf(stderr, " %d #include/#include_next/#import.\n", NumIncluded);
96 fprintf(stderr, " %d #includes skipped due to"
97 " the multi-include optimization.\n", NumMultiIncludeFileOptzn);
Mike Stump11289f42009-09-09 15:08:12 +000098
Chris Lattner23b7eb62007-06-15 23:05:46 +000099 fprintf(stderr, "%d framework lookups.\n", NumFrameworkLookups);
100 fprintf(stderr, "%d subframework lookups.\n", NumSubFrameworkLookups);
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000101}
102
Chris Lattnerc4ba38e2007-12-17 06:36:45 +0000103/// CreateHeaderMap - This method returns a HeaderMap for the specified
Sylvestre Ledru830885c2012-07-23 08:59:39 +0000104/// FileEntry, uniquing them through the 'HeaderMaps' datastructure.
Chris Lattner4ffe46c2007-12-17 18:34:53 +0000105const HeaderMap *HeaderSearch::CreateHeaderMap(const FileEntry *FE) {
Chris Lattnerc4ba38e2007-12-17 06:36:45 +0000106 // We expect the number of headermaps to be small, and almost always empty.
Chris Lattnerf62f7582007-12-17 07:52:39 +0000107 // If it ever grows, use of a linear search should be re-evaluated.
Chris Lattnerc4ba38e2007-12-17 06:36:45 +0000108 if (!HeaderMaps.empty()) {
109 for (unsigned i = 0, e = HeaderMaps.size(); i != e; ++i)
Chris Lattnerf62f7582007-12-17 07:52:39 +0000110 // Pointer equality comparison of FileEntries works because they are
111 // already uniqued by inode.
Mike Stump11289f42009-09-09 15:08:12 +0000112 if (HeaderMaps[i].first == FE)
Chris Lattnerc4ba38e2007-12-17 06:36:45 +0000113 return HeaderMaps[i].second;
114 }
Mike Stump11289f42009-09-09 15:08:12 +0000115
Chris Lattner5159f612010-11-23 08:35:12 +0000116 if (const HeaderMap *HM = HeaderMap::Create(FE, FileMgr)) {
Chris Lattnerc4ba38e2007-12-17 06:36:45 +0000117 HeaderMaps.push_back(std::make_pair(FE, HM));
118 return HM;
119 }
Mike Stump11289f42009-09-09 15:08:12 +0000120
Craig Topperd2d442c2014-05-17 23:10:59 +0000121 return nullptr;
Chris Lattnerc4ba38e2007-12-17 06:36:45 +0000122}
123
Bruno Cardoso Lopes181225b2016-12-11 04:27:28 +0000124/// \brief Get filenames for all registered header maps.
125void HeaderSearch::getHeaderMapFileNames(
126 SmallVectorImpl<std::string> &Names) const {
127 for (auto &HM : HeaderMaps)
128 Names.push_back(HM.first->getName());
129}
130
Douglas Gregor279a6c32012-01-29 17:08:11 +0000131std::string HeaderSearch::getModuleFileName(Module *Module) {
Ben Langmuir9d6448b2014-08-09 00:57:23 +0000132 const FileEntry *ModuleMap =
133 getModuleMap().getModuleMapFileForUniquing(Module);
Manman Ren11f2a472016-08-18 17:42:15 +0000134 return getModuleFileName(Module->Name, ModuleMap->getName(),
135 /*UsePrebuiltPath*/false);
Douglas Gregor279a6c32012-01-29 17:08:11 +0000136}
137
Ben Langmuirbeee15e2014-04-14 18:00:01 +0000138std::string HeaderSearch::getModuleFileName(StringRef ModuleName,
Manman Ren11f2a472016-08-18 17:42:15 +0000139 StringRef ModuleMapPath,
140 bool UsePrebuiltPath) {
141 if (UsePrebuiltPath) {
142 if (HSOpts->PrebuiltModulePaths.empty())
143 return std::string();
144
145 // Go though each prebuilt module path and try to find the pcm file.
146 for (const std::string &Dir : HSOpts->PrebuiltModulePaths) {
147 SmallString<256> Result(Dir);
148 llvm::sys::fs::make_absolute(Result);
149
150 llvm::sys::path::append(Result, ModuleName + ".pcm");
151 if (getFileMgr().getFile(Result.str()))
152 return Result.str().str();
153 }
154 return std::string();
155 }
156
Richard Smithd520a252015-07-21 18:07:47 +0000157 // If we don't have a module cache path or aren't supposed to use one, we
158 // can't do anything.
Richard Smith3938f0c2015-08-15 00:34:15 +0000159 if (getModuleCachePath().empty())
Douglas Gregor279a6c32012-01-29 17:08:11 +0000160 return std::string();
Ben Langmuirbeee15e2014-04-14 18:00:01 +0000161
Richard Smith3938f0c2015-08-15 00:34:15 +0000162 SmallString<256> Result(getModuleCachePath());
Ben Langmuirbeee15e2014-04-14 18:00:01 +0000163 llvm::sys::fs::make_absolute(Result);
164
165 if (HSOpts->DisableModuleHash) {
166 llvm::sys::path::append(Result, ModuleName + ".pcm");
167 } else {
168 // Construct the name <ModuleName>-<hash of ModuleMapPath>.pcm which should
Richard Smith54cc3c22014-12-11 20:50:24 +0000169 // ideally be globally unique to this particular module. Name collisions
170 // in the hash are safe (because any translation unit can only import one
171 // module with each name), but result in a loss of caching.
172 //
173 // To avoid false-negatives, we form as canonical a path as we can, and map
174 // to lower-case in case we're on a case-insensitive file system.
Richard Smith3f57cff2017-03-09 00:58:22 +0000175 std::string Parent = llvm::sys::path::parent_path(ModuleMapPath);
176 if (Parent.empty())
177 Parent = ".";
178 auto *Dir = FileMgr.getDirectory(Parent);
Richard Smith54cc3c22014-12-11 20:50:24 +0000179 if (!Dir)
180 return std::string();
181 auto DirName = FileMgr.getCanonicalName(Dir);
182 auto FileName = llvm::sys::path::filename(ModuleMapPath);
183
184 llvm::hash_code Hash =
Adrian Prantl793038d32016-01-12 21:01:56 +0000185 llvm::hash_combine(DirName.lower(), FileName.lower());
Richard Smith54cc3c22014-12-11 20:50:24 +0000186
Ben Langmuirbeee15e2014-04-14 18:00:01 +0000187 SmallString<128> HashStr;
Richard Smith54cc3c22014-12-11 20:50:24 +0000188 llvm::APInt(64, size_t(Hash)).toStringUnsigned(HashStr, /*Radix*/36);
Yaron Keren92e1b622015-03-18 10:17:07 +0000189 llvm::sys::path::append(Result, ModuleName + "-" + HashStr + ".pcm");
Ben Langmuirbeee15e2014-04-14 18:00:01 +0000190 }
Douglas Gregor279a6c32012-01-29 17:08:11 +0000191 return Result.str().str();
192}
193
194Module *HeaderSearch::lookupModule(StringRef ModuleName, bool AllowSearch) {
Douglas Gregoraf28ec82011-11-12 00:05:07 +0000195 // Look in the module map to determine if there is a module by this name.
Douglas Gregor279a6c32012-01-29 17:08:11 +0000196 Module *Module = ModMap.findModule(ModuleName);
Richard Smith47972af2015-06-16 00:08:24 +0000197 if (Module || !AllowSearch || !HSOpts->ImplicitModuleMaps)
Douglas Gregor279a6c32012-01-29 17:08:11 +0000198 return Module;
Graydon Hoare4d867642016-12-21 00:24:39 +0000199
200 StringRef SearchName = ModuleName;
201 Module = lookupModule(ModuleName, SearchName);
202
203 // The facility for "private modules" -- adjacent, optional module maps named
204 // module.private.modulemap that are supposed to define private submodules --
205 // is sometimes misused by frameworks that name their associated private
206 // module FooPrivate, rather than as a submodule named Foo.Private as
207 // intended. Here we compensate for such cases by looking in directories named
208 // Foo.framework, when we previously looked and failed to find a
209 // FooPrivate.framework.
210 if (!Module && SearchName.consume_back("Private"))
211 Module = lookupModule(ModuleName, SearchName);
212 return Module;
213}
214
215Module *HeaderSearch::lookupModule(StringRef ModuleName, StringRef SearchName) {
216 Module *Module = nullptr;
217
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000218 // Look through the various header search paths to load any available module
Douglas Gregor279a6c32012-01-29 17:08:11 +0000219 // maps, searching for a module map that describes this module.
220 for (unsigned Idx = 0, N = SearchDirs.size(); Idx != N; ++Idx) {
221 if (SearchDirs[Idx].isFramework()) {
Graydon Hoare4d867642016-12-21 00:24:39 +0000222 // Search for or infer a module map for a framework. Here we use
223 // SearchName rather than ModuleName, to permit finding private modules
224 // named FooPrivate in buggy frameworks named Foo.
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +0000225 SmallString<128> FrameworkDirName;
Douglas Gregor279a6c32012-01-29 17:08:11 +0000226 FrameworkDirName += SearchDirs[Idx].getFrameworkDir()->getName();
Graydon Hoare4d867642016-12-21 00:24:39 +0000227 llvm::sys::path::append(FrameworkDirName, SearchName + ".framework");
228 if (const DirectoryEntry *FrameworkDir
Douglas Gregor279a6c32012-01-29 17:08:11 +0000229 = FileMgr.getDirectory(FrameworkDirName)) {
230 bool IsSystem
231 = SearchDirs[Idx].getDirCharacteristic() != SrcMgr::C_User;
232 Module = loadFrameworkModule(ModuleName, FrameworkDir, IsSystem);
Douglas Gregoraf28ec82011-11-12 00:05:07 +0000233 if (Module)
234 break;
235 }
Douglas Gregor279a6c32012-01-29 17:08:11 +0000236 }
237
238 // FIXME: Figure out how header maps and module maps will work together.
239
240 // Only deal with normal search directories.
241 if (!SearchDirs[Idx].isNormalDir())
242 continue;
Douglas Gregor963c5532013-06-21 16:28:10 +0000243
244 bool IsSystem = SearchDirs[Idx].isSystemHeaderDirectory();
Douglas Gregor279a6c32012-01-29 17:08:11 +0000245 // Search for a module map file in this directory.
Ben Langmuir984e1df2014-03-19 20:23:34 +0000246 if (loadModuleMapFile(SearchDirs[Idx].getDir(), IsSystem,
247 /*IsFramework*/false) == LMM_NewlyLoaded) {
Douglas Gregor279a6c32012-01-29 17:08:11 +0000248 // We just loaded a module map file; check whether the module is
249 // available now.
250 Module = ModMap.findModule(ModuleName);
251 if (Module)
252 break;
253 }
254
255 // Search for a module map in a subdirectory with the same name as the
256 // module.
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +0000257 SmallString<128> NestedModuleMapDirName;
Douglas Gregor279a6c32012-01-29 17:08:11 +0000258 NestedModuleMapDirName = SearchDirs[Idx].getDir()->getName();
259 llvm::sys::path::append(NestedModuleMapDirName, ModuleName);
Ben Langmuir984e1df2014-03-19 20:23:34 +0000260 if (loadModuleMapFile(NestedModuleMapDirName, IsSystem,
261 /*IsFramework*/false) == LMM_NewlyLoaded){
Douglas Gregor279a6c32012-01-29 17:08:11 +0000262 // If we just loaded a module map file, look for the module again.
263 Module = ModMap.findModule(ModuleName);
264 if (Module)
265 break;
Douglas Gregoraf28ec82011-11-12 00:05:07 +0000266 }
Douglas Gregor0339a642013-03-21 01:08:50 +0000267
268 // If we've already performed the exhaustive search for module maps in this
269 // search directory, don't do it again.
270 if (SearchDirs[Idx].haveSearchedAllModuleMaps())
271 continue;
272
273 // Load all module maps in the immediate subdirectories of this search
274 // directory.
275 loadSubdirectoryModuleMaps(SearchDirs[Idx]);
276
277 // Look again for the module.
278 Module = ModMap.findModule(ModuleName);
279 if (Module)
280 break;
Douglas Gregoraf28ec82011-11-12 00:05:07 +0000281 }
Douglas Gregor0339a642013-03-21 01:08:50 +0000282
Douglas Gregor279a6c32012-01-29 17:08:11 +0000283 return Module;
Douglas Gregor1e44e022011-09-12 20:41:59 +0000284}
285
Chris Lattnerf62f7582007-12-17 07:52:39 +0000286//===----------------------------------------------------------------------===//
287// File lookup within a DirectoryLookup scope
288//===----------------------------------------------------------------------===//
289
Chris Lattner8d720d02007-12-17 17:57:27 +0000290/// getName - Return the directory or filename corresponding to this lookup
291/// object.
Mehdi Amini99d1b292016-10-01 16:38:28 +0000292StringRef DirectoryLookup::getName() const {
Chris Lattner8d720d02007-12-17 17:57:27 +0000293 if (isNormalDir())
294 return getDir()->getName();
295 if (isFramework())
296 return getFrameworkDir()->getName();
297 assert(isHeaderMap() && "Unknown DirectoryLookup");
298 return getHeaderMap()->getFileName();
299}
300
Richard Smith3d5b48c2015-10-16 21:42:56 +0000301const FileEntry *HeaderSearch::getFileAndSuggestModule(
Taewook Ohf42103c2016-06-13 20:40:21 +0000302 StringRef FileName, SourceLocation IncludeLoc, const DirectoryEntry *Dir,
303 bool IsSystemHeaderDir, Module *RequestingModule,
304 ModuleMap::KnownHeader *SuggestedModule) {
Richard Smith8c71eba2014-03-05 20:51:45 +0000305 // If we have a module map that might map this header, load it and
306 // check whether we'll have a suggestion for a module.
Richard Smith3d5b48c2015-10-16 21:42:56 +0000307 const FileEntry *File = getFileMgr().getFile(FileName, /*OpenFile=*/true);
Reid Klecknerafb9aae2015-10-20 18:45:57 +0000308 if (!File)
309 return nullptr;
Richard Smith8c71eba2014-03-05 20:51:45 +0000310
Richard Smith3d5b48c2015-10-16 21:42:56 +0000311 // If there is a module that corresponds to this header, suggest it.
312 if (!findUsableModuleForHeader(File, Dir ? Dir : File->getDir(),
313 RequestingModule, SuggestedModule,
314 IsSystemHeaderDir))
315 return nullptr;
Richard Smith8c71eba2014-03-05 20:51:45 +0000316
Richard Smith3d5b48c2015-10-16 21:42:56 +0000317 return File;
Richard Smith8c71eba2014-03-05 20:51:45 +0000318}
Chris Lattner8d720d02007-12-17 17:57:27 +0000319
Chris Lattnerf62f7582007-12-17 07:52:39 +0000320/// LookupFile - Lookup the specified file in this search path, returning it
321/// if it exists or returning null if not.
Chandler Carruth3cc331a2011-03-16 18:34:36 +0000322const FileEntry *DirectoryLookup::LookupFile(
Argyrios Kyrtzidis75fa9ed2014-02-14 14:58:28 +0000323 StringRef &Filename,
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000324 HeaderSearch &HS,
Taewook Ohf42103c2016-06-13 20:40:21 +0000325 SourceLocation IncludeLoc,
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000326 SmallVectorImpl<char> *SearchPath,
Douglas Gregor97eec242011-09-15 22:00:41 +0000327 SmallVectorImpl<char> *RelativePath,
Richard Smith3d5b48c2015-10-16 21:42:56 +0000328 Module *RequestingModule,
Lawrence Crowlb53e5482013-06-20 21:14:14 +0000329 ModuleMap::KnownHeader *SuggestedModule,
Argyrios Kyrtzidis75fa9ed2014-02-14 14:58:28 +0000330 bool &InUserSpecifiedSystemFramework,
Argyrios Kyrtzidis34fad422014-03-11 06:21:28 +0000331 bool &HasBeenMapped,
Argyrios Kyrtzidis75fa9ed2014-02-14 14:58:28 +0000332 SmallVectorImpl<char> &MappedName) const {
Daniel Dunbar3c9bc4d2012-04-05 17:10:06 +0000333 InUserSpecifiedSystemFramework = false;
Argyrios Kyrtzidis34fad422014-03-11 06:21:28 +0000334 HasBeenMapped = false;
Daniel Dunbar3c9bc4d2012-04-05 17:10:06 +0000335
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +0000336 SmallString<1024> TmpDir;
Chris Lattner712e3872007-12-17 08:13:48 +0000337 if (isNormalDir()) {
338 // Concatenate the requested file onto the directory.
Eli Friedmanf7ca26a2011-07-08 20:17:28 +0000339 TmpDir = getDir()->getName();
340 llvm::sys::path::append(TmpDir, Filename);
Craig Topperd2d442c2014-05-17 23:10:59 +0000341 if (SearchPath) {
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000342 StringRef SearchPathRef(getDir()->getName());
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000343 SearchPath->clear();
344 SearchPath->append(SearchPathRef.begin(), SearchPathRef.end());
345 }
Craig Topperd2d442c2014-05-17 23:10:59 +0000346 if (RelativePath) {
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000347 RelativePath->clear();
348 RelativePath->append(Filename.begin(), Filename.end());
349 }
Richard Smith8c71eba2014-03-05 20:51:45 +0000350
Taewook Ohf42103c2016-06-13 20:40:21 +0000351 return HS.getFileAndSuggestModule(TmpDir, IncludeLoc, getDir(),
Richard Smith3d5b48c2015-10-16 21:42:56 +0000352 isSystemHeaderDirectory(),
353 RequestingModule, SuggestedModule);
Chris Lattner712e3872007-12-17 08:13:48 +0000354 }
Mike Stump11289f42009-09-09 15:08:12 +0000355
Chris Lattner712e3872007-12-17 08:13:48 +0000356 if (isFramework())
Douglas Gregor97eec242011-09-15 22:00:41 +0000357 return DoFrameworkLookup(Filename, HS, SearchPath, RelativePath,
Richard Smith3d5b48c2015-10-16 21:42:56 +0000358 RequestingModule, SuggestedModule,
359 InUserSpecifiedSystemFramework);
Mike Stump11289f42009-09-09 15:08:12 +0000360
Chris Lattner44bd21b2007-12-17 08:17:39 +0000361 assert(isHeaderMap() && "Unknown directory lookup");
Argyrios Kyrtzidis75fa9ed2014-02-14 14:58:28 +0000362 const HeaderMap *HM = getHeaderMap();
363 SmallString<1024> Path;
364 StringRef Dest = HM->lookupFilename(Filename, Path);
365 if (Dest.empty())
Craig Topperd2d442c2014-05-17 23:10:59 +0000366 return nullptr;
Argyrios Kyrtzidis75fa9ed2014-02-14 14:58:28 +0000367
368 const FileEntry *Result;
369
370 // Check if the headermap maps the filename to a framework include
371 // ("Foo.h" -> "Foo/Foo.h"), in which case continue header lookup using the
372 // framework include.
373 if (llvm::sys::path::is_relative(Dest)) {
374 MappedName.clear();
375 MappedName.append(Dest.begin(), Dest.end());
376 Filename = StringRef(MappedName.begin(), MappedName.size());
Argyrios Kyrtzidis34fad422014-03-11 06:21:28 +0000377 HasBeenMapped = true;
Argyrios Kyrtzidis75fa9ed2014-02-14 14:58:28 +0000378 Result = HM->LookupFile(Filename, HS.getFileMgr());
379
380 } else {
381 Result = HS.getFileMgr().getFile(Dest);
382 }
383
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000384 if (Result) {
Craig Topperd2d442c2014-05-17 23:10:59 +0000385 if (SearchPath) {
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000386 StringRef SearchPathRef(getName());
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000387 SearchPath->clear();
388 SearchPath->append(SearchPathRef.begin(), SearchPathRef.end());
389 }
Craig Topperd2d442c2014-05-17 23:10:59 +0000390 if (RelativePath) {
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000391 RelativePath->clear();
392 RelativePath->append(Filename.begin(), Filename.end());
393 }
394 }
395 return Result;
Chris Lattnerf62f7582007-12-17 07:52:39 +0000396}
397
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000398/// \brief Given a framework directory, find the top-most framework directory.
399///
400/// \param FileMgr The file manager to use for directory lookups.
401/// \param DirName The name of the framework directory.
402/// \param SubmodulePath Will be populated with the submodule path from the
403/// returned top-level module to the originally named framework.
404static const DirectoryEntry *
405getTopFrameworkDir(FileManager &FileMgr, StringRef DirName,
406 SmallVectorImpl<std::string> &SubmodulePath) {
407 assert(llvm::sys::path::extension(DirName) == ".framework" &&
408 "Not a framework directory");
409
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000410 // Note: as an egregious but useful hack we use the real path here, because
411 // frameworks moving between top-level frameworks to embedded frameworks tend
412 // to be symlinked, and we base the logical structure of modules on the
413 // physical layout. In particular, we need to deal with crazy includes like
414 //
415 // #include <Foo/Frameworks/Bar.framework/Headers/Wibble.h>
416 //
417 // where 'Bar' used to be embedded in 'Foo', is now a top-level framework
418 // which one should access with, e.g.,
419 //
420 // #include <Bar/Wibble.h>
421 //
422 // Similar issues occur when a top-level framework has moved into an
423 // embedded framework.
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000424 const DirectoryEntry *TopFrameworkDir = FileMgr.getDirectory(DirName);
Douglas Gregore00c8b22013-01-26 00:55:12 +0000425 DirName = FileMgr.getCanonicalName(TopFrameworkDir);
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000426 do {
427 // Get the parent directory name.
428 DirName = llvm::sys::path::parent_path(DirName);
429 if (DirName.empty())
430 break;
431
432 // Determine whether this directory exists.
433 const DirectoryEntry *Dir = FileMgr.getDirectory(DirName);
434 if (!Dir)
435 break;
436
437 // If this is a framework directory, then we're a subframework of this
438 // framework.
439 if (llvm::sys::path::extension(DirName) == ".framework") {
440 SubmodulePath.push_back(llvm::sys::path::stem(DirName));
441 TopFrameworkDir = Dir;
442 }
443 } while (true);
444
445 return TopFrameworkDir;
446}
Chris Lattnerf62f7582007-12-17 07:52:39 +0000447
Bruno Cardoso Lopesed84df02016-10-21 01:41:56 +0000448static bool needModuleLookup(Module *RequestingModule,
449 bool HasSuggestedModule) {
450 return HasSuggestedModule ||
451 (RequestingModule && RequestingModule->NoUndeclaredIncludes);
452}
453
Chris Lattner712e3872007-12-17 08:13:48 +0000454/// DoFrameworkLookup - Do a lookup of the specified file in the current
455/// DirectoryLookup, which is a framework directory.
Chandler Carruth3cc331a2011-03-16 18:34:36 +0000456const FileEntry *DirectoryLookup::DoFrameworkLookup(
Richard Smith3d5b48c2015-10-16 21:42:56 +0000457 StringRef Filename, HeaderSearch &HS, SmallVectorImpl<char> *SearchPath,
458 SmallVectorImpl<char> *RelativePath, Module *RequestingModule,
Lawrence Crowlb53e5482013-06-20 21:14:14 +0000459 ModuleMap::KnownHeader *SuggestedModule,
Richard Smith3d5b48c2015-10-16 21:42:56 +0000460 bool &InUserSpecifiedSystemFramework) const {
Chris Lattner712e3872007-12-17 08:13:48 +0000461 FileManager &FileMgr = HS.getFileMgr();
Mike Stump11289f42009-09-09 15:08:12 +0000462
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000463 // Framework names must have a '/' in the filename.
Chris Lattnerd081f8c2010-01-10 01:35:12 +0000464 size_t SlashPos = Filename.find('/');
Craig Topperd2d442c2014-05-17 23:10:59 +0000465 if (SlashPos == StringRef::npos) return nullptr;
Mike Stump11289f42009-09-09 15:08:12 +0000466
Chris Lattner712e3872007-12-17 08:13:48 +0000467 // Find out if this is the home for the specified framework, by checking
Daniel Dunbar17138612012-04-05 17:09:40 +0000468 // HeaderSearch. Possible answers are yes/no and unknown.
469 HeaderSearch::FrameworkCacheEntry &CacheEntry =
Chris Lattnerd081f8c2010-01-10 01:35:12 +0000470 HS.LookupFrameworkCache(Filename.substr(0, SlashPos));
Mike Stump11289f42009-09-09 15:08:12 +0000471
Chris Lattner712e3872007-12-17 08:13:48 +0000472 // If it is known and in some other directory, fail.
Daniel Dunbar17138612012-04-05 17:09:40 +0000473 if (CacheEntry.Directory && CacheEntry.Directory != getFrameworkDir())
Craig Topperd2d442c2014-05-17 23:10:59 +0000474 return nullptr;
Mike Stump11289f42009-09-09 15:08:12 +0000475
Chris Lattner712e3872007-12-17 08:13:48 +0000476 // Otherwise, construct the path to this framework dir.
Mike Stump11289f42009-09-09 15:08:12 +0000477
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000478 // FrameworkName = "/System/Library/Frameworks/"
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +0000479 SmallString<1024> FrameworkName;
Chris Lattner712e3872007-12-17 08:13:48 +0000480 FrameworkName += getFrameworkDir()->getName();
Chris Lattnerb201d9b2006-10-30 05:09:49 +0000481 if (FrameworkName.empty() || FrameworkName.back() != '/')
482 FrameworkName.push_back('/');
Mike Stump11289f42009-09-09 15:08:12 +0000483
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000484 // FrameworkName = "/System/Library/Frameworks/Cocoa"
Douglas Gregor56c64012011-11-17 01:41:17 +0000485 StringRef ModuleName(Filename.begin(), SlashPos);
486 FrameworkName += ModuleName;
Mike Stump11289f42009-09-09 15:08:12 +0000487
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000488 // FrameworkName = "/System/Library/Frameworks/Cocoa.framework/"
489 FrameworkName += ".framework/";
Mike Stump11289f42009-09-09 15:08:12 +0000490
Daniel Dunbar17138612012-04-05 17:09:40 +0000491 // If the cache entry was unresolved, populate it now.
Craig Topperd2d442c2014-05-17 23:10:59 +0000492 if (!CacheEntry.Directory) {
Chris Lattner712e3872007-12-17 08:13:48 +0000493 HS.IncrementFrameworkLookupCount();
Mike Stump11289f42009-09-09 15:08:12 +0000494
Chris Lattner5ed76da2006-10-22 07:24:13 +0000495 // If the framework dir doesn't exist, we fail.
Yaron Keren92e1b622015-03-18 10:17:07 +0000496 const DirectoryEntry *Dir = FileMgr.getDirectory(FrameworkName);
Craig Topperd2d442c2014-05-17 23:10:59 +0000497 if (!Dir) return nullptr;
Mike Stump11289f42009-09-09 15:08:12 +0000498
Chris Lattner5ed76da2006-10-22 07:24:13 +0000499 // Otherwise, if it does, remember that this is the right direntry for this
500 // framework.
Daniel Dunbar17138612012-04-05 17:09:40 +0000501 CacheEntry.Directory = getFrameworkDir();
Daniel Dunbar3c9bc4d2012-04-05 17:10:06 +0000502
503 // If this is a user search directory, check if the framework has been
504 // user-specified as a system framework.
505 if (getDirCharacteristic() == SrcMgr::C_User) {
506 SmallString<1024> SystemFrameworkMarker(FrameworkName);
507 SystemFrameworkMarker += ".system_framework";
Yaron Keren92e1b622015-03-18 10:17:07 +0000508 if (llvm::sys::fs::exists(SystemFrameworkMarker)) {
Daniel Dunbar3c9bc4d2012-04-05 17:10:06 +0000509 CacheEntry.IsUserSpecifiedSystemFramework = true;
510 }
511 }
Chris Lattner5ed76da2006-10-22 07:24:13 +0000512 }
Mike Stump11289f42009-09-09 15:08:12 +0000513
Daniel Dunbar3c9bc4d2012-04-05 17:10:06 +0000514 // Set the 'user-specified system framework' flag.
515 InUserSpecifiedSystemFramework = CacheEntry.IsUserSpecifiedSystemFramework;
516
Craig Topperd2d442c2014-05-17 23:10:59 +0000517 if (RelativePath) {
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000518 RelativePath->clear();
519 RelativePath->append(Filename.begin()+SlashPos+1, Filename.end());
520 }
Douglas Gregor56c64012011-11-17 01:41:17 +0000521
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000522 // Check "/System/Library/Frameworks/Cocoa.framework/Headers/file.h"
Chris Lattnerb201d9b2006-10-30 05:09:49 +0000523 unsigned OrigSize = FrameworkName.size();
Mike Stump11289f42009-09-09 15:08:12 +0000524
Chris Lattnerb201d9b2006-10-30 05:09:49 +0000525 FrameworkName += "Headers/";
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000526
Craig Topperd2d442c2014-05-17 23:10:59 +0000527 if (SearchPath) {
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000528 SearchPath->clear();
529 // Without trailing '/'.
530 SearchPath->append(FrameworkName.begin(), FrameworkName.end()-1);
531 }
532
Chris Lattnerd081f8c2010-01-10 01:35:12 +0000533 FrameworkName.append(Filename.begin()+SlashPos+1, Filename.end());
Yaron Keren92e1b622015-03-18 10:17:07 +0000534 const FileEntry *FE = FileMgr.getFile(FrameworkName,
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000535 /*openFile=*/!SuggestedModule);
536 if (!FE) {
537 // Check "/System/Library/Frameworks/Cocoa.framework/PrivateHeaders/file.h"
538 const char *Private = "Private";
539 FrameworkName.insert(FrameworkName.begin()+OrigSize, Private,
540 Private+strlen(Private));
Craig Topperd2d442c2014-05-17 23:10:59 +0000541 if (SearchPath)
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000542 SearchPath->insert(SearchPath->begin()+OrigSize, Private,
543 Private+strlen(Private));
544
Yaron Keren92e1b622015-03-18 10:17:07 +0000545 FE = FileMgr.getFile(FrameworkName, /*openFile=*/!SuggestedModule);
Chandler Carruth3cc331a2011-03-16 18:34:36 +0000546 }
Mike Stump11289f42009-09-09 15:08:12 +0000547
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000548 // If we found the header and are allowed to suggest a module, do so now.
Bruno Cardoso Lopesed84df02016-10-21 01:41:56 +0000549 if (FE && needModuleLookup(RequestingModule, SuggestedModule)) {
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000550 // Find the framework in which this header occurs.
Ben Langmuiref914b82014-05-15 16:20:33 +0000551 StringRef FrameworkPath = FE->getDir()->getName();
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000552 bool FoundFramework = false;
553 do {
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000554 // Determine whether this directory exists.
555 const DirectoryEntry *Dir = FileMgr.getDirectory(FrameworkPath);
556 if (!Dir)
557 break;
558
559 // If this is a framework directory, then we're a subframework of this
560 // framework.
561 if (llvm::sys::path::extension(FrameworkPath) == ".framework") {
562 FoundFramework = true;
563 break;
564 }
Ben Langmuiref914b82014-05-15 16:20:33 +0000565
566 // Get the parent directory name.
567 FrameworkPath = llvm::sys::path::parent_path(FrameworkPath);
568 if (FrameworkPath.empty())
569 break;
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000570 } while (true);
571
Richard Smith3d5b48c2015-10-16 21:42:56 +0000572 bool IsSystem = getDirCharacteristic() != SrcMgr::C_User;
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000573 if (FoundFramework) {
Richard Smith3d5b48c2015-10-16 21:42:56 +0000574 if (!HS.findUsableModuleForFrameworkHeader(
575 FE, FrameworkPath, RequestingModule, SuggestedModule, IsSystem))
576 return nullptr;
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000577 } else {
Richard Smith3d5b48c2015-10-16 21:42:56 +0000578 if (!HS.findUsableModuleForHeader(FE, getDir(), RequestingModule,
579 SuggestedModule, IsSystem))
580 return nullptr;
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000581 }
582 }
Douglas Gregor97eec242011-09-15 22:00:41 +0000583 return FE;
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000584}
585
Douglas Gregor89929282012-01-30 06:01:29 +0000586void HeaderSearch::setTarget(const TargetInfo &Target) {
587 ModMap.setTarget(Target);
588}
589
Chris Lattnerf62f7582007-12-17 07:52:39 +0000590
Chris Lattner712e3872007-12-17 08:13:48 +0000591//===----------------------------------------------------------------------===//
592// Header File Location.
593//===----------------------------------------------------------------------===//
594
Reid Klecknera97d4c02014-02-18 23:49:24 +0000595/// \brief Return true with a diagnostic if the file that MSVC would have found
596/// fails to match the one that Clang would have found with MSVC header search
597/// disabled.
598static bool checkMSVCHeaderSearch(DiagnosticsEngine &Diags,
599 const FileEntry *MSFE, const FileEntry *FE,
600 SourceLocation IncludeLoc) {
601 if (MSFE && FE != MSFE) {
602 Diags.Report(IncludeLoc, diag::ext_pp_include_search_ms) << MSFE->getName();
603 return true;
604 }
605 return false;
606}
Chris Lattner712e3872007-12-17 08:13:48 +0000607
Argyrios Kyrtzidis34fad422014-03-11 06:21:28 +0000608static const char *copyString(StringRef Str, llvm::BumpPtrAllocator &Alloc) {
609 assert(!Str.empty());
610 char *CopyStr = Alloc.Allocate<char>(Str.size()+1);
611 std::copy(Str.begin(), Str.end(), CopyStr);
612 CopyStr[Str.size()] = '\0';
613 return CopyStr;
614}
615
James Dennettc07ab2c2012-06-20 00:56:32 +0000616/// LookupFile - Given a "foo" or \<foo> reference, look up the indicated file,
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000617/// return null on failure. isAngled indicates whether the file reference is
Will Wilson0fafd342013-12-27 19:46:16 +0000618/// for system \#include's or not (i.e. using <> instead of ""). Includers, if
619/// non-empty, indicates where the \#including file(s) are, in case a relative
620/// search is needed. Microsoft mode will pass all \#including files.
Chandler Carruth3cc331a2011-03-16 18:34:36 +0000621const FileEntry *HeaderSearch::LookupFile(
Will Wilson0fafd342013-12-27 19:46:16 +0000622 StringRef Filename, SourceLocation IncludeLoc, bool isAngled,
623 const DirectoryLookup *FromDir, const DirectoryLookup *&CurDir,
Manuel Klimek9af34ae2014-08-12 08:25:57 +0000624 ArrayRef<std::pair<const FileEntry *, const DirectoryEntry *>> Includers,
625 SmallVectorImpl<char> *SearchPath, SmallVectorImpl<char> *RelativePath,
Richard Smith3d5b48c2015-10-16 21:42:56 +0000626 Module *RequestingModule, ModuleMap::KnownHeader *SuggestedModule,
Manman Rene4a5d372016-05-17 02:15:12 +0000627 bool SkipCache, bool BuildSystemModule) {
Douglas Gregor97eec242011-09-15 22:00:41 +0000628 if (SuggestedModule)
Lawrence Crowlb53e5482013-06-20 21:14:14 +0000629 *SuggestedModule = ModuleMap::KnownHeader();
Douglas Gregor97eec242011-09-15 22:00:41 +0000630
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000631 // If 'Filename' is absolute, check to see if it exists and no searching.
Michael J. Spencerf28df4c2010-12-17 21:22:22 +0000632 if (llvm::sys::path::is_absolute(Filename)) {
Craig Topperd2d442c2014-05-17 23:10:59 +0000633 CurDir = nullptr;
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000634
635 // If this was an #include_next "/absolute/file", fail.
Craig Topperd2d442c2014-05-17 23:10:59 +0000636 if (FromDir) return nullptr;
Mike Stump11289f42009-09-09 15:08:12 +0000637
Craig Topperd2d442c2014-05-17 23:10:59 +0000638 if (SearchPath)
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000639 SearchPath->clear();
Craig Topperd2d442c2014-05-17 23:10:59 +0000640 if (RelativePath) {
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000641 RelativePath->clear();
642 RelativePath->append(Filename.begin(), Filename.end());
643 }
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000644 // Otherwise, just return the file.
Taewook Ohf42103c2016-06-13 20:40:21 +0000645 return getFileAndSuggestModule(Filename, IncludeLoc, nullptr,
Richard Smith3d5b48c2015-10-16 21:42:56 +0000646 /*IsSystemHeaderDir*/false,
647 RequestingModule, SuggestedModule);
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000648 }
Mike Stump11289f42009-09-09 15:08:12 +0000649
Reid Klecknera97d4c02014-02-18 23:49:24 +0000650 // This is the header that MSVC's header search would have found.
Craig Topperd2d442c2014-05-17 23:10:59 +0000651 const FileEntry *MSFE = nullptr;
Richard Smith8c71eba2014-03-05 20:51:45 +0000652 ModuleMap::KnownHeader MSSuggestedModule;
Reid Klecknera97d4c02014-02-18 23:49:24 +0000653
Douglas Gregor9f93e382011-07-28 04:45:53 +0000654 // Unless disabled, check to see if the file is in the #includer's
Will Wilson0fafd342013-12-27 19:46:16 +0000655 // directory. This cannot be based on CurDir, because each includer could be
656 // a #include of a subdirectory (#include "foo/bar.h") and a subsequent
657 // include of "baz.h" should resolve to "whatever/foo/baz.h".
Chris Lattnerf62f7582007-12-17 07:52:39 +0000658 // This search is not done for <> headers.
Will Wilson0fafd342013-12-27 19:46:16 +0000659 if (!Includers.empty() && !isAngled && !NoCurDirSearch) {
NAKAMURA Takumi9cb62642013-12-10 02:36:28 +0000660 SmallString<1024> TmpDir;
Manuel Klimek9af34ae2014-08-12 08:25:57 +0000661 bool First = true;
662 for (const auto &IncluderAndDir : Includers) {
663 const FileEntry *Includer = IncluderAndDir.first;
664
Will Wilson0fafd342013-12-27 19:46:16 +0000665 // Concatenate the requested file onto the directory.
Nikola Smiljaniccf385dc2015-05-08 06:02:37 +0000666 // FIXME: Portability. Filename concatenation should be in sys::Path.
Manuel Klimek9af34ae2014-08-12 08:25:57 +0000667 TmpDir = IncluderAndDir.second->getName();
Nikola Smiljaniccf385dc2015-05-08 06:02:37 +0000668 TmpDir.push_back('/');
669 TmpDir.append(Filename.begin(), Filename.end());
Richard Smith8c71eba2014-03-05 20:51:45 +0000670
Richard Smith6f548ec2014-03-06 18:08:08 +0000671 // FIXME: We don't cache the result of getFileInfo across the call to
672 // getFileAndSuggestModule, because it's a reference to an element of
673 // a container that could be reallocated across this call.
Richard Smith3c1a41a2014-12-02 00:08:08 +0000674 //
Manman Rene4a5d372016-05-17 02:15:12 +0000675 // If we have no includer, that means we're processing a #include
Richard Smith3c1a41a2014-12-02 00:08:08 +0000676 // from a module build. We should treat this as a system header if we're
677 // building a [system] module.
Richard Smith6f548ec2014-03-06 18:08:08 +0000678 bool IncluderIsSystemHeader =
Manman Rene39c8142016-05-17 18:04:38 +0000679 Includer ? getFileInfo(Includer).DirInfo != SrcMgr::C_User :
680 BuildSystemModule;
Manuel Klimek9af34ae2014-08-12 08:25:57 +0000681 if (const FileEntry *FE = getFileAndSuggestModule(
Taewook Ohf42103c2016-06-13 20:40:21 +0000682 TmpDir, IncludeLoc, IncluderAndDir.second, IncluderIsSystemHeader,
Richard Smith3d5b48c2015-10-16 21:42:56 +0000683 RequestingModule, SuggestedModule)) {
Richard Smith3c1a41a2014-12-02 00:08:08 +0000684 if (!Includer) {
685 assert(First && "only first includer can have no file");
686 return FE;
687 }
688
Will Wilson0fafd342013-12-27 19:46:16 +0000689 // Leave CurDir unset.
690 // This file is a system header or C++ unfriendly if the old file is.
691 //
692 // Note that we only use one of FromHFI/ToHFI at once, due to potential
693 // reallocation of the underlying vector potentially making the first
694 // reference binding dangling.
Richard Smith6f548ec2014-03-06 18:08:08 +0000695 HeaderFileInfo &FromHFI = getFileInfo(Includer);
Will Wilson0fafd342013-12-27 19:46:16 +0000696 unsigned DirInfo = FromHFI.DirInfo;
697 bool IndexHeaderMapHeader = FromHFI.IndexHeaderMapHeader;
698 StringRef Framework = FromHFI.Framework;
Douglas Gregor03b5ebe2012-08-13 15:47:39 +0000699
Will Wilson0fafd342013-12-27 19:46:16 +0000700 HeaderFileInfo &ToHFI = getFileInfo(FE);
701 ToHFI.DirInfo = DirInfo;
702 ToHFI.IndexHeaderMapHeader = IndexHeaderMapHeader;
703 ToHFI.Framework = Framework;
Douglas Gregor03b5ebe2012-08-13 15:47:39 +0000704
Craig Topperd2d442c2014-05-17 23:10:59 +0000705 if (SearchPath) {
Manuel Klimek9af34ae2014-08-12 08:25:57 +0000706 StringRef SearchPathRef(IncluderAndDir.second->getName());
Will Wilson0fafd342013-12-27 19:46:16 +0000707 SearchPath->clear();
708 SearchPath->append(SearchPathRef.begin(), SearchPathRef.end());
709 }
Craig Topperd2d442c2014-05-17 23:10:59 +0000710 if (RelativePath) {
Will Wilson0fafd342013-12-27 19:46:16 +0000711 RelativePath->clear();
712 RelativePath->append(Filename.begin(), Filename.end());
713 }
Manuel Klimek9af34ae2014-08-12 08:25:57 +0000714 if (First)
Reid Klecknera97d4c02014-02-18 23:49:24 +0000715 return FE;
716
717 // Otherwise, we found the path via MSVC header search rules. If
718 // -Wmsvc-include is enabled, we have to keep searching to see if we
719 // would've found this header in -I or -isystem directories.
Alp Tokerd4a3f0e2014-06-15 23:30:39 +0000720 if (Diags.isIgnored(diag::ext_pp_include_search_ms, IncludeLoc)) {
Reid Klecknera97d4c02014-02-18 23:49:24 +0000721 return FE;
722 } else {
723 MSFE = FE;
Richard Smith8c71eba2014-03-05 20:51:45 +0000724 if (SuggestedModule) {
725 MSSuggestedModule = *SuggestedModule;
726 *SuggestedModule = ModuleMap::KnownHeader();
727 }
Reid Klecknera97d4c02014-02-18 23:49:24 +0000728 break;
729 }
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000730 }
Manuel Klimek9af34ae2014-08-12 08:25:57 +0000731 First = false;
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000732 }
733 }
Mike Stump11289f42009-09-09 15:08:12 +0000734
Craig Topperd2d442c2014-05-17 23:10:59 +0000735 CurDir = nullptr;
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000736
737 // If this is a system #include, ignore the user #include locs.
Nico Weber3b1d1212011-05-24 04:31:14 +0000738 unsigned i = isAngled ? AngledDirIdx : 0;
Mike Stump11289f42009-09-09 15:08:12 +0000739
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000740 // If this is a #include_next request, start searching after the directory the
741 // file was found in.
742 if (FromDir)
743 i = FromDir-&SearchDirs[0];
Mike Stump11289f42009-09-09 15:08:12 +0000744
Chris Lattnerd4275422007-07-22 07:28:00 +0000745 // Cache all of the lookups performed by this method. Many headers are
746 // multiply included, and the "pragma once" optimization prevents them from
747 // being relex/pp'd, but they would still have to search through a
748 // (potentially huge) series of SearchDirs to find it.
David Blaikie13156b62014-11-19 03:06:06 +0000749 LookupFileCacheInfo &CacheLookup = LookupFileCache[Filename];
Chris Lattnerd4275422007-07-22 07:28:00 +0000750
751 // If the entry has been previously looked up, the first value will be
752 // non-zero. If the value is equal to i (the start point of our search), then
753 // this is a matching hit.
Argyrios Kyrtzidis34fad422014-03-11 06:21:28 +0000754 if (!SkipCache && CacheLookup.StartIdx == i+1) {
Chris Lattnerd4275422007-07-22 07:28:00 +0000755 // Skip querying potentially lots of directories for this lookup.
Argyrios Kyrtzidis34fad422014-03-11 06:21:28 +0000756 i = CacheLookup.HitIdx;
757 if (CacheLookup.MappedName)
758 Filename = CacheLookup.MappedName;
Chris Lattnerd4275422007-07-22 07:28:00 +0000759 } else {
760 // Otherwise, this is the first query, or the previous query didn't match
761 // our search start. We will fill in our found location below, so prime the
762 // start point value.
Argyrios Kyrtzidis7bd78a92014-03-29 03:22:54 +0000763 CacheLookup.reset(/*StartIdx=*/i+1);
Chris Lattnerd4275422007-07-22 07:28:00 +0000764 }
Mike Stump11289f42009-09-09 15:08:12 +0000765
Argyrios Kyrtzidis75fa9ed2014-02-14 14:58:28 +0000766 SmallString<64> MappedName;
767
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000768 // Check each directory in sequence to see if it contains this file.
769 for (; i != SearchDirs.size(); ++i) {
Daniel Dunbar3c9bc4d2012-04-05 17:10:06 +0000770 bool InUserSpecifiedSystemFramework = false;
Argyrios Kyrtzidis34fad422014-03-11 06:21:28 +0000771 bool HasBeenMapped = false;
Richard Smith3d5b48c2015-10-16 21:42:56 +0000772 const FileEntry *FE = SearchDirs[i].LookupFile(
Taewook Ohf42103c2016-06-13 20:40:21 +0000773 Filename, *this, IncludeLoc, SearchPath, RelativePath, RequestingModule,
Richard Smith3d5b48c2015-10-16 21:42:56 +0000774 SuggestedModule, InUserSpecifiedSystemFramework, HasBeenMapped,
775 MappedName);
Argyrios Kyrtzidis34fad422014-03-11 06:21:28 +0000776 if (HasBeenMapped) {
777 CacheLookup.MappedName =
778 copyString(Filename, LookupFileCache.getAllocator());
779 }
Chris Lattner712e3872007-12-17 08:13:48 +0000780 if (!FE) continue;
Mike Stump11289f42009-09-09 15:08:12 +0000781
Chris Lattner712e3872007-12-17 08:13:48 +0000782 CurDir = &SearchDirs[i];
Mike Stump11289f42009-09-09 15:08:12 +0000783
Chris Lattner712e3872007-12-17 08:13:48 +0000784 // This file is a system header or C++ unfriendly if the dir is.
Douglas Gregor9f93e382011-07-28 04:45:53 +0000785 HeaderFileInfo &HFI = getFileInfo(FE);
786 HFI.DirInfo = CurDir->getDirCharacteristic();
Mike Stump11289f42009-09-09 15:08:12 +0000787
Daniel Dunbar3c9bc4d2012-04-05 17:10:06 +0000788 // If the directory characteristic is User but this framework was
789 // user-specified to be treated as a system framework, promote the
790 // characteristic.
791 if (HFI.DirInfo == SrcMgr::C_User && InUserSpecifiedSystemFramework)
792 HFI.DirInfo = SrcMgr::C_System;
793
Richard Smith8acadcb2012-06-13 20:27:03 +0000794 // If the filename matches a known system header prefix, override
795 // whether the file is a system header.
Richard Trieu871f5f32012-06-13 20:52:36 +0000796 for (unsigned j = SystemHeaderPrefixes.size(); j; --j) {
797 if (Filename.startswith(SystemHeaderPrefixes[j-1].first)) {
798 HFI.DirInfo = SystemHeaderPrefixes[j-1].second ? SrcMgr::C_System
Richard Smith8acadcb2012-06-13 20:27:03 +0000799 : SrcMgr::C_User;
800 break;
801 }
802 }
803
Douglas Gregor9f93e382011-07-28 04:45:53 +0000804 // If this file is found in a header map and uses the framework style of
805 // includes, then this header is part of a framework we're building.
806 if (CurDir->isIndexHeaderMap()) {
807 size_t SlashPos = Filename.find('/');
808 if (SlashPos != StringRef::npos) {
809 HFI.IndexHeaderMapHeader = 1;
810 HFI.Framework = getUniqueFrameworkName(StringRef(Filename.begin(),
811 SlashPos));
812 }
813 }
Reid Klecknera97d4c02014-02-18 23:49:24 +0000814
Richard Smith8c71eba2014-03-05 20:51:45 +0000815 if (checkMSVCHeaderSearch(Diags, MSFE, FE, IncludeLoc)) {
816 if (SuggestedModule)
817 *SuggestedModule = MSSuggestedModule;
Reid Klecknera97d4c02014-02-18 23:49:24 +0000818 return MSFE;
Richard Smith8c71eba2014-03-05 20:51:45 +0000819 }
Reid Klecknera97d4c02014-02-18 23:49:24 +0000820
Chris Lattner712e3872007-12-17 08:13:48 +0000821 // Remember this location for the next lookup we do.
Argyrios Kyrtzidis34fad422014-03-11 06:21:28 +0000822 CacheLookup.HitIdx = i;
Chris Lattner712e3872007-12-17 08:13:48 +0000823 return FE;
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000824 }
Mike Stump11289f42009-09-09 15:08:12 +0000825
Douglas Gregord8575e12011-07-30 06:28:34 +0000826 // If we are including a file with a quoted include "foo.h" from inside
827 // a header in a framework that is currently being built, and we couldn't
828 // resolve "foo.h" any other way, change the include to <Foo/foo.h>, where
829 // "Foo" is the name of the framework in which the including header was found.
Richard Smith3c1a41a2014-12-02 00:08:08 +0000830 if (!Includers.empty() && Includers.front().first && !isAngled &&
Will Wilson0fafd342013-12-27 19:46:16 +0000831 Filename.find('/') == StringRef::npos) {
Manuel Klimek9af34ae2014-08-12 08:25:57 +0000832 HeaderFileInfo &IncludingHFI = getFileInfo(Includers.front().first);
Douglas Gregord8575e12011-07-30 06:28:34 +0000833 if (IncludingHFI.IndexHeaderMapHeader) {
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +0000834 SmallString<128> ScratchFilename;
Douglas Gregord8575e12011-07-30 06:28:34 +0000835 ScratchFilename += IncludingHFI.Framework;
836 ScratchFilename += '/';
837 ScratchFilename += Filename;
Will Wilson0fafd342013-12-27 19:46:16 +0000838
Richard Smith3d5b48c2015-10-16 21:42:56 +0000839 const FileEntry *FE =
840 LookupFile(ScratchFilename, IncludeLoc, /*isAngled=*/true, FromDir,
841 CurDir, Includers.front(), SearchPath, RelativePath,
842 RequestingModule, SuggestedModule);
Reid Klecknera97d4c02014-02-18 23:49:24 +0000843
Richard Smith8c71eba2014-03-05 20:51:45 +0000844 if (checkMSVCHeaderSearch(Diags, MSFE, FE, IncludeLoc)) {
845 if (SuggestedModule)
846 *SuggestedModule = MSSuggestedModule;
Reid Klecknera97d4c02014-02-18 23:49:24 +0000847 return MSFE;
Richard Smith8c71eba2014-03-05 20:51:45 +0000848 }
Reid Klecknera97d4c02014-02-18 23:49:24 +0000849
David Blaikie3c8c46e2014-11-19 05:48:40 +0000850 LookupFileCacheInfo &CacheLookup = LookupFileCache[Filename];
David Blaikie13156b62014-11-19 03:06:06 +0000851 CacheLookup.HitIdx = LookupFileCache[ScratchFilename].HitIdx;
Richard Smith8c71eba2014-03-05 20:51:45 +0000852 // FIXME: SuggestedModule.
Reid Klecknera97d4c02014-02-18 23:49:24 +0000853 return FE;
Douglas Gregord8575e12011-07-30 06:28:34 +0000854 }
855 }
856
Craig Topperd2d442c2014-05-17 23:10:59 +0000857 if (checkMSVCHeaderSearch(Diags, MSFE, nullptr, IncludeLoc)) {
Richard Smith8c71eba2014-03-05 20:51:45 +0000858 if (SuggestedModule)
859 *SuggestedModule = MSSuggestedModule;
Reid Klecknera97d4c02014-02-18 23:49:24 +0000860 return MSFE;
Richard Smith8c71eba2014-03-05 20:51:45 +0000861 }
Reid Klecknera97d4c02014-02-18 23:49:24 +0000862
Chris Lattnerd4275422007-07-22 07:28:00 +0000863 // Otherwise, didn't find it. Remember we didn't find this.
Argyrios Kyrtzidis34fad422014-03-11 06:21:28 +0000864 CacheLookup.HitIdx = SearchDirs.size();
Craig Topperd2d442c2014-05-17 23:10:59 +0000865 return nullptr;
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000866}
867
Chris Lattner63dd32b2006-10-20 04:42:40 +0000868/// LookupSubframeworkHeader - Look up a subframework for the specified
James Dennettc07ab2c2012-06-20 00:56:32 +0000869/// \#include file. For example, if \#include'ing <HIToolbox/HIToolbox.h> from
Chris Lattner63dd32b2006-10-20 04:42:40 +0000870/// within ".../Carbon.framework/Headers/Carbon.h", check to see if HIToolbox
871/// is a subframework within Carbon.framework. If so, return the FileEntry
872/// for the designated file, otherwise return null.
873const FileEntry *HeaderSearch::
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000874LookupSubframeworkHeader(StringRef Filename,
Chandler Carruth3cc331a2011-03-16 18:34:36 +0000875 const FileEntry *ContextFileEnt,
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000876 SmallVectorImpl<char> *SearchPath,
Douglas Gregorf5f94522013-02-08 00:10:48 +0000877 SmallVectorImpl<char> *RelativePath,
Richard Smith3d5b48c2015-10-16 21:42:56 +0000878 Module *RequestingModule,
Lawrence Crowlb53e5482013-06-20 21:14:14 +0000879 ModuleMap::KnownHeader *SuggestedModule) {
Chris Lattner12261882008-02-01 05:34:02 +0000880 assert(ContextFileEnt && "No context file?");
Mike Stump11289f42009-09-09 15:08:12 +0000881
Chris Lattner63dd32b2006-10-20 04:42:40 +0000882 // Framework names must have a '/' in the filename. Find it.
Douglas Gregor5ca04bd2011-12-09 16:48:01 +0000883 // FIXME: Should we permit '\' on Windows?
Chris Lattnerd081f8c2010-01-10 01:35:12 +0000884 size_t SlashPos = Filename.find('/');
Craig Topperd2d442c2014-05-17 23:10:59 +0000885 if (SlashPos == StringRef::npos) return nullptr;
Mike Stump11289f42009-09-09 15:08:12 +0000886
Chris Lattner63dd32b2006-10-20 04:42:40 +0000887 // Look up the base framework name of the ContextFileEnt.
Mehdi Amini004b9c72016-10-10 22:52:47 +0000888 StringRef ContextName = ContextFileEnt->getName();
Mike Stump11289f42009-09-09 15:08:12 +0000889
Chris Lattner63dd32b2006-10-20 04:42:40 +0000890 // If the context info wasn't a framework, couldn't be a subframework.
Douglas Gregor5ca04bd2011-12-09 16:48:01 +0000891 const unsigned DotFrameworkLen = 10;
Mehdi Amini004b9c72016-10-10 22:52:47 +0000892 auto FrameworkPos = ContextName.find(".framework");
893 if (FrameworkPos == StringRef::npos ||
894 (ContextName[FrameworkPos + DotFrameworkLen] != '/' &&
895 ContextName[FrameworkPos + DotFrameworkLen] != '\\'))
Craig Topperd2d442c2014-05-17 23:10:59 +0000896 return nullptr;
Mike Stump11289f42009-09-09 15:08:12 +0000897
Mehdi Amini004b9c72016-10-10 22:52:47 +0000898 SmallString<1024> FrameworkName(ContextName.data(), ContextName.data() +
899 FrameworkPos +
900 DotFrameworkLen + 1);
Chris Lattner5ed76da2006-10-22 07:24:13 +0000901
Chris Lattner63dd32b2006-10-20 04:42:40 +0000902 // Append Frameworks/HIToolbox.framework/
903 FrameworkName += "Frameworks/";
Chris Lattnerd081f8c2010-01-10 01:35:12 +0000904 FrameworkName.append(Filename.begin(), Filename.begin()+SlashPos);
Chris Lattner63dd32b2006-10-20 04:42:40 +0000905 FrameworkName += ".framework/";
Chris Lattner577377e2006-10-20 04:55:45 +0000906
David Blaikie13156b62014-11-19 03:06:06 +0000907 auto &CacheLookup =
908 *FrameworkMap.insert(std::make_pair(Filename.substr(0, SlashPos),
909 FrameworkCacheEntry())).first;
Mike Stump11289f42009-09-09 15:08:12 +0000910
Chris Lattner5ed76da2006-10-22 07:24:13 +0000911 // Some other location?
David Blaikie13156b62014-11-19 03:06:06 +0000912 if (CacheLookup.second.Directory &&
913 CacheLookup.first().size() == FrameworkName.size() &&
914 memcmp(CacheLookup.first().data(), &FrameworkName[0],
915 CacheLookup.first().size()) != 0)
Craig Topperd2d442c2014-05-17 23:10:59 +0000916 return nullptr;
Mike Stump11289f42009-09-09 15:08:12 +0000917
Chris Lattner5ed76da2006-10-22 07:24:13 +0000918 // Cache subframework.
David Blaikie13156b62014-11-19 03:06:06 +0000919 if (!CacheLookup.second.Directory) {
Chris Lattner5ed76da2006-10-22 07:24:13 +0000920 ++NumSubFrameworkLookups;
Mike Stump11289f42009-09-09 15:08:12 +0000921
Chris Lattner5ed76da2006-10-22 07:24:13 +0000922 // If the framework dir doesn't exist, we fail.
Yaron Keren92e1b622015-03-18 10:17:07 +0000923 const DirectoryEntry *Dir = FileMgr.getDirectory(FrameworkName);
Craig Topperd2d442c2014-05-17 23:10:59 +0000924 if (!Dir) return nullptr;
Mike Stump11289f42009-09-09 15:08:12 +0000925
Chris Lattner5ed76da2006-10-22 07:24:13 +0000926 // Otherwise, if it does, remember that this is the right direntry for this
927 // framework.
David Blaikie13156b62014-11-19 03:06:06 +0000928 CacheLookup.second.Directory = Dir;
Chris Lattner5ed76da2006-10-22 07:24:13 +0000929 }
Mike Stump11289f42009-09-09 15:08:12 +0000930
Craig Topperd2d442c2014-05-17 23:10:59 +0000931 const FileEntry *FE = nullptr;
Chris Lattner577377e2006-10-20 04:55:45 +0000932
Craig Topperd2d442c2014-05-17 23:10:59 +0000933 if (RelativePath) {
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000934 RelativePath->clear();
935 RelativePath->append(Filename.begin()+SlashPos+1, Filename.end());
936 }
937
Chris Lattner63dd32b2006-10-20 04:42:40 +0000938 // Check ".../Frameworks/HIToolbox.framework/Headers/HIToolbox.h"
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +0000939 SmallString<1024> HeadersFilename(FrameworkName);
Chris Lattner43fd42e2006-10-30 03:40:58 +0000940 HeadersFilename += "Headers/";
Craig Topperd2d442c2014-05-17 23:10:59 +0000941 if (SearchPath) {
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000942 SearchPath->clear();
943 // Without trailing '/'.
944 SearchPath->append(HeadersFilename.begin(), HeadersFilename.end()-1);
945 }
946
Chris Lattnerd081f8c2010-01-10 01:35:12 +0000947 HeadersFilename.append(Filename.begin()+SlashPos+1, Filename.end());
Yaron Keren92e1b622015-03-18 10:17:07 +0000948 if (!(FE = FileMgr.getFile(HeadersFilename, /*openFile=*/true))) {
Mike Stump11289f42009-09-09 15:08:12 +0000949
Chris Lattner63dd32b2006-10-20 04:42:40 +0000950 // Check ".../Frameworks/HIToolbox.framework/PrivateHeaders/HIToolbox.h"
Chris Lattner43fd42e2006-10-30 03:40:58 +0000951 HeadersFilename = FrameworkName;
952 HeadersFilename += "PrivateHeaders/";
Craig Topperd2d442c2014-05-17 23:10:59 +0000953 if (SearchPath) {
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000954 SearchPath->clear();
955 // Without trailing '/'.
956 SearchPath->append(HeadersFilename.begin(), HeadersFilename.end()-1);
957 }
958
Chris Lattnerd081f8c2010-01-10 01:35:12 +0000959 HeadersFilename.append(Filename.begin()+SlashPos+1, Filename.end());
Yaron Keren92e1b622015-03-18 10:17:07 +0000960 if (!(FE = FileMgr.getFile(HeadersFilename, /*openFile=*/true)))
Craig Topperd2d442c2014-05-17 23:10:59 +0000961 return nullptr;
Chris Lattner63dd32b2006-10-20 04:42:40 +0000962 }
Mike Stump11289f42009-09-09 15:08:12 +0000963
Chris Lattner577377e2006-10-20 04:55:45 +0000964 // This file is a system header or C++ unfriendly if the old file is.
Ted Kremenek72be0682008-02-24 03:55:14 +0000965 //
Chris Lattnerf5c619f2008-02-25 21:38:21 +0000966 // Note that the temporary 'DirInfo' is required here, as either call to
967 // getFileInfo could resize the vector and we don't want to rely on order
968 // of evaluation.
969 unsigned DirInfo = getFileInfo(ContextFileEnt).DirInfo;
970 getFileInfo(FE).DirInfo = DirInfo;
Douglas Gregorf5f94522013-02-08 00:10:48 +0000971
Richard Smith3d5b48c2015-10-16 21:42:56 +0000972 FrameworkName.pop_back(); // remove the trailing '/'
973 if (!findUsableModuleForFrameworkHeader(FE, FrameworkName, RequestingModule,
974 SuggestedModule, /*IsSystem*/ false))
975 return nullptr;
Douglas Gregorf5f94522013-02-08 00:10:48 +0000976
Chris Lattner577377e2006-10-20 04:55:45 +0000977 return FE;
Chris Lattner63dd32b2006-10-20 04:42:40 +0000978}
979
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000980//===----------------------------------------------------------------------===//
981// File Info Management.
982//===----------------------------------------------------------------------===//
983
Douglas Gregor5d1bee22011-09-17 05:35:18 +0000984/// \brief Merge the header file info provided by \p OtherHFI into the current
985/// header file info (\p HFI)
986static void mergeHeaderFileInfo(HeaderFileInfo &HFI,
987 const HeaderFileInfo &OtherHFI) {
Richard Smithd8879c82015-08-24 21:59:32 +0000988 assert(OtherHFI.External && "expected to merge external HFI");
989
Douglas Gregor5d1bee22011-09-17 05:35:18 +0000990 HFI.isImport |= OtherHFI.isImport;
991 HFI.isPragmaOnce |= OtherHFI.isPragmaOnce;
Argyrios Kyrtzidisb146baa2013-03-13 21:13:51 +0000992 HFI.isModuleHeader |= OtherHFI.isModuleHeader;
Douglas Gregor5d1bee22011-09-17 05:35:18 +0000993 HFI.NumIncludes += OtherHFI.NumIncludes;
Richard Smithd8879c82015-08-24 21:59:32 +0000994
Douglas Gregor5d1bee22011-09-17 05:35:18 +0000995 if (!HFI.ControllingMacro && !HFI.ControllingMacroID) {
996 HFI.ControllingMacro = OtherHFI.ControllingMacro;
997 HFI.ControllingMacroID = OtherHFI.ControllingMacroID;
998 }
Richard Smithd8879c82015-08-24 21:59:32 +0000999
1000 HFI.DirInfo = OtherHFI.DirInfo;
1001 HFI.External = (!HFI.IsValid || HFI.External);
1002 HFI.IsValid = true;
1003 HFI.IndexHeaderMapHeader = OtherHFI.IndexHeaderMapHeader;
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001004
Douglas Gregor5d1bee22011-09-17 05:35:18 +00001005 if (HFI.Framework.empty())
1006 HFI.Framework = OtherHFI.Framework;
Douglas Gregor5d1bee22011-09-17 05:35:18 +00001007}
1008
Steve Naroff3fa455a2009-04-24 20:03:17 +00001009/// getFileInfo - Return the HeaderFileInfo structure for the specified
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001010/// FileEntry.
Steve Naroff3fa455a2009-04-24 20:03:17 +00001011HeaderFileInfo &HeaderSearch::getFileInfo(const FileEntry *FE) {
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001012 if (FE->getUID() >= FileInfo.size())
Richard Smith386bb072015-08-18 23:42:23 +00001013 FileInfo.resize(FE->getUID() + 1);
1014
Richard Smithd8879c82015-08-24 21:59:32 +00001015 HeaderFileInfo *HFI = &FileInfo[FE->getUID()];
Richard Smith386bb072015-08-18 23:42:23 +00001016 // FIXME: Use a generation count to check whether this is really up to date.
Richard Smithd8879c82015-08-24 21:59:32 +00001017 if (ExternalSource && !HFI->Resolved) {
1018 HFI->Resolved = true;
1019 auto ExternalHFI = ExternalSource->GetHeaderFileInfo(FE);
1020
1021 HFI = &FileInfo[FE->getUID()];
1022 if (ExternalHFI.External)
1023 mergeHeaderFileInfo(*HFI, ExternalHFI);
Richard Smith386bb072015-08-18 23:42:23 +00001024 }
1025
Richard Smithd8879c82015-08-24 21:59:32 +00001026 HFI->IsValid = true;
Richard Smith386bb072015-08-18 23:42:23 +00001027 // We have local information about this header file, so it's no longer
1028 // strictly external.
Richard Smithd8879c82015-08-24 21:59:32 +00001029 HFI->External = false;
1030 return *HFI;
Mike Stump11289f42009-09-09 15:08:12 +00001031}
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001032
Richard Smith386bb072015-08-18 23:42:23 +00001033const HeaderFileInfo *
Richard Smithd8879c82015-08-24 21:59:32 +00001034HeaderSearch::getExistingFileInfo(const FileEntry *FE,
1035 bool WantExternal) const {
Richard Smith386bb072015-08-18 23:42:23 +00001036 // If we have an external source, ensure we have the latest information.
1037 // FIXME: Use a generation count to check whether this is really up to date.
Richard Smithd8879c82015-08-24 21:59:32 +00001038 HeaderFileInfo *HFI;
1039 if (ExternalSource) {
1040 if (FE->getUID() >= FileInfo.size()) {
1041 if (!WantExternal)
1042 return nullptr;
1043 FileInfo.resize(FE->getUID() + 1);
Richard Smith386bb072015-08-18 23:42:23 +00001044 }
Richard Smithd8879c82015-08-24 21:59:32 +00001045
1046 HFI = &FileInfo[FE->getUID()];
1047 if (!WantExternal && (!HFI->IsValid || HFI->External))
1048 return nullptr;
1049 if (!HFI->Resolved) {
1050 HFI->Resolved = true;
1051 auto ExternalHFI = ExternalSource->GetHeaderFileInfo(FE);
1052
1053 HFI = &FileInfo[FE->getUID()];
1054 if (ExternalHFI.External)
1055 mergeHeaderFileInfo(*HFI, ExternalHFI);
1056 }
1057 } else if (FE->getUID() >= FileInfo.size()) {
1058 return nullptr;
1059 } else {
1060 HFI = &FileInfo[FE->getUID()];
Ben Langmuird285c502014-03-13 16:46:36 +00001061 }
Richard Smith386bb072015-08-18 23:42:23 +00001062
Richard Smithd8879c82015-08-24 21:59:32 +00001063 if (!HFI->IsValid || (HFI->External && !WantExternal))
Richard Smith386bb072015-08-18 23:42:23 +00001064 return nullptr;
1065
Richard Smithd8879c82015-08-24 21:59:32 +00001066 return HFI;
Ben Langmuird285c502014-03-13 16:46:36 +00001067}
1068
Douglas Gregor37aa4932011-05-04 00:14:37 +00001069bool HeaderSearch::isFileMultipleIncludeGuarded(const FileEntry *File) {
1070 // Check if we've ever seen this file as a header.
Richard Smith386bb072015-08-18 23:42:23 +00001071 if (auto *HFI = getExistingFileInfo(File))
1072 return HFI->isPragmaOnce || HFI->isImport || HFI->ControllingMacro ||
1073 HFI->ControllingMacroID;
1074 return false;
Douglas Gregor37aa4932011-05-04 00:14:37 +00001075}
1076
Argyrios Kyrtzidis6f722b42013-05-08 23:46:46 +00001077void HeaderSearch::MarkFileModuleHeader(const FileEntry *FE,
Lawrence Crowlb53e5482013-06-20 21:14:14 +00001078 ModuleMap::ModuleHeaderRole Role,
Argyrios Kyrtzidis6f722b42013-05-08 23:46:46 +00001079 bool isCompilingModuleHeader) {
Richard Smithd8879c82015-08-24 21:59:32 +00001080 bool isModularHeader = !(Role & ModuleMap::TextualHeader);
1081
1082 // Don't mark the file info as non-external if there's nothing to change.
1083 if (!isCompilingModuleHeader) {
1084 if (!isModularHeader)
1085 return;
1086 auto *HFI = getExistingFileInfo(FE);
1087 if (HFI && HFI->isModuleHeader)
1088 return;
1089 }
1090
Richard Smith386bb072015-08-18 23:42:23 +00001091 auto &HFI = getFileInfo(FE);
Richard Smithd8879c82015-08-24 21:59:32 +00001092 HFI.isModuleHeader |= isModularHeader;
Richard Smithe70dadd2015-07-10 22:27:17 +00001093 HFI.isCompilingModuleHeader |= isCompilingModuleHeader;
Argyrios Kyrtzidisb146baa2013-03-13 21:13:51 +00001094}
1095
Richard Smith20e883e2015-04-29 23:20:19 +00001096bool HeaderSearch::ShouldEnterIncludeFile(Preprocessor &PP,
Bruno Cardoso Lopesba1b5c92017-01-11 02:14:51 +00001097 const FileEntry *File, bool isImport,
1098 bool ModulesEnabled, Module *M) {
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001099 ++NumIncluded; // Count # of attempted #includes.
1100
1101 // Get information about this file.
Steve Naroff3fa455a2009-04-24 20:03:17 +00001102 HeaderFileInfo &FileInfo = getFileInfo(File);
Mike Stump11289f42009-09-09 15:08:12 +00001103
Bruno Cardoso Lopesba1b5c92017-01-11 02:14:51 +00001104 // FIXME: this is a workaround for the lack of proper modules-aware support
1105 // for #import / #pragma once
1106 auto TryEnterImported = [&](void) -> bool {
1107 if (!ModulesEnabled)
1108 return false;
1109 // Modules with builtins are special; multiple modules use builtins as
1110 // modular headers, example:
1111 //
1112 // module stddef { header "stddef.h" export * }
1113 //
1114 // After module map parsing, this expands to:
1115 //
1116 // module stddef {
1117 // header "/path_to_builtin_dirs/stddef.h"
1118 // textual "stddef.h"
1119 // }
1120 //
1121 // It's common that libc++ and system modules will both define such
1122 // submodules. Make sure cached results for a builtin header won't
1123 // prevent other builtin modules to potentially enter the builtin header.
1124 // Note that builtins are header guarded and the decision to actually
1125 // enter them is postponed to the controlling macros logic below.
1126 bool TryEnterHdr = false;
1127 if (FileInfo.isCompilingModuleHeader && FileInfo.isModuleHeader)
1128 TryEnterHdr = File->getDir() == ModMap.getBuiltinDir() &&
1129 ModuleMap::isBuiltinHeader(
1130 llvm::sys::path::filename(File->getName()));
1131
1132 // Textual headers can be #imported from different modules. Since ObjC
1133 // headers find in the wild might rely only on #import and do not contain
1134 // controlling macros, be conservative and only try to enter textual headers
1135 // if such macro is present.
1136 if (!FileInfo.isModuleHeader &&
1137 FileInfo.getControllingMacro(ExternalLookup))
1138 TryEnterHdr = true;
1139 return TryEnterHdr;
1140 };
1141
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001142 // If this is a #import directive, check that we have not already imported
1143 // this header.
1144 if (isImport) {
1145 // If this has already been imported, don't import it again.
1146 FileInfo.isImport = true;
Mike Stump11289f42009-09-09 15:08:12 +00001147
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001148 // Has this already been #import'ed or #include'd?
Bruno Cardoso Lopesba1b5c92017-01-11 02:14:51 +00001149 if (FileInfo.NumIncludes && !TryEnterImported())
1150 return false;
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001151 } else {
1152 // Otherwise, if this is a #include of a file that was previously #import'd
1153 // or if this is the second #include of a #pragma once file, ignore it.
Bruno Cardoso Lopesba1b5c92017-01-11 02:14:51 +00001154 if (FileInfo.isImport && !TryEnterImported())
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001155 return false;
1156 }
Mike Stump11289f42009-09-09 15:08:12 +00001157
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001158 // Next, check to see if the file is wrapped with #ifndef guards. If so, and
1159 // if the macro that guards it is defined, we know the #include has no effect.
Mike Stump11289f42009-09-09 15:08:12 +00001160 if (const IdentifierInfo *ControllingMacro
Richard Smithe70dadd2015-07-10 22:27:17 +00001161 = FileInfo.getControllingMacro(ExternalLookup)) {
1162 // If the header corresponds to a module, check whether the macro is already
1163 // defined in that module rather than checking in the current set of visible
1164 // modules.
1165 if (M ? PP.isMacroDefinedInLocalModule(ControllingMacro, M)
1166 : PP.isMacroDefined(ControllingMacro)) {
Douglas Gregor99734e72009-04-25 23:30:02 +00001167 ++NumMultiIncludeFileOptzn;
1168 return false;
1169 }
Richard Smithe70dadd2015-07-10 22:27:17 +00001170 }
Mike Stump11289f42009-09-09 15:08:12 +00001171
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001172 // Increment the number of times this file has been included.
1173 ++FileInfo.NumIncludes;
Mike Stump11289f42009-09-09 15:08:12 +00001174
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001175 return true;
1176}
1177
Ted Kremenekfbcce6f2011-07-26 23:46:11 +00001178size_t HeaderSearch::getTotalMemory() const {
1179 return SearchDirs.capacity()
Ted Kremenekae63d102011-07-27 18:41:18 +00001180 + llvm::capacity_in_bytes(FileInfo)
1181 + llvm::capacity_in_bytes(HeaderMaps)
Ted Kremenekfbcce6f2011-07-26 23:46:11 +00001182 + LookupFileCache.getAllocator().getTotalMemory()
1183 + FrameworkMap.getAllocator().getTotalMemory();
1184}
Douglas Gregor9f93e382011-07-28 04:45:53 +00001185
1186StringRef HeaderSearch::getUniqueFrameworkName(StringRef Framework) {
David Blaikie13156b62014-11-19 03:06:06 +00001187 return FrameworkNames.insert(Framework).first->first();
Douglas Gregor9f93e382011-07-28 04:45:53 +00001188}
Douglas Gregor718292f2011-11-11 19:10:28 +00001189
1190bool HeaderSearch::hasModuleMap(StringRef FileName,
Douglas Gregor963c5532013-06-21 16:28:10 +00001191 const DirectoryEntry *Root,
1192 bool IsSystem) {
Richard Smith47972af2015-06-16 00:08:24 +00001193 if (!HSOpts->ImplicitModuleMaps)
Argyrios Kyrtzidis9955dbc2013-12-12 16:08:33 +00001194 return false;
1195
Dmitri Gribenkof8579502013-01-12 19:30:44 +00001196 SmallVector<const DirectoryEntry *, 2> FixUpDirectories;
Douglas Gregor718292f2011-11-11 19:10:28 +00001197
1198 StringRef DirName = FileName;
1199 do {
1200 // Get the parent directory name.
1201 DirName = llvm::sys::path::parent_path(DirName);
1202 if (DirName.empty())
1203 return false;
Daniel Jasperca9f7382013-09-24 09:27:13 +00001204
Douglas Gregor718292f2011-11-11 19:10:28 +00001205 // Determine whether this directory exists.
1206 const DirectoryEntry *Dir = FileMgr.getDirectory(DirName);
1207 if (!Dir)
1208 return false;
Daniel Jasperca9f7382013-09-24 09:27:13 +00001209
Ben Langmuir984e1df2014-03-19 20:23:34 +00001210 // Try to load the module map file in this directory.
Richard Smith3c1a41a2014-12-02 00:08:08 +00001211 switch (loadModuleMapFile(Dir, IsSystem,
1212 llvm::sys::path::extension(Dir->getName()) ==
1213 ".framework")) {
Douglas Gregor80b69042011-11-12 00:22:19 +00001214 case LMM_NewlyLoaded:
1215 case LMM_AlreadyLoaded:
Daniel Jasperca9f7382013-09-24 09:27:13 +00001216 // Success. All of the directories we stepped through inherit this module
1217 // map file.
1218 for (unsigned I = 0, N = FixUpDirectories.size(); I != N; ++I)
1219 DirectoryHasModuleMap[FixUpDirectories[I]] = true;
1220 return true;
Daniel Jasper97da9172013-10-22 08:09:47 +00001221
1222 case LMM_NoDirectory:
1223 case LMM_InvalidModuleMap:
1224 break;
Daniel Jasperca9f7382013-09-24 09:27:13 +00001225 }
1226
Douglas Gregoraf28ec82011-11-12 00:05:07 +00001227 // If we hit the top of our search, we're done.
1228 if (Dir == Root)
1229 return false;
1230
Douglas Gregor718292f2011-11-11 19:10:28 +00001231 // Keep track of all of the directories we checked, so we can mark them as
1232 // having module maps if we eventually do find a module map.
1233 FixUpDirectories.push_back(Dir);
1234 } while (true);
Douglas Gregor718292f2011-11-11 19:10:28 +00001235}
1236
Lawrence Crowlb53e5482013-06-20 21:14:14 +00001237ModuleMap::KnownHeader
Bruno Cardoso Lopesed84df02016-10-21 01:41:56 +00001238HeaderSearch::findModuleForHeader(const FileEntry *File,
1239 bool AllowTextual) const {
Argyrios Kyrtzidisb146baa2013-03-13 21:13:51 +00001240 if (ExternalSource) {
1241 // Make sure the external source has handled header info about this file,
1242 // which includes whether the file is part of a module.
Richard Smith386bb072015-08-18 23:42:23 +00001243 (void)getExistingFileInfo(File);
Argyrios Kyrtzidisb146baa2013-03-13 21:13:51 +00001244 }
Bruno Cardoso Lopesed84df02016-10-21 01:41:56 +00001245 return ModMap.findModuleForHeader(File, AllowTextual);
1246}
1247
1248static bool suggestModule(HeaderSearch &HS, const FileEntry *File,
1249 Module *RequestingModule,
1250 ModuleMap::KnownHeader *SuggestedModule) {
1251 ModuleMap::KnownHeader Module =
1252 HS.findModuleForHeader(File, /*AllowTextual*/true);
1253 if (SuggestedModule)
1254 *SuggestedModule = (Module.getRole() & ModuleMap::TextualHeader)
1255 ? ModuleMap::KnownHeader()
1256 : Module;
1257
1258 // If this module specifies [no_undeclared_includes], we cannot find any
1259 // file that's in a non-dependency module.
1260 if (RequestingModule && Module && RequestingModule->NoUndeclaredIncludes) {
1261 HS.getModuleMap().resolveUses(RequestingModule, /*Complain*/false);
1262 if (!RequestingModule->directlyUses(Module.getModule())) {
1263 return false;
1264 }
1265 }
1266
1267 return true;
Douglas Gregor718292f2011-11-11 19:10:28 +00001268}
1269
Richard Smith3d5b48c2015-10-16 21:42:56 +00001270bool HeaderSearch::findUsableModuleForHeader(
1271 const FileEntry *File, const DirectoryEntry *Root, Module *RequestingModule,
1272 ModuleMap::KnownHeader *SuggestedModule, bool IsSystemHeaderDir) {
Bruno Cardoso Lopesed84df02016-10-21 01:41:56 +00001273 if (File && needModuleLookup(RequestingModule, SuggestedModule)) {
Richard Smith3d5b48c2015-10-16 21:42:56 +00001274 // If there is a module that corresponds to this header, suggest it.
1275 hasModuleMap(File->getName(), Root, IsSystemHeaderDir);
Bruno Cardoso Lopesed84df02016-10-21 01:41:56 +00001276 return suggestModule(*this, File, RequestingModule, SuggestedModule);
Richard Smith3d5b48c2015-10-16 21:42:56 +00001277 }
1278 return true;
1279}
1280
1281bool HeaderSearch::findUsableModuleForFrameworkHeader(
1282 const FileEntry *File, StringRef FrameworkName, Module *RequestingModule,
1283 ModuleMap::KnownHeader *SuggestedModule, bool IsSystemFramework) {
1284 // If we're supposed to suggest a module, look for one now.
Bruno Cardoso Lopesed84df02016-10-21 01:41:56 +00001285 if (needModuleLookup(RequestingModule, SuggestedModule)) {
Richard Smith3d5b48c2015-10-16 21:42:56 +00001286 // Find the top-level framework based on this framework.
1287 SmallVector<std::string, 4> SubmodulePath;
1288 const DirectoryEntry *TopFrameworkDir
1289 = ::getTopFrameworkDir(FileMgr, FrameworkName, SubmodulePath);
1290
1291 // Determine the name of the top-level framework.
1292 StringRef ModuleName = llvm::sys::path::stem(TopFrameworkDir->getName());
1293
1294 // Load this framework module. If that succeeds, find the suggested module
1295 // for this header, if any.
1296 loadFrameworkModule(ModuleName, TopFrameworkDir, IsSystemFramework);
1297
1298 // FIXME: This can find a module not part of ModuleName, which is
1299 // important so that we're consistent about whether this header
1300 // corresponds to a module. Possibly we should lock down framework modules
1301 // so that this is not possible.
Bruno Cardoso Lopesed84df02016-10-21 01:41:56 +00001302 return suggestModule(*this, File, RequestingModule, SuggestedModule);
Richard Smith3d5b48c2015-10-16 21:42:56 +00001303 }
1304 return true;
1305}
1306
Richard Smith9acb99e32014-12-10 03:09:48 +00001307static const FileEntry *getPrivateModuleMap(const FileEntry *File,
Ben Langmuir984e1df2014-03-19 20:23:34 +00001308 FileManager &FileMgr) {
Richard Smith9acb99e32014-12-10 03:09:48 +00001309 StringRef Filename = llvm::sys::path::filename(File->getName());
1310 SmallString<128> PrivateFilename(File->getDir()->getName());
Ben Langmuir984e1df2014-03-19 20:23:34 +00001311 if (Filename == "module.map")
Douglas Gregor80306772011-12-07 21:25:07 +00001312 llvm::sys::path::append(PrivateFilename, "module_private.map");
Ben Langmuir984e1df2014-03-19 20:23:34 +00001313 else if (Filename == "module.modulemap")
1314 llvm::sys::path::append(PrivateFilename, "module.private.modulemap");
1315 else
1316 return nullptr;
1317 return FileMgr.getFile(PrivateFilename);
Douglas Gregor2b20cb82011-11-16 00:09:06 +00001318}
1319
Ben Langmuir984e1df2014-03-19 20:23:34 +00001320bool HeaderSearch::loadModuleMapFile(const FileEntry *File, bool IsSystem) {
Richard Smith9acb99e32014-12-10 03:09:48 +00001321 // Find the directory for the module. For frameworks, that may require going
1322 // up from the 'Modules' directory.
1323 const DirectoryEntry *Dir = nullptr;
1324 if (getHeaderSearchOpts().ModuleMapFileHomeIsCwd)
1325 Dir = FileMgr.getDirectory(".");
1326 else {
1327 Dir = File->getDir();
1328 StringRef DirName(Dir->getName());
1329 if (llvm::sys::path::filename(DirName) == "Modules") {
1330 DirName = llvm::sys::path::parent_path(DirName);
1331 if (DirName.endswith(".framework"))
1332 Dir = FileMgr.getDirectory(DirName);
1333 // FIXME: This assert can fail if there's a race between the above check
1334 // and the removal of the directory.
1335 assert(Dir && "parent must exist");
1336 }
1337 }
1338
1339 switch (loadModuleMapFileImpl(File, IsSystem, Dir)) {
Ben Langmuir984e1df2014-03-19 20:23:34 +00001340 case LMM_AlreadyLoaded:
1341 case LMM_NewlyLoaded:
1342 return false;
1343 case LMM_NoDirectory:
1344 case LMM_InvalidModuleMap:
1345 return true;
1346 }
Aaron Ballmand8de5b62014-03-20 14:22:33 +00001347 llvm_unreachable("Unknown load module map result");
Ben Langmuir984e1df2014-03-19 20:23:34 +00001348}
1349
1350HeaderSearch::LoadModuleMapResult
Richard Smith9acb99e32014-12-10 03:09:48 +00001351HeaderSearch::loadModuleMapFileImpl(const FileEntry *File, bool IsSystem,
1352 const DirectoryEntry *Dir) {
Ben Langmuir984e1df2014-03-19 20:23:34 +00001353 assert(File && "expected FileEntry");
1354
Richard Smith9887d792014-10-17 01:42:53 +00001355 // Check whether we've already loaded this module map, and mark it as being
1356 // loaded in case we recursively try to load it from itself.
1357 auto AddResult = LoadedModuleMaps.insert(std::make_pair(File, true));
1358 if (!AddResult.second)
1359 return AddResult.first->second ? LMM_AlreadyLoaded : LMM_InvalidModuleMap;
Ben Langmuir984e1df2014-03-19 20:23:34 +00001360
Richard Smith9acb99e32014-12-10 03:09:48 +00001361 if (ModMap.parseModuleMapFile(File, IsSystem, Dir)) {
Richard Smith9887d792014-10-17 01:42:53 +00001362 LoadedModuleMaps[File] = false;
Ben Langmuir984e1df2014-03-19 20:23:34 +00001363 return LMM_InvalidModuleMap;
1364 }
1365
1366 // Try to load a corresponding private module map.
Richard Smith9acb99e32014-12-10 03:09:48 +00001367 if (const FileEntry *PMMFile = getPrivateModuleMap(File, FileMgr)) {
1368 if (ModMap.parseModuleMapFile(PMMFile, IsSystem, Dir)) {
Richard Smith9887d792014-10-17 01:42:53 +00001369 LoadedModuleMaps[File] = false;
Ben Langmuir984e1df2014-03-19 20:23:34 +00001370 return LMM_InvalidModuleMap;
1371 }
1372 }
1373
1374 // This directory has a module map.
Ben Langmuir984e1df2014-03-19 20:23:34 +00001375 return LMM_NewlyLoaded;
1376}
1377
1378const FileEntry *
1379HeaderSearch::lookupModuleMapFile(const DirectoryEntry *Dir, bool IsFramework) {
Richard Smith47972af2015-06-16 00:08:24 +00001380 if (!HSOpts->ImplicitModuleMaps)
Daniel Jasper21a0f552014-11-25 09:45:48 +00001381 return nullptr;
Ben Langmuir984e1df2014-03-19 20:23:34 +00001382 // For frameworks, the preferred spelling is Modules/module.modulemap, but
1383 // module.map at the framework root is also accepted.
1384 SmallString<128> ModuleMapFileName(Dir->getName());
1385 if (IsFramework)
1386 llvm::sys::path::append(ModuleMapFileName, "Modules");
1387 llvm::sys::path::append(ModuleMapFileName, "module.modulemap");
1388 if (const FileEntry *F = FileMgr.getFile(ModuleMapFileName))
1389 return F;
1390
1391 // Continue to allow module.map
1392 ModuleMapFileName = Dir->getName();
1393 llvm::sys::path::append(ModuleMapFileName, "module.map");
1394 return FileMgr.getFile(ModuleMapFileName);
1395}
1396
1397Module *HeaderSearch::loadFrameworkModule(StringRef Name,
Douglas Gregor279a6c32012-01-29 17:08:11 +00001398 const DirectoryEntry *Dir,
1399 bool IsSystem) {
Douglas Gregorde3ef502011-11-30 23:21:26 +00001400 if (Module *Module = ModMap.findModule(Name))
Douglas Gregor56c64012011-11-17 01:41:17 +00001401 return Module;
Daniel Jasper21a0f552014-11-25 09:45:48 +00001402
Douglas Gregor56c64012011-11-17 01:41:17 +00001403 // Try to load a module map file.
Ben Langmuir984e1df2014-03-19 20:23:34 +00001404 switch (loadModuleMapFile(Dir, IsSystem, /*IsFramework*/true)) {
Douglas Gregor56c64012011-11-17 01:41:17 +00001405 case LMM_InvalidModuleMap:
Ben Langmuira5254002015-07-02 13:19:48 +00001406 // Try to infer a module map from the framework directory.
1407 if (HSOpts->ImplicitModuleMaps)
1408 ModMap.inferFrameworkModule(Dir, IsSystem, /*Parent=*/nullptr);
Douglas Gregor56c64012011-11-17 01:41:17 +00001409 break;
Daniel Jasper21a0f552014-11-25 09:45:48 +00001410
Douglas Gregor56c64012011-11-17 01:41:17 +00001411 case LMM_AlreadyLoaded:
1412 case LMM_NoDirectory:
Craig Topperd2d442c2014-05-17 23:10:59 +00001413 return nullptr;
1414
Douglas Gregor56c64012011-11-17 01:41:17 +00001415 case LMM_NewlyLoaded:
Ben Langmuira5254002015-07-02 13:19:48 +00001416 break;
Douglas Gregor56c64012011-11-17 01:41:17 +00001417 }
Douglas Gregor3a5999b2012-01-13 22:31:52 +00001418
Ben Langmuira5254002015-07-02 13:19:48 +00001419 return ModMap.findModule(Name);
Douglas Gregor56c64012011-11-17 01:41:17 +00001420}
1421
Douglas Gregor2b20cb82011-11-16 00:09:06 +00001422
Douglas Gregor80b69042011-11-12 00:22:19 +00001423HeaderSearch::LoadModuleMapResult
Ben Langmuir984e1df2014-03-19 20:23:34 +00001424HeaderSearch::loadModuleMapFile(StringRef DirName, bool IsSystem,
1425 bool IsFramework) {
Douglas Gregoraf28ec82011-11-12 00:05:07 +00001426 if (const DirectoryEntry *Dir = FileMgr.getDirectory(DirName))
Ben Langmuir984e1df2014-03-19 20:23:34 +00001427 return loadModuleMapFile(Dir, IsSystem, IsFramework);
Douglas Gregoraf28ec82011-11-12 00:05:07 +00001428
Douglas Gregor80b69042011-11-12 00:22:19 +00001429 return LMM_NoDirectory;
Douglas Gregoraf28ec82011-11-12 00:05:07 +00001430}
1431
Douglas Gregor80b69042011-11-12 00:22:19 +00001432HeaderSearch::LoadModuleMapResult
Ben Langmuir984e1df2014-03-19 20:23:34 +00001433HeaderSearch::loadModuleMapFile(const DirectoryEntry *Dir, bool IsSystem,
1434 bool IsFramework) {
1435 auto KnownDir = DirectoryHasModuleMap.find(Dir);
Douglas Gregoraf28ec82011-11-12 00:05:07 +00001436 if (KnownDir != DirectoryHasModuleMap.end())
Richard Smith9887d792014-10-17 01:42:53 +00001437 return KnownDir->second ? LMM_AlreadyLoaded : LMM_InvalidModuleMap;
Douglas Gregore7ab3662011-12-07 02:23:45 +00001438
Ben Langmuir984e1df2014-03-19 20:23:34 +00001439 if (const FileEntry *ModuleMapFile = lookupModuleMapFile(Dir, IsFramework)) {
Richard Smith9acb99e32014-12-10 03:09:48 +00001440 LoadModuleMapResult Result =
1441 loadModuleMapFileImpl(ModuleMapFile, IsSystem, Dir);
Ben Langmuir984e1df2014-03-19 20:23:34 +00001442 // Add Dir explicitly in case ModuleMapFile is in a subdirectory.
1443 // E.g. Foo.framework/Modules/module.modulemap
1444 // ^Dir ^ModuleMapFile
1445 if (Result == LMM_NewlyLoaded)
1446 DirectoryHasModuleMap[Dir] = true;
Richard Smith9887d792014-10-17 01:42:53 +00001447 else if (Result == LMM_InvalidModuleMap)
1448 DirectoryHasModuleMap[Dir] = false;
Ben Langmuir984e1df2014-03-19 20:23:34 +00001449 return Result;
Douglas Gregoraf28ec82011-11-12 00:05:07 +00001450 }
Douglas Gregor80b69042011-11-12 00:22:19 +00001451 return LMM_InvalidModuleMap;
Douglas Gregoraf28ec82011-11-12 00:05:07 +00001452}
Douglas Gregor718292f2011-11-11 19:10:28 +00001453
Dmitri Gribenkof8579502013-01-12 19:30:44 +00001454void HeaderSearch::collectAllModules(SmallVectorImpl<Module *> &Modules) {
Douglas Gregor07f43572012-01-29 18:15:03 +00001455 Modules.clear();
Daniel Jasper21a0f552014-11-25 09:45:48 +00001456
Richard Smith47972af2015-06-16 00:08:24 +00001457 if (HSOpts->ImplicitModuleMaps) {
Daniel Jasper21a0f552014-11-25 09:45:48 +00001458 // Load module maps for each of the header search directories.
1459 for (unsigned Idx = 0, N = SearchDirs.size(); Idx != N; ++Idx) {
1460 bool IsSystem = SearchDirs[Idx].isSystemHeaderDirectory();
1461 if (SearchDirs[Idx].isFramework()) {
1462 std::error_code EC;
1463 SmallString<128> DirNative;
1464 llvm::sys::path::native(SearchDirs[Idx].getFrameworkDir()->getName(),
1465 DirNative);
1466
1467 // Search each of the ".framework" directories to load them as modules.
Bruno Cardoso Lopesb171a592016-05-16 16:46:01 +00001468 vfs::FileSystem &FS = *FileMgr.getVirtualFileSystem();
1469 for (vfs::directory_iterator Dir = FS.dir_begin(DirNative, EC), DirEnd;
Daniel Jasper21a0f552014-11-25 09:45:48 +00001470 Dir != DirEnd && !EC; Dir.increment(EC)) {
Bruno Cardoso Lopesb171a592016-05-16 16:46:01 +00001471 if (llvm::sys::path::extension(Dir->getName()) != ".framework")
Daniel Jasper21a0f552014-11-25 09:45:48 +00001472 continue;
1473
1474 const DirectoryEntry *FrameworkDir =
Bruno Cardoso Lopesb171a592016-05-16 16:46:01 +00001475 FileMgr.getDirectory(Dir->getName());
Daniel Jasper21a0f552014-11-25 09:45:48 +00001476 if (!FrameworkDir)
1477 continue;
1478
1479 // Load this framework module.
Bruno Cardoso Lopesb171a592016-05-16 16:46:01 +00001480 loadFrameworkModule(llvm::sys::path::stem(Dir->getName()),
1481 FrameworkDir, IsSystem);
Daniel Jasper21a0f552014-11-25 09:45:48 +00001482 }
1483 continue;
Douglas Gregor07f43572012-01-29 18:15:03 +00001484 }
Daniel Jasper21a0f552014-11-25 09:45:48 +00001485
1486 // FIXME: Deal with header maps.
1487 if (SearchDirs[Idx].isHeaderMap())
1488 continue;
1489
1490 // Try to load a module map file for the search directory.
1491 loadModuleMapFile(SearchDirs[Idx].getDir(), IsSystem,
1492 /*IsFramework*/ false);
1493
1494 // Try to load module map files for immediate subdirectories of this
1495 // search directory.
1496 loadSubdirectoryModuleMaps(SearchDirs[Idx]);
Douglas Gregor07f43572012-01-29 18:15:03 +00001497 }
Douglas Gregor07f43572012-01-29 18:15:03 +00001498 }
Daniel Jasper21a0f552014-11-25 09:45:48 +00001499
Douglas Gregor07f43572012-01-29 18:15:03 +00001500 // Populate the list of modules.
1501 for (ModuleMap::module_iterator M = ModMap.module_begin(),
1502 MEnd = ModMap.module_end();
1503 M != MEnd; ++M) {
1504 Modules.push_back(M->getValue());
1505 }
1506}
Douglas Gregor0339a642013-03-21 01:08:50 +00001507
Douglas Gregor64a1fa52013-05-10 22:52:27 +00001508void HeaderSearch::loadTopLevelSystemModules() {
Richard Smith47972af2015-06-16 00:08:24 +00001509 if (!HSOpts->ImplicitModuleMaps)
Daniel Jasper21a0f552014-11-25 09:45:48 +00001510 return;
1511
Douglas Gregor64a1fa52013-05-10 22:52:27 +00001512 // Load module maps for each of the header search directories.
1513 for (unsigned Idx = 0, N = SearchDirs.size(); Idx != N; ++Idx) {
Douglas Gregor299787f2013-11-01 23:08:38 +00001514 // We only care about normal header directories.
1515 if (!SearchDirs[Idx].isNormalDir()) {
Douglas Gregor64a1fa52013-05-10 22:52:27 +00001516 continue;
1517 }
1518
1519 // Try to load a module map file for the search directory.
Douglas Gregor963c5532013-06-21 16:28:10 +00001520 loadModuleMapFile(SearchDirs[Idx].getDir(),
Ben Langmuir984e1df2014-03-19 20:23:34 +00001521 SearchDirs[Idx].isSystemHeaderDirectory(),
1522 SearchDirs[Idx].isFramework());
Douglas Gregor64a1fa52013-05-10 22:52:27 +00001523 }
1524}
1525
Douglas Gregor0339a642013-03-21 01:08:50 +00001526void HeaderSearch::loadSubdirectoryModuleMaps(DirectoryLookup &SearchDir) {
Richard Smith47972af2015-06-16 00:08:24 +00001527 assert(HSOpts->ImplicitModuleMaps &&
Daniel Jasper21a0f552014-11-25 09:45:48 +00001528 "Should not be loading subdirectory module maps");
1529
Douglas Gregor0339a642013-03-21 01:08:50 +00001530 if (SearchDir.haveSearchedAllModuleMaps())
1531 return;
Rafael Espindolac0809172014-06-12 14:02:15 +00001532
1533 std::error_code EC;
Douglas Gregor0339a642013-03-21 01:08:50 +00001534 SmallString<128> DirNative;
1535 llvm::sys::path::native(SearchDir.getDir()->getName(), DirNative);
Bruno Cardoso Lopesb171a592016-05-16 16:46:01 +00001536 vfs::FileSystem &FS = *FileMgr.getVirtualFileSystem();
1537 for (vfs::directory_iterator Dir = FS.dir_begin(DirNative, EC), DirEnd;
Douglas Gregor0339a642013-03-21 01:08:50 +00001538 Dir != DirEnd && !EC; Dir.increment(EC)) {
Bruno Cardoso Lopesb171a592016-05-16 16:46:01 +00001539 bool IsFramework =
1540 llvm::sys::path::extension(Dir->getName()) == ".framework";
Ben Langmuir1f6a32b2015-02-24 04:58:15 +00001541 if (IsFramework == SearchDir.isFramework())
Bruno Cardoso Lopesb171a592016-05-16 16:46:01 +00001542 loadModuleMapFile(Dir->getName(), SearchDir.isSystemHeaderDirectory(),
Ben Langmuir1f6a32b2015-02-24 04:58:15 +00001543 SearchDir.isFramework());
Douglas Gregor0339a642013-03-21 01:08:50 +00001544 }
1545
1546 SearchDir.setSearchedAllModuleMaps(true);
1547}
Richard Smith4eb83932016-04-27 21:57:05 +00001548
1549std::string HeaderSearch::suggestPathToFileForDiagnostics(const FileEntry *File,
1550 bool *IsSystem) {
1551 // FIXME: We assume that the path name currently cached in the FileEntry is
1552 // the most appropriate one for this analysis (and that it's spelled the same
1553 // way as the corresponding header search path).
Mehdi Amini004b9c72016-10-10 22:52:47 +00001554 StringRef Name = File->getName();
Richard Smith4eb83932016-04-27 21:57:05 +00001555
1556 unsigned BestPrefixLength = 0;
1557 unsigned BestSearchDir;
1558
1559 for (unsigned I = 0; I != SearchDirs.size(); ++I) {
1560 // FIXME: Support this search within frameworks and header maps.
1561 if (!SearchDirs[I].isNormalDir())
1562 continue;
1563
Mehdi Amini0df59d82016-10-11 07:31:29 +00001564 StringRef Dir = SearchDirs[I].getDir()->getName();
Richard Smith4eb83932016-04-27 21:57:05 +00001565 for (auto NI = llvm::sys::path::begin(Name),
1566 NE = llvm::sys::path::end(Name),
1567 DI = llvm::sys::path::begin(Dir),
1568 DE = llvm::sys::path::end(Dir);
1569 /*termination condition in loop*/; ++NI, ++DI) {
1570 // '.' components in Name are ignored.
1571 while (NI != NE && *NI == ".")
1572 ++NI;
1573 if (NI == NE)
1574 break;
1575
1576 // '.' components in Dir are ignored.
1577 while (DI != DE && *DI == ".")
1578 ++DI;
1579 if (DI == DE) {
1580 // Dir is a prefix of Name, up to '.' components and choice of path
1581 // separators.
1582 unsigned PrefixLength = NI - llvm::sys::path::begin(Name);
1583 if (PrefixLength > BestPrefixLength) {
1584 BestPrefixLength = PrefixLength;
1585 BestSearchDir = I;
1586 }
1587 break;
1588 }
1589
1590 if (*NI != *DI)
1591 break;
1592 }
1593 }
1594
1595 if (IsSystem)
1596 *IsSystem = BestPrefixLength ? BestSearchDir >= SystemDirIdx : false;
Mehdi Amini004b9c72016-10-10 22:52:47 +00001597 return Name.drop_front(BestPrefixLength);
Richard Smith4eb83932016-04-27 21:57:05 +00001598}