blob: 757cd097e4e5c6b091c96b231ce35a63145a6bb4 [file] [log] [blame]
Eugene Zelenkoafd1b1c2017-12-06 23:18:41 +00001//===- HeaderSearch.cpp - Resolve Header File Locations -------------------===//
Chris Lattner59a9ebd2006-10-18 05:34:33 +00002//
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"
Eugene Zelenkoafd1b1c2017-12-06 23:18:41 +000015#include "clang/Basic/Diagnostic.h"
Chris Lattneref6b1362007-10-07 08:58:51 +000016#include "clang/Basic/FileManager.h"
17#include "clang/Basic/IdentifierTable.h"
Eugene Zelenkoafd1b1c2017-12-06 23:18:41 +000018#include "clang/Basic/Module.h"
19#include "clang/Basic/SourceManager.h"
20#include "clang/Basic/VirtualFileSystem.h"
21#include "clang/Lex/DirectoryLookup.h"
Richard Smith2aedca32015-07-01 02:29:35 +000022#include "clang/Lex/ExternalPreprocessorSource.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000023#include "clang/Lex/HeaderMap.h"
24#include "clang/Lex/HeaderSearchOptions.h"
Will Wilson0fafd342013-12-27 19:46:16 +000025#include "clang/Lex/LexDiagnostic.h"
Eugene Zelenkoafd1b1c2017-12-06 23:18:41 +000026#include "clang/Lex/ModuleMap.h"
Richard Smith20e883e2015-04-29 23:20:19 +000027#include "clang/Lex/Preprocessor.h"
Ben Langmuirbeee15e2014-04-14 18:00:01 +000028#include "llvm/ADT/APInt.h"
29#include "llvm/ADT/Hashing.h"
Chris Lattner43fd42e2006-10-30 03:40:58 +000030#include "llvm/ADT/SmallString.h"
Eugene Zelenkoafd1b1c2017-12-06 23:18:41 +000031#include "llvm/ADT/SmallVector.h"
32#include "llvm/ADT/StringRef.h"
33#include "llvm/Support/Allocator.h"
Ted Kremenekae63d102011-07-27 18:41:18 +000034#include "llvm/Support/Capacity.h"
Eugene Zelenkoafd1b1c2017-12-06 23:18:41 +000035#include "llvm/Support/ErrorHandling.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000036#include "llvm/Support/FileSystem.h"
37#include "llvm/Support/Path.h"
Eugene Zelenkoafd1b1c2017-12-06 23:18:41 +000038#include <algorithm>
39#include <cassert>
40#include <cstddef>
Chris Lattnerc25d8a72009-03-02 22:20:04 +000041#include <cstdio>
Eugene Zelenkoafd1b1c2017-12-06 23:18:41 +000042#include <cstring>
43#include <string>
44#include <system_error>
Benjamin Kramercfeacf52016-05-27 14:27:13 +000045#include <utility>
Eugene Zelenkoafd1b1c2017-12-06 23:18:41 +000046
Chris Lattner59a9ebd2006-10-18 05:34:33 +000047using namespace clang;
48
Douglas Gregor99734e72009-04-25 23:30:02 +000049const IdentifierInfo *
Richard Smith2aedca32015-07-01 02:29:35 +000050HeaderFileInfo::getControllingMacro(ExternalPreprocessorSource *External) {
51 if (ControllingMacro) {
Chandler Carruth59666772016-11-04 06:32:57 +000052 if (ControllingMacro->isOutOfDate()) {
53 assert(External && "We must have an external source if we have a "
54 "controlling macro that is out of date.");
Richard Smith2aedca32015-07-01 02:29:35 +000055 External->updateOutOfDateIdentifier(
56 *const_cast<IdentifierInfo *>(ControllingMacro));
Chandler Carruth59666772016-11-04 06:32:57 +000057 }
Douglas Gregor99734e72009-04-25 23:30:02 +000058 return ControllingMacro;
Richard Smith2aedca32015-07-01 02:29:35 +000059 }
Douglas Gregor99734e72009-04-25 23:30:02 +000060
61 if (!ControllingMacroID || !External)
Craig Topperd2d442c2014-05-17 23:10:59 +000062 return nullptr;
Douglas Gregor99734e72009-04-25 23:30:02 +000063
64 ControllingMacro = External->GetIdentifier(ControllingMacroID);
65 return ControllingMacro;
66}
67
Eugene Zelenkoafd1b1c2017-12-06 23:18:41 +000068ExternalHeaderFileInfoSource::~ExternalHeaderFileInfoSource() = default;
Douglas Gregor09b69892011-02-10 17:09:37 +000069
David Blaikie9c28cb32017-01-06 01:04:46 +000070HeaderSearch::HeaderSearch(std::shared_ptr<HeaderSearchOptions> HSOpts,
Manuel Klimek1f76c4e2013-10-24 07:51:24 +000071 SourceManager &SourceMgr, DiagnosticsEngine &Diags,
Will Wilson0fafd342013-12-27 19:46:16 +000072 const LangOptions &LangOpts,
Douglas Gregor89929282012-01-30 06:01:29 +000073 const TargetInfo *Target)
Benjamin Kramercfeacf52016-05-27 14:27:13 +000074 : HSOpts(std::move(HSOpts)), Diags(Diags),
75 FileMgr(SourceMgr.getFileManager()), FrameworkMap(64),
Eugene Zelenkoafd1b1c2017-12-06 23:18:41 +000076 ModMap(SourceMgr, Diags, LangOpts, Target, *this) {}
Chris Lattner641a0be2006-10-20 06:23:14 +000077
Chris Lattnerc4ba38e2007-12-17 06:36:45 +000078HeaderSearch::~HeaderSearch() {
79 // Delete headermaps.
80 for (unsigned i = 0, e = HeaderMaps.size(); i != e; ++i)
81 delete HeaderMaps[i].second;
82}
Mike Stump11289f42009-09-09 15:08:12 +000083
Chris Lattner59a9ebd2006-10-18 05:34:33 +000084void HeaderSearch::PrintStats() {
Chris Lattner23b7eb62007-06-15 23:05:46 +000085 fprintf(stderr, "\n*** HeaderSearch Stats:\n");
86 fprintf(stderr, "%d files tracked.\n", (int)FileInfo.size());
Chris Lattner59a9ebd2006-10-18 05:34:33 +000087 unsigned NumOnceOnlyFiles = 0, MaxNumIncludes = 0, NumSingleIncludedFiles = 0;
88 for (unsigned i = 0, e = FileInfo.size(); i != e; ++i) {
89 NumOnceOnlyFiles += FileInfo[i].isImport;
90 if (MaxNumIncludes < FileInfo[i].NumIncludes)
91 MaxNumIncludes = FileInfo[i].NumIncludes;
92 NumSingleIncludedFiles += FileInfo[i].NumIncludes == 1;
93 }
Chris Lattner23b7eb62007-06-15 23:05:46 +000094 fprintf(stderr, " %d #import/#pragma once files.\n", NumOnceOnlyFiles);
95 fprintf(stderr, " %d included exactly once.\n", NumSingleIncludedFiles);
96 fprintf(stderr, " %d max times a file is included.\n", MaxNumIncludes);
Mike Stump11289f42009-09-09 15:08:12 +000097
Chris Lattner23b7eb62007-06-15 23:05:46 +000098 fprintf(stderr, " %d #include/#include_next/#import.\n", NumIncluded);
99 fprintf(stderr, " %d #includes skipped due to"
100 " the multi-include optimization.\n", NumMultiIncludeFileOptzn);
Mike Stump11289f42009-09-09 15:08:12 +0000101
Chris Lattner23b7eb62007-06-15 23:05:46 +0000102 fprintf(stderr, "%d framework lookups.\n", NumFrameworkLookups);
103 fprintf(stderr, "%d subframework lookups.\n", NumSubFrameworkLookups);
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000104}
105
Chris Lattnerc4ba38e2007-12-17 06:36:45 +0000106/// CreateHeaderMap - This method returns a HeaderMap for the specified
Sylvestre Ledru830885c2012-07-23 08:59:39 +0000107/// FileEntry, uniquing them through the 'HeaderMaps' datastructure.
Chris Lattner4ffe46c2007-12-17 18:34:53 +0000108const HeaderMap *HeaderSearch::CreateHeaderMap(const FileEntry *FE) {
Chris Lattnerc4ba38e2007-12-17 06:36:45 +0000109 // We expect the number of headermaps to be small, and almost always empty.
Chris Lattnerf62f7582007-12-17 07:52:39 +0000110 // If it ever grows, use of a linear search should be re-evaluated.
Chris Lattnerc4ba38e2007-12-17 06:36:45 +0000111 if (!HeaderMaps.empty()) {
112 for (unsigned i = 0, e = HeaderMaps.size(); i != e; ++i)
Chris Lattnerf62f7582007-12-17 07:52:39 +0000113 // Pointer equality comparison of FileEntries works because they are
114 // already uniqued by inode.
Mike Stump11289f42009-09-09 15:08:12 +0000115 if (HeaderMaps[i].first == FE)
Chris Lattnerc4ba38e2007-12-17 06:36:45 +0000116 return HeaderMaps[i].second;
117 }
Mike Stump11289f42009-09-09 15:08:12 +0000118
Chris Lattner5159f612010-11-23 08:35:12 +0000119 if (const HeaderMap *HM = HeaderMap::Create(FE, FileMgr)) {
Chris Lattnerc4ba38e2007-12-17 06:36:45 +0000120 HeaderMaps.push_back(std::make_pair(FE, HM));
121 return HM;
122 }
Mike Stump11289f42009-09-09 15:08:12 +0000123
Craig Topperd2d442c2014-05-17 23:10:59 +0000124 return nullptr;
Chris Lattnerc4ba38e2007-12-17 06:36:45 +0000125}
126
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000127/// Get filenames for all registered header maps.
Bruno Cardoso Lopes181225b2016-12-11 04:27:28 +0000128void HeaderSearch::getHeaderMapFileNames(
129 SmallVectorImpl<std::string> &Names) const {
130 for (auto &HM : HeaderMaps)
131 Names.push_back(HM.first->getName());
132}
133
Boris Kolpackovd30446f2017-08-31 06:26:43 +0000134std::string HeaderSearch::getCachedModuleFileName(Module *Module) {
Ben Langmuir9d6448b2014-08-09 00:57:23 +0000135 const FileEntry *ModuleMap =
136 getModuleMap().getModuleMapFileForUniquing(Module);
Boris Kolpackovd30446f2017-08-31 06:26:43 +0000137 return getCachedModuleFileName(Module->Name, ModuleMap->getName());
Douglas Gregor279a6c32012-01-29 17:08:11 +0000138}
139
Boris Kolpackovd30446f2017-08-31 06:26:43 +0000140std::string HeaderSearch::getPrebuiltModuleFileName(StringRef ModuleName,
141 bool FileMapOnly) {
142 // First check the module name to pcm file map.
143 auto i (HSOpts->PrebuiltModuleFiles.find(ModuleName));
144 if (i != HSOpts->PrebuiltModuleFiles.end())
145 return i->second;
146
147 if (FileMapOnly || HSOpts->PrebuiltModulePaths.empty())
Eugene Zelenkoafd1b1c2017-12-06 23:18:41 +0000148 return {};
Manman Ren11f2a472016-08-18 17:42:15 +0000149
Boris Kolpackovd30446f2017-08-31 06:26:43 +0000150 // Then go through each prebuilt module directory and try to find the pcm
151 // file.
Eugene Zelenkoafd1b1c2017-12-06 23:18:41 +0000152 for (const std::string &Dir : HSOpts->PrebuiltModulePaths) {
153 SmallString<256> Result(Dir);
154 llvm::sys::fs::make_absolute(Result);
155 llvm::sys::path::append(Result, ModuleName + ".pcm");
156 if (getFileMgr().getFile(Result.str()))
157 return Result.str().str();
Manman Ren11f2a472016-08-18 17:42:15 +0000158 }
Eugene Zelenkoafd1b1c2017-12-06 23:18:41 +0000159 return {};
160}
Manman Ren11f2a472016-08-18 17:42:15 +0000161
Boris Kolpackovd30446f2017-08-31 06:26:43 +0000162std::string HeaderSearch::getCachedModuleFileName(StringRef ModuleName,
163 StringRef ModuleMapPath) {
Richard Smithd520a252015-07-21 18:07:47 +0000164 // If we don't have a module cache path or aren't supposed to use one, we
165 // can't do anything.
Richard Smith3938f0c2015-08-15 00:34:15 +0000166 if (getModuleCachePath().empty())
Eugene Zelenkoafd1b1c2017-12-06 23:18:41 +0000167 return {};
Ben Langmuirbeee15e2014-04-14 18:00:01 +0000168
Richard Smith3938f0c2015-08-15 00:34:15 +0000169 SmallString<256> Result(getModuleCachePath());
Ben Langmuirbeee15e2014-04-14 18:00:01 +0000170 llvm::sys::fs::make_absolute(Result);
171
172 if (HSOpts->DisableModuleHash) {
173 llvm::sys::path::append(Result, ModuleName + ".pcm");
174 } else {
175 // Construct the name <ModuleName>-<hash of ModuleMapPath>.pcm which should
Richard Smith54cc3c22014-12-11 20:50:24 +0000176 // ideally be globally unique to this particular module. Name collisions
177 // in the hash are safe (because any translation unit can only import one
178 // module with each name), but result in a loss of caching.
179 //
180 // To avoid false-negatives, we form as canonical a path as we can, and map
181 // to lower-case in case we're on a case-insensitive file system.
Richard Smith3f57cff2017-03-09 00:58:22 +0000182 std::string Parent = llvm::sys::path::parent_path(ModuleMapPath);
183 if (Parent.empty())
184 Parent = ".";
185 auto *Dir = FileMgr.getDirectory(Parent);
Richard Smith54cc3c22014-12-11 20:50:24 +0000186 if (!Dir)
Eugene Zelenkoafd1b1c2017-12-06 23:18:41 +0000187 return {};
Richard Smith54cc3c22014-12-11 20:50:24 +0000188 auto DirName = FileMgr.getCanonicalName(Dir);
189 auto FileName = llvm::sys::path::filename(ModuleMapPath);
190
191 llvm::hash_code Hash =
Adrian Prantl793038d32016-01-12 21:01:56 +0000192 llvm::hash_combine(DirName.lower(), FileName.lower());
Richard Smith54cc3c22014-12-11 20:50:24 +0000193
Ben Langmuirbeee15e2014-04-14 18:00:01 +0000194 SmallString<128> HashStr;
Richard Smith54cc3c22014-12-11 20:50:24 +0000195 llvm::APInt(64, size_t(Hash)).toStringUnsigned(HashStr, /*Radix*/36);
Yaron Keren92e1b622015-03-18 10:17:07 +0000196 llvm::sys::path::append(Result, ModuleName + "-" + HashStr + ".pcm");
Ben Langmuirbeee15e2014-04-14 18:00:01 +0000197 }
Douglas Gregor279a6c32012-01-29 17:08:11 +0000198 return Result.str().str();
199}
200
201Module *HeaderSearch::lookupModule(StringRef ModuleName, bool AllowSearch) {
Douglas Gregoraf28ec82011-11-12 00:05:07 +0000202 // Look in the module map to determine if there is a module by this name.
Douglas Gregor279a6c32012-01-29 17:08:11 +0000203 Module *Module = ModMap.findModule(ModuleName);
Richard Smith47972af2015-06-16 00:08:24 +0000204 if (Module || !AllowSearch || !HSOpts->ImplicitModuleMaps)
Douglas Gregor279a6c32012-01-29 17:08:11 +0000205 return Module;
Graydon Hoare4d867642016-12-21 00:24:39 +0000206
207 StringRef SearchName = ModuleName;
208 Module = lookupModule(ModuleName, SearchName);
209
210 // The facility for "private modules" -- adjacent, optional module maps named
211 // module.private.modulemap that are supposed to define private submodules --
Bruno Cardoso Lopes297299192017-12-22 02:53:30 +0000212 // may have different flavors of names: FooPrivate, Foo_Private and Foo.Private.
213 //
Alexander Kornienko2a8c18d2018-04-06 15:14:32 +0000214 // Foo.Private is now deprecated in favor of Foo_Private. Users of FooPrivate
Bruno Cardoso Lopes297299192017-12-22 02:53:30 +0000215 // should also rename to Foo_Private. Representing private as submodules
216 // could force building unwanted dependencies into the parent module and cause
217 // dependency cycles.
218 if (!Module && SearchName.consume_back("_Private"))
219 Module = lookupModule(ModuleName, SearchName);
Graydon Hoare4d867642016-12-21 00:24:39 +0000220 if (!Module && SearchName.consume_back("Private"))
221 Module = lookupModule(ModuleName, SearchName);
222 return Module;
223}
224
225Module *HeaderSearch::lookupModule(StringRef ModuleName, StringRef SearchName) {
226 Module *Module = nullptr;
227
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000228 // Look through the various header search paths to load any available module
Douglas Gregor279a6c32012-01-29 17:08:11 +0000229 // maps, searching for a module map that describes this module.
230 for (unsigned Idx = 0, N = SearchDirs.size(); Idx != N; ++Idx) {
231 if (SearchDirs[Idx].isFramework()) {
Graydon Hoare4d867642016-12-21 00:24:39 +0000232 // Search for or infer a module map for a framework. Here we use
233 // SearchName rather than ModuleName, to permit finding private modules
234 // named FooPrivate in buggy frameworks named Foo.
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +0000235 SmallString<128> FrameworkDirName;
Douglas Gregor279a6c32012-01-29 17:08:11 +0000236 FrameworkDirName += SearchDirs[Idx].getFrameworkDir()->getName();
Graydon Hoare4d867642016-12-21 00:24:39 +0000237 llvm::sys::path::append(FrameworkDirName, SearchName + ".framework");
238 if (const DirectoryEntry *FrameworkDir
Douglas Gregor279a6c32012-01-29 17:08:11 +0000239 = FileMgr.getDirectory(FrameworkDirName)) {
240 bool IsSystem
241 = SearchDirs[Idx].getDirCharacteristic() != SrcMgr::C_User;
242 Module = loadFrameworkModule(ModuleName, FrameworkDir, IsSystem);
Douglas Gregoraf28ec82011-11-12 00:05:07 +0000243 if (Module)
244 break;
245 }
Douglas Gregor279a6c32012-01-29 17:08:11 +0000246 }
247
248 // FIXME: Figure out how header maps and module maps will work together.
249
250 // Only deal with normal search directories.
251 if (!SearchDirs[Idx].isNormalDir())
252 continue;
Douglas Gregor963c5532013-06-21 16:28:10 +0000253
254 bool IsSystem = SearchDirs[Idx].isSystemHeaderDirectory();
Douglas Gregor279a6c32012-01-29 17:08:11 +0000255 // Search for a module map file in this directory.
Ben Langmuir984e1df2014-03-19 20:23:34 +0000256 if (loadModuleMapFile(SearchDirs[Idx].getDir(), IsSystem,
257 /*IsFramework*/false) == LMM_NewlyLoaded) {
Douglas Gregor279a6c32012-01-29 17:08:11 +0000258 // We just loaded a module map file; check whether the module is
259 // available now.
260 Module = ModMap.findModule(ModuleName);
261 if (Module)
262 break;
263 }
264
265 // Search for a module map in a subdirectory with the same name as the
266 // module.
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +0000267 SmallString<128> NestedModuleMapDirName;
Douglas Gregor279a6c32012-01-29 17:08:11 +0000268 NestedModuleMapDirName = SearchDirs[Idx].getDir()->getName();
269 llvm::sys::path::append(NestedModuleMapDirName, ModuleName);
Ben Langmuir984e1df2014-03-19 20:23:34 +0000270 if (loadModuleMapFile(NestedModuleMapDirName, IsSystem,
271 /*IsFramework*/false) == LMM_NewlyLoaded){
Douglas Gregor279a6c32012-01-29 17:08:11 +0000272 // If we just loaded a module map file, look for the module again.
273 Module = ModMap.findModule(ModuleName);
274 if (Module)
275 break;
Douglas Gregoraf28ec82011-11-12 00:05:07 +0000276 }
Douglas Gregor0339a642013-03-21 01:08:50 +0000277
278 // If we've already performed the exhaustive search for module maps in this
279 // search directory, don't do it again.
280 if (SearchDirs[Idx].haveSearchedAllModuleMaps())
281 continue;
282
283 // Load all module maps in the immediate subdirectories of this search
284 // directory.
285 loadSubdirectoryModuleMaps(SearchDirs[Idx]);
286
287 // Look again for the module.
288 Module = ModMap.findModule(ModuleName);
289 if (Module)
290 break;
Douglas Gregoraf28ec82011-11-12 00:05:07 +0000291 }
Douglas Gregor0339a642013-03-21 01:08:50 +0000292
Douglas Gregor279a6c32012-01-29 17:08:11 +0000293 return Module;
Douglas Gregor1e44e022011-09-12 20:41:59 +0000294}
295
Chris Lattnerf62f7582007-12-17 07:52:39 +0000296//===----------------------------------------------------------------------===//
297// File lookup within a DirectoryLookup scope
298//===----------------------------------------------------------------------===//
299
Chris Lattner8d720d02007-12-17 17:57:27 +0000300/// getName - Return the directory or filename corresponding to this lookup
301/// object.
Mehdi Amini99d1b292016-10-01 16:38:28 +0000302StringRef DirectoryLookup::getName() const {
Chris Lattner8d720d02007-12-17 17:57:27 +0000303 if (isNormalDir())
304 return getDir()->getName();
305 if (isFramework())
306 return getFrameworkDir()->getName();
307 assert(isHeaderMap() && "Unknown DirectoryLookup");
308 return getHeaderMap()->getFileName();
309}
310
Richard Smith3d5b48c2015-10-16 21:42:56 +0000311const FileEntry *HeaderSearch::getFileAndSuggestModule(
Taewook Ohf42103c2016-06-13 20:40:21 +0000312 StringRef FileName, SourceLocation IncludeLoc, const DirectoryEntry *Dir,
313 bool IsSystemHeaderDir, Module *RequestingModule,
314 ModuleMap::KnownHeader *SuggestedModule) {
Richard Smith8c71eba2014-03-05 20:51:45 +0000315 // If we have a module map that might map this header, load it and
316 // check whether we'll have a suggestion for a module.
Richard Smith3d5b48c2015-10-16 21:42:56 +0000317 const FileEntry *File = getFileMgr().getFile(FileName, /*OpenFile=*/true);
Reid Klecknerafb9aae2015-10-20 18:45:57 +0000318 if (!File)
319 return nullptr;
Richard Smith8c71eba2014-03-05 20:51:45 +0000320
Richard Smith3d5b48c2015-10-16 21:42:56 +0000321 // If there is a module that corresponds to this header, suggest it.
322 if (!findUsableModuleForHeader(File, Dir ? Dir : File->getDir(),
323 RequestingModule, SuggestedModule,
324 IsSystemHeaderDir))
325 return nullptr;
Richard Smith8c71eba2014-03-05 20:51:45 +0000326
Richard Smith3d5b48c2015-10-16 21:42:56 +0000327 return File;
Richard Smith8c71eba2014-03-05 20:51:45 +0000328}
Chris Lattner8d720d02007-12-17 17:57:27 +0000329
Chris Lattnerf62f7582007-12-17 07:52:39 +0000330/// LookupFile - Lookup the specified file in this search path, returning it
331/// if it exists or returning null if not.
Chandler Carruth3cc331a2011-03-16 18:34:36 +0000332const FileEntry *DirectoryLookup::LookupFile(
Argyrios Kyrtzidis75fa9ed2014-02-14 14:58:28 +0000333 StringRef &Filename,
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000334 HeaderSearch &HS,
Taewook Ohf42103c2016-06-13 20:40:21 +0000335 SourceLocation IncludeLoc,
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000336 SmallVectorImpl<char> *SearchPath,
Douglas Gregor97eec242011-09-15 22:00:41 +0000337 SmallVectorImpl<char> *RelativePath,
Richard Smith3d5b48c2015-10-16 21:42:56 +0000338 Module *RequestingModule,
Lawrence Crowlb53e5482013-06-20 21:14:14 +0000339 ModuleMap::KnownHeader *SuggestedModule,
Argyrios Kyrtzidis75fa9ed2014-02-14 14:58:28 +0000340 bool &InUserSpecifiedSystemFramework,
Argyrios Kyrtzidis34fad422014-03-11 06:21:28 +0000341 bool &HasBeenMapped,
Argyrios Kyrtzidis75fa9ed2014-02-14 14:58:28 +0000342 SmallVectorImpl<char> &MappedName) const {
Daniel Dunbar3c9bc4d2012-04-05 17:10:06 +0000343 InUserSpecifiedSystemFramework = false;
Argyrios Kyrtzidis34fad422014-03-11 06:21:28 +0000344 HasBeenMapped = false;
Daniel Dunbar3c9bc4d2012-04-05 17:10:06 +0000345
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +0000346 SmallString<1024> TmpDir;
Chris Lattner712e3872007-12-17 08:13:48 +0000347 if (isNormalDir()) {
348 // Concatenate the requested file onto the directory.
Eli Friedmanf7ca26a2011-07-08 20:17:28 +0000349 TmpDir = getDir()->getName();
350 llvm::sys::path::append(TmpDir, Filename);
Craig Topperd2d442c2014-05-17 23:10:59 +0000351 if (SearchPath) {
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000352 StringRef SearchPathRef(getDir()->getName());
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000353 SearchPath->clear();
354 SearchPath->append(SearchPathRef.begin(), SearchPathRef.end());
355 }
Craig Topperd2d442c2014-05-17 23:10:59 +0000356 if (RelativePath) {
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000357 RelativePath->clear();
358 RelativePath->append(Filename.begin(), Filename.end());
359 }
Richard Smith8c71eba2014-03-05 20:51:45 +0000360
Taewook Ohf42103c2016-06-13 20:40:21 +0000361 return HS.getFileAndSuggestModule(TmpDir, IncludeLoc, getDir(),
Richard Smith3d5b48c2015-10-16 21:42:56 +0000362 isSystemHeaderDirectory(),
363 RequestingModule, SuggestedModule);
Chris Lattner712e3872007-12-17 08:13:48 +0000364 }
Mike Stump11289f42009-09-09 15:08:12 +0000365
Chris Lattner712e3872007-12-17 08:13:48 +0000366 if (isFramework())
Douglas Gregor97eec242011-09-15 22:00:41 +0000367 return DoFrameworkLookup(Filename, HS, SearchPath, RelativePath,
Richard Smith3d5b48c2015-10-16 21:42:56 +0000368 RequestingModule, SuggestedModule,
369 InUserSpecifiedSystemFramework);
Mike Stump11289f42009-09-09 15:08:12 +0000370
Chris Lattner44bd21b2007-12-17 08:17:39 +0000371 assert(isHeaderMap() && "Unknown directory lookup");
Argyrios Kyrtzidis75fa9ed2014-02-14 14:58:28 +0000372 const HeaderMap *HM = getHeaderMap();
373 SmallString<1024> Path;
374 StringRef Dest = HM->lookupFilename(Filename, Path);
375 if (Dest.empty())
Craig Topperd2d442c2014-05-17 23:10:59 +0000376 return nullptr;
Argyrios Kyrtzidis75fa9ed2014-02-14 14:58:28 +0000377
378 const FileEntry *Result;
379
380 // Check if the headermap maps the filename to a framework include
381 // ("Foo.h" -> "Foo/Foo.h"), in which case continue header lookup using the
382 // framework include.
383 if (llvm::sys::path::is_relative(Dest)) {
384 MappedName.clear();
385 MappedName.append(Dest.begin(), Dest.end());
386 Filename = StringRef(MappedName.begin(), MappedName.size());
Argyrios Kyrtzidis34fad422014-03-11 06:21:28 +0000387 HasBeenMapped = true;
Argyrios Kyrtzidis75fa9ed2014-02-14 14:58:28 +0000388 Result = HM->LookupFile(Filename, HS.getFileMgr());
Argyrios Kyrtzidis75fa9ed2014-02-14 14:58:28 +0000389 } else {
390 Result = HS.getFileMgr().getFile(Dest);
391 }
392
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000393 if (Result) {
Craig Topperd2d442c2014-05-17 23:10:59 +0000394 if (SearchPath) {
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000395 StringRef SearchPathRef(getName());
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000396 SearchPath->clear();
397 SearchPath->append(SearchPathRef.begin(), SearchPathRef.end());
398 }
Craig Topperd2d442c2014-05-17 23:10:59 +0000399 if (RelativePath) {
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000400 RelativePath->clear();
401 RelativePath->append(Filename.begin(), Filename.end());
402 }
403 }
404 return Result;
Chris Lattnerf62f7582007-12-17 07:52:39 +0000405}
406
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000407/// Given a framework directory, find the top-most framework directory.
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000408///
409/// \param FileMgr The file manager to use for directory lookups.
410/// \param DirName The name of the framework directory.
411/// \param SubmodulePath Will be populated with the submodule path from the
412/// returned top-level module to the originally named framework.
413static const DirectoryEntry *
414getTopFrameworkDir(FileManager &FileMgr, StringRef DirName,
415 SmallVectorImpl<std::string> &SubmodulePath) {
416 assert(llvm::sys::path::extension(DirName) == ".framework" &&
417 "Not a framework directory");
418
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000419 // Note: as an egregious but useful hack we use the real path here, because
420 // frameworks moving between top-level frameworks to embedded frameworks tend
421 // to be symlinked, and we base the logical structure of modules on the
422 // physical layout. In particular, we need to deal with crazy includes like
423 //
424 // #include <Foo/Frameworks/Bar.framework/Headers/Wibble.h>
425 //
426 // where 'Bar' used to be embedded in 'Foo', is now a top-level framework
427 // which one should access with, e.g.,
428 //
429 // #include <Bar/Wibble.h>
430 //
431 // Similar issues occur when a top-level framework has moved into an
432 // embedded framework.
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000433 const DirectoryEntry *TopFrameworkDir = FileMgr.getDirectory(DirName);
Douglas Gregore00c8b22013-01-26 00:55:12 +0000434 DirName = FileMgr.getCanonicalName(TopFrameworkDir);
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000435 do {
436 // Get the parent directory name.
437 DirName = llvm::sys::path::parent_path(DirName);
438 if (DirName.empty())
439 break;
440
441 // Determine whether this directory exists.
442 const DirectoryEntry *Dir = FileMgr.getDirectory(DirName);
443 if (!Dir)
444 break;
445
446 // If this is a framework directory, then we're a subframework of this
447 // framework.
448 if (llvm::sys::path::extension(DirName) == ".framework") {
449 SubmodulePath.push_back(llvm::sys::path::stem(DirName));
450 TopFrameworkDir = Dir;
451 }
452 } while (true);
453
454 return TopFrameworkDir;
455}
Chris Lattnerf62f7582007-12-17 07:52:39 +0000456
Bruno Cardoso Lopesed84df02016-10-21 01:41:56 +0000457static bool needModuleLookup(Module *RequestingModule,
458 bool HasSuggestedModule) {
459 return HasSuggestedModule ||
460 (RequestingModule && RequestingModule->NoUndeclaredIncludes);
461}
462
Chris Lattner712e3872007-12-17 08:13:48 +0000463/// DoFrameworkLookup - Do a lookup of the specified file in the current
464/// DirectoryLookup, which is a framework directory.
Chandler Carruth3cc331a2011-03-16 18:34:36 +0000465const FileEntry *DirectoryLookup::DoFrameworkLookup(
Richard Smith3d5b48c2015-10-16 21:42:56 +0000466 StringRef Filename, HeaderSearch &HS, SmallVectorImpl<char> *SearchPath,
467 SmallVectorImpl<char> *RelativePath, Module *RequestingModule,
Lawrence Crowlb53e5482013-06-20 21:14:14 +0000468 ModuleMap::KnownHeader *SuggestedModule,
Richard Smith3d5b48c2015-10-16 21:42:56 +0000469 bool &InUserSpecifiedSystemFramework) const {
Chris Lattner712e3872007-12-17 08:13:48 +0000470 FileManager &FileMgr = HS.getFileMgr();
Mike Stump11289f42009-09-09 15:08:12 +0000471
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000472 // Framework names must have a '/' in the filename.
Chris Lattnerd081f8c2010-01-10 01:35:12 +0000473 size_t SlashPos = Filename.find('/');
Craig Topperd2d442c2014-05-17 23:10:59 +0000474 if (SlashPos == StringRef::npos) return nullptr;
Mike Stump11289f42009-09-09 15:08:12 +0000475
Chris Lattner712e3872007-12-17 08:13:48 +0000476 // Find out if this is the home for the specified framework, by checking
Daniel Dunbar17138612012-04-05 17:09:40 +0000477 // HeaderSearch. Possible answers are yes/no and unknown.
478 HeaderSearch::FrameworkCacheEntry &CacheEntry =
Chris Lattnerd081f8c2010-01-10 01:35:12 +0000479 HS.LookupFrameworkCache(Filename.substr(0, SlashPos));
Mike Stump11289f42009-09-09 15:08:12 +0000480
Chris Lattner712e3872007-12-17 08:13:48 +0000481 // If it is known and in some other directory, fail.
Daniel Dunbar17138612012-04-05 17:09:40 +0000482 if (CacheEntry.Directory && CacheEntry.Directory != getFrameworkDir())
Craig Topperd2d442c2014-05-17 23:10:59 +0000483 return nullptr;
Mike Stump11289f42009-09-09 15:08:12 +0000484
Chris Lattner712e3872007-12-17 08:13:48 +0000485 // Otherwise, construct the path to this framework dir.
Mike Stump11289f42009-09-09 15:08:12 +0000486
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000487 // FrameworkName = "/System/Library/Frameworks/"
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +0000488 SmallString<1024> FrameworkName;
Chris Lattner712e3872007-12-17 08:13:48 +0000489 FrameworkName += getFrameworkDir()->getName();
Chris Lattnerb201d9b2006-10-30 05:09:49 +0000490 if (FrameworkName.empty() || FrameworkName.back() != '/')
491 FrameworkName.push_back('/');
Mike Stump11289f42009-09-09 15:08:12 +0000492
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000493 // FrameworkName = "/System/Library/Frameworks/Cocoa"
Douglas Gregor56c64012011-11-17 01:41:17 +0000494 StringRef ModuleName(Filename.begin(), SlashPos);
495 FrameworkName += ModuleName;
Mike Stump11289f42009-09-09 15:08:12 +0000496
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000497 // FrameworkName = "/System/Library/Frameworks/Cocoa.framework/"
498 FrameworkName += ".framework/";
Mike Stump11289f42009-09-09 15:08:12 +0000499
Daniel Dunbar17138612012-04-05 17:09:40 +0000500 // If the cache entry was unresolved, populate it now.
Craig Topperd2d442c2014-05-17 23:10:59 +0000501 if (!CacheEntry.Directory) {
Chris Lattner712e3872007-12-17 08:13:48 +0000502 HS.IncrementFrameworkLookupCount();
Mike Stump11289f42009-09-09 15:08:12 +0000503
Chris Lattner5ed76da2006-10-22 07:24:13 +0000504 // If the framework dir doesn't exist, we fail.
Yaron Keren92e1b622015-03-18 10:17:07 +0000505 const DirectoryEntry *Dir = FileMgr.getDirectory(FrameworkName);
Craig Topperd2d442c2014-05-17 23:10:59 +0000506 if (!Dir) return nullptr;
Mike Stump11289f42009-09-09 15:08:12 +0000507
Chris Lattner5ed76da2006-10-22 07:24:13 +0000508 // Otherwise, if it does, remember that this is the right direntry for this
509 // framework.
Daniel Dunbar17138612012-04-05 17:09:40 +0000510 CacheEntry.Directory = getFrameworkDir();
Daniel Dunbar3c9bc4d2012-04-05 17:10:06 +0000511
512 // If this is a user search directory, check if the framework has been
513 // user-specified as a system framework.
514 if (getDirCharacteristic() == SrcMgr::C_User) {
515 SmallString<1024> SystemFrameworkMarker(FrameworkName);
516 SystemFrameworkMarker += ".system_framework";
Yaron Keren92e1b622015-03-18 10:17:07 +0000517 if (llvm::sys::fs::exists(SystemFrameworkMarker)) {
Daniel Dunbar3c9bc4d2012-04-05 17:10:06 +0000518 CacheEntry.IsUserSpecifiedSystemFramework = true;
519 }
520 }
Chris Lattner5ed76da2006-10-22 07:24:13 +0000521 }
Mike Stump11289f42009-09-09 15:08:12 +0000522
Daniel Dunbar3c9bc4d2012-04-05 17:10:06 +0000523 // Set the 'user-specified system framework' flag.
524 InUserSpecifiedSystemFramework = CacheEntry.IsUserSpecifiedSystemFramework;
525
Craig Topperd2d442c2014-05-17 23:10:59 +0000526 if (RelativePath) {
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000527 RelativePath->clear();
528 RelativePath->append(Filename.begin()+SlashPos+1, Filename.end());
529 }
Douglas Gregor56c64012011-11-17 01:41:17 +0000530
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000531 // Check "/System/Library/Frameworks/Cocoa.framework/Headers/file.h"
Chris Lattnerb201d9b2006-10-30 05:09:49 +0000532 unsigned OrigSize = FrameworkName.size();
Mike Stump11289f42009-09-09 15:08:12 +0000533
Chris Lattnerb201d9b2006-10-30 05:09:49 +0000534 FrameworkName += "Headers/";
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000535
Craig Topperd2d442c2014-05-17 23:10:59 +0000536 if (SearchPath) {
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000537 SearchPath->clear();
538 // Without trailing '/'.
539 SearchPath->append(FrameworkName.begin(), FrameworkName.end()-1);
540 }
541
Chris Lattnerd081f8c2010-01-10 01:35:12 +0000542 FrameworkName.append(Filename.begin()+SlashPos+1, Filename.end());
Yaron Keren92e1b622015-03-18 10:17:07 +0000543 const FileEntry *FE = FileMgr.getFile(FrameworkName,
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000544 /*openFile=*/!SuggestedModule);
545 if (!FE) {
546 // Check "/System/Library/Frameworks/Cocoa.framework/PrivateHeaders/file.h"
547 const char *Private = "Private";
548 FrameworkName.insert(FrameworkName.begin()+OrigSize, Private,
549 Private+strlen(Private));
Craig Topperd2d442c2014-05-17 23:10:59 +0000550 if (SearchPath)
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000551 SearchPath->insert(SearchPath->begin()+OrigSize, Private,
552 Private+strlen(Private));
553
Yaron Keren92e1b622015-03-18 10:17:07 +0000554 FE = FileMgr.getFile(FrameworkName, /*openFile=*/!SuggestedModule);
Chandler Carruth3cc331a2011-03-16 18:34:36 +0000555 }
Mike Stump11289f42009-09-09 15:08:12 +0000556
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000557 // If we found the header and are allowed to suggest a module, do so now.
Bruno Cardoso Lopesed84df02016-10-21 01:41:56 +0000558 if (FE && needModuleLookup(RequestingModule, SuggestedModule)) {
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000559 // Find the framework in which this header occurs.
Ben Langmuiref914b82014-05-15 16:20:33 +0000560 StringRef FrameworkPath = FE->getDir()->getName();
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000561 bool FoundFramework = false;
562 do {
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000563 // Determine whether this directory exists.
564 const DirectoryEntry *Dir = FileMgr.getDirectory(FrameworkPath);
565 if (!Dir)
566 break;
567
568 // If this is a framework directory, then we're a subframework of this
569 // framework.
570 if (llvm::sys::path::extension(FrameworkPath) == ".framework") {
571 FoundFramework = true;
572 break;
573 }
Ben Langmuiref914b82014-05-15 16:20:33 +0000574
575 // Get the parent directory name.
576 FrameworkPath = llvm::sys::path::parent_path(FrameworkPath);
577 if (FrameworkPath.empty())
578 break;
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000579 } while (true);
580
Richard Smith3d5b48c2015-10-16 21:42:56 +0000581 bool IsSystem = getDirCharacteristic() != SrcMgr::C_User;
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000582 if (FoundFramework) {
Richard Smith3d5b48c2015-10-16 21:42:56 +0000583 if (!HS.findUsableModuleForFrameworkHeader(
584 FE, FrameworkPath, RequestingModule, SuggestedModule, IsSystem))
585 return nullptr;
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000586 } else {
Richard Smith3d5b48c2015-10-16 21:42:56 +0000587 if (!HS.findUsableModuleForHeader(FE, getDir(), RequestingModule,
588 SuggestedModule, IsSystem))
589 return nullptr;
Douglas Gregor4ddf2222013-01-10 01:43:00 +0000590 }
591 }
Douglas Gregor97eec242011-09-15 22:00:41 +0000592 return FE;
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000593}
594
Douglas Gregor89929282012-01-30 06:01:29 +0000595void HeaderSearch::setTarget(const TargetInfo &Target) {
596 ModMap.setTarget(Target);
597}
598
Chris Lattner712e3872007-12-17 08:13:48 +0000599//===----------------------------------------------------------------------===//
600// Header File Location.
601//===----------------------------------------------------------------------===//
602
Adrian Prantl9fc8faf2018-05-09 01:00:01 +0000603/// Return true with a diagnostic if the file that MSVC would have found
Reid Klecknera97d4c02014-02-18 23:49:24 +0000604/// fails to match the one that Clang would have found with MSVC header search
605/// disabled.
606static bool checkMSVCHeaderSearch(DiagnosticsEngine &Diags,
607 const FileEntry *MSFE, const FileEntry *FE,
608 SourceLocation IncludeLoc) {
609 if (MSFE && FE != MSFE) {
610 Diags.Report(IncludeLoc, diag::ext_pp_include_search_ms) << MSFE->getName();
611 return true;
612 }
613 return false;
614}
Chris Lattner712e3872007-12-17 08:13:48 +0000615
Argyrios Kyrtzidis34fad422014-03-11 06:21:28 +0000616static const char *copyString(StringRef Str, llvm::BumpPtrAllocator &Alloc) {
617 assert(!Str.empty());
618 char *CopyStr = Alloc.Allocate<char>(Str.size()+1);
619 std::copy(Str.begin(), Str.end(), CopyStr);
620 CopyStr[Str.size()] = '\0';
621 return CopyStr;
622}
623
Bruno Cardoso Lopesa9c51fe2018-06-22 18:05:17 +0000624static bool isFrameworkStylePath(StringRef Path,
625 SmallVectorImpl<char> &FrameworkName) {
626 using namespace llvm::sys;
627 path::const_iterator I = path::begin(Path);
628 path::const_iterator E = path::end(Path);
629
630 // Detect different types of framework style paths:
631 //
632 // ...Foo.framework/{Headers,PrivateHeaders}
633 // ...Foo.framework/Versions/{A,Current}/{Headers,PrivateHeaders}
634 // ...Foo.framework/Frameworks/Nested.framework/{Headers,PrivateHeaders}
635 // ...<other variations with 'Versions' like in the above path>
636 //
637 // and some other variations among these lines.
638 int FoundComp = 0;
639 while (I != E) {
640 if (I->endswith(".framework")) {
641 FrameworkName.append(I->begin(), I->end());
642 ++FoundComp;
643 }
644 if (*I == "Headers" || *I == "PrivateHeaders")
645 ++FoundComp;
646 ++I;
647 }
648
649 return FoundComp >= 2;
650}
651
652static void
653diagnoseFrameworkInclude(DiagnosticsEngine &Diags, SourceLocation IncludeLoc,
654 StringRef Includer, StringRef IncludeFilename,
655 const FileEntry *IncludeFE, bool isAngled = false,
656 bool FoundByHeaderMap = false) {
657 SmallString<128> FromFramework, ToFramework;
658 if (!isFrameworkStylePath(Includer, FromFramework))
659 return;
660 bool IsIncludeeInFramework =
661 isFrameworkStylePath(IncludeFE->getName(), ToFramework);
662
663 if (!isAngled && !FoundByHeaderMap) {
664 SmallString<128> NewInclude("<");
665 if (IsIncludeeInFramework) {
666 NewInclude += StringRef(ToFramework).drop_back(10); // drop .framework
667 NewInclude += "/";
668 }
669 NewInclude += IncludeFilename;
670 NewInclude += ">";
671 Diags.Report(IncludeLoc, diag::warn_quoted_include_in_framework_header)
672 << IncludeFilename
673 << FixItHint::CreateReplacement(IncludeLoc, NewInclude);
674 }
675}
676
James Dennettc07ab2c2012-06-20 00:56:32 +0000677/// LookupFile - Given a "foo" or \<foo> reference, look up the indicated file,
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000678/// return null on failure. isAngled indicates whether the file reference is
Will Wilson0fafd342013-12-27 19:46:16 +0000679/// for system \#include's or not (i.e. using <> instead of ""). Includers, if
680/// non-empty, indicates where the \#including file(s) are, in case a relative
681/// search is needed. Microsoft mode will pass all \#including files.
Chandler Carruth3cc331a2011-03-16 18:34:36 +0000682const FileEntry *HeaderSearch::LookupFile(
Will Wilson0fafd342013-12-27 19:46:16 +0000683 StringRef Filename, SourceLocation IncludeLoc, bool isAngled,
684 const DirectoryLookup *FromDir, const DirectoryLookup *&CurDir,
Manuel Klimek9af34ae2014-08-12 08:25:57 +0000685 ArrayRef<std::pair<const FileEntry *, const DirectoryEntry *>> Includers,
686 SmallVectorImpl<char> *SearchPath, SmallVectorImpl<char> *RelativePath,
Richard Smith3d5b48c2015-10-16 21:42:56 +0000687 Module *RequestingModule, ModuleMap::KnownHeader *SuggestedModule,
Duncan P. N. Exon Smithcfc1f6a2017-04-27 21:41:51 +0000688 bool *IsMapped, bool SkipCache, bool BuildSystemModule) {
689 if (IsMapped)
690 *IsMapped = false;
691
Douglas Gregor97eec242011-09-15 22:00:41 +0000692 if (SuggestedModule)
Lawrence Crowlb53e5482013-06-20 21:14:14 +0000693 *SuggestedModule = ModuleMap::KnownHeader();
Douglas Gregor97eec242011-09-15 22:00:41 +0000694
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000695 // If 'Filename' is absolute, check to see if it exists and no searching.
Michael J. Spencerf28df4c2010-12-17 21:22:22 +0000696 if (llvm::sys::path::is_absolute(Filename)) {
Craig Topperd2d442c2014-05-17 23:10:59 +0000697 CurDir = nullptr;
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000698
699 // If this was an #include_next "/absolute/file", fail.
Craig Topperd2d442c2014-05-17 23:10:59 +0000700 if (FromDir) return nullptr;
Mike Stump11289f42009-09-09 15:08:12 +0000701
Craig Topperd2d442c2014-05-17 23:10:59 +0000702 if (SearchPath)
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000703 SearchPath->clear();
Craig Topperd2d442c2014-05-17 23:10:59 +0000704 if (RelativePath) {
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000705 RelativePath->clear();
706 RelativePath->append(Filename.begin(), Filename.end());
707 }
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000708 // Otherwise, just return the file.
Taewook Ohf42103c2016-06-13 20:40:21 +0000709 return getFileAndSuggestModule(Filename, IncludeLoc, nullptr,
Richard Smith3d5b48c2015-10-16 21:42:56 +0000710 /*IsSystemHeaderDir*/false,
711 RequestingModule, SuggestedModule);
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000712 }
Mike Stump11289f42009-09-09 15:08:12 +0000713
Reid Klecknera97d4c02014-02-18 23:49:24 +0000714 // This is the header that MSVC's header search would have found.
Craig Topperd2d442c2014-05-17 23:10:59 +0000715 const FileEntry *MSFE = nullptr;
Richard Smith8c71eba2014-03-05 20:51:45 +0000716 ModuleMap::KnownHeader MSSuggestedModule;
Reid Klecknera97d4c02014-02-18 23:49:24 +0000717
Douglas Gregor9f93e382011-07-28 04:45:53 +0000718 // Unless disabled, check to see if the file is in the #includer's
Will Wilson0fafd342013-12-27 19:46:16 +0000719 // directory. This cannot be based on CurDir, because each includer could be
720 // a #include of a subdirectory (#include "foo/bar.h") and a subsequent
721 // include of "baz.h" should resolve to "whatever/foo/baz.h".
Chris Lattnerf62f7582007-12-17 07:52:39 +0000722 // This search is not done for <> headers.
Will Wilson0fafd342013-12-27 19:46:16 +0000723 if (!Includers.empty() && !isAngled && !NoCurDirSearch) {
NAKAMURA Takumi9cb62642013-12-10 02:36:28 +0000724 SmallString<1024> TmpDir;
Manuel Klimek9af34ae2014-08-12 08:25:57 +0000725 bool First = true;
726 for (const auto &IncluderAndDir : Includers) {
727 const FileEntry *Includer = IncluderAndDir.first;
728
Will Wilson0fafd342013-12-27 19:46:16 +0000729 // Concatenate the requested file onto the directory.
Nikola Smiljaniccf385dc2015-05-08 06:02:37 +0000730 // FIXME: Portability. Filename concatenation should be in sys::Path.
Manuel Klimek9af34ae2014-08-12 08:25:57 +0000731 TmpDir = IncluderAndDir.second->getName();
Nikola Smiljaniccf385dc2015-05-08 06:02:37 +0000732 TmpDir.push_back('/');
733 TmpDir.append(Filename.begin(), Filename.end());
Richard Smith8c71eba2014-03-05 20:51:45 +0000734
Richard Smith6f548ec2014-03-06 18:08:08 +0000735 // FIXME: We don't cache the result of getFileInfo across the call to
736 // getFileAndSuggestModule, because it's a reference to an element of
737 // a container that could be reallocated across this call.
Richard Smith3c1a41a2014-12-02 00:08:08 +0000738 //
Manman Rene4a5d372016-05-17 02:15:12 +0000739 // If we have no includer, that means we're processing a #include
Richard Smith3c1a41a2014-12-02 00:08:08 +0000740 // from a module build. We should treat this as a system header if we're
741 // building a [system] module.
Richard Smith6f548ec2014-03-06 18:08:08 +0000742 bool IncluderIsSystemHeader =
Manman Rene39c8142016-05-17 18:04:38 +0000743 Includer ? getFileInfo(Includer).DirInfo != SrcMgr::C_User :
744 BuildSystemModule;
Manuel Klimek9af34ae2014-08-12 08:25:57 +0000745 if (const FileEntry *FE = getFileAndSuggestModule(
Taewook Ohf42103c2016-06-13 20:40:21 +0000746 TmpDir, IncludeLoc, IncluderAndDir.second, IncluderIsSystemHeader,
Richard Smith3d5b48c2015-10-16 21:42:56 +0000747 RequestingModule, SuggestedModule)) {
Richard Smith3c1a41a2014-12-02 00:08:08 +0000748 if (!Includer) {
749 assert(First && "only first includer can have no file");
750 return FE;
751 }
752
Will Wilson0fafd342013-12-27 19:46:16 +0000753 // Leave CurDir unset.
754 // This file is a system header or C++ unfriendly if the old file is.
755 //
756 // Note that we only use one of FromHFI/ToHFI at once, due to potential
757 // reallocation of the underlying vector potentially making the first
758 // reference binding dangling.
Richard Smith6f548ec2014-03-06 18:08:08 +0000759 HeaderFileInfo &FromHFI = getFileInfo(Includer);
Will Wilson0fafd342013-12-27 19:46:16 +0000760 unsigned DirInfo = FromHFI.DirInfo;
761 bool IndexHeaderMapHeader = FromHFI.IndexHeaderMapHeader;
762 StringRef Framework = FromHFI.Framework;
Douglas Gregor03b5ebe2012-08-13 15:47:39 +0000763
Will Wilson0fafd342013-12-27 19:46:16 +0000764 HeaderFileInfo &ToHFI = getFileInfo(FE);
765 ToHFI.DirInfo = DirInfo;
766 ToHFI.IndexHeaderMapHeader = IndexHeaderMapHeader;
767 ToHFI.Framework = Framework;
Douglas Gregor03b5ebe2012-08-13 15:47:39 +0000768
Craig Topperd2d442c2014-05-17 23:10:59 +0000769 if (SearchPath) {
Manuel Klimek9af34ae2014-08-12 08:25:57 +0000770 StringRef SearchPathRef(IncluderAndDir.second->getName());
Will Wilson0fafd342013-12-27 19:46:16 +0000771 SearchPath->clear();
772 SearchPath->append(SearchPathRef.begin(), SearchPathRef.end());
773 }
Craig Topperd2d442c2014-05-17 23:10:59 +0000774 if (RelativePath) {
Will Wilson0fafd342013-12-27 19:46:16 +0000775 RelativePath->clear();
776 RelativePath->append(Filename.begin(), Filename.end());
777 }
Bruno Cardoso Lopesa9c51fe2018-06-22 18:05:17 +0000778 if (First) {
779 diagnoseFrameworkInclude(Diags, IncludeLoc,
780 IncluderAndDir.second->getName(), Filename,
781 FE);
Reid Klecknera97d4c02014-02-18 23:49:24 +0000782 return FE;
Bruno Cardoso Lopesa9c51fe2018-06-22 18:05:17 +0000783 }
Reid Klecknera97d4c02014-02-18 23:49:24 +0000784
785 // Otherwise, we found the path via MSVC header search rules. If
786 // -Wmsvc-include is enabled, we have to keep searching to see if we
787 // would've found this header in -I or -isystem directories.
Alp Tokerd4a3f0e2014-06-15 23:30:39 +0000788 if (Diags.isIgnored(diag::ext_pp_include_search_ms, IncludeLoc)) {
Reid Klecknera97d4c02014-02-18 23:49:24 +0000789 return FE;
790 } else {
791 MSFE = FE;
Richard Smith8c71eba2014-03-05 20:51:45 +0000792 if (SuggestedModule) {
793 MSSuggestedModule = *SuggestedModule;
794 *SuggestedModule = ModuleMap::KnownHeader();
795 }
Reid Klecknera97d4c02014-02-18 23:49:24 +0000796 break;
797 }
Manuel Klimek0c69fd22011-04-26 21:50:03 +0000798 }
Manuel Klimek9af34ae2014-08-12 08:25:57 +0000799 First = false;
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000800 }
801 }
Mike Stump11289f42009-09-09 15:08:12 +0000802
Craig Topperd2d442c2014-05-17 23:10:59 +0000803 CurDir = nullptr;
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000804
805 // If this is a system #include, ignore the user #include locs.
Nico Weber3b1d1212011-05-24 04:31:14 +0000806 unsigned i = isAngled ? AngledDirIdx : 0;
Mike Stump11289f42009-09-09 15:08:12 +0000807
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000808 // If this is a #include_next request, start searching after the directory the
809 // file was found in.
810 if (FromDir)
811 i = FromDir-&SearchDirs[0];
Mike Stump11289f42009-09-09 15:08:12 +0000812
Chris Lattnerd4275422007-07-22 07:28:00 +0000813 // Cache all of the lookups performed by this method. Many headers are
814 // multiply included, and the "pragma once" optimization prevents them from
815 // being relex/pp'd, but they would still have to search through a
816 // (potentially huge) series of SearchDirs to find it.
David Blaikie13156b62014-11-19 03:06:06 +0000817 LookupFileCacheInfo &CacheLookup = LookupFileCache[Filename];
Chris Lattnerd4275422007-07-22 07:28:00 +0000818
819 // If the entry has been previously looked up, the first value will be
820 // non-zero. If the value is equal to i (the start point of our search), then
821 // this is a matching hit.
Argyrios Kyrtzidis34fad422014-03-11 06:21:28 +0000822 if (!SkipCache && CacheLookup.StartIdx == i+1) {
Chris Lattnerd4275422007-07-22 07:28:00 +0000823 // Skip querying potentially lots of directories for this lookup.
Argyrios Kyrtzidis34fad422014-03-11 06:21:28 +0000824 i = CacheLookup.HitIdx;
Duncan P. N. Exon Smithcfc1f6a2017-04-27 21:41:51 +0000825 if (CacheLookup.MappedName) {
Argyrios Kyrtzidis34fad422014-03-11 06:21:28 +0000826 Filename = CacheLookup.MappedName;
Duncan P. N. Exon Smithcfc1f6a2017-04-27 21:41:51 +0000827 if (IsMapped)
828 *IsMapped = true;
829 }
Chris Lattnerd4275422007-07-22 07:28:00 +0000830 } else {
831 // Otherwise, this is the first query, or the previous query didn't match
832 // our search start. We will fill in our found location below, so prime the
833 // start point value.
Argyrios Kyrtzidis7bd78a92014-03-29 03:22:54 +0000834 CacheLookup.reset(/*StartIdx=*/i+1);
Chris Lattnerd4275422007-07-22 07:28:00 +0000835 }
Mike Stump11289f42009-09-09 15:08:12 +0000836
Argyrios Kyrtzidis75fa9ed2014-02-14 14:58:28 +0000837 SmallString<64> MappedName;
838
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000839 // Check each directory in sequence to see if it contains this file.
840 for (; i != SearchDirs.size(); ++i) {
Daniel Dunbar3c9bc4d2012-04-05 17:10:06 +0000841 bool InUserSpecifiedSystemFramework = false;
Argyrios Kyrtzidis34fad422014-03-11 06:21:28 +0000842 bool HasBeenMapped = false;
Richard Smith3d5b48c2015-10-16 21:42:56 +0000843 const FileEntry *FE = SearchDirs[i].LookupFile(
Taewook Ohf42103c2016-06-13 20:40:21 +0000844 Filename, *this, IncludeLoc, SearchPath, RelativePath, RequestingModule,
Richard Smith3d5b48c2015-10-16 21:42:56 +0000845 SuggestedModule, InUserSpecifiedSystemFramework, HasBeenMapped,
846 MappedName);
Argyrios Kyrtzidis34fad422014-03-11 06:21:28 +0000847 if (HasBeenMapped) {
848 CacheLookup.MappedName =
849 copyString(Filename, LookupFileCache.getAllocator());
Duncan P. N. Exon Smithcfc1f6a2017-04-27 21:41:51 +0000850 if (IsMapped)
851 *IsMapped = true;
Argyrios Kyrtzidis34fad422014-03-11 06:21:28 +0000852 }
Chris Lattner712e3872007-12-17 08:13:48 +0000853 if (!FE) continue;
Mike Stump11289f42009-09-09 15:08:12 +0000854
Chris Lattner712e3872007-12-17 08:13:48 +0000855 CurDir = &SearchDirs[i];
Mike Stump11289f42009-09-09 15:08:12 +0000856
Chris Lattner712e3872007-12-17 08:13:48 +0000857 // This file is a system header or C++ unfriendly if the dir is.
Douglas Gregor9f93e382011-07-28 04:45:53 +0000858 HeaderFileInfo &HFI = getFileInfo(FE);
859 HFI.DirInfo = CurDir->getDirCharacteristic();
Mike Stump11289f42009-09-09 15:08:12 +0000860
Daniel Dunbar3c9bc4d2012-04-05 17:10:06 +0000861 // If the directory characteristic is User but this framework was
862 // user-specified to be treated as a system framework, promote the
863 // characteristic.
864 if (HFI.DirInfo == SrcMgr::C_User && InUserSpecifiedSystemFramework)
865 HFI.DirInfo = SrcMgr::C_System;
866
Richard Smith8acadcb2012-06-13 20:27:03 +0000867 // If the filename matches a known system header prefix, override
868 // whether the file is a system header.
Richard Trieu871f5f32012-06-13 20:52:36 +0000869 for (unsigned j = SystemHeaderPrefixes.size(); j; --j) {
870 if (Filename.startswith(SystemHeaderPrefixes[j-1].first)) {
871 HFI.DirInfo = SystemHeaderPrefixes[j-1].second ? SrcMgr::C_System
Richard Smith8acadcb2012-06-13 20:27:03 +0000872 : SrcMgr::C_User;
873 break;
874 }
875 }
876
Douglas Gregor9f93e382011-07-28 04:45:53 +0000877 // If this file is found in a header map and uses the framework style of
878 // includes, then this header is part of a framework we're building.
879 if (CurDir->isIndexHeaderMap()) {
880 size_t SlashPos = Filename.find('/');
881 if (SlashPos != StringRef::npos) {
882 HFI.IndexHeaderMapHeader = 1;
883 HFI.Framework = getUniqueFrameworkName(StringRef(Filename.begin(),
884 SlashPos));
885 }
886 }
Reid Klecknera97d4c02014-02-18 23:49:24 +0000887
Richard Smith8c71eba2014-03-05 20:51:45 +0000888 if (checkMSVCHeaderSearch(Diags, MSFE, FE, IncludeLoc)) {
889 if (SuggestedModule)
890 *SuggestedModule = MSSuggestedModule;
Reid Klecknera97d4c02014-02-18 23:49:24 +0000891 return MSFE;
Richard Smith8c71eba2014-03-05 20:51:45 +0000892 }
Reid Klecknera97d4c02014-02-18 23:49:24 +0000893
Bruno Cardoso Lopesa9c51fe2018-06-22 18:05:17 +0000894 bool FoundByHeaderMap = !IsMapped ? false : *IsMapped;
895 if (!Includers.empty())
896 diagnoseFrameworkInclude(Diags, IncludeLoc,
897 Includers.front().second->getName(), Filename,
898 FE, isAngled, FoundByHeaderMap);
899
Chris Lattner712e3872007-12-17 08:13:48 +0000900 // Remember this location for the next lookup we do.
Argyrios Kyrtzidis34fad422014-03-11 06:21:28 +0000901 CacheLookup.HitIdx = i;
Chris Lattner712e3872007-12-17 08:13:48 +0000902 return FE;
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000903 }
Mike Stump11289f42009-09-09 15:08:12 +0000904
Douglas Gregord8575e12011-07-30 06:28:34 +0000905 // If we are including a file with a quoted include "foo.h" from inside
906 // a header in a framework that is currently being built, and we couldn't
907 // resolve "foo.h" any other way, change the include to <Foo/foo.h>, where
908 // "Foo" is the name of the framework in which the including header was found.
Richard Smith3c1a41a2014-12-02 00:08:08 +0000909 if (!Includers.empty() && Includers.front().first && !isAngled &&
Will Wilson0fafd342013-12-27 19:46:16 +0000910 Filename.find('/') == StringRef::npos) {
Manuel Klimek9af34ae2014-08-12 08:25:57 +0000911 HeaderFileInfo &IncludingHFI = getFileInfo(Includers.front().first);
Douglas Gregord8575e12011-07-30 06:28:34 +0000912 if (IncludingHFI.IndexHeaderMapHeader) {
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +0000913 SmallString<128> ScratchFilename;
Douglas Gregord8575e12011-07-30 06:28:34 +0000914 ScratchFilename += IncludingHFI.Framework;
915 ScratchFilename += '/';
916 ScratchFilename += Filename;
Will Wilson0fafd342013-12-27 19:46:16 +0000917
Richard Smith3d5b48c2015-10-16 21:42:56 +0000918 const FileEntry *FE =
919 LookupFile(ScratchFilename, IncludeLoc, /*isAngled=*/true, FromDir,
920 CurDir, Includers.front(), SearchPath, RelativePath,
Duncan P. N. Exon Smithcfc1f6a2017-04-27 21:41:51 +0000921 RequestingModule, SuggestedModule, IsMapped);
Reid Klecknera97d4c02014-02-18 23:49:24 +0000922
Richard Smith8c71eba2014-03-05 20:51:45 +0000923 if (checkMSVCHeaderSearch(Diags, MSFE, FE, IncludeLoc)) {
924 if (SuggestedModule)
925 *SuggestedModule = MSSuggestedModule;
Reid Klecknera97d4c02014-02-18 23:49:24 +0000926 return MSFE;
Richard Smith8c71eba2014-03-05 20:51:45 +0000927 }
Reid Klecknera97d4c02014-02-18 23:49:24 +0000928
David Blaikie3c8c46e2014-11-19 05:48:40 +0000929 LookupFileCacheInfo &CacheLookup = LookupFileCache[Filename];
David Blaikie13156b62014-11-19 03:06:06 +0000930 CacheLookup.HitIdx = LookupFileCache[ScratchFilename].HitIdx;
Richard Smith8c71eba2014-03-05 20:51:45 +0000931 // FIXME: SuggestedModule.
Reid Klecknera97d4c02014-02-18 23:49:24 +0000932 return FE;
Douglas Gregord8575e12011-07-30 06:28:34 +0000933 }
934 }
935
Craig Topperd2d442c2014-05-17 23:10:59 +0000936 if (checkMSVCHeaderSearch(Diags, MSFE, nullptr, IncludeLoc)) {
Richard Smith8c71eba2014-03-05 20:51:45 +0000937 if (SuggestedModule)
938 *SuggestedModule = MSSuggestedModule;
Reid Klecknera97d4c02014-02-18 23:49:24 +0000939 return MSFE;
Richard Smith8c71eba2014-03-05 20:51:45 +0000940 }
Reid Klecknera97d4c02014-02-18 23:49:24 +0000941
Chris Lattnerd4275422007-07-22 07:28:00 +0000942 // Otherwise, didn't find it. Remember we didn't find this.
Argyrios Kyrtzidis34fad422014-03-11 06:21:28 +0000943 CacheLookup.HitIdx = SearchDirs.size();
Craig Topperd2d442c2014-05-17 23:10:59 +0000944 return nullptr;
Chris Lattner59a9ebd2006-10-18 05:34:33 +0000945}
946
Chris Lattner63dd32b2006-10-20 04:42:40 +0000947/// LookupSubframeworkHeader - Look up a subframework for the specified
James Dennettc07ab2c2012-06-20 00:56:32 +0000948/// \#include file. For example, if \#include'ing <HIToolbox/HIToolbox.h> from
Chris Lattner63dd32b2006-10-20 04:42:40 +0000949/// within ".../Carbon.framework/Headers/Carbon.h", check to see if HIToolbox
950/// is a subframework within Carbon.framework. If so, return the FileEntry
951/// for the designated file, otherwise return null.
952const FileEntry *HeaderSearch::
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000953LookupSubframeworkHeader(StringRef Filename,
Chandler Carruth3cc331a2011-03-16 18:34:36 +0000954 const FileEntry *ContextFileEnt,
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000955 SmallVectorImpl<char> *SearchPath,
Douglas Gregorf5f94522013-02-08 00:10:48 +0000956 SmallVectorImpl<char> *RelativePath,
Richard Smith3d5b48c2015-10-16 21:42:56 +0000957 Module *RequestingModule,
Lawrence Crowlb53e5482013-06-20 21:14:14 +0000958 ModuleMap::KnownHeader *SuggestedModule) {
Chris Lattner12261882008-02-01 05:34:02 +0000959 assert(ContextFileEnt && "No context file?");
Mike Stump11289f42009-09-09 15:08:12 +0000960
Chris Lattner63dd32b2006-10-20 04:42:40 +0000961 // Framework names must have a '/' in the filename. Find it.
Douglas Gregor5ca04bd2011-12-09 16:48:01 +0000962 // FIXME: Should we permit '\' on Windows?
Chris Lattnerd081f8c2010-01-10 01:35:12 +0000963 size_t SlashPos = Filename.find('/');
Craig Topperd2d442c2014-05-17 23:10:59 +0000964 if (SlashPos == StringRef::npos) return nullptr;
Mike Stump11289f42009-09-09 15:08:12 +0000965
Chris Lattner63dd32b2006-10-20 04:42:40 +0000966 // Look up the base framework name of the ContextFileEnt.
Mehdi Amini004b9c72016-10-10 22:52:47 +0000967 StringRef ContextName = ContextFileEnt->getName();
Mike Stump11289f42009-09-09 15:08:12 +0000968
Chris Lattner63dd32b2006-10-20 04:42:40 +0000969 // If the context info wasn't a framework, couldn't be a subframework.
Douglas Gregor5ca04bd2011-12-09 16:48:01 +0000970 const unsigned DotFrameworkLen = 10;
Mehdi Amini004b9c72016-10-10 22:52:47 +0000971 auto FrameworkPos = ContextName.find(".framework");
972 if (FrameworkPos == StringRef::npos ||
973 (ContextName[FrameworkPos + DotFrameworkLen] != '/' &&
974 ContextName[FrameworkPos + DotFrameworkLen] != '\\'))
Craig Topperd2d442c2014-05-17 23:10:59 +0000975 return nullptr;
Mike Stump11289f42009-09-09 15:08:12 +0000976
Mehdi Amini004b9c72016-10-10 22:52:47 +0000977 SmallString<1024> FrameworkName(ContextName.data(), ContextName.data() +
978 FrameworkPos +
979 DotFrameworkLen + 1);
Chris Lattner5ed76da2006-10-22 07:24:13 +0000980
Chris Lattner63dd32b2006-10-20 04:42:40 +0000981 // Append Frameworks/HIToolbox.framework/
982 FrameworkName += "Frameworks/";
Chris Lattnerd081f8c2010-01-10 01:35:12 +0000983 FrameworkName.append(Filename.begin(), Filename.begin()+SlashPos);
Chris Lattner63dd32b2006-10-20 04:42:40 +0000984 FrameworkName += ".framework/";
Chris Lattner577377e2006-10-20 04:55:45 +0000985
David Blaikie13156b62014-11-19 03:06:06 +0000986 auto &CacheLookup =
987 *FrameworkMap.insert(std::make_pair(Filename.substr(0, SlashPos),
988 FrameworkCacheEntry())).first;
Mike Stump11289f42009-09-09 15:08:12 +0000989
Chris Lattner5ed76da2006-10-22 07:24:13 +0000990 // Some other location?
David Blaikie13156b62014-11-19 03:06:06 +0000991 if (CacheLookup.second.Directory &&
992 CacheLookup.first().size() == FrameworkName.size() &&
993 memcmp(CacheLookup.first().data(), &FrameworkName[0],
994 CacheLookup.first().size()) != 0)
Craig Topperd2d442c2014-05-17 23:10:59 +0000995 return nullptr;
Mike Stump11289f42009-09-09 15:08:12 +0000996
Chris Lattner5ed76da2006-10-22 07:24:13 +0000997 // Cache subframework.
David Blaikie13156b62014-11-19 03:06:06 +0000998 if (!CacheLookup.second.Directory) {
Chris Lattner5ed76da2006-10-22 07:24:13 +0000999 ++NumSubFrameworkLookups;
Mike Stump11289f42009-09-09 15:08:12 +00001000
Chris Lattner5ed76da2006-10-22 07:24:13 +00001001 // If the framework dir doesn't exist, we fail.
Yaron Keren92e1b622015-03-18 10:17:07 +00001002 const DirectoryEntry *Dir = FileMgr.getDirectory(FrameworkName);
Craig Topperd2d442c2014-05-17 23:10:59 +00001003 if (!Dir) return nullptr;
Mike Stump11289f42009-09-09 15:08:12 +00001004
Chris Lattner5ed76da2006-10-22 07:24:13 +00001005 // Otherwise, if it does, remember that this is the right direntry for this
1006 // framework.
David Blaikie13156b62014-11-19 03:06:06 +00001007 CacheLookup.second.Directory = Dir;
Chris Lattner5ed76da2006-10-22 07:24:13 +00001008 }
Mike Stump11289f42009-09-09 15:08:12 +00001009
Craig Topperd2d442c2014-05-17 23:10:59 +00001010 const FileEntry *FE = nullptr;
Chris Lattner577377e2006-10-20 04:55:45 +00001011
Craig Topperd2d442c2014-05-17 23:10:59 +00001012 if (RelativePath) {
Manuel Klimek0c69fd22011-04-26 21:50:03 +00001013 RelativePath->clear();
1014 RelativePath->append(Filename.begin()+SlashPos+1, Filename.end());
1015 }
1016
Chris Lattner63dd32b2006-10-20 04:42:40 +00001017 // Check ".../Frameworks/HIToolbox.framework/Headers/HIToolbox.h"
Dylan Noblesmith2c1dd272012-02-05 02:13:05 +00001018 SmallString<1024> HeadersFilename(FrameworkName);
Chris Lattner43fd42e2006-10-30 03:40:58 +00001019 HeadersFilename += "Headers/";
Craig Topperd2d442c2014-05-17 23:10:59 +00001020 if (SearchPath) {
Manuel Klimek0c69fd22011-04-26 21:50:03 +00001021 SearchPath->clear();
1022 // Without trailing '/'.
1023 SearchPath->append(HeadersFilename.begin(), HeadersFilename.end()-1);
1024 }
1025
Chris Lattnerd081f8c2010-01-10 01:35:12 +00001026 HeadersFilename.append(Filename.begin()+SlashPos+1, Filename.end());
Yaron Keren92e1b622015-03-18 10:17:07 +00001027 if (!(FE = FileMgr.getFile(HeadersFilename, /*openFile=*/true))) {
Chris Lattner63dd32b2006-10-20 04:42:40 +00001028 // Check ".../Frameworks/HIToolbox.framework/PrivateHeaders/HIToolbox.h"
Chris Lattner43fd42e2006-10-30 03:40:58 +00001029 HeadersFilename = FrameworkName;
1030 HeadersFilename += "PrivateHeaders/";
Craig Topperd2d442c2014-05-17 23:10:59 +00001031 if (SearchPath) {
Manuel Klimek0c69fd22011-04-26 21:50:03 +00001032 SearchPath->clear();
1033 // Without trailing '/'.
1034 SearchPath->append(HeadersFilename.begin(), HeadersFilename.end()-1);
1035 }
1036
Chris Lattnerd081f8c2010-01-10 01:35:12 +00001037 HeadersFilename.append(Filename.begin()+SlashPos+1, Filename.end());
Yaron Keren92e1b622015-03-18 10:17:07 +00001038 if (!(FE = FileMgr.getFile(HeadersFilename, /*openFile=*/true)))
Craig Topperd2d442c2014-05-17 23:10:59 +00001039 return nullptr;
Chris Lattner63dd32b2006-10-20 04:42:40 +00001040 }
Mike Stump11289f42009-09-09 15:08:12 +00001041
Chris Lattner577377e2006-10-20 04:55:45 +00001042 // This file is a system header or C++ unfriendly if the old file is.
Ted Kremenek72be0682008-02-24 03:55:14 +00001043 //
Chris Lattnerf5c619f2008-02-25 21:38:21 +00001044 // Note that the temporary 'DirInfo' is required here, as either call to
1045 // getFileInfo could resize the vector and we don't want to rely on order
1046 // of evaluation.
1047 unsigned DirInfo = getFileInfo(ContextFileEnt).DirInfo;
1048 getFileInfo(FE).DirInfo = DirInfo;
Douglas Gregorf5f94522013-02-08 00:10:48 +00001049
Richard Smith3d5b48c2015-10-16 21:42:56 +00001050 FrameworkName.pop_back(); // remove the trailing '/'
1051 if (!findUsableModuleForFrameworkHeader(FE, FrameworkName, RequestingModule,
1052 SuggestedModule, /*IsSystem*/ false))
1053 return nullptr;
Douglas Gregorf5f94522013-02-08 00:10:48 +00001054
Chris Lattner577377e2006-10-20 04:55:45 +00001055 return FE;
Chris Lattner63dd32b2006-10-20 04:42:40 +00001056}
1057
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001058//===----------------------------------------------------------------------===//
1059// File Info Management.
1060//===----------------------------------------------------------------------===//
1061
Adrian Prantl9fc8faf2018-05-09 01:00:01 +00001062/// Merge the header file info provided by \p OtherHFI into the current
Douglas Gregor5d1bee22011-09-17 05:35:18 +00001063/// header file info (\p HFI)
1064static void mergeHeaderFileInfo(HeaderFileInfo &HFI,
1065 const HeaderFileInfo &OtherHFI) {
Richard Smithd8879c82015-08-24 21:59:32 +00001066 assert(OtherHFI.External && "expected to merge external HFI");
1067
Douglas Gregor5d1bee22011-09-17 05:35:18 +00001068 HFI.isImport |= OtherHFI.isImport;
1069 HFI.isPragmaOnce |= OtherHFI.isPragmaOnce;
Argyrios Kyrtzidisb146baa2013-03-13 21:13:51 +00001070 HFI.isModuleHeader |= OtherHFI.isModuleHeader;
Douglas Gregor5d1bee22011-09-17 05:35:18 +00001071 HFI.NumIncludes += OtherHFI.NumIncludes;
Richard Smithd8879c82015-08-24 21:59:32 +00001072
Douglas Gregor5d1bee22011-09-17 05:35:18 +00001073 if (!HFI.ControllingMacro && !HFI.ControllingMacroID) {
1074 HFI.ControllingMacro = OtherHFI.ControllingMacro;
1075 HFI.ControllingMacroID = OtherHFI.ControllingMacroID;
1076 }
Richard Smithd8879c82015-08-24 21:59:32 +00001077
1078 HFI.DirInfo = OtherHFI.DirInfo;
1079 HFI.External = (!HFI.IsValid || HFI.External);
1080 HFI.IsValid = true;
1081 HFI.IndexHeaderMapHeader = OtherHFI.IndexHeaderMapHeader;
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001082
Douglas Gregor5d1bee22011-09-17 05:35:18 +00001083 if (HFI.Framework.empty())
1084 HFI.Framework = OtherHFI.Framework;
Douglas Gregor5d1bee22011-09-17 05:35:18 +00001085}
1086
Steve Naroff3fa455a2009-04-24 20:03:17 +00001087/// getFileInfo - Return the HeaderFileInfo structure for the specified
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001088/// FileEntry.
Steve Naroff3fa455a2009-04-24 20:03:17 +00001089HeaderFileInfo &HeaderSearch::getFileInfo(const FileEntry *FE) {
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001090 if (FE->getUID() >= FileInfo.size())
Richard Smith386bb072015-08-18 23:42:23 +00001091 FileInfo.resize(FE->getUID() + 1);
1092
Richard Smithd8879c82015-08-24 21:59:32 +00001093 HeaderFileInfo *HFI = &FileInfo[FE->getUID()];
Richard Smith386bb072015-08-18 23:42:23 +00001094 // FIXME: Use a generation count to check whether this is really up to date.
Richard Smithd8879c82015-08-24 21:59:32 +00001095 if (ExternalSource && !HFI->Resolved) {
1096 HFI->Resolved = true;
1097 auto ExternalHFI = ExternalSource->GetHeaderFileInfo(FE);
1098
1099 HFI = &FileInfo[FE->getUID()];
1100 if (ExternalHFI.External)
1101 mergeHeaderFileInfo(*HFI, ExternalHFI);
Richard Smith386bb072015-08-18 23:42:23 +00001102 }
1103
Richard Smithd8879c82015-08-24 21:59:32 +00001104 HFI->IsValid = true;
Richard Smith386bb072015-08-18 23:42:23 +00001105 // We have local information about this header file, so it's no longer
1106 // strictly external.
Richard Smithd8879c82015-08-24 21:59:32 +00001107 HFI->External = false;
1108 return *HFI;
Mike Stump11289f42009-09-09 15:08:12 +00001109}
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001110
Richard Smith386bb072015-08-18 23:42:23 +00001111const HeaderFileInfo *
Richard Smithd8879c82015-08-24 21:59:32 +00001112HeaderSearch::getExistingFileInfo(const FileEntry *FE,
1113 bool WantExternal) const {
Richard Smith386bb072015-08-18 23:42:23 +00001114 // If we have an external source, ensure we have the latest information.
1115 // FIXME: Use a generation count to check whether this is really up to date.
Richard Smithd8879c82015-08-24 21:59:32 +00001116 HeaderFileInfo *HFI;
1117 if (ExternalSource) {
1118 if (FE->getUID() >= FileInfo.size()) {
1119 if (!WantExternal)
1120 return nullptr;
1121 FileInfo.resize(FE->getUID() + 1);
Richard Smith386bb072015-08-18 23:42:23 +00001122 }
Richard Smithd8879c82015-08-24 21:59:32 +00001123
1124 HFI = &FileInfo[FE->getUID()];
1125 if (!WantExternal && (!HFI->IsValid || HFI->External))
1126 return nullptr;
1127 if (!HFI->Resolved) {
1128 HFI->Resolved = true;
1129 auto ExternalHFI = ExternalSource->GetHeaderFileInfo(FE);
1130
1131 HFI = &FileInfo[FE->getUID()];
1132 if (ExternalHFI.External)
1133 mergeHeaderFileInfo(*HFI, ExternalHFI);
1134 }
1135 } else if (FE->getUID() >= FileInfo.size()) {
1136 return nullptr;
1137 } else {
1138 HFI = &FileInfo[FE->getUID()];
Ben Langmuird285c502014-03-13 16:46:36 +00001139 }
Richard Smith386bb072015-08-18 23:42:23 +00001140
Richard Smithd8879c82015-08-24 21:59:32 +00001141 if (!HFI->IsValid || (HFI->External && !WantExternal))
Richard Smith386bb072015-08-18 23:42:23 +00001142 return nullptr;
1143
Richard Smithd8879c82015-08-24 21:59:32 +00001144 return HFI;
Ben Langmuird285c502014-03-13 16:46:36 +00001145}
1146
Douglas Gregor37aa4932011-05-04 00:14:37 +00001147bool HeaderSearch::isFileMultipleIncludeGuarded(const FileEntry *File) {
1148 // Check if we've ever seen this file as a header.
Richard Smith386bb072015-08-18 23:42:23 +00001149 if (auto *HFI = getExistingFileInfo(File))
1150 return HFI->isPragmaOnce || HFI->isImport || HFI->ControllingMacro ||
1151 HFI->ControllingMacroID;
1152 return false;
Douglas Gregor37aa4932011-05-04 00:14:37 +00001153}
1154
Argyrios Kyrtzidis6f722b42013-05-08 23:46:46 +00001155void HeaderSearch::MarkFileModuleHeader(const FileEntry *FE,
Lawrence Crowlb53e5482013-06-20 21:14:14 +00001156 ModuleMap::ModuleHeaderRole Role,
Argyrios Kyrtzidis6f722b42013-05-08 23:46:46 +00001157 bool isCompilingModuleHeader) {
Richard Smithd8879c82015-08-24 21:59:32 +00001158 bool isModularHeader = !(Role & ModuleMap::TextualHeader);
1159
1160 // Don't mark the file info as non-external if there's nothing to change.
1161 if (!isCompilingModuleHeader) {
1162 if (!isModularHeader)
1163 return;
1164 auto *HFI = getExistingFileInfo(FE);
1165 if (HFI && HFI->isModuleHeader)
1166 return;
1167 }
1168
Richard Smith386bb072015-08-18 23:42:23 +00001169 auto &HFI = getFileInfo(FE);
Richard Smithd8879c82015-08-24 21:59:32 +00001170 HFI.isModuleHeader |= isModularHeader;
Richard Smithe70dadd2015-07-10 22:27:17 +00001171 HFI.isCompilingModuleHeader |= isCompilingModuleHeader;
Argyrios Kyrtzidisb146baa2013-03-13 21:13:51 +00001172}
1173
Richard Smith20e883e2015-04-29 23:20:19 +00001174bool HeaderSearch::ShouldEnterIncludeFile(Preprocessor &PP,
Bruno Cardoso Lopesba1b5c92017-01-11 02:14:51 +00001175 const FileEntry *File, bool isImport,
1176 bool ModulesEnabled, Module *M) {
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001177 ++NumIncluded; // Count # of attempted #includes.
1178
1179 // Get information about this file.
Steve Naroff3fa455a2009-04-24 20:03:17 +00001180 HeaderFileInfo &FileInfo = getFileInfo(File);
Mike Stump11289f42009-09-09 15:08:12 +00001181
Bruno Cardoso Lopesba1b5c92017-01-11 02:14:51 +00001182 // FIXME: this is a workaround for the lack of proper modules-aware support
1183 // for #import / #pragma once
Eugene Zelenkoafd1b1c2017-12-06 23:18:41 +00001184 auto TryEnterImported = [&]() -> bool {
Bruno Cardoso Lopesba1b5c92017-01-11 02:14:51 +00001185 if (!ModulesEnabled)
1186 return false;
Richard Smith040e1262017-06-02 01:55:39 +00001187 // Ensure FileInfo bits are up to date.
1188 ModMap.resolveHeaderDirectives(File);
Bruno Cardoso Lopesba1b5c92017-01-11 02:14:51 +00001189 // Modules with builtins are special; multiple modules use builtins as
1190 // modular headers, example:
1191 //
1192 // module stddef { header "stddef.h" export * }
1193 //
1194 // After module map parsing, this expands to:
1195 //
1196 // module stddef {
1197 // header "/path_to_builtin_dirs/stddef.h"
1198 // textual "stddef.h"
1199 // }
1200 //
1201 // It's common that libc++ and system modules will both define such
1202 // submodules. Make sure cached results for a builtin header won't
1203 // prevent other builtin modules to potentially enter the builtin header.
1204 // Note that builtins are header guarded and the decision to actually
1205 // enter them is postponed to the controlling macros logic below.
1206 bool TryEnterHdr = false;
1207 if (FileInfo.isCompilingModuleHeader && FileInfo.isModuleHeader)
1208 TryEnterHdr = File->getDir() == ModMap.getBuiltinDir() &&
1209 ModuleMap::isBuiltinHeader(
1210 llvm::sys::path::filename(File->getName()));
1211
1212 // Textual headers can be #imported from different modules. Since ObjC
1213 // headers find in the wild might rely only on #import and do not contain
1214 // controlling macros, be conservative and only try to enter textual headers
1215 // if such macro is present.
Bruno Cardoso Lopes4164dd92017-08-12 01:38:26 +00001216 if (!FileInfo.isModuleHeader &&
Bruno Cardoso Lopesba1b5c92017-01-11 02:14:51 +00001217 FileInfo.getControllingMacro(ExternalLookup))
1218 TryEnterHdr = true;
1219 return TryEnterHdr;
1220 };
1221
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001222 // If this is a #import directive, check that we have not already imported
1223 // this header.
1224 if (isImport) {
1225 // If this has already been imported, don't import it again.
1226 FileInfo.isImport = true;
Mike Stump11289f42009-09-09 15:08:12 +00001227
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001228 // Has this already been #import'ed or #include'd?
Bruno Cardoso Lopesba1b5c92017-01-11 02:14:51 +00001229 if (FileInfo.NumIncludes && !TryEnterImported())
1230 return false;
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001231 } else {
1232 // Otherwise, if this is a #include of a file that was previously #import'd
1233 // or if this is the second #include of a #pragma once file, ignore it.
Bruno Cardoso Lopesba1b5c92017-01-11 02:14:51 +00001234 if (FileInfo.isImport && !TryEnterImported())
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001235 return false;
1236 }
Mike Stump11289f42009-09-09 15:08:12 +00001237
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001238 // Next, check to see if the file is wrapped with #ifndef guards. If so, and
1239 // if the macro that guards it is defined, we know the #include has no effect.
Mike Stump11289f42009-09-09 15:08:12 +00001240 if (const IdentifierInfo *ControllingMacro
Richard Smithe70dadd2015-07-10 22:27:17 +00001241 = FileInfo.getControllingMacro(ExternalLookup)) {
1242 // If the header corresponds to a module, check whether the macro is already
1243 // defined in that module rather than checking in the current set of visible
1244 // modules.
1245 if (M ? PP.isMacroDefinedInLocalModule(ControllingMacro, M)
1246 : PP.isMacroDefined(ControllingMacro)) {
Douglas Gregor99734e72009-04-25 23:30:02 +00001247 ++NumMultiIncludeFileOptzn;
1248 return false;
1249 }
Richard Smithe70dadd2015-07-10 22:27:17 +00001250 }
Mike Stump11289f42009-09-09 15:08:12 +00001251
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001252 // Increment the number of times this file has been included.
1253 ++FileInfo.NumIncludes;
Mike Stump11289f42009-09-09 15:08:12 +00001254
Chris Lattner59a9ebd2006-10-18 05:34:33 +00001255 return true;
1256}
1257
Ted Kremenekfbcce6f2011-07-26 23:46:11 +00001258size_t HeaderSearch::getTotalMemory() const {
1259 return SearchDirs.capacity()
Ted Kremenekae63d102011-07-27 18:41:18 +00001260 + llvm::capacity_in_bytes(FileInfo)
1261 + llvm::capacity_in_bytes(HeaderMaps)
Ted Kremenekfbcce6f2011-07-26 23:46:11 +00001262 + LookupFileCache.getAllocator().getTotalMemory()
1263 + FrameworkMap.getAllocator().getTotalMemory();
1264}
Douglas Gregor9f93e382011-07-28 04:45:53 +00001265
1266StringRef HeaderSearch::getUniqueFrameworkName(StringRef Framework) {
David Blaikie13156b62014-11-19 03:06:06 +00001267 return FrameworkNames.insert(Framework).first->first();
Douglas Gregor9f93e382011-07-28 04:45:53 +00001268}
Douglas Gregor718292f2011-11-11 19:10:28 +00001269
1270bool HeaderSearch::hasModuleMap(StringRef FileName,
Douglas Gregor963c5532013-06-21 16:28:10 +00001271 const DirectoryEntry *Root,
1272 bool IsSystem) {
Richard Smith47972af2015-06-16 00:08:24 +00001273 if (!HSOpts->ImplicitModuleMaps)
Argyrios Kyrtzidis9955dbc2013-12-12 16:08:33 +00001274 return false;
1275
Dmitri Gribenkof8579502013-01-12 19:30:44 +00001276 SmallVector<const DirectoryEntry *, 2> FixUpDirectories;
Douglas Gregor718292f2011-11-11 19:10:28 +00001277
1278 StringRef DirName = FileName;
1279 do {
1280 // Get the parent directory name.
1281 DirName = llvm::sys::path::parent_path(DirName);
1282 if (DirName.empty())
1283 return false;
Daniel Jasperca9f7382013-09-24 09:27:13 +00001284
Douglas Gregor718292f2011-11-11 19:10:28 +00001285 // Determine whether this directory exists.
1286 const DirectoryEntry *Dir = FileMgr.getDirectory(DirName);
1287 if (!Dir)
1288 return false;
Daniel Jasperca9f7382013-09-24 09:27:13 +00001289
Ben Langmuir984e1df2014-03-19 20:23:34 +00001290 // Try to load the module map file in this directory.
Richard Smith3c1a41a2014-12-02 00:08:08 +00001291 switch (loadModuleMapFile(Dir, IsSystem,
1292 llvm::sys::path::extension(Dir->getName()) ==
1293 ".framework")) {
Douglas Gregor80b69042011-11-12 00:22:19 +00001294 case LMM_NewlyLoaded:
1295 case LMM_AlreadyLoaded:
Daniel Jasperca9f7382013-09-24 09:27:13 +00001296 // Success. All of the directories we stepped through inherit this module
1297 // map file.
1298 for (unsigned I = 0, N = FixUpDirectories.size(); I != N; ++I)
1299 DirectoryHasModuleMap[FixUpDirectories[I]] = true;
1300 return true;
Daniel Jasper97da9172013-10-22 08:09:47 +00001301
1302 case LMM_NoDirectory:
1303 case LMM_InvalidModuleMap:
1304 break;
Daniel Jasperca9f7382013-09-24 09:27:13 +00001305 }
1306
Douglas Gregoraf28ec82011-11-12 00:05:07 +00001307 // If we hit the top of our search, we're done.
1308 if (Dir == Root)
1309 return false;
1310
Douglas Gregor718292f2011-11-11 19:10:28 +00001311 // Keep track of all of the directories we checked, so we can mark them as
1312 // having module maps if we eventually do find a module map.
1313 FixUpDirectories.push_back(Dir);
1314 } while (true);
Douglas Gregor718292f2011-11-11 19:10:28 +00001315}
1316
Lawrence Crowlb53e5482013-06-20 21:14:14 +00001317ModuleMap::KnownHeader
Bruno Cardoso Lopesed84df02016-10-21 01:41:56 +00001318HeaderSearch::findModuleForHeader(const FileEntry *File,
1319 bool AllowTextual) const {
Argyrios Kyrtzidisb146baa2013-03-13 21:13:51 +00001320 if (ExternalSource) {
1321 // Make sure the external source has handled header info about this file,
1322 // which includes whether the file is part of a module.
Richard Smith386bb072015-08-18 23:42:23 +00001323 (void)getExistingFileInfo(File);
Argyrios Kyrtzidisb146baa2013-03-13 21:13:51 +00001324 }
Bruno Cardoso Lopesed84df02016-10-21 01:41:56 +00001325 return ModMap.findModuleForHeader(File, AllowTextual);
1326}
1327
1328static bool suggestModule(HeaderSearch &HS, const FileEntry *File,
1329 Module *RequestingModule,
1330 ModuleMap::KnownHeader *SuggestedModule) {
1331 ModuleMap::KnownHeader Module =
1332 HS.findModuleForHeader(File, /*AllowTextual*/true);
1333 if (SuggestedModule)
1334 *SuggestedModule = (Module.getRole() & ModuleMap::TextualHeader)
1335 ? ModuleMap::KnownHeader()
1336 : Module;
1337
1338 // If this module specifies [no_undeclared_includes], we cannot find any
1339 // file that's in a non-dependency module.
1340 if (RequestingModule && Module && RequestingModule->NoUndeclaredIncludes) {
1341 HS.getModuleMap().resolveUses(RequestingModule, /*Complain*/false);
1342 if (!RequestingModule->directlyUses(Module.getModule())) {
1343 return false;
1344 }
1345 }
1346
1347 return true;
Douglas Gregor718292f2011-11-11 19:10:28 +00001348}
1349
Richard Smith3d5b48c2015-10-16 21:42:56 +00001350bool HeaderSearch::findUsableModuleForHeader(
1351 const FileEntry *File, const DirectoryEntry *Root, Module *RequestingModule,
1352 ModuleMap::KnownHeader *SuggestedModule, bool IsSystemHeaderDir) {
Bruno Cardoso Lopesed84df02016-10-21 01:41:56 +00001353 if (File && needModuleLookup(RequestingModule, SuggestedModule)) {
Richard Smith3d5b48c2015-10-16 21:42:56 +00001354 // If there is a module that corresponds to this header, suggest it.
1355 hasModuleMap(File->getName(), Root, IsSystemHeaderDir);
Bruno Cardoso Lopesed84df02016-10-21 01:41:56 +00001356 return suggestModule(*this, File, RequestingModule, SuggestedModule);
Richard Smith3d5b48c2015-10-16 21:42:56 +00001357 }
1358 return true;
1359}
1360
1361bool HeaderSearch::findUsableModuleForFrameworkHeader(
1362 const FileEntry *File, StringRef FrameworkName, Module *RequestingModule,
1363 ModuleMap::KnownHeader *SuggestedModule, bool IsSystemFramework) {
1364 // If we're supposed to suggest a module, look for one now.
Bruno Cardoso Lopesed84df02016-10-21 01:41:56 +00001365 if (needModuleLookup(RequestingModule, SuggestedModule)) {
Richard Smith3d5b48c2015-10-16 21:42:56 +00001366 // Find the top-level framework based on this framework.
1367 SmallVector<std::string, 4> SubmodulePath;
1368 const DirectoryEntry *TopFrameworkDir
1369 = ::getTopFrameworkDir(FileMgr, FrameworkName, SubmodulePath);
1370
1371 // Determine the name of the top-level framework.
1372 StringRef ModuleName = llvm::sys::path::stem(TopFrameworkDir->getName());
1373
1374 // Load this framework module. If that succeeds, find the suggested module
1375 // for this header, if any.
1376 loadFrameworkModule(ModuleName, TopFrameworkDir, IsSystemFramework);
1377
1378 // FIXME: This can find a module not part of ModuleName, which is
1379 // important so that we're consistent about whether this header
1380 // corresponds to a module. Possibly we should lock down framework modules
1381 // so that this is not possible.
Bruno Cardoso Lopesed84df02016-10-21 01:41:56 +00001382 return suggestModule(*this, File, RequestingModule, SuggestedModule);
Richard Smith3d5b48c2015-10-16 21:42:56 +00001383 }
1384 return true;
1385}
1386
Richard Smith9acb99e32014-12-10 03:09:48 +00001387static const FileEntry *getPrivateModuleMap(const FileEntry *File,
Ben Langmuir984e1df2014-03-19 20:23:34 +00001388 FileManager &FileMgr) {
Richard Smith9acb99e32014-12-10 03:09:48 +00001389 StringRef Filename = llvm::sys::path::filename(File->getName());
1390 SmallString<128> PrivateFilename(File->getDir()->getName());
Ben Langmuir984e1df2014-03-19 20:23:34 +00001391 if (Filename == "module.map")
Douglas Gregor80306772011-12-07 21:25:07 +00001392 llvm::sys::path::append(PrivateFilename, "module_private.map");
Ben Langmuir984e1df2014-03-19 20:23:34 +00001393 else if (Filename == "module.modulemap")
1394 llvm::sys::path::append(PrivateFilename, "module.private.modulemap");
1395 else
1396 return nullptr;
1397 return FileMgr.getFile(PrivateFilename);
Douglas Gregor2b20cb82011-11-16 00:09:06 +00001398}
1399
Richard Smith8128f332017-05-05 22:18:51 +00001400bool HeaderSearch::loadModuleMapFile(const FileEntry *File, bool IsSystem,
Richard Smith8b706102017-05-31 20:56:55 +00001401 FileID ID, unsigned *Offset,
1402 StringRef OriginalModuleMapFile) {
Richard Smith9acb99e32014-12-10 03:09:48 +00001403 // Find the directory for the module. For frameworks, that may require going
1404 // up from the 'Modules' directory.
1405 const DirectoryEntry *Dir = nullptr;
1406 if (getHeaderSearchOpts().ModuleMapFileHomeIsCwd)
1407 Dir = FileMgr.getDirectory(".");
1408 else {
Richard Smith8b706102017-05-31 20:56:55 +00001409 if (!OriginalModuleMapFile.empty()) {
1410 // We're building a preprocessed module map. Find or invent the directory
1411 // that it originally occupied.
1412 Dir = FileMgr.getDirectory(
1413 llvm::sys::path::parent_path(OriginalModuleMapFile));
1414 if (!Dir) {
1415 auto *FakeFile = FileMgr.getVirtualFile(OriginalModuleMapFile, 0, 0);
1416 Dir = FakeFile->getDir();
1417 }
1418 } else {
1419 Dir = File->getDir();
1420 }
1421
Richard Smith9acb99e32014-12-10 03:09:48 +00001422 StringRef DirName(Dir->getName());
1423 if (llvm::sys::path::filename(DirName) == "Modules") {
1424 DirName = llvm::sys::path::parent_path(DirName);
1425 if (DirName.endswith(".framework"))
1426 Dir = FileMgr.getDirectory(DirName);
1427 // FIXME: This assert can fail if there's a race between the above check
1428 // and the removal of the directory.
1429 assert(Dir && "parent must exist");
1430 }
1431 }
1432
Bruno Cardoso Lopesc192d192018-01-05 22:13:56 +00001433 switch (loadModuleMapFileImpl(File, IsSystem, Dir, ID, Offset)) {
Ben Langmuir984e1df2014-03-19 20:23:34 +00001434 case LMM_AlreadyLoaded:
1435 case LMM_NewlyLoaded:
1436 return false;
1437 case LMM_NoDirectory:
1438 case LMM_InvalidModuleMap:
1439 return true;
1440 }
Aaron Ballmand8de5b62014-03-20 14:22:33 +00001441 llvm_unreachable("Unknown load module map result");
Ben Langmuir984e1df2014-03-19 20:23:34 +00001442}
1443
Bruno Cardoso Lopesc192d192018-01-05 22:13:56 +00001444HeaderSearch::LoadModuleMapResult
1445HeaderSearch::loadModuleMapFileImpl(const FileEntry *File, bool IsSystem,
1446 const DirectoryEntry *Dir, FileID ID,
1447 unsigned *Offset) {
Ben Langmuir984e1df2014-03-19 20:23:34 +00001448 assert(File && "expected FileEntry");
1449
Richard Smith9887d792014-10-17 01:42:53 +00001450 // Check whether we've already loaded this module map, and mark it as being
1451 // loaded in case we recursively try to load it from itself.
1452 auto AddResult = LoadedModuleMaps.insert(std::make_pair(File, true));
1453 if (!AddResult.second)
1454 return AddResult.first->second ? LMM_AlreadyLoaded : LMM_InvalidModuleMap;
Ben Langmuir984e1df2014-03-19 20:23:34 +00001455
Bruno Cardoso Lopesc192d192018-01-05 22:13:56 +00001456 if (ModMap.parseModuleMapFile(File, IsSystem, Dir, ID, Offset)) {
Richard Smith9887d792014-10-17 01:42:53 +00001457 LoadedModuleMaps[File] = false;
Ben Langmuir984e1df2014-03-19 20:23:34 +00001458 return LMM_InvalidModuleMap;
1459 }
1460
1461 // Try to load a corresponding private module map.
Richard Smith9acb99e32014-12-10 03:09:48 +00001462 if (const FileEntry *PMMFile = getPrivateModuleMap(File, FileMgr)) {
Bruno Cardoso Lopesc192d192018-01-05 22:13:56 +00001463 if (ModMap.parseModuleMapFile(PMMFile, IsSystem, Dir)) {
Richard Smith9887d792014-10-17 01:42:53 +00001464 LoadedModuleMaps[File] = false;
Ben Langmuir984e1df2014-03-19 20:23:34 +00001465 return LMM_InvalidModuleMap;
1466 }
1467 }
1468
1469 // This directory has a module map.
Ben Langmuir984e1df2014-03-19 20:23:34 +00001470 return LMM_NewlyLoaded;
1471}
1472
1473const FileEntry *
1474HeaderSearch::lookupModuleMapFile(const DirectoryEntry *Dir, bool IsFramework) {
Richard Smith47972af2015-06-16 00:08:24 +00001475 if (!HSOpts->ImplicitModuleMaps)
Daniel Jasper21a0f552014-11-25 09:45:48 +00001476 return nullptr;
Ben Langmuir984e1df2014-03-19 20:23:34 +00001477 // For frameworks, the preferred spelling is Modules/module.modulemap, but
1478 // module.map at the framework root is also accepted.
1479 SmallString<128> ModuleMapFileName(Dir->getName());
1480 if (IsFramework)
1481 llvm::sys::path::append(ModuleMapFileName, "Modules");
1482 llvm::sys::path::append(ModuleMapFileName, "module.modulemap");
1483 if (const FileEntry *F = FileMgr.getFile(ModuleMapFileName))
1484 return F;
1485
1486 // Continue to allow module.map
1487 ModuleMapFileName = Dir->getName();
1488 llvm::sys::path::append(ModuleMapFileName, "module.map");
1489 return FileMgr.getFile(ModuleMapFileName);
1490}
1491
1492Module *HeaderSearch::loadFrameworkModule(StringRef Name,
Douglas Gregor279a6c32012-01-29 17:08:11 +00001493 const DirectoryEntry *Dir,
1494 bool IsSystem) {
Douglas Gregorde3ef502011-11-30 23:21:26 +00001495 if (Module *Module = ModMap.findModule(Name))
Douglas Gregor56c64012011-11-17 01:41:17 +00001496 return Module;
Daniel Jasper21a0f552014-11-25 09:45:48 +00001497
Douglas Gregor56c64012011-11-17 01:41:17 +00001498 // Try to load a module map file.
Ben Langmuir984e1df2014-03-19 20:23:34 +00001499 switch (loadModuleMapFile(Dir, IsSystem, /*IsFramework*/true)) {
Douglas Gregor56c64012011-11-17 01:41:17 +00001500 case LMM_InvalidModuleMap:
Ben Langmuira5254002015-07-02 13:19:48 +00001501 // Try to infer a module map from the framework directory.
1502 if (HSOpts->ImplicitModuleMaps)
1503 ModMap.inferFrameworkModule(Dir, IsSystem, /*Parent=*/nullptr);
Douglas Gregor56c64012011-11-17 01:41:17 +00001504 break;
Daniel Jasper21a0f552014-11-25 09:45:48 +00001505
Douglas Gregor56c64012011-11-17 01:41:17 +00001506 case LMM_AlreadyLoaded:
1507 case LMM_NoDirectory:
Craig Topperd2d442c2014-05-17 23:10:59 +00001508 return nullptr;
1509
Douglas Gregor56c64012011-11-17 01:41:17 +00001510 case LMM_NewlyLoaded:
Ben Langmuira5254002015-07-02 13:19:48 +00001511 break;
Douglas Gregor56c64012011-11-17 01:41:17 +00001512 }
Douglas Gregor3a5999b2012-01-13 22:31:52 +00001513
Ben Langmuira5254002015-07-02 13:19:48 +00001514 return ModMap.findModule(Name);
Douglas Gregor56c64012011-11-17 01:41:17 +00001515}
1516
Douglas Gregor80b69042011-11-12 00:22:19 +00001517HeaderSearch::LoadModuleMapResult
Ben Langmuir984e1df2014-03-19 20:23:34 +00001518HeaderSearch::loadModuleMapFile(StringRef DirName, bool IsSystem,
1519 bool IsFramework) {
Douglas Gregoraf28ec82011-11-12 00:05:07 +00001520 if (const DirectoryEntry *Dir = FileMgr.getDirectory(DirName))
Ben Langmuir984e1df2014-03-19 20:23:34 +00001521 return loadModuleMapFile(Dir, IsSystem, IsFramework);
Douglas Gregoraf28ec82011-11-12 00:05:07 +00001522
Douglas Gregor80b69042011-11-12 00:22:19 +00001523 return LMM_NoDirectory;
Douglas Gregoraf28ec82011-11-12 00:05:07 +00001524}
1525
Douglas Gregor80b69042011-11-12 00:22:19 +00001526HeaderSearch::LoadModuleMapResult
Ben Langmuir984e1df2014-03-19 20:23:34 +00001527HeaderSearch::loadModuleMapFile(const DirectoryEntry *Dir, bool IsSystem,
1528 bool IsFramework) {
1529 auto KnownDir = DirectoryHasModuleMap.find(Dir);
Douglas Gregoraf28ec82011-11-12 00:05:07 +00001530 if (KnownDir != DirectoryHasModuleMap.end())
Richard Smith9887d792014-10-17 01:42:53 +00001531 return KnownDir->second ? LMM_AlreadyLoaded : LMM_InvalidModuleMap;
Douglas Gregore7ab3662011-12-07 02:23:45 +00001532
Ben Langmuir984e1df2014-03-19 20:23:34 +00001533 if (const FileEntry *ModuleMapFile = lookupModuleMapFile(Dir, IsFramework)) {
Bruno Cardoso Lopesc192d192018-01-05 22:13:56 +00001534 LoadModuleMapResult Result =
1535 loadModuleMapFileImpl(ModuleMapFile, IsSystem, Dir);
Ben Langmuir984e1df2014-03-19 20:23:34 +00001536 // Add Dir explicitly in case ModuleMapFile is in a subdirectory.
1537 // E.g. Foo.framework/Modules/module.modulemap
1538 // ^Dir ^ModuleMapFile
1539 if (Result == LMM_NewlyLoaded)
1540 DirectoryHasModuleMap[Dir] = true;
Richard Smith9887d792014-10-17 01:42:53 +00001541 else if (Result == LMM_InvalidModuleMap)
1542 DirectoryHasModuleMap[Dir] = false;
Ben Langmuir984e1df2014-03-19 20:23:34 +00001543 return Result;
Douglas Gregoraf28ec82011-11-12 00:05:07 +00001544 }
Douglas Gregor80b69042011-11-12 00:22:19 +00001545 return LMM_InvalidModuleMap;
Douglas Gregoraf28ec82011-11-12 00:05:07 +00001546}
Douglas Gregor718292f2011-11-11 19:10:28 +00001547
Dmitri Gribenkof8579502013-01-12 19:30:44 +00001548void HeaderSearch::collectAllModules(SmallVectorImpl<Module *> &Modules) {
Douglas Gregor07f43572012-01-29 18:15:03 +00001549 Modules.clear();
Daniel Jasper21a0f552014-11-25 09:45:48 +00001550
Richard Smith47972af2015-06-16 00:08:24 +00001551 if (HSOpts->ImplicitModuleMaps) {
Daniel Jasper21a0f552014-11-25 09:45:48 +00001552 // Load module maps for each of the header search directories.
1553 for (unsigned Idx = 0, N = SearchDirs.size(); Idx != N; ++Idx) {
1554 bool IsSystem = SearchDirs[Idx].isSystemHeaderDirectory();
1555 if (SearchDirs[Idx].isFramework()) {
1556 std::error_code EC;
1557 SmallString<128> DirNative;
1558 llvm::sys::path::native(SearchDirs[Idx].getFrameworkDir()->getName(),
1559 DirNative);
1560
1561 // Search each of the ".framework" directories to load them as modules.
Bruno Cardoso Lopesb171a592016-05-16 16:46:01 +00001562 vfs::FileSystem &FS = *FileMgr.getVirtualFileSystem();
1563 for (vfs::directory_iterator Dir = FS.dir_begin(DirNative, EC), DirEnd;
Daniel Jasper21a0f552014-11-25 09:45:48 +00001564 Dir != DirEnd && !EC; Dir.increment(EC)) {
Bruno Cardoso Lopesb171a592016-05-16 16:46:01 +00001565 if (llvm::sys::path::extension(Dir->getName()) != ".framework")
Daniel Jasper21a0f552014-11-25 09:45:48 +00001566 continue;
1567
1568 const DirectoryEntry *FrameworkDir =
Bruno Cardoso Lopesb171a592016-05-16 16:46:01 +00001569 FileMgr.getDirectory(Dir->getName());
Daniel Jasper21a0f552014-11-25 09:45:48 +00001570 if (!FrameworkDir)
1571 continue;
1572
1573 // Load this framework module.
Bruno Cardoso Lopesb171a592016-05-16 16:46:01 +00001574 loadFrameworkModule(llvm::sys::path::stem(Dir->getName()),
1575 FrameworkDir, IsSystem);
Daniel Jasper21a0f552014-11-25 09:45:48 +00001576 }
1577 continue;
Douglas Gregor07f43572012-01-29 18:15:03 +00001578 }
Daniel Jasper21a0f552014-11-25 09:45:48 +00001579
1580 // FIXME: Deal with header maps.
1581 if (SearchDirs[Idx].isHeaderMap())
1582 continue;
1583
1584 // Try to load a module map file for the search directory.
1585 loadModuleMapFile(SearchDirs[Idx].getDir(), IsSystem,
1586 /*IsFramework*/ false);
1587
1588 // Try to load module map files for immediate subdirectories of this
1589 // search directory.
1590 loadSubdirectoryModuleMaps(SearchDirs[Idx]);
Douglas Gregor07f43572012-01-29 18:15:03 +00001591 }
Douglas Gregor07f43572012-01-29 18:15:03 +00001592 }
Daniel Jasper21a0f552014-11-25 09:45:48 +00001593
Douglas Gregor07f43572012-01-29 18:15:03 +00001594 // Populate the list of modules.
1595 for (ModuleMap::module_iterator M = ModMap.module_begin(),
1596 MEnd = ModMap.module_end();
1597 M != MEnd; ++M) {
1598 Modules.push_back(M->getValue());
1599 }
1600}
Douglas Gregor0339a642013-03-21 01:08:50 +00001601
Douglas Gregor64a1fa52013-05-10 22:52:27 +00001602void HeaderSearch::loadTopLevelSystemModules() {
Richard Smith47972af2015-06-16 00:08:24 +00001603 if (!HSOpts->ImplicitModuleMaps)
Daniel Jasper21a0f552014-11-25 09:45:48 +00001604 return;
1605
Douglas Gregor64a1fa52013-05-10 22:52:27 +00001606 // Load module maps for each of the header search directories.
1607 for (unsigned Idx = 0, N = SearchDirs.size(); Idx != N; ++Idx) {
Douglas Gregor299787f2013-11-01 23:08:38 +00001608 // We only care about normal header directories.
1609 if (!SearchDirs[Idx].isNormalDir()) {
Douglas Gregor64a1fa52013-05-10 22:52:27 +00001610 continue;
1611 }
1612
1613 // Try to load a module map file for the search directory.
Douglas Gregor963c5532013-06-21 16:28:10 +00001614 loadModuleMapFile(SearchDirs[Idx].getDir(),
Ben Langmuir984e1df2014-03-19 20:23:34 +00001615 SearchDirs[Idx].isSystemHeaderDirectory(),
1616 SearchDirs[Idx].isFramework());
Douglas Gregor64a1fa52013-05-10 22:52:27 +00001617 }
1618}
1619
Douglas Gregor0339a642013-03-21 01:08:50 +00001620void HeaderSearch::loadSubdirectoryModuleMaps(DirectoryLookup &SearchDir) {
Richard Smith47972af2015-06-16 00:08:24 +00001621 assert(HSOpts->ImplicitModuleMaps &&
Daniel Jasper21a0f552014-11-25 09:45:48 +00001622 "Should not be loading subdirectory module maps");
1623
Douglas Gregor0339a642013-03-21 01:08:50 +00001624 if (SearchDir.haveSearchedAllModuleMaps())
1625 return;
Rafael Espindolac0809172014-06-12 14:02:15 +00001626
1627 std::error_code EC;
Douglas Gregor0339a642013-03-21 01:08:50 +00001628 SmallString<128> DirNative;
1629 llvm::sys::path::native(SearchDir.getDir()->getName(), DirNative);
Bruno Cardoso Lopesb171a592016-05-16 16:46:01 +00001630 vfs::FileSystem &FS = *FileMgr.getVirtualFileSystem();
1631 for (vfs::directory_iterator Dir = FS.dir_begin(DirNative, EC), DirEnd;
Douglas Gregor0339a642013-03-21 01:08:50 +00001632 Dir != DirEnd && !EC; Dir.increment(EC)) {
Bruno Cardoso Lopesb171a592016-05-16 16:46:01 +00001633 bool IsFramework =
1634 llvm::sys::path::extension(Dir->getName()) == ".framework";
Ben Langmuir1f6a32b2015-02-24 04:58:15 +00001635 if (IsFramework == SearchDir.isFramework())
Bruno Cardoso Lopesb171a592016-05-16 16:46:01 +00001636 loadModuleMapFile(Dir->getName(), SearchDir.isSystemHeaderDirectory(),
Ben Langmuir1f6a32b2015-02-24 04:58:15 +00001637 SearchDir.isFramework());
Douglas Gregor0339a642013-03-21 01:08:50 +00001638 }
1639
1640 SearchDir.setSearchedAllModuleMaps(true);
1641}
Richard Smith4eb83932016-04-27 21:57:05 +00001642
1643std::string HeaderSearch::suggestPathToFileForDiagnostics(const FileEntry *File,
1644 bool *IsSystem) {
1645 // FIXME: We assume that the path name currently cached in the FileEntry is
Eric Liudffb1a82018-01-29 13:21:23 +00001646 // the most appropriate one for this analysis (and that it's spelled the
1647 // same way as the corresponding header search path).
1648 return suggestPathToFileForDiagnostics(File->getName(), /*BuildDir=*/"",
1649 IsSystem);
1650}
1651
1652std::string HeaderSearch::suggestPathToFileForDiagnostics(
1653 llvm::StringRef File, llvm::StringRef WorkingDir, bool *IsSystem) {
1654 using namespace llvm::sys;
Richard Smith4eb83932016-04-27 21:57:05 +00001655
1656 unsigned BestPrefixLength = 0;
1657 unsigned BestSearchDir;
1658
1659 for (unsigned I = 0; I != SearchDirs.size(); ++I) {
1660 // FIXME: Support this search within frameworks and header maps.
1661 if (!SearchDirs[I].isNormalDir())
1662 continue;
1663
Mehdi Amini0df59d82016-10-11 07:31:29 +00001664 StringRef Dir = SearchDirs[I].getDir()->getName();
Eric Liudffb1a82018-01-29 13:21:23 +00001665 llvm::SmallString<32> DirPath(Dir.begin(), Dir.end());
1666 if (!WorkingDir.empty() && !path::is_absolute(Dir)) {
1667 auto err = fs::make_absolute(WorkingDir, DirPath);
1668 if (!err)
1669 path::remove_dots(DirPath, /*remove_dot_dot=*/true);
1670 Dir = DirPath;
1671 }
1672 for (auto NI = path::begin(File), NE = path::end(File),
1673 DI = path::begin(Dir), DE = path::end(Dir);
Richard Smith4eb83932016-04-27 21:57:05 +00001674 /*termination condition in loop*/; ++NI, ++DI) {
Eric Liudffb1a82018-01-29 13:21:23 +00001675 // '.' components in File are ignored.
Richard Smith4eb83932016-04-27 21:57:05 +00001676 while (NI != NE && *NI == ".")
1677 ++NI;
1678 if (NI == NE)
1679 break;
1680
1681 // '.' components in Dir are ignored.
1682 while (DI != DE && *DI == ".")
1683 ++DI;
1684 if (DI == DE) {
Eric Liudffb1a82018-01-29 13:21:23 +00001685 // Dir is a prefix of File, up to '.' components and choice of path
Richard Smith4eb83932016-04-27 21:57:05 +00001686 // separators.
Eric Liudffb1a82018-01-29 13:21:23 +00001687 unsigned PrefixLength = NI - path::begin(File);
Richard Smith4eb83932016-04-27 21:57:05 +00001688 if (PrefixLength > BestPrefixLength) {
1689 BestPrefixLength = PrefixLength;
1690 BestSearchDir = I;
1691 }
1692 break;
1693 }
1694
1695 if (*NI != *DI)
1696 break;
1697 }
1698 }
1699
1700 if (IsSystem)
1701 *IsSystem = BestPrefixLength ? BestSearchDir >= SystemDirIdx : false;
Eric Liudffb1a82018-01-29 13:21:23 +00001702 return File.drop_front(BestPrefixLength);
Richard Smith4eb83932016-04-27 21:57:05 +00001703}