annotate clang/lib/Lex/HeaderSearch.cpp @ 209:dd44ba33042e

merged...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 08 Jun 2021 06:36:09 +0900
parents 2e18cbf3894f
children 5f17cb93ff66
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 //===- HeaderSearch.cpp - Resolve Header File Locations -------------------===//
anatofuz
parents:
diff changeset
2 //
anatofuz
parents:
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
anatofuz
parents:
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
anatofuz
parents:
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
anatofuz
parents:
diff changeset
6 //
anatofuz
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
8 //
anatofuz
parents:
diff changeset
9 // This file implements the DirectoryLookup and HeaderSearch interfaces.
anatofuz
parents:
diff changeset
10 //
anatofuz
parents:
diff changeset
11 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
12
anatofuz
parents:
diff changeset
13 #include "clang/Lex/HeaderSearch.h"
anatofuz
parents:
diff changeset
14 #include "clang/Basic/Diagnostic.h"
anatofuz
parents:
diff changeset
15 #include "clang/Basic/FileManager.h"
anatofuz
parents:
diff changeset
16 #include "clang/Basic/IdentifierTable.h"
anatofuz
parents:
diff changeset
17 #include "clang/Basic/Module.h"
anatofuz
parents:
diff changeset
18 #include "clang/Basic/SourceManager.h"
anatofuz
parents:
diff changeset
19 #include "clang/Lex/DirectoryLookup.h"
anatofuz
parents:
diff changeset
20 #include "clang/Lex/ExternalPreprocessorSource.h"
anatofuz
parents:
diff changeset
21 #include "clang/Lex/HeaderMap.h"
anatofuz
parents:
diff changeset
22 #include "clang/Lex/HeaderSearchOptions.h"
anatofuz
parents:
diff changeset
23 #include "clang/Lex/LexDiagnostic.h"
anatofuz
parents:
diff changeset
24 #include "clang/Lex/ModuleMap.h"
anatofuz
parents:
diff changeset
25 #include "clang/Lex/Preprocessor.h"
anatofuz
parents:
diff changeset
26 #include "llvm/ADT/APInt.h"
anatofuz
parents:
diff changeset
27 #include "llvm/ADT/Hashing.h"
anatofuz
parents:
diff changeset
28 #include "llvm/ADT/SmallString.h"
anatofuz
parents:
diff changeset
29 #include "llvm/ADT/SmallVector.h"
anatofuz
parents:
diff changeset
30 #include "llvm/ADT/Statistic.h"
anatofuz
parents:
diff changeset
31 #include "llvm/ADT/StringRef.h"
anatofuz
parents:
diff changeset
32 #include "llvm/Support/Allocator.h"
anatofuz
parents:
diff changeset
33 #include "llvm/Support/Capacity.h"
anatofuz
parents:
diff changeset
34 #include "llvm/Support/Errc.h"
anatofuz
parents:
diff changeset
35 #include "llvm/Support/ErrorHandling.h"
anatofuz
parents:
diff changeset
36 #include "llvm/Support/FileSystem.h"
anatofuz
parents:
diff changeset
37 #include "llvm/Support/Path.h"
anatofuz
parents:
diff changeset
38 #include "llvm/Support/VirtualFileSystem.h"
anatofuz
parents:
diff changeset
39 #include <algorithm>
anatofuz
parents:
diff changeset
40 #include <cassert>
anatofuz
parents:
diff changeset
41 #include <cstddef>
anatofuz
parents:
diff changeset
42 #include <cstdio>
anatofuz
parents:
diff changeset
43 #include <cstring>
anatofuz
parents:
diff changeset
44 #include <string>
anatofuz
parents:
diff changeset
45 #include <system_error>
anatofuz
parents:
diff changeset
46 #include <utility>
anatofuz
parents:
diff changeset
47
anatofuz
parents:
diff changeset
48 using namespace clang;
anatofuz
parents:
diff changeset
49
anatofuz
parents:
diff changeset
50 #define DEBUG_TYPE "file-search"
anatofuz
parents:
diff changeset
51
anatofuz
parents:
diff changeset
52 ALWAYS_ENABLED_STATISTIC(NumIncluded, "Number of attempted #includes.");
anatofuz
parents:
diff changeset
53 ALWAYS_ENABLED_STATISTIC(
anatofuz
parents:
diff changeset
54 NumMultiIncludeFileOptzn,
anatofuz
parents:
diff changeset
55 "Number of #includes skipped due to the multi-include optimization.");
anatofuz
parents:
diff changeset
56 ALWAYS_ENABLED_STATISTIC(NumFrameworkLookups, "Number of framework lookups.");
anatofuz
parents:
diff changeset
57 ALWAYS_ENABLED_STATISTIC(NumSubFrameworkLookups,
anatofuz
parents:
diff changeset
58 "Number of subframework lookups.");
anatofuz
parents:
diff changeset
59
anatofuz
parents:
diff changeset
60 const IdentifierInfo *
anatofuz
parents:
diff changeset
61 HeaderFileInfo::getControllingMacro(ExternalPreprocessorSource *External) {
anatofuz
parents:
diff changeset
62 if (ControllingMacro) {
anatofuz
parents:
diff changeset
63 if (ControllingMacro->isOutOfDate()) {
anatofuz
parents:
diff changeset
64 assert(External && "We must have an external source if we have a "
anatofuz
parents:
diff changeset
65 "controlling macro that is out of date.");
anatofuz
parents:
diff changeset
66 External->updateOutOfDateIdentifier(
anatofuz
parents:
diff changeset
67 *const_cast<IdentifierInfo *>(ControllingMacro));
anatofuz
parents:
diff changeset
68 }
anatofuz
parents:
diff changeset
69 return ControllingMacro;
anatofuz
parents:
diff changeset
70 }
anatofuz
parents:
diff changeset
71
anatofuz
parents:
diff changeset
72 if (!ControllingMacroID || !External)
anatofuz
parents:
diff changeset
73 return nullptr;
anatofuz
parents:
diff changeset
74
anatofuz
parents:
diff changeset
75 ControllingMacro = External->GetIdentifier(ControllingMacroID);
anatofuz
parents:
diff changeset
76 return ControllingMacro;
anatofuz
parents:
diff changeset
77 }
anatofuz
parents:
diff changeset
78
anatofuz
parents:
diff changeset
79 ExternalHeaderFileInfoSource::~ExternalHeaderFileInfoSource() = default;
anatofuz
parents:
diff changeset
80
anatofuz
parents:
diff changeset
81 HeaderSearch::HeaderSearch(std::shared_ptr<HeaderSearchOptions> HSOpts,
anatofuz
parents:
diff changeset
82 SourceManager &SourceMgr, DiagnosticsEngine &Diags,
anatofuz
parents:
diff changeset
83 const LangOptions &LangOpts,
anatofuz
parents:
diff changeset
84 const TargetInfo *Target)
anatofuz
parents:
diff changeset
85 : HSOpts(std::move(HSOpts)), Diags(Diags),
anatofuz
parents:
diff changeset
86 FileMgr(SourceMgr.getFileManager()), FrameworkMap(64),
anatofuz
parents:
diff changeset
87 ModMap(SourceMgr, Diags, LangOpts, Target, *this) {}
anatofuz
parents:
diff changeset
88
anatofuz
parents:
diff changeset
89 void HeaderSearch::PrintStats() {
anatofuz
parents:
diff changeset
90 llvm::errs() << "\n*** HeaderSearch Stats:\n"
anatofuz
parents:
diff changeset
91 << FileInfo.size() << " files tracked.\n";
anatofuz
parents:
diff changeset
92 unsigned NumOnceOnlyFiles = 0, MaxNumIncludes = 0, NumSingleIncludedFiles = 0;
anatofuz
parents:
diff changeset
93 for (unsigned i = 0, e = FileInfo.size(); i != e; ++i) {
anatofuz
parents:
diff changeset
94 NumOnceOnlyFiles += FileInfo[i].isImport;
anatofuz
parents:
diff changeset
95 if (MaxNumIncludes < FileInfo[i].NumIncludes)
anatofuz
parents:
diff changeset
96 MaxNumIncludes = FileInfo[i].NumIncludes;
anatofuz
parents:
diff changeset
97 NumSingleIncludedFiles += FileInfo[i].NumIncludes == 1;
anatofuz
parents:
diff changeset
98 }
anatofuz
parents:
diff changeset
99 llvm::errs() << " " << NumOnceOnlyFiles << " #import/#pragma once files.\n"
anatofuz
parents:
diff changeset
100 << " " << NumSingleIncludedFiles << " included exactly once.\n"
anatofuz
parents:
diff changeset
101 << " " << MaxNumIncludes << " max times a file is included.\n";
anatofuz
parents:
diff changeset
102
anatofuz
parents:
diff changeset
103 llvm::errs() << " " << NumIncluded << " #include/#include_next/#import.\n"
anatofuz
parents:
diff changeset
104 << " " << NumMultiIncludeFileOptzn
anatofuz
parents:
diff changeset
105 << " #includes skipped due to the multi-include optimization.\n";
anatofuz
parents:
diff changeset
106
anatofuz
parents:
diff changeset
107 llvm::errs() << NumFrameworkLookups << " framework lookups.\n"
anatofuz
parents:
diff changeset
108 << NumSubFrameworkLookups << " subframework lookups.\n";
anatofuz
parents:
diff changeset
109 }
anatofuz
parents:
diff changeset
110
anatofuz
parents:
diff changeset
111 /// CreateHeaderMap - This method returns a HeaderMap for the specified
anatofuz
parents:
diff changeset
112 /// FileEntry, uniquing them through the 'HeaderMaps' datastructure.
anatofuz
parents:
diff changeset
113 const HeaderMap *HeaderSearch::CreateHeaderMap(const FileEntry *FE) {
anatofuz
parents:
diff changeset
114 // We expect the number of headermaps to be small, and almost always empty.
anatofuz
parents:
diff changeset
115 // If it ever grows, use of a linear search should be re-evaluated.
anatofuz
parents:
diff changeset
116 if (!HeaderMaps.empty()) {
anatofuz
parents:
diff changeset
117 for (unsigned i = 0, e = HeaderMaps.size(); i != e; ++i)
anatofuz
parents:
diff changeset
118 // Pointer equality comparison of FileEntries works because they are
anatofuz
parents:
diff changeset
119 // already uniqued by inode.
anatofuz
parents:
diff changeset
120 if (HeaderMaps[i].first == FE)
anatofuz
parents:
diff changeset
121 return HeaderMaps[i].second.get();
anatofuz
parents:
diff changeset
122 }
anatofuz
parents:
diff changeset
123
anatofuz
parents:
diff changeset
124 if (std::unique_ptr<HeaderMap> HM = HeaderMap::Create(FE, FileMgr)) {
anatofuz
parents:
diff changeset
125 HeaderMaps.emplace_back(FE, std::move(HM));
anatofuz
parents:
diff changeset
126 return HeaderMaps.back().second.get();
anatofuz
parents:
diff changeset
127 }
anatofuz
parents:
diff changeset
128
anatofuz
parents:
diff changeset
129 return nullptr;
anatofuz
parents:
diff changeset
130 }
anatofuz
parents:
diff changeset
131
anatofuz
parents:
diff changeset
132 /// Get filenames for all registered header maps.
anatofuz
parents:
diff changeset
133 void HeaderSearch::getHeaderMapFileNames(
anatofuz
parents:
diff changeset
134 SmallVectorImpl<std::string> &Names) const {
anatofuz
parents:
diff changeset
135 for (auto &HM : HeaderMaps)
anatofuz
parents:
diff changeset
136 Names.push_back(std::string(HM.first->getName()));
anatofuz
parents:
diff changeset
137 }
anatofuz
parents:
diff changeset
138
anatofuz
parents:
diff changeset
139 std::string HeaderSearch::getCachedModuleFileName(Module *Module) {
anatofuz
parents:
diff changeset
140 const FileEntry *ModuleMap =
anatofuz
parents:
diff changeset
141 getModuleMap().getModuleMapFileForUniquing(Module);
anatofuz
parents:
diff changeset
142 return getCachedModuleFileName(Module->Name, ModuleMap->getName());
anatofuz
parents:
diff changeset
143 }
anatofuz
parents:
diff changeset
144
anatofuz
parents:
diff changeset
145 std::string HeaderSearch::getPrebuiltModuleFileName(StringRef ModuleName,
anatofuz
parents:
diff changeset
146 bool FileMapOnly) {
anatofuz
parents:
diff changeset
147 // First check the module name to pcm file map.
anatofuz
parents:
diff changeset
148 auto i(HSOpts->PrebuiltModuleFiles.find(ModuleName));
anatofuz
parents:
diff changeset
149 if (i != HSOpts->PrebuiltModuleFiles.end())
anatofuz
parents:
diff changeset
150 return i->second;
anatofuz
parents:
diff changeset
151
anatofuz
parents:
diff changeset
152 if (FileMapOnly || HSOpts->PrebuiltModulePaths.empty())
anatofuz
parents:
diff changeset
153 return {};
anatofuz
parents:
diff changeset
154
anatofuz
parents:
diff changeset
155 // Then go through each prebuilt module directory and try to find the pcm
anatofuz
parents:
diff changeset
156 // file.
anatofuz
parents:
diff changeset
157 for (const std::string &Dir : HSOpts->PrebuiltModulePaths) {
anatofuz
parents:
diff changeset
158 SmallString<256> Result(Dir);
anatofuz
parents:
diff changeset
159 llvm::sys::fs::make_absolute(Result);
anatofuz
parents:
diff changeset
160 llvm::sys::path::append(Result, ModuleName + ".pcm");
anatofuz
parents:
diff changeset
161 if (getFileMgr().getFile(Result.str()))
anatofuz
parents:
diff changeset
162 return std::string(Result);
anatofuz
parents:
diff changeset
163 }
anatofuz
parents:
diff changeset
164 return {};
anatofuz
parents:
diff changeset
165 }
anatofuz
parents:
diff changeset
166
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
167 std::string HeaderSearch::getPrebuiltImplicitModuleFileName(Module *Module) {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
168 const FileEntry *ModuleMap =
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
169 getModuleMap().getModuleMapFileForUniquing(Module);
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
170 StringRef ModuleName = Module->Name;
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
171 StringRef ModuleMapPath = ModuleMap->getName();
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
172 StringRef ModuleCacheHash = HSOpts->DisableModuleHash ? "" : getModuleHash();
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
173 for (const std::string &Dir : HSOpts->PrebuiltModulePaths) {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
174 SmallString<256> CachePath(Dir);
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
175 llvm::sys::fs::make_absolute(CachePath);
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
176 llvm::sys::path::append(CachePath, ModuleCacheHash);
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
177 std::string FileName =
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
178 getCachedModuleFileNameImpl(ModuleName, ModuleMapPath, CachePath);
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
179 if (!FileName.empty() && getFileMgr().getFile(FileName))
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
180 return FileName;
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
181 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
182 return {};
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
183 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
184
150
anatofuz
parents:
diff changeset
185 std::string HeaderSearch::getCachedModuleFileName(StringRef ModuleName,
anatofuz
parents:
diff changeset
186 StringRef ModuleMapPath) {
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
187 return getCachedModuleFileNameImpl(ModuleName, ModuleMapPath,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
188 getModuleCachePath());
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
189 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
190
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
191 std::string HeaderSearch::getCachedModuleFileNameImpl(StringRef ModuleName,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
192 StringRef ModuleMapPath,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
193 StringRef CachePath) {
150
anatofuz
parents:
diff changeset
194 // If we don't have a module cache path or aren't supposed to use one, we
anatofuz
parents:
diff changeset
195 // can't do anything.
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
196 if (CachePath.empty())
150
anatofuz
parents:
diff changeset
197 return {};
anatofuz
parents:
diff changeset
198
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
199 SmallString<256> Result(CachePath);
150
anatofuz
parents:
diff changeset
200 llvm::sys::fs::make_absolute(Result);
anatofuz
parents:
diff changeset
201
anatofuz
parents:
diff changeset
202 if (HSOpts->DisableModuleHash) {
anatofuz
parents:
diff changeset
203 llvm::sys::path::append(Result, ModuleName + ".pcm");
anatofuz
parents:
diff changeset
204 } else {
anatofuz
parents:
diff changeset
205 // Construct the name <ModuleName>-<hash of ModuleMapPath>.pcm which should
anatofuz
parents:
diff changeset
206 // ideally be globally unique to this particular module. Name collisions
anatofuz
parents:
diff changeset
207 // in the hash are safe (because any translation unit can only import one
anatofuz
parents:
diff changeset
208 // module with each name), but result in a loss of caching.
anatofuz
parents:
diff changeset
209 //
anatofuz
parents:
diff changeset
210 // To avoid false-negatives, we form as canonical a path as we can, and map
anatofuz
parents:
diff changeset
211 // to lower-case in case we're on a case-insensitive file system.
anatofuz
parents:
diff changeset
212 std::string Parent =
anatofuz
parents:
diff changeset
213 std::string(llvm::sys::path::parent_path(ModuleMapPath));
anatofuz
parents:
diff changeset
214 if (Parent.empty())
anatofuz
parents:
diff changeset
215 Parent = ".";
anatofuz
parents:
diff changeset
216 auto Dir = FileMgr.getDirectory(Parent);
anatofuz
parents:
diff changeset
217 if (!Dir)
anatofuz
parents:
diff changeset
218 return {};
anatofuz
parents:
diff changeset
219 auto DirName = FileMgr.getCanonicalName(*Dir);
anatofuz
parents:
diff changeset
220 auto FileName = llvm::sys::path::filename(ModuleMapPath);
anatofuz
parents:
diff changeset
221
anatofuz
parents:
diff changeset
222 llvm::hash_code Hash =
anatofuz
parents:
diff changeset
223 llvm::hash_combine(DirName.lower(), FileName.lower());
anatofuz
parents:
diff changeset
224
anatofuz
parents:
diff changeset
225 SmallString<128> HashStr;
anatofuz
parents:
diff changeset
226 llvm::APInt(64, size_t(Hash)).toStringUnsigned(HashStr, /*Radix*/36);
anatofuz
parents:
diff changeset
227 llvm::sys::path::append(Result, ModuleName + "-" + HashStr + ".pcm");
anatofuz
parents:
diff changeset
228 }
anatofuz
parents:
diff changeset
229 return Result.str().str();
anatofuz
parents:
diff changeset
230 }
anatofuz
parents:
diff changeset
231
anatofuz
parents:
diff changeset
232 Module *HeaderSearch::lookupModule(StringRef ModuleName, bool AllowSearch,
anatofuz
parents:
diff changeset
233 bool AllowExtraModuleMapSearch) {
anatofuz
parents:
diff changeset
234 // Look in the module map to determine if there is a module by this name.
anatofuz
parents:
diff changeset
235 Module *Module = ModMap.findModule(ModuleName);
anatofuz
parents:
diff changeset
236 if (Module || !AllowSearch || !HSOpts->ImplicitModuleMaps)
anatofuz
parents:
diff changeset
237 return Module;
anatofuz
parents:
diff changeset
238
anatofuz
parents:
diff changeset
239 StringRef SearchName = ModuleName;
anatofuz
parents:
diff changeset
240 Module = lookupModule(ModuleName, SearchName, AllowExtraModuleMapSearch);
anatofuz
parents:
diff changeset
241
anatofuz
parents:
diff changeset
242 // The facility for "private modules" -- adjacent, optional module maps named
anatofuz
parents:
diff changeset
243 // module.private.modulemap that are supposed to define private submodules --
anatofuz
parents:
diff changeset
244 // may have different flavors of names: FooPrivate, Foo_Private and Foo.Private.
anatofuz
parents:
diff changeset
245 //
anatofuz
parents:
diff changeset
246 // Foo.Private is now deprecated in favor of Foo_Private. Users of FooPrivate
anatofuz
parents:
diff changeset
247 // should also rename to Foo_Private. Representing private as submodules
anatofuz
parents:
diff changeset
248 // could force building unwanted dependencies into the parent module and cause
anatofuz
parents:
diff changeset
249 // dependency cycles.
anatofuz
parents:
diff changeset
250 if (!Module && SearchName.consume_back("_Private"))
anatofuz
parents:
diff changeset
251 Module = lookupModule(ModuleName, SearchName, AllowExtraModuleMapSearch);
anatofuz
parents:
diff changeset
252 if (!Module && SearchName.consume_back("Private"))
anatofuz
parents:
diff changeset
253 Module = lookupModule(ModuleName, SearchName, AllowExtraModuleMapSearch);
anatofuz
parents:
diff changeset
254 return Module;
anatofuz
parents:
diff changeset
255 }
anatofuz
parents:
diff changeset
256
anatofuz
parents:
diff changeset
257 Module *HeaderSearch::lookupModule(StringRef ModuleName, StringRef SearchName,
anatofuz
parents:
diff changeset
258 bool AllowExtraModuleMapSearch) {
anatofuz
parents:
diff changeset
259 Module *Module = nullptr;
anatofuz
parents:
diff changeset
260
anatofuz
parents:
diff changeset
261 // Look through the various header search paths to load any available module
anatofuz
parents:
diff changeset
262 // maps, searching for a module map that describes this module.
anatofuz
parents:
diff changeset
263 for (unsigned Idx = 0, N = SearchDirs.size(); Idx != N; ++Idx) {
anatofuz
parents:
diff changeset
264 if (SearchDirs[Idx].isFramework()) {
anatofuz
parents:
diff changeset
265 // Search for or infer a module map for a framework. Here we use
anatofuz
parents:
diff changeset
266 // SearchName rather than ModuleName, to permit finding private modules
anatofuz
parents:
diff changeset
267 // named FooPrivate in buggy frameworks named Foo.
anatofuz
parents:
diff changeset
268 SmallString<128> FrameworkDirName;
anatofuz
parents:
diff changeset
269 FrameworkDirName += SearchDirs[Idx].getFrameworkDir()->getName();
anatofuz
parents:
diff changeset
270 llvm::sys::path::append(FrameworkDirName, SearchName + ".framework");
anatofuz
parents:
diff changeset
271 if (auto FrameworkDir = FileMgr.getDirectory(FrameworkDirName)) {
anatofuz
parents:
diff changeset
272 bool IsSystem
anatofuz
parents:
diff changeset
273 = SearchDirs[Idx].getDirCharacteristic() != SrcMgr::C_User;
anatofuz
parents:
diff changeset
274 Module = loadFrameworkModule(ModuleName, *FrameworkDir, IsSystem);
anatofuz
parents:
diff changeset
275 if (Module)
anatofuz
parents:
diff changeset
276 break;
anatofuz
parents:
diff changeset
277 }
anatofuz
parents:
diff changeset
278 }
anatofuz
parents:
diff changeset
279
anatofuz
parents:
diff changeset
280 // FIXME: Figure out how header maps and module maps will work together.
anatofuz
parents:
diff changeset
281
anatofuz
parents:
diff changeset
282 // Only deal with normal search directories.
anatofuz
parents:
diff changeset
283 if (!SearchDirs[Idx].isNormalDir())
anatofuz
parents:
diff changeset
284 continue;
anatofuz
parents:
diff changeset
285
anatofuz
parents:
diff changeset
286 bool IsSystem = SearchDirs[Idx].isSystemHeaderDirectory();
anatofuz
parents:
diff changeset
287 // Search for a module map file in this directory.
anatofuz
parents:
diff changeset
288 if (loadModuleMapFile(SearchDirs[Idx].getDir(), IsSystem,
anatofuz
parents:
diff changeset
289 /*IsFramework*/false) == LMM_NewlyLoaded) {
anatofuz
parents:
diff changeset
290 // We just loaded a module map file; check whether the module is
anatofuz
parents:
diff changeset
291 // available now.
anatofuz
parents:
diff changeset
292 Module = ModMap.findModule(ModuleName);
anatofuz
parents:
diff changeset
293 if (Module)
anatofuz
parents:
diff changeset
294 break;
anatofuz
parents:
diff changeset
295 }
anatofuz
parents:
diff changeset
296
anatofuz
parents:
diff changeset
297 // Search for a module map in a subdirectory with the same name as the
anatofuz
parents:
diff changeset
298 // module.
anatofuz
parents:
diff changeset
299 SmallString<128> NestedModuleMapDirName;
anatofuz
parents:
diff changeset
300 NestedModuleMapDirName = SearchDirs[Idx].getDir()->getName();
anatofuz
parents:
diff changeset
301 llvm::sys::path::append(NestedModuleMapDirName, ModuleName);
anatofuz
parents:
diff changeset
302 if (loadModuleMapFile(NestedModuleMapDirName, IsSystem,
anatofuz
parents:
diff changeset
303 /*IsFramework*/false) == LMM_NewlyLoaded){
anatofuz
parents:
diff changeset
304 // If we just loaded a module map file, look for the module again.
anatofuz
parents:
diff changeset
305 Module = ModMap.findModule(ModuleName);
anatofuz
parents:
diff changeset
306 if (Module)
anatofuz
parents:
diff changeset
307 break;
anatofuz
parents:
diff changeset
308 }
anatofuz
parents:
diff changeset
309
anatofuz
parents:
diff changeset
310 // If we've already performed the exhaustive search for module maps in this
anatofuz
parents:
diff changeset
311 // search directory, don't do it again.
anatofuz
parents:
diff changeset
312 if (SearchDirs[Idx].haveSearchedAllModuleMaps())
anatofuz
parents:
diff changeset
313 continue;
anatofuz
parents:
diff changeset
314
anatofuz
parents:
diff changeset
315 // Load all module maps in the immediate subdirectories of this search
anatofuz
parents:
diff changeset
316 // directory if ModuleName was from @import.
anatofuz
parents:
diff changeset
317 if (AllowExtraModuleMapSearch)
anatofuz
parents:
diff changeset
318 loadSubdirectoryModuleMaps(SearchDirs[Idx]);
anatofuz
parents:
diff changeset
319
anatofuz
parents:
diff changeset
320 // Look again for the module.
anatofuz
parents:
diff changeset
321 Module = ModMap.findModule(ModuleName);
anatofuz
parents:
diff changeset
322 if (Module)
anatofuz
parents:
diff changeset
323 break;
anatofuz
parents:
diff changeset
324 }
anatofuz
parents:
diff changeset
325
anatofuz
parents:
diff changeset
326 return Module;
anatofuz
parents:
diff changeset
327 }
anatofuz
parents:
diff changeset
328
anatofuz
parents:
diff changeset
329 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
330 // File lookup within a DirectoryLookup scope
anatofuz
parents:
diff changeset
331 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
332
anatofuz
parents:
diff changeset
333 /// getName - Return the directory or filename corresponding to this lookup
anatofuz
parents:
diff changeset
334 /// object.
anatofuz
parents:
diff changeset
335 StringRef DirectoryLookup::getName() const {
anatofuz
parents:
diff changeset
336 // FIXME: Use the name from \c DirectoryEntryRef.
anatofuz
parents:
diff changeset
337 if (isNormalDir())
anatofuz
parents:
diff changeset
338 return getDir()->getName();
anatofuz
parents:
diff changeset
339 if (isFramework())
anatofuz
parents:
diff changeset
340 return getFrameworkDir()->getName();
anatofuz
parents:
diff changeset
341 assert(isHeaderMap() && "Unknown DirectoryLookup");
anatofuz
parents:
diff changeset
342 return getHeaderMap()->getFileName();
anatofuz
parents:
diff changeset
343 }
anatofuz
parents:
diff changeset
344
anatofuz
parents:
diff changeset
345 Optional<FileEntryRef> HeaderSearch::getFileAndSuggestModule(
anatofuz
parents:
diff changeset
346 StringRef FileName, SourceLocation IncludeLoc, const DirectoryEntry *Dir,
anatofuz
parents:
diff changeset
347 bool IsSystemHeaderDir, Module *RequestingModule,
anatofuz
parents:
diff changeset
348 ModuleMap::KnownHeader *SuggestedModule) {
anatofuz
parents:
diff changeset
349 // If we have a module map that might map this header, load it and
anatofuz
parents:
diff changeset
350 // check whether we'll have a suggestion for a module.
anatofuz
parents:
diff changeset
351 auto File = getFileMgr().getFileRef(FileName, /*OpenFile=*/true);
anatofuz
parents:
diff changeset
352 if (!File) {
anatofuz
parents:
diff changeset
353 // For rare, surprising errors (e.g. "out of file handles"), diag the EC
anatofuz
parents:
diff changeset
354 // message.
anatofuz
parents:
diff changeset
355 std::error_code EC = llvm::errorToErrorCode(File.takeError());
anatofuz
parents:
diff changeset
356 if (EC != llvm::errc::no_such_file_or_directory &&
anatofuz
parents:
diff changeset
357 EC != llvm::errc::invalid_argument &&
anatofuz
parents:
diff changeset
358 EC != llvm::errc::is_a_directory && EC != llvm::errc::not_a_directory) {
anatofuz
parents:
diff changeset
359 Diags.Report(IncludeLoc, diag::err_cannot_open_file)
anatofuz
parents:
diff changeset
360 << FileName << EC.message();
anatofuz
parents:
diff changeset
361 }
anatofuz
parents:
diff changeset
362 return None;
anatofuz
parents:
diff changeset
363 }
anatofuz
parents:
diff changeset
364
anatofuz
parents:
diff changeset
365 // If there is a module that corresponds to this header, suggest it.
anatofuz
parents:
diff changeset
366 if (!findUsableModuleForHeader(
anatofuz
parents:
diff changeset
367 &File->getFileEntry(), Dir ? Dir : File->getFileEntry().getDir(),
anatofuz
parents:
diff changeset
368 RequestingModule, SuggestedModule, IsSystemHeaderDir))
anatofuz
parents:
diff changeset
369 return None;
anatofuz
parents:
diff changeset
370
anatofuz
parents:
diff changeset
371 return *File;
anatofuz
parents:
diff changeset
372 }
anatofuz
parents:
diff changeset
373
anatofuz
parents:
diff changeset
374 /// LookupFile - Lookup the specified file in this search path, returning it
anatofuz
parents:
diff changeset
375 /// if it exists or returning null if not.
anatofuz
parents:
diff changeset
376 Optional<FileEntryRef> DirectoryLookup::LookupFile(
anatofuz
parents:
diff changeset
377 StringRef &Filename, HeaderSearch &HS, SourceLocation IncludeLoc,
anatofuz
parents:
diff changeset
378 SmallVectorImpl<char> *SearchPath, SmallVectorImpl<char> *RelativePath,
anatofuz
parents:
diff changeset
379 Module *RequestingModule, ModuleMap::KnownHeader *SuggestedModule,
anatofuz
parents:
diff changeset
380 bool &InUserSpecifiedSystemFramework, bool &IsFrameworkFound,
anatofuz
parents:
diff changeset
381 bool &IsInHeaderMap, SmallVectorImpl<char> &MappedName) const {
anatofuz
parents:
diff changeset
382 InUserSpecifiedSystemFramework = false;
anatofuz
parents:
diff changeset
383 IsInHeaderMap = false;
anatofuz
parents:
diff changeset
384 MappedName.clear();
anatofuz
parents:
diff changeset
385
anatofuz
parents:
diff changeset
386 SmallString<1024> TmpDir;
anatofuz
parents:
diff changeset
387 if (isNormalDir()) {
anatofuz
parents:
diff changeset
388 // Concatenate the requested file onto the directory.
anatofuz
parents:
diff changeset
389 TmpDir = getDir()->getName();
anatofuz
parents:
diff changeset
390 llvm::sys::path::append(TmpDir, Filename);
anatofuz
parents:
diff changeset
391 if (SearchPath) {
anatofuz
parents:
diff changeset
392 StringRef SearchPathRef(getDir()->getName());
anatofuz
parents:
diff changeset
393 SearchPath->clear();
anatofuz
parents:
diff changeset
394 SearchPath->append(SearchPathRef.begin(), SearchPathRef.end());
anatofuz
parents:
diff changeset
395 }
anatofuz
parents:
diff changeset
396 if (RelativePath) {
anatofuz
parents:
diff changeset
397 RelativePath->clear();
anatofuz
parents:
diff changeset
398 RelativePath->append(Filename.begin(), Filename.end());
anatofuz
parents:
diff changeset
399 }
anatofuz
parents:
diff changeset
400
anatofuz
parents:
diff changeset
401 return HS.getFileAndSuggestModule(TmpDir, IncludeLoc, getDir(),
anatofuz
parents:
diff changeset
402 isSystemHeaderDirectory(),
anatofuz
parents:
diff changeset
403 RequestingModule, SuggestedModule);
anatofuz
parents:
diff changeset
404 }
anatofuz
parents:
diff changeset
405
anatofuz
parents:
diff changeset
406 if (isFramework())
anatofuz
parents:
diff changeset
407 return DoFrameworkLookup(Filename, HS, SearchPath, RelativePath,
anatofuz
parents:
diff changeset
408 RequestingModule, SuggestedModule,
anatofuz
parents:
diff changeset
409 InUserSpecifiedSystemFramework, IsFrameworkFound);
anatofuz
parents:
diff changeset
410
anatofuz
parents:
diff changeset
411 assert(isHeaderMap() && "Unknown directory lookup");
anatofuz
parents:
diff changeset
412 const HeaderMap *HM = getHeaderMap();
anatofuz
parents:
diff changeset
413 SmallString<1024> Path;
anatofuz
parents:
diff changeset
414 StringRef Dest = HM->lookupFilename(Filename, Path);
anatofuz
parents:
diff changeset
415 if (Dest.empty())
anatofuz
parents:
diff changeset
416 return None;
anatofuz
parents:
diff changeset
417
anatofuz
parents:
diff changeset
418 IsInHeaderMap = true;
anatofuz
parents:
diff changeset
419
anatofuz
parents:
diff changeset
420 auto FixupSearchPath = [&]() {
anatofuz
parents:
diff changeset
421 if (SearchPath) {
anatofuz
parents:
diff changeset
422 StringRef SearchPathRef(getName());
anatofuz
parents:
diff changeset
423 SearchPath->clear();
anatofuz
parents:
diff changeset
424 SearchPath->append(SearchPathRef.begin(), SearchPathRef.end());
anatofuz
parents:
diff changeset
425 }
anatofuz
parents:
diff changeset
426 if (RelativePath) {
anatofuz
parents:
diff changeset
427 RelativePath->clear();
anatofuz
parents:
diff changeset
428 RelativePath->append(Filename.begin(), Filename.end());
anatofuz
parents:
diff changeset
429 }
anatofuz
parents:
diff changeset
430 };
anatofuz
parents:
diff changeset
431
anatofuz
parents:
diff changeset
432 // Check if the headermap maps the filename to a framework include
anatofuz
parents:
diff changeset
433 // ("Foo.h" -> "Foo/Foo.h"), in which case continue header lookup using the
anatofuz
parents:
diff changeset
434 // framework include.
anatofuz
parents:
diff changeset
435 if (llvm::sys::path::is_relative(Dest)) {
anatofuz
parents:
diff changeset
436 MappedName.append(Dest.begin(), Dest.end());
anatofuz
parents:
diff changeset
437 Filename = StringRef(MappedName.begin(), MappedName.size());
anatofuz
parents:
diff changeset
438 Optional<FileEntryRef> Result = HM->LookupFile(Filename, HS.getFileMgr());
anatofuz
parents:
diff changeset
439 if (Result) {
anatofuz
parents:
diff changeset
440 FixupSearchPath();
anatofuz
parents:
diff changeset
441 return *Result;
anatofuz
parents:
diff changeset
442 }
anatofuz
parents:
diff changeset
443 } else if (auto Res = HS.getFileMgr().getOptionalFileRef(Dest)) {
anatofuz
parents:
diff changeset
444 FixupSearchPath();
anatofuz
parents:
diff changeset
445 return *Res;
anatofuz
parents:
diff changeset
446 }
anatofuz
parents:
diff changeset
447
anatofuz
parents:
diff changeset
448 return None;
anatofuz
parents:
diff changeset
449 }
anatofuz
parents:
diff changeset
450
anatofuz
parents:
diff changeset
451 /// Given a framework directory, find the top-most framework directory.
anatofuz
parents:
diff changeset
452 ///
anatofuz
parents:
diff changeset
453 /// \param FileMgr The file manager to use for directory lookups.
anatofuz
parents:
diff changeset
454 /// \param DirName The name of the framework directory.
anatofuz
parents:
diff changeset
455 /// \param SubmodulePath Will be populated with the submodule path from the
anatofuz
parents:
diff changeset
456 /// returned top-level module to the originally named framework.
anatofuz
parents:
diff changeset
457 static const DirectoryEntry *
anatofuz
parents:
diff changeset
458 getTopFrameworkDir(FileManager &FileMgr, StringRef DirName,
anatofuz
parents:
diff changeset
459 SmallVectorImpl<std::string> &SubmodulePath) {
anatofuz
parents:
diff changeset
460 assert(llvm::sys::path::extension(DirName) == ".framework" &&
anatofuz
parents:
diff changeset
461 "Not a framework directory");
anatofuz
parents:
diff changeset
462
anatofuz
parents:
diff changeset
463 // Note: as an egregious but useful hack we use the real path here, because
anatofuz
parents:
diff changeset
464 // frameworks moving between top-level frameworks to embedded frameworks tend
anatofuz
parents:
diff changeset
465 // to be symlinked, and we base the logical structure of modules on the
anatofuz
parents:
diff changeset
466 // physical layout. In particular, we need to deal with crazy includes like
anatofuz
parents:
diff changeset
467 //
anatofuz
parents:
diff changeset
468 // #include <Foo/Frameworks/Bar.framework/Headers/Wibble.h>
anatofuz
parents:
diff changeset
469 //
anatofuz
parents:
diff changeset
470 // where 'Bar' used to be embedded in 'Foo', is now a top-level framework
anatofuz
parents:
diff changeset
471 // which one should access with, e.g.,
anatofuz
parents:
diff changeset
472 //
anatofuz
parents:
diff changeset
473 // #include <Bar/Wibble.h>
anatofuz
parents:
diff changeset
474 //
anatofuz
parents:
diff changeset
475 // Similar issues occur when a top-level framework has moved into an
anatofuz
parents:
diff changeset
476 // embedded framework.
anatofuz
parents:
diff changeset
477 const DirectoryEntry *TopFrameworkDir = nullptr;
anatofuz
parents:
diff changeset
478 if (auto TopFrameworkDirOrErr = FileMgr.getDirectory(DirName))
anatofuz
parents:
diff changeset
479 TopFrameworkDir = *TopFrameworkDirOrErr;
anatofuz
parents:
diff changeset
480
anatofuz
parents:
diff changeset
481 if (TopFrameworkDir)
anatofuz
parents:
diff changeset
482 DirName = FileMgr.getCanonicalName(TopFrameworkDir);
anatofuz
parents:
diff changeset
483 do {
anatofuz
parents:
diff changeset
484 // Get the parent directory name.
anatofuz
parents:
diff changeset
485 DirName = llvm::sys::path::parent_path(DirName);
anatofuz
parents:
diff changeset
486 if (DirName.empty())
anatofuz
parents:
diff changeset
487 break;
anatofuz
parents:
diff changeset
488
anatofuz
parents:
diff changeset
489 // Determine whether this directory exists.
anatofuz
parents:
diff changeset
490 auto Dir = FileMgr.getDirectory(DirName);
anatofuz
parents:
diff changeset
491 if (!Dir)
anatofuz
parents:
diff changeset
492 break;
anatofuz
parents:
diff changeset
493
anatofuz
parents:
diff changeset
494 // If this is a framework directory, then we're a subframework of this
anatofuz
parents:
diff changeset
495 // framework.
anatofuz
parents:
diff changeset
496 if (llvm::sys::path::extension(DirName) == ".framework") {
anatofuz
parents:
diff changeset
497 SubmodulePath.push_back(std::string(llvm::sys::path::stem(DirName)));
anatofuz
parents:
diff changeset
498 TopFrameworkDir = *Dir;
anatofuz
parents:
diff changeset
499 }
anatofuz
parents:
diff changeset
500 } while (true);
anatofuz
parents:
diff changeset
501
anatofuz
parents:
diff changeset
502 return TopFrameworkDir;
anatofuz
parents:
diff changeset
503 }
anatofuz
parents:
diff changeset
504
anatofuz
parents:
diff changeset
505 static bool needModuleLookup(Module *RequestingModule,
anatofuz
parents:
diff changeset
506 bool HasSuggestedModule) {
anatofuz
parents:
diff changeset
507 return HasSuggestedModule ||
anatofuz
parents:
diff changeset
508 (RequestingModule && RequestingModule->NoUndeclaredIncludes);
anatofuz
parents:
diff changeset
509 }
anatofuz
parents:
diff changeset
510
anatofuz
parents:
diff changeset
511 /// DoFrameworkLookup - Do a lookup of the specified file in the current
anatofuz
parents:
diff changeset
512 /// DirectoryLookup, which is a framework directory.
anatofuz
parents:
diff changeset
513 Optional<FileEntryRef> DirectoryLookup::DoFrameworkLookup(
anatofuz
parents:
diff changeset
514 StringRef Filename, HeaderSearch &HS, SmallVectorImpl<char> *SearchPath,
anatofuz
parents:
diff changeset
515 SmallVectorImpl<char> *RelativePath, Module *RequestingModule,
anatofuz
parents:
diff changeset
516 ModuleMap::KnownHeader *SuggestedModule,
anatofuz
parents:
diff changeset
517 bool &InUserSpecifiedSystemFramework, bool &IsFrameworkFound) const {
anatofuz
parents:
diff changeset
518 FileManager &FileMgr = HS.getFileMgr();
anatofuz
parents:
diff changeset
519
anatofuz
parents:
diff changeset
520 // Framework names must have a '/' in the filename.
anatofuz
parents:
diff changeset
521 size_t SlashPos = Filename.find('/');
anatofuz
parents:
diff changeset
522 if (SlashPos == StringRef::npos)
anatofuz
parents:
diff changeset
523 return None;
anatofuz
parents:
diff changeset
524
anatofuz
parents:
diff changeset
525 // Find out if this is the home for the specified framework, by checking
anatofuz
parents:
diff changeset
526 // HeaderSearch. Possible answers are yes/no and unknown.
anatofuz
parents:
diff changeset
527 FrameworkCacheEntry &CacheEntry =
anatofuz
parents:
diff changeset
528 HS.LookupFrameworkCache(Filename.substr(0, SlashPos));
anatofuz
parents:
diff changeset
529
anatofuz
parents:
diff changeset
530 // If it is known and in some other directory, fail.
anatofuz
parents:
diff changeset
531 if (CacheEntry.Directory && CacheEntry.Directory != getFrameworkDir())
anatofuz
parents:
diff changeset
532 return None;
anatofuz
parents:
diff changeset
533
anatofuz
parents:
diff changeset
534 // Otherwise, construct the path to this framework dir.
anatofuz
parents:
diff changeset
535
anatofuz
parents:
diff changeset
536 // FrameworkName = "/System/Library/Frameworks/"
anatofuz
parents:
diff changeset
537 SmallString<1024> FrameworkName;
anatofuz
parents:
diff changeset
538 FrameworkName += getFrameworkDirRef()->getName();
anatofuz
parents:
diff changeset
539 if (FrameworkName.empty() || FrameworkName.back() != '/')
anatofuz
parents:
diff changeset
540 FrameworkName.push_back('/');
anatofuz
parents:
diff changeset
541
anatofuz
parents:
diff changeset
542 // FrameworkName = "/System/Library/Frameworks/Cocoa"
anatofuz
parents:
diff changeset
543 StringRef ModuleName(Filename.begin(), SlashPos);
anatofuz
parents:
diff changeset
544 FrameworkName += ModuleName;
anatofuz
parents:
diff changeset
545
anatofuz
parents:
diff changeset
546 // FrameworkName = "/System/Library/Frameworks/Cocoa.framework/"
anatofuz
parents:
diff changeset
547 FrameworkName += ".framework/";
anatofuz
parents:
diff changeset
548
anatofuz
parents:
diff changeset
549 // If the cache entry was unresolved, populate it now.
anatofuz
parents:
diff changeset
550 if (!CacheEntry.Directory) {
anatofuz
parents:
diff changeset
551 ++NumFrameworkLookups;
anatofuz
parents:
diff changeset
552
anatofuz
parents:
diff changeset
553 // If the framework dir doesn't exist, we fail.
anatofuz
parents:
diff changeset
554 auto Dir = FileMgr.getDirectory(FrameworkName);
anatofuz
parents:
diff changeset
555 if (!Dir)
anatofuz
parents:
diff changeset
556 return None;
anatofuz
parents:
diff changeset
557
anatofuz
parents:
diff changeset
558 // Otherwise, if it does, remember that this is the right direntry for this
anatofuz
parents:
diff changeset
559 // framework.
anatofuz
parents:
diff changeset
560 CacheEntry.Directory = getFrameworkDir();
anatofuz
parents:
diff changeset
561
anatofuz
parents:
diff changeset
562 // If this is a user search directory, check if the framework has been
anatofuz
parents:
diff changeset
563 // user-specified as a system framework.
anatofuz
parents:
diff changeset
564 if (getDirCharacteristic() == SrcMgr::C_User) {
anatofuz
parents:
diff changeset
565 SmallString<1024> SystemFrameworkMarker(FrameworkName);
anatofuz
parents:
diff changeset
566 SystemFrameworkMarker += ".system_framework";
anatofuz
parents:
diff changeset
567 if (llvm::sys::fs::exists(SystemFrameworkMarker)) {
anatofuz
parents:
diff changeset
568 CacheEntry.IsUserSpecifiedSystemFramework = true;
anatofuz
parents:
diff changeset
569 }
anatofuz
parents:
diff changeset
570 }
anatofuz
parents:
diff changeset
571 }
anatofuz
parents:
diff changeset
572
anatofuz
parents:
diff changeset
573 // Set out flags.
anatofuz
parents:
diff changeset
574 InUserSpecifiedSystemFramework = CacheEntry.IsUserSpecifiedSystemFramework;
anatofuz
parents:
diff changeset
575 IsFrameworkFound = CacheEntry.Directory;
anatofuz
parents:
diff changeset
576
anatofuz
parents:
diff changeset
577 if (RelativePath) {
anatofuz
parents:
diff changeset
578 RelativePath->clear();
anatofuz
parents:
diff changeset
579 RelativePath->append(Filename.begin()+SlashPos+1, Filename.end());
anatofuz
parents:
diff changeset
580 }
anatofuz
parents:
diff changeset
581
anatofuz
parents:
diff changeset
582 // Check "/System/Library/Frameworks/Cocoa.framework/Headers/file.h"
anatofuz
parents:
diff changeset
583 unsigned OrigSize = FrameworkName.size();
anatofuz
parents:
diff changeset
584
anatofuz
parents:
diff changeset
585 FrameworkName += "Headers/";
anatofuz
parents:
diff changeset
586
anatofuz
parents:
diff changeset
587 if (SearchPath) {
anatofuz
parents:
diff changeset
588 SearchPath->clear();
anatofuz
parents:
diff changeset
589 // Without trailing '/'.
anatofuz
parents:
diff changeset
590 SearchPath->append(FrameworkName.begin(), FrameworkName.end()-1);
anatofuz
parents:
diff changeset
591 }
anatofuz
parents:
diff changeset
592
anatofuz
parents:
diff changeset
593 FrameworkName.append(Filename.begin()+SlashPos+1, Filename.end());
anatofuz
parents:
diff changeset
594
anatofuz
parents:
diff changeset
595 auto File =
anatofuz
parents:
diff changeset
596 FileMgr.getOptionalFileRef(FrameworkName, /*OpenFile=*/!SuggestedModule);
anatofuz
parents:
diff changeset
597 if (!File) {
anatofuz
parents:
diff changeset
598 // Check "/System/Library/Frameworks/Cocoa.framework/PrivateHeaders/file.h"
anatofuz
parents:
diff changeset
599 const char *Private = "Private";
anatofuz
parents:
diff changeset
600 FrameworkName.insert(FrameworkName.begin()+OrigSize, Private,
anatofuz
parents:
diff changeset
601 Private+strlen(Private));
anatofuz
parents:
diff changeset
602 if (SearchPath)
anatofuz
parents:
diff changeset
603 SearchPath->insert(SearchPath->begin()+OrigSize, Private,
anatofuz
parents:
diff changeset
604 Private+strlen(Private));
anatofuz
parents:
diff changeset
605
anatofuz
parents:
diff changeset
606 File = FileMgr.getOptionalFileRef(FrameworkName,
anatofuz
parents:
diff changeset
607 /*OpenFile=*/!SuggestedModule);
anatofuz
parents:
diff changeset
608 }
anatofuz
parents:
diff changeset
609
anatofuz
parents:
diff changeset
610 // If we found the header and are allowed to suggest a module, do so now.
anatofuz
parents:
diff changeset
611 if (File && needModuleLookup(RequestingModule, SuggestedModule)) {
anatofuz
parents:
diff changeset
612 // Find the framework in which this header occurs.
anatofuz
parents:
diff changeset
613 StringRef FrameworkPath = File->getFileEntry().getDir()->getName();
anatofuz
parents:
diff changeset
614 bool FoundFramework = false;
anatofuz
parents:
diff changeset
615 do {
anatofuz
parents:
diff changeset
616 // Determine whether this directory exists.
anatofuz
parents:
diff changeset
617 auto Dir = FileMgr.getDirectory(FrameworkPath);
anatofuz
parents:
diff changeset
618 if (!Dir)
anatofuz
parents:
diff changeset
619 break;
anatofuz
parents:
diff changeset
620
anatofuz
parents:
diff changeset
621 // If this is a framework directory, then we're a subframework of this
anatofuz
parents:
diff changeset
622 // framework.
anatofuz
parents:
diff changeset
623 if (llvm::sys::path::extension(FrameworkPath) == ".framework") {
anatofuz
parents:
diff changeset
624 FoundFramework = true;
anatofuz
parents:
diff changeset
625 break;
anatofuz
parents:
diff changeset
626 }
anatofuz
parents:
diff changeset
627
anatofuz
parents:
diff changeset
628 // Get the parent directory name.
anatofuz
parents:
diff changeset
629 FrameworkPath = llvm::sys::path::parent_path(FrameworkPath);
anatofuz
parents:
diff changeset
630 if (FrameworkPath.empty())
anatofuz
parents:
diff changeset
631 break;
anatofuz
parents:
diff changeset
632 } while (true);
anatofuz
parents:
diff changeset
633
anatofuz
parents:
diff changeset
634 bool IsSystem = getDirCharacteristic() != SrcMgr::C_User;
anatofuz
parents:
diff changeset
635 if (FoundFramework) {
anatofuz
parents:
diff changeset
636 if (!HS.findUsableModuleForFrameworkHeader(
anatofuz
parents:
diff changeset
637 &File->getFileEntry(), FrameworkPath, RequestingModule,
anatofuz
parents:
diff changeset
638 SuggestedModule, IsSystem))
anatofuz
parents:
diff changeset
639 return None;
anatofuz
parents:
diff changeset
640 } else {
anatofuz
parents:
diff changeset
641 if (!HS.findUsableModuleForHeader(&File->getFileEntry(), getDir(),
anatofuz
parents:
diff changeset
642 RequestingModule, SuggestedModule,
anatofuz
parents:
diff changeset
643 IsSystem))
anatofuz
parents:
diff changeset
644 return None;
anatofuz
parents:
diff changeset
645 }
anatofuz
parents:
diff changeset
646 }
anatofuz
parents:
diff changeset
647 if (File)
anatofuz
parents:
diff changeset
648 return *File;
anatofuz
parents:
diff changeset
649 return None;
anatofuz
parents:
diff changeset
650 }
anatofuz
parents:
diff changeset
651
anatofuz
parents:
diff changeset
652 void HeaderSearch::setTarget(const TargetInfo &Target) {
anatofuz
parents:
diff changeset
653 ModMap.setTarget(Target);
anatofuz
parents:
diff changeset
654 }
anatofuz
parents:
diff changeset
655
anatofuz
parents:
diff changeset
656 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
657 // Header File Location.
anatofuz
parents:
diff changeset
658 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
659
anatofuz
parents:
diff changeset
660 /// Return true with a diagnostic if the file that MSVC would have found
anatofuz
parents:
diff changeset
661 /// fails to match the one that Clang would have found with MSVC header search
anatofuz
parents:
diff changeset
662 /// disabled.
anatofuz
parents:
diff changeset
663 static bool checkMSVCHeaderSearch(DiagnosticsEngine &Diags,
anatofuz
parents:
diff changeset
664 const FileEntry *MSFE, const FileEntry *FE,
anatofuz
parents:
diff changeset
665 SourceLocation IncludeLoc) {
anatofuz
parents:
diff changeset
666 if (MSFE && FE != MSFE) {
anatofuz
parents:
diff changeset
667 Diags.Report(IncludeLoc, diag::ext_pp_include_search_ms) << MSFE->getName();
anatofuz
parents:
diff changeset
668 return true;
anatofuz
parents:
diff changeset
669 }
anatofuz
parents:
diff changeset
670 return false;
anatofuz
parents:
diff changeset
671 }
anatofuz
parents:
diff changeset
672
anatofuz
parents:
diff changeset
673 static const char *copyString(StringRef Str, llvm::BumpPtrAllocator &Alloc) {
anatofuz
parents:
diff changeset
674 assert(!Str.empty());
anatofuz
parents:
diff changeset
675 char *CopyStr = Alloc.Allocate<char>(Str.size()+1);
anatofuz
parents:
diff changeset
676 std::copy(Str.begin(), Str.end(), CopyStr);
anatofuz
parents:
diff changeset
677 CopyStr[Str.size()] = '\0';
anatofuz
parents:
diff changeset
678 return CopyStr;
anatofuz
parents:
diff changeset
679 }
anatofuz
parents:
diff changeset
680
anatofuz
parents:
diff changeset
681 static bool isFrameworkStylePath(StringRef Path, bool &IsPrivateHeader,
anatofuz
parents:
diff changeset
682 SmallVectorImpl<char> &FrameworkName) {
anatofuz
parents:
diff changeset
683 using namespace llvm::sys;
anatofuz
parents:
diff changeset
684 path::const_iterator I = path::begin(Path);
anatofuz
parents:
diff changeset
685 path::const_iterator E = path::end(Path);
anatofuz
parents:
diff changeset
686 IsPrivateHeader = false;
anatofuz
parents:
diff changeset
687
anatofuz
parents:
diff changeset
688 // Detect different types of framework style paths:
anatofuz
parents:
diff changeset
689 //
anatofuz
parents:
diff changeset
690 // ...Foo.framework/{Headers,PrivateHeaders}
anatofuz
parents:
diff changeset
691 // ...Foo.framework/Versions/{A,Current}/{Headers,PrivateHeaders}
anatofuz
parents:
diff changeset
692 // ...Foo.framework/Frameworks/Nested.framework/{Headers,PrivateHeaders}
anatofuz
parents:
diff changeset
693 // ...<other variations with 'Versions' like in the above path>
anatofuz
parents:
diff changeset
694 //
anatofuz
parents:
diff changeset
695 // and some other variations among these lines.
anatofuz
parents:
diff changeset
696 int FoundComp = 0;
anatofuz
parents:
diff changeset
697 while (I != E) {
anatofuz
parents:
diff changeset
698 if (*I == "Headers")
anatofuz
parents:
diff changeset
699 ++FoundComp;
anatofuz
parents:
diff changeset
700 if (I->endswith(".framework")) {
anatofuz
parents:
diff changeset
701 FrameworkName.append(I->begin(), I->end());
anatofuz
parents:
diff changeset
702 ++FoundComp;
anatofuz
parents:
diff changeset
703 }
anatofuz
parents:
diff changeset
704 if (*I == "PrivateHeaders") {
anatofuz
parents:
diff changeset
705 ++FoundComp;
anatofuz
parents:
diff changeset
706 IsPrivateHeader = true;
anatofuz
parents:
diff changeset
707 }
anatofuz
parents:
diff changeset
708 ++I;
anatofuz
parents:
diff changeset
709 }
anatofuz
parents:
diff changeset
710
anatofuz
parents:
diff changeset
711 return !FrameworkName.empty() && FoundComp >= 2;
anatofuz
parents:
diff changeset
712 }
anatofuz
parents:
diff changeset
713
anatofuz
parents:
diff changeset
714 static void
anatofuz
parents:
diff changeset
715 diagnoseFrameworkInclude(DiagnosticsEngine &Diags, SourceLocation IncludeLoc,
anatofuz
parents:
diff changeset
716 StringRef Includer, StringRef IncludeFilename,
anatofuz
parents:
diff changeset
717 const FileEntry *IncludeFE, bool isAngled = false,
anatofuz
parents:
diff changeset
718 bool FoundByHeaderMap = false) {
anatofuz
parents:
diff changeset
719 bool IsIncluderPrivateHeader = false;
anatofuz
parents:
diff changeset
720 SmallString<128> FromFramework, ToFramework;
anatofuz
parents:
diff changeset
721 if (!isFrameworkStylePath(Includer, IsIncluderPrivateHeader, FromFramework))
anatofuz
parents:
diff changeset
722 return;
anatofuz
parents:
diff changeset
723 bool IsIncludeePrivateHeader = false;
anatofuz
parents:
diff changeset
724 bool IsIncludeeInFramework = isFrameworkStylePath(
anatofuz
parents:
diff changeset
725 IncludeFE->getName(), IsIncludeePrivateHeader, ToFramework);
anatofuz
parents:
diff changeset
726
anatofuz
parents:
diff changeset
727 if (!isAngled && !FoundByHeaderMap) {
anatofuz
parents:
diff changeset
728 SmallString<128> NewInclude("<");
anatofuz
parents:
diff changeset
729 if (IsIncludeeInFramework) {
anatofuz
parents:
diff changeset
730 NewInclude += StringRef(ToFramework).drop_back(10); // drop .framework
anatofuz
parents:
diff changeset
731 NewInclude += "/";
anatofuz
parents:
diff changeset
732 }
anatofuz
parents:
diff changeset
733 NewInclude += IncludeFilename;
anatofuz
parents:
diff changeset
734 NewInclude += ">";
anatofuz
parents:
diff changeset
735 Diags.Report(IncludeLoc, diag::warn_quoted_include_in_framework_header)
anatofuz
parents:
diff changeset
736 << IncludeFilename
anatofuz
parents:
diff changeset
737 << FixItHint::CreateReplacement(IncludeLoc, NewInclude);
anatofuz
parents:
diff changeset
738 }
anatofuz
parents:
diff changeset
739
anatofuz
parents:
diff changeset
740 // Headers in Foo.framework/Headers should not include headers
anatofuz
parents:
diff changeset
741 // from Foo.framework/PrivateHeaders, since this violates public/private
anatofuz
parents:
diff changeset
742 // API boundaries and can cause modular dependency cycles.
anatofuz
parents:
diff changeset
743 if (!IsIncluderPrivateHeader && IsIncludeeInFramework &&
anatofuz
parents:
diff changeset
744 IsIncludeePrivateHeader && FromFramework == ToFramework)
anatofuz
parents:
diff changeset
745 Diags.Report(IncludeLoc, diag::warn_framework_include_private_from_public)
anatofuz
parents:
diff changeset
746 << IncludeFilename;
anatofuz
parents:
diff changeset
747 }
anatofuz
parents:
diff changeset
748
anatofuz
parents:
diff changeset
749 /// LookupFile - Given a "foo" or \<foo> reference, look up the indicated file,
anatofuz
parents:
diff changeset
750 /// return null on failure. isAngled indicates whether the file reference is
anatofuz
parents:
diff changeset
751 /// for system \#include's or not (i.e. using <> instead of ""). Includers, if
anatofuz
parents:
diff changeset
752 /// non-empty, indicates where the \#including file(s) are, in case a relative
anatofuz
parents:
diff changeset
753 /// search is needed. Microsoft mode will pass all \#including files.
anatofuz
parents:
diff changeset
754 Optional<FileEntryRef> HeaderSearch::LookupFile(
anatofuz
parents:
diff changeset
755 StringRef Filename, SourceLocation IncludeLoc, bool isAngled,
anatofuz
parents:
diff changeset
756 const DirectoryLookup *FromDir, const DirectoryLookup *&CurDir,
anatofuz
parents:
diff changeset
757 ArrayRef<std::pair<const FileEntry *, const DirectoryEntry *>> Includers,
anatofuz
parents:
diff changeset
758 SmallVectorImpl<char> *SearchPath, SmallVectorImpl<char> *RelativePath,
anatofuz
parents:
diff changeset
759 Module *RequestingModule, ModuleMap::KnownHeader *SuggestedModule,
anatofuz
parents:
diff changeset
760 bool *IsMapped, bool *IsFrameworkFound, bool SkipCache,
anatofuz
parents:
diff changeset
761 bool BuildSystemModule) {
anatofuz
parents:
diff changeset
762 if (IsMapped)
anatofuz
parents:
diff changeset
763 *IsMapped = false;
anatofuz
parents:
diff changeset
764
anatofuz
parents:
diff changeset
765 if (IsFrameworkFound)
anatofuz
parents:
diff changeset
766 *IsFrameworkFound = false;
anatofuz
parents:
diff changeset
767
anatofuz
parents:
diff changeset
768 if (SuggestedModule)
anatofuz
parents:
diff changeset
769 *SuggestedModule = ModuleMap::KnownHeader();
anatofuz
parents:
diff changeset
770
anatofuz
parents:
diff changeset
771 // If 'Filename' is absolute, check to see if it exists and no searching.
anatofuz
parents:
diff changeset
772 if (llvm::sys::path::is_absolute(Filename)) {
anatofuz
parents:
diff changeset
773 CurDir = nullptr;
anatofuz
parents:
diff changeset
774
anatofuz
parents:
diff changeset
775 // If this was an #include_next "/absolute/file", fail.
anatofuz
parents:
diff changeset
776 if (FromDir)
anatofuz
parents:
diff changeset
777 return None;
anatofuz
parents:
diff changeset
778
anatofuz
parents:
diff changeset
779 if (SearchPath)
anatofuz
parents:
diff changeset
780 SearchPath->clear();
anatofuz
parents:
diff changeset
781 if (RelativePath) {
anatofuz
parents:
diff changeset
782 RelativePath->clear();
anatofuz
parents:
diff changeset
783 RelativePath->append(Filename.begin(), Filename.end());
anatofuz
parents:
diff changeset
784 }
anatofuz
parents:
diff changeset
785 // Otherwise, just return the file.
anatofuz
parents:
diff changeset
786 return getFileAndSuggestModule(Filename, IncludeLoc, nullptr,
anatofuz
parents:
diff changeset
787 /*IsSystemHeaderDir*/false,
anatofuz
parents:
diff changeset
788 RequestingModule, SuggestedModule);
anatofuz
parents:
diff changeset
789 }
anatofuz
parents:
diff changeset
790
anatofuz
parents:
diff changeset
791 // This is the header that MSVC's header search would have found.
anatofuz
parents:
diff changeset
792 ModuleMap::KnownHeader MSSuggestedModule;
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
793 Optional<FileEntryRef> MSFE;
150
anatofuz
parents:
diff changeset
794
anatofuz
parents:
diff changeset
795 // Unless disabled, check to see if the file is in the #includer's
anatofuz
parents:
diff changeset
796 // directory. This cannot be based on CurDir, because each includer could be
anatofuz
parents:
diff changeset
797 // a #include of a subdirectory (#include "foo/bar.h") and a subsequent
anatofuz
parents:
diff changeset
798 // include of "baz.h" should resolve to "whatever/foo/baz.h".
anatofuz
parents:
diff changeset
799 // This search is not done for <> headers.
anatofuz
parents:
diff changeset
800 if (!Includers.empty() && !isAngled && !NoCurDirSearch) {
anatofuz
parents:
diff changeset
801 SmallString<1024> TmpDir;
anatofuz
parents:
diff changeset
802 bool First = true;
anatofuz
parents:
diff changeset
803 for (const auto &IncluderAndDir : Includers) {
anatofuz
parents:
diff changeset
804 const FileEntry *Includer = IncluderAndDir.first;
anatofuz
parents:
diff changeset
805
anatofuz
parents:
diff changeset
806 // Concatenate the requested file onto the directory.
anatofuz
parents:
diff changeset
807 // FIXME: Portability. Filename concatenation should be in sys::Path.
anatofuz
parents:
diff changeset
808 TmpDir = IncluderAndDir.second->getName();
anatofuz
parents:
diff changeset
809 TmpDir.push_back('/');
anatofuz
parents:
diff changeset
810 TmpDir.append(Filename.begin(), Filename.end());
anatofuz
parents:
diff changeset
811
anatofuz
parents:
diff changeset
812 // FIXME: We don't cache the result of getFileInfo across the call to
anatofuz
parents:
diff changeset
813 // getFileAndSuggestModule, because it's a reference to an element of
anatofuz
parents:
diff changeset
814 // a container that could be reallocated across this call.
anatofuz
parents:
diff changeset
815 //
anatofuz
parents:
diff changeset
816 // If we have no includer, that means we're processing a #include
anatofuz
parents:
diff changeset
817 // from a module build. We should treat this as a system header if we're
anatofuz
parents:
diff changeset
818 // building a [system] module.
anatofuz
parents:
diff changeset
819 bool IncluderIsSystemHeader =
anatofuz
parents:
diff changeset
820 Includer ? getFileInfo(Includer).DirInfo != SrcMgr::C_User :
anatofuz
parents:
diff changeset
821 BuildSystemModule;
anatofuz
parents:
diff changeset
822 if (Optional<FileEntryRef> FE = getFileAndSuggestModule(
anatofuz
parents:
diff changeset
823 TmpDir, IncludeLoc, IncluderAndDir.second, IncluderIsSystemHeader,
anatofuz
parents:
diff changeset
824 RequestingModule, SuggestedModule)) {
anatofuz
parents:
diff changeset
825 if (!Includer) {
anatofuz
parents:
diff changeset
826 assert(First && "only first includer can have no file");
anatofuz
parents:
diff changeset
827 return FE;
anatofuz
parents:
diff changeset
828 }
anatofuz
parents:
diff changeset
829
anatofuz
parents:
diff changeset
830 // Leave CurDir unset.
anatofuz
parents:
diff changeset
831 // This file is a system header or C++ unfriendly if the old file is.
anatofuz
parents:
diff changeset
832 //
anatofuz
parents:
diff changeset
833 // Note that we only use one of FromHFI/ToHFI at once, due to potential
anatofuz
parents:
diff changeset
834 // reallocation of the underlying vector potentially making the first
anatofuz
parents:
diff changeset
835 // reference binding dangling.
anatofuz
parents:
diff changeset
836 HeaderFileInfo &FromHFI = getFileInfo(Includer);
anatofuz
parents:
diff changeset
837 unsigned DirInfo = FromHFI.DirInfo;
anatofuz
parents:
diff changeset
838 bool IndexHeaderMapHeader = FromHFI.IndexHeaderMapHeader;
anatofuz
parents:
diff changeset
839 StringRef Framework = FromHFI.Framework;
anatofuz
parents:
diff changeset
840
anatofuz
parents:
diff changeset
841 HeaderFileInfo &ToHFI = getFileInfo(&FE->getFileEntry());
anatofuz
parents:
diff changeset
842 ToHFI.DirInfo = DirInfo;
anatofuz
parents:
diff changeset
843 ToHFI.IndexHeaderMapHeader = IndexHeaderMapHeader;
anatofuz
parents:
diff changeset
844 ToHFI.Framework = Framework;
anatofuz
parents:
diff changeset
845
anatofuz
parents:
diff changeset
846 if (SearchPath) {
anatofuz
parents:
diff changeset
847 StringRef SearchPathRef(IncluderAndDir.second->getName());
anatofuz
parents:
diff changeset
848 SearchPath->clear();
anatofuz
parents:
diff changeset
849 SearchPath->append(SearchPathRef.begin(), SearchPathRef.end());
anatofuz
parents:
diff changeset
850 }
anatofuz
parents:
diff changeset
851 if (RelativePath) {
anatofuz
parents:
diff changeset
852 RelativePath->clear();
anatofuz
parents:
diff changeset
853 RelativePath->append(Filename.begin(), Filename.end());
anatofuz
parents:
diff changeset
854 }
anatofuz
parents:
diff changeset
855 if (First) {
anatofuz
parents:
diff changeset
856 diagnoseFrameworkInclude(Diags, IncludeLoc,
anatofuz
parents:
diff changeset
857 IncluderAndDir.second->getName(), Filename,
anatofuz
parents:
diff changeset
858 &FE->getFileEntry());
anatofuz
parents:
diff changeset
859 return FE;
anatofuz
parents:
diff changeset
860 }
anatofuz
parents:
diff changeset
861
anatofuz
parents:
diff changeset
862 // Otherwise, we found the path via MSVC header search rules. If
anatofuz
parents:
diff changeset
863 // -Wmsvc-include is enabled, we have to keep searching to see if we
anatofuz
parents:
diff changeset
864 // would've found this header in -I or -isystem directories.
anatofuz
parents:
diff changeset
865 if (Diags.isIgnored(diag::ext_pp_include_search_ms, IncludeLoc)) {
anatofuz
parents:
diff changeset
866 return FE;
anatofuz
parents:
diff changeset
867 } else {
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
868 MSFE = FE;
150
anatofuz
parents:
diff changeset
869 if (SuggestedModule) {
anatofuz
parents:
diff changeset
870 MSSuggestedModule = *SuggestedModule;
anatofuz
parents:
diff changeset
871 *SuggestedModule = ModuleMap::KnownHeader();
anatofuz
parents:
diff changeset
872 }
anatofuz
parents:
diff changeset
873 break;
anatofuz
parents:
diff changeset
874 }
anatofuz
parents:
diff changeset
875 }
anatofuz
parents:
diff changeset
876 First = false;
anatofuz
parents:
diff changeset
877 }
anatofuz
parents:
diff changeset
878 }
anatofuz
parents:
diff changeset
879
anatofuz
parents:
diff changeset
880 CurDir = nullptr;
anatofuz
parents:
diff changeset
881
anatofuz
parents:
diff changeset
882 // If this is a system #include, ignore the user #include locs.
anatofuz
parents:
diff changeset
883 unsigned i = isAngled ? AngledDirIdx : 0;
anatofuz
parents:
diff changeset
884
anatofuz
parents:
diff changeset
885 // If this is a #include_next request, start searching after the directory the
anatofuz
parents:
diff changeset
886 // file was found in.
anatofuz
parents:
diff changeset
887 if (FromDir)
anatofuz
parents:
diff changeset
888 i = FromDir-&SearchDirs[0];
anatofuz
parents:
diff changeset
889
anatofuz
parents:
diff changeset
890 // Cache all of the lookups performed by this method. Many headers are
anatofuz
parents:
diff changeset
891 // multiply included, and the "pragma once" optimization prevents them from
anatofuz
parents:
diff changeset
892 // being relex/pp'd, but they would still have to search through a
anatofuz
parents:
diff changeset
893 // (potentially huge) series of SearchDirs to find it.
anatofuz
parents:
diff changeset
894 LookupFileCacheInfo &CacheLookup = LookupFileCache[Filename];
anatofuz
parents:
diff changeset
895
anatofuz
parents:
diff changeset
896 // If the entry has been previously looked up, the first value will be
anatofuz
parents:
diff changeset
897 // non-zero. If the value is equal to i (the start point of our search), then
anatofuz
parents:
diff changeset
898 // this is a matching hit.
anatofuz
parents:
diff changeset
899 if (!SkipCache && CacheLookup.StartIdx == i+1) {
anatofuz
parents:
diff changeset
900 // Skip querying potentially lots of directories for this lookup.
anatofuz
parents:
diff changeset
901 i = CacheLookup.HitIdx;
anatofuz
parents:
diff changeset
902 if (CacheLookup.MappedName) {
anatofuz
parents:
diff changeset
903 Filename = CacheLookup.MappedName;
anatofuz
parents:
diff changeset
904 if (IsMapped)
anatofuz
parents:
diff changeset
905 *IsMapped = true;
anatofuz
parents:
diff changeset
906 }
anatofuz
parents:
diff changeset
907 } else {
anatofuz
parents:
diff changeset
908 // Otherwise, this is the first query, or the previous query didn't match
anatofuz
parents:
diff changeset
909 // our search start. We will fill in our found location below, so prime the
anatofuz
parents:
diff changeset
910 // start point value.
anatofuz
parents:
diff changeset
911 CacheLookup.reset(/*StartIdx=*/i+1);
anatofuz
parents:
diff changeset
912 }
anatofuz
parents:
diff changeset
913
anatofuz
parents:
diff changeset
914 SmallString<64> MappedName;
anatofuz
parents:
diff changeset
915
anatofuz
parents:
diff changeset
916 // Check each directory in sequence to see if it contains this file.
anatofuz
parents:
diff changeset
917 for (; i != SearchDirs.size(); ++i) {
anatofuz
parents:
diff changeset
918 bool InUserSpecifiedSystemFramework = false;
anatofuz
parents:
diff changeset
919 bool IsInHeaderMap = false;
anatofuz
parents:
diff changeset
920 bool IsFrameworkFoundInDir = false;
anatofuz
parents:
diff changeset
921 Optional<FileEntryRef> File = SearchDirs[i].LookupFile(
anatofuz
parents:
diff changeset
922 Filename, *this, IncludeLoc, SearchPath, RelativePath, RequestingModule,
anatofuz
parents:
diff changeset
923 SuggestedModule, InUserSpecifiedSystemFramework, IsFrameworkFoundInDir,
anatofuz
parents:
diff changeset
924 IsInHeaderMap, MappedName);
anatofuz
parents:
diff changeset
925 if (!MappedName.empty()) {
anatofuz
parents:
diff changeset
926 assert(IsInHeaderMap && "MappedName should come from a header map");
anatofuz
parents:
diff changeset
927 CacheLookup.MappedName =
anatofuz
parents:
diff changeset
928 copyString(MappedName, LookupFileCache.getAllocator());
anatofuz
parents:
diff changeset
929 }
anatofuz
parents:
diff changeset
930 if (IsMapped)
anatofuz
parents:
diff changeset
931 // A filename is mapped when a header map remapped it to a relative path
anatofuz
parents:
diff changeset
932 // used in subsequent header search or to an absolute path pointing to an
anatofuz
parents:
diff changeset
933 // existing file.
anatofuz
parents:
diff changeset
934 *IsMapped |= (!MappedName.empty() || (IsInHeaderMap && File));
anatofuz
parents:
diff changeset
935 if (IsFrameworkFound)
anatofuz
parents:
diff changeset
936 // Because we keep a filename remapped for subsequent search directory
anatofuz
parents:
diff changeset
937 // lookups, ignore IsFrameworkFoundInDir after the first remapping and not
anatofuz
parents:
diff changeset
938 // just for remapping in a current search directory.
anatofuz
parents:
diff changeset
939 *IsFrameworkFound |= (IsFrameworkFoundInDir && !CacheLookup.MappedName);
anatofuz
parents:
diff changeset
940 if (!File)
anatofuz
parents:
diff changeset
941 continue;
anatofuz
parents:
diff changeset
942
anatofuz
parents:
diff changeset
943 CurDir = &SearchDirs[i];
anatofuz
parents:
diff changeset
944
anatofuz
parents:
diff changeset
945 // This file is a system header or C++ unfriendly if the dir is.
anatofuz
parents:
diff changeset
946 HeaderFileInfo &HFI = getFileInfo(&File->getFileEntry());
anatofuz
parents:
diff changeset
947 HFI.DirInfo = CurDir->getDirCharacteristic();
anatofuz
parents:
diff changeset
948
anatofuz
parents:
diff changeset
949 // If the directory characteristic is User but this framework was
anatofuz
parents:
diff changeset
950 // user-specified to be treated as a system framework, promote the
anatofuz
parents:
diff changeset
951 // characteristic.
anatofuz
parents:
diff changeset
952 if (HFI.DirInfo == SrcMgr::C_User && InUserSpecifiedSystemFramework)
anatofuz
parents:
diff changeset
953 HFI.DirInfo = SrcMgr::C_System;
anatofuz
parents:
diff changeset
954
anatofuz
parents:
diff changeset
955 // If the filename matches a known system header prefix, override
anatofuz
parents:
diff changeset
956 // whether the file is a system header.
anatofuz
parents:
diff changeset
957 for (unsigned j = SystemHeaderPrefixes.size(); j; --j) {
anatofuz
parents:
diff changeset
958 if (Filename.startswith(SystemHeaderPrefixes[j-1].first)) {
anatofuz
parents:
diff changeset
959 HFI.DirInfo = SystemHeaderPrefixes[j-1].second ? SrcMgr::C_System
anatofuz
parents:
diff changeset
960 : SrcMgr::C_User;
anatofuz
parents:
diff changeset
961 break;
anatofuz
parents:
diff changeset
962 }
anatofuz
parents:
diff changeset
963 }
anatofuz
parents:
diff changeset
964
anatofuz
parents:
diff changeset
965 // If this file is found in a header map and uses the framework style of
anatofuz
parents:
diff changeset
966 // includes, then this header is part of a framework we're building.
anatofuz
parents:
diff changeset
967 if (CurDir->isIndexHeaderMap()) {
anatofuz
parents:
diff changeset
968 size_t SlashPos = Filename.find('/');
anatofuz
parents:
diff changeset
969 if (SlashPos != StringRef::npos) {
anatofuz
parents:
diff changeset
970 HFI.IndexHeaderMapHeader = 1;
anatofuz
parents:
diff changeset
971 HFI.Framework = getUniqueFrameworkName(StringRef(Filename.begin(),
anatofuz
parents:
diff changeset
972 SlashPos));
anatofuz
parents:
diff changeset
973 }
anatofuz
parents:
diff changeset
974 }
anatofuz
parents:
diff changeset
975
anatofuz
parents:
diff changeset
976 if (checkMSVCHeaderSearch(Diags, MSFE ? &MSFE->getFileEntry() : nullptr,
anatofuz
parents:
diff changeset
977 &File->getFileEntry(), IncludeLoc)) {
anatofuz
parents:
diff changeset
978 if (SuggestedModule)
anatofuz
parents:
diff changeset
979 *SuggestedModule = MSSuggestedModule;
anatofuz
parents:
diff changeset
980 return MSFE;
anatofuz
parents:
diff changeset
981 }
anatofuz
parents:
diff changeset
982
anatofuz
parents:
diff changeset
983 bool FoundByHeaderMap = !IsMapped ? false : *IsMapped;
anatofuz
parents:
diff changeset
984 if (!Includers.empty())
anatofuz
parents:
diff changeset
985 diagnoseFrameworkInclude(
anatofuz
parents:
diff changeset
986 Diags, IncludeLoc, Includers.front().second->getName(), Filename,
anatofuz
parents:
diff changeset
987 &File->getFileEntry(), isAngled, FoundByHeaderMap);
anatofuz
parents:
diff changeset
988
anatofuz
parents:
diff changeset
989 // Remember this location for the next lookup we do.
anatofuz
parents:
diff changeset
990 CacheLookup.HitIdx = i;
anatofuz
parents:
diff changeset
991 return File;
anatofuz
parents:
diff changeset
992 }
anatofuz
parents:
diff changeset
993
anatofuz
parents:
diff changeset
994 // If we are including a file with a quoted include "foo.h" from inside
anatofuz
parents:
diff changeset
995 // a header in a framework that is currently being built, and we couldn't
anatofuz
parents:
diff changeset
996 // resolve "foo.h" any other way, change the include to <Foo/foo.h>, where
anatofuz
parents:
diff changeset
997 // "Foo" is the name of the framework in which the including header was found.
anatofuz
parents:
diff changeset
998 if (!Includers.empty() && Includers.front().first && !isAngled &&
anatofuz
parents:
diff changeset
999 Filename.find('/') == StringRef::npos) {
anatofuz
parents:
diff changeset
1000 HeaderFileInfo &IncludingHFI = getFileInfo(Includers.front().first);
anatofuz
parents:
diff changeset
1001 if (IncludingHFI.IndexHeaderMapHeader) {
anatofuz
parents:
diff changeset
1002 SmallString<128> ScratchFilename;
anatofuz
parents:
diff changeset
1003 ScratchFilename += IncludingHFI.Framework;
anatofuz
parents:
diff changeset
1004 ScratchFilename += '/';
anatofuz
parents:
diff changeset
1005 ScratchFilename += Filename;
anatofuz
parents:
diff changeset
1006
anatofuz
parents:
diff changeset
1007 Optional<FileEntryRef> File = LookupFile(
anatofuz
parents:
diff changeset
1008 ScratchFilename, IncludeLoc, /*isAngled=*/true, FromDir, CurDir,
anatofuz
parents:
diff changeset
1009 Includers.front(), SearchPath, RelativePath, RequestingModule,
anatofuz
parents:
diff changeset
1010 SuggestedModule, IsMapped, /*IsFrameworkFound=*/nullptr);
anatofuz
parents:
diff changeset
1011
anatofuz
parents:
diff changeset
1012 if (checkMSVCHeaderSearch(Diags, MSFE ? &MSFE->getFileEntry() : nullptr,
anatofuz
parents:
diff changeset
1013 File ? &File->getFileEntry() : nullptr,
anatofuz
parents:
diff changeset
1014 IncludeLoc)) {
anatofuz
parents:
diff changeset
1015 if (SuggestedModule)
anatofuz
parents:
diff changeset
1016 *SuggestedModule = MSSuggestedModule;
anatofuz
parents:
diff changeset
1017 return MSFE;
anatofuz
parents:
diff changeset
1018 }
anatofuz
parents:
diff changeset
1019
anatofuz
parents:
diff changeset
1020 LookupFileCacheInfo &CacheLookup = LookupFileCache[Filename];
anatofuz
parents:
diff changeset
1021 CacheLookup.HitIdx = LookupFileCache[ScratchFilename].HitIdx;
anatofuz
parents:
diff changeset
1022 // FIXME: SuggestedModule.
anatofuz
parents:
diff changeset
1023 return File;
anatofuz
parents:
diff changeset
1024 }
anatofuz
parents:
diff changeset
1025 }
anatofuz
parents:
diff changeset
1026
anatofuz
parents:
diff changeset
1027 if (checkMSVCHeaderSearch(Diags, MSFE ? &MSFE->getFileEntry() : nullptr,
anatofuz
parents:
diff changeset
1028 nullptr, IncludeLoc)) {
anatofuz
parents:
diff changeset
1029 if (SuggestedModule)
anatofuz
parents:
diff changeset
1030 *SuggestedModule = MSSuggestedModule;
anatofuz
parents:
diff changeset
1031 return MSFE;
anatofuz
parents:
diff changeset
1032 }
anatofuz
parents:
diff changeset
1033
anatofuz
parents:
diff changeset
1034 // Otherwise, didn't find it. Remember we didn't find this.
anatofuz
parents:
diff changeset
1035 CacheLookup.HitIdx = SearchDirs.size();
anatofuz
parents:
diff changeset
1036 return None;
anatofuz
parents:
diff changeset
1037 }
anatofuz
parents:
diff changeset
1038
anatofuz
parents:
diff changeset
1039 /// LookupSubframeworkHeader - Look up a subframework for the specified
anatofuz
parents:
diff changeset
1040 /// \#include file. For example, if \#include'ing <HIToolbox/HIToolbox.h> from
anatofuz
parents:
diff changeset
1041 /// within ".../Carbon.framework/Headers/Carbon.h", check to see if HIToolbox
anatofuz
parents:
diff changeset
1042 /// is a subframework within Carbon.framework. If so, return the FileEntry
anatofuz
parents:
diff changeset
1043 /// for the designated file, otherwise return null.
anatofuz
parents:
diff changeset
1044 Optional<FileEntryRef> HeaderSearch::LookupSubframeworkHeader(
anatofuz
parents:
diff changeset
1045 StringRef Filename, const FileEntry *ContextFileEnt,
anatofuz
parents:
diff changeset
1046 SmallVectorImpl<char> *SearchPath, SmallVectorImpl<char> *RelativePath,
anatofuz
parents:
diff changeset
1047 Module *RequestingModule, ModuleMap::KnownHeader *SuggestedModule) {
anatofuz
parents:
diff changeset
1048 assert(ContextFileEnt && "No context file?");
anatofuz
parents:
diff changeset
1049
anatofuz
parents:
diff changeset
1050 // Framework names must have a '/' in the filename. Find it.
anatofuz
parents:
diff changeset
1051 // FIXME: Should we permit '\' on Windows?
anatofuz
parents:
diff changeset
1052 size_t SlashPos = Filename.find('/');
anatofuz
parents:
diff changeset
1053 if (SlashPos == StringRef::npos)
anatofuz
parents:
diff changeset
1054 return None;
anatofuz
parents:
diff changeset
1055
anatofuz
parents:
diff changeset
1056 // Look up the base framework name of the ContextFileEnt.
anatofuz
parents:
diff changeset
1057 StringRef ContextName = ContextFileEnt->getName();
anatofuz
parents:
diff changeset
1058
anatofuz
parents:
diff changeset
1059 // If the context info wasn't a framework, couldn't be a subframework.
anatofuz
parents:
diff changeset
1060 const unsigned DotFrameworkLen = 10;
anatofuz
parents:
diff changeset
1061 auto FrameworkPos = ContextName.find(".framework");
anatofuz
parents:
diff changeset
1062 if (FrameworkPos == StringRef::npos ||
anatofuz
parents:
diff changeset
1063 (ContextName[FrameworkPos + DotFrameworkLen] != '/' &&
anatofuz
parents:
diff changeset
1064 ContextName[FrameworkPos + DotFrameworkLen] != '\\'))
anatofuz
parents:
diff changeset
1065 return None;
anatofuz
parents:
diff changeset
1066
anatofuz
parents:
diff changeset
1067 SmallString<1024> FrameworkName(ContextName.data(), ContextName.data() +
anatofuz
parents:
diff changeset
1068 FrameworkPos +
anatofuz
parents:
diff changeset
1069 DotFrameworkLen + 1);
anatofuz
parents:
diff changeset
1070
anatofuz
parents:
diff changeset
1071 // Append Frameworks/HIToolbox.framework/
anatofuz
parents:
diff changeset
1072 FrameworkName += "Frameworks/";
anatofuz
parents:
diff changeset
1073 FrameworkName.append(Filename.begin(), Filename.begin()+SlashPos);
anatofuz
parents:
diff changeset
1074 FrameworkName += ".framework/";
anatofuz
parents:
diff changeset
1075
anatofuz
parents:
diff changeset
1076 auto &CacheLookup =
anatofuz
parents:
diff changeset
1077 *FrameworkMap.insert(std::make_pair(Filename.substr(0, SlashPos),
anatofuz
parents:
diff changeset
1078 FrameworkCacheEntry())).first;
anatofuz
parents:
diff changeset
1079
anatofuz
parents:
diff changeset
1080 // Some other location?
anatofuz
parents:
diff changeset
1081 if (CacheLookup.second.Directory &&
anatofuz
parents:
diff changeset
1082 CacheLookup.first().size() == FrameworkName.size() &&
anatofuz
parents:
diff changeset
1083 memcmp(CacheLookup.first().data(), &FrameworkName[0],
anatofuz
parents:
diff changeset
1084 CacheLookup.first().size()) != 0)
anatofuz
parents:
diff changeset
1085 return None;
anatofuz
parents:
diff changeset
1086
anatofuz
parents:
diff changeset
1087 // Cache subframework.
anatofuz
parents:
diff changeset
1088 if (!CacheLookup.second.Directory) {
anatofuz
parents:
diff changeset
1089 ++NumSubFrameworkLookups;
anatofuz
parents:
diff changeset
1090
anatofuz
parents:
diff changeset
1091 // If the framework dir doesn't exist, we fail.
anatofuz
parents:
diff changeset
1092 auto Dir = FileMgr.getDirectory(FrameworkName);
anatofuz
parents:
diff changeset
1093 if (!Dir)
anatofuz
parents:
diff changeset
1094 return None;
anatofuz
parents:
diff changeset
1095
anatofuz
parents:
diff changeset
1096 // Otherwise, if it does, remember that this is the right direntry for this
anatofuz
parents:
diff changeset
1097 // framework.
anatofuz
parents:
diff changeset
1098 CacheLookup.second.Directory = *Dir;
anatofuz
parents:
diff changeset
1099 }
anatofuz
parents:
diff changeset
1100
anatofuz
parents:
diff changeset
1101
anatofuz
parents:
diff changeset
1102 if (RelativePath) {
anatofuz
parents:
diff changeset
1103 RelativePath->clear();
anatofuz
parents:
diff changeset
1104 RelativePath->append(Filename.begin()+SlashPos+1, Filename.end());
anatofuz
parents:
diff changeset
1105 }
anatofuz
parents:
diff changeset
1106
anatofuz
parents:
diff changeset
1107 // Check ".../Frameworks/HIToolbox.framework/Headers/HIToolbox.h"
anatofuz
parents:
diff changeset
1108 SmallString<1024> HeadersFilename(FrameworkName);
anatofuz
parents:
diff changeset
1109 HeadersFilename += "Headers/";
anatofuz
parents:
diff changeset
1110 if (SearchPath) {
anatofuz
parents:
diff changeset
1111 SearchPath->clear();
anatofuz
parents:
diff changeset
1112 // Without trailing '/'.
anatofuz
parents:
diff changeset
1113 SearchPath->append(HeadersFilename.begin(), HeadersFilename.end()-1);
anatofuz
parents:
diff changeset
1114 }
anatofuz
parents:
diff changeset
1115
anatofuz
parents:
diff changeset
1116 HeadersFilename.append(Filename.begin()+SlashPos+1, Filename.end());
anatofuz
parents:
diff changeset
1117 auto File = FileMgr.getOptionalFileRef(HeadersFilename, /*OpenFile=*/true);
anatofuz
parents:
diff changeset
1118 if (!File) {
anatofuz
parents:
diff changeset
1119 // Check ".../Frameworks/HIToolbox.framework/PrivateHeaders/HIToolbox.h"
anatofuz
parents:
diff changeset
1120 HeadersFilename = FrameworkName;
anatofuz
parents:
diff changeset
1121 HeadersFilename += "PrivateHeaders/";
anatofuz
parents:
diff changeset
1122 if (SearchPath) {
anatofuz
parents:
diff changeset
1123 SearchPath->clear();
anatofuz
parents:
diff changeset
1124 // Without trailing '/'.
anatofuz
parents:
diff changeset
1125 SearchPath->append(HeadersFilename.begin(), HeadersFilename.end()-1);
anatofuz
parents:
diff changeset
1126 }
anatofuz
parents:
diff changeset
1127
anatofuz
parents:
diff changeset
1128 HeadersFilename.append(Filename.begin()+SlashPos+1, Filename.end());
anatofuz
parents:
diff changeset
1129 File = FileMgr.getOptionalFileRef(HeadersFilename, /*OpenFile=*/true);
anatofuz
parents:
diff changeset
1130
anatofuz
parents:
diff changeset
1131 if (!File)
anatofuz
parents:
diff changeset
1132 return None;
anatofuz
parents:
diff changeset
1133 }
anatofuz
parents:
diff changeset
1134
anatofuz
parents:
diff changeset
1135 // This file is a system header or C++ unfriendly if the old file is.
anatofuz
parents:
diff changeset
1136 //
anatofuz
parents:
diff changeset
1137 // Note that the temporary 'DirInfo' is required here, as either call to
anatofuz
parents:
diff changeset
1138 // getFileInfo could resize the vector and we don't want to rely on order
anatofuz
parents:
diff changeset
1139 // of evaluation.
anatofuz
parents:
diff changeset
1140 unsigned DirInfo = getFileInfo(ContextFileEnt).DirInfo;
anatofuz
parents:
diff changeset
1141 getFileInfo(&File->getFileEntry()).DirInfo = DirInfo;
anatofuz
parents:
diff changeset
1142
anatofuz
parents:
diff changeset
1143 FrameworkName.pop_back(); // remove the trailing '/'
anatofuz
parents:
diff changeset
1144 if (!findUsableModuleForFrameworkHeader(&File->getFileEntry(), FrameworkName,
anatofuz
parents:
diff changeset
1145 RequestingModule, SuggestedModule,
anatofuz
parents:
diff changeset
1146 /*IsSystem*/ false))
anatofuz
parents:
diff changeset
1147 return None;
anatofuz
parents:
diff changeset
1148
anatofuz
parents:
diff changeset
1149 return *File;
anatofuz
parents:
diff changeset
1150 }
anatofuz
parents:
diff changeset
1151
anatofuz
parents:
diff changeset
1152 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
1153 // File Info Management.
anatofuz
parents:
diff changeset
1154 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
1155
anatofuz
parents:
diff changeset
1156 /// Merge the header file info provided by \p OtherHFI into the current
anatofuz
parents:
diff changeset
1157 /// header file info (\p HFI)
anatofuz
parents:
diff changeset
1158 static void mergeHeaderFileInfo(HeaderFileInfo &HFI,
anatofuz
parents:
diff changeset
1159 const HeaderFileInfo &OtherHFI) {
anatofuz
parents:
diff changeset
1160 assert(OtherHFI.External && "expected to merge external HFI");
anatofuz
parents:
diff changeset
1161
anatofuz
parents:
diff changeset
1162 HFI.isImport |= OtherHFI.isImport;
anatofuz
parents:
diff changeset
1163 HFI.isPragmaOnce |= OtherHFI.isPragmaOnce;
anatofuz
parents:
diff changeset
1164 HFI.isModuleHeader |= OtherHFI.isModuleHeader;
anatofuz
parents:
diff changeset
1165 HFI.NumIncludes += OtherHFI.NumIncludes;
anatofuz
parents:
diff changeset
1166
anatofuz
parents:
diff changeset
1167 if (!HFI.ControllingMacro && !HFI.ControllingMacroID) {
anatofuz
parents:
diff changeset
1168 HFI.ControllingMacro = OtherHFI.ControllingMacro;
anatofuz
parents:
diff changeset
1169 HFI.ControllingMacroID = OtherHFI.ControllingMacroID;
anatofuz
parents:
diff changeset
1170 }
anatofuz
parents:
diff changeset
1171
anatofuz
parents:
diff changeset
1172 HFI.DirInfo = OtherHFI.DirInfo;
anatofuz
parents:
diff changeset
1173 HFI.External = (!HFI.IsValid || HFI.External);
anatofuz
parents:
diff changeset
1174 HFI.IsValid = true;
anatofuz
parents:
diff changeset
1175 HFI.IndexHeaderMapHeader = OtherHFI.IndexHeaderMapHeader;
anatofuz
parents:
diff changeset
1176
anatofuz
parents:
diff changeset
1177 if (HFI.Framework.empty())
anatofuz
parents:
diff changeset
1178 HFI.Framework = OtherHFI.Framework;
anatofuz
parents:
diff changeset
1179 }
anatofuz
parents:
diff changeset
1180
anatofuz
parents:
diff changeset
1181 /// getFileInfo - Return the HeaderFileInfo structure for the specified
anatofuz
parents:
diff changeset
1182 /// FileEntry.
anatofuz
parents:
diff changeset
1183 HeaderFileInfo &HeaderSearch::getFileInfo(const FileEntry *FE) {
anatofuz
parents:
diff changeset
1184 if (FE->getUID() >= FileInfo.size())
anatofuz
parents:
diff changeset
1185 FileInfo.resize(FE->getUID() + 1);
anatofuz
parents:
diff changeset
1186
anatofuz
parents:
diff changeset
1187 HeaderFileInfo *HFI = &FileInfo[FE->getUID()];
anatofuz
parents:
diff changeset
1188 // FIXME: Use a generation count to check whether this is really up to date.
anatofuz
parents:
diff changeset
1189 if (ExternalSource && !HFI->Resolved) {
anatofuz
parents:
diff changeset
1190 auto ExternalHFI = ExternalSource->GetHeaderFileInfo(FE);
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1191 if (ExternalHFI.IsValid) {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1192 HFI->Resolved = true;
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1193 if (ExternalHFI.External)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1194 mergeHeaderFileInfo(*HFI, ExternalHFI);
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1195 }
150
anatofuz
parents:
diff changeset
1196 }
anatofuz
parents:
diff changeset
1197
anatofuz
parents:
diff changeset
1198 HFI->IsValid = true;
anatofuz
parents:
diff changeset
1199 // We have local information about this header file, so it's no longer
anatofuz
parents:
diff changeset
1200 // strictly external.
anatofuz
parents:
diff changeset
1201 HFI->External = false;
anatofuz
parents:
diff changeset
1202 return *HFI;
anatofuz
parents:
diff changeset
1203 }
anatofuz
parents:
diff changeset
1204
anatofuz
parents:
diff changeset
1205 const HeaderFileInfo *
anatofuz
parents:
diff changeset
1206 HeaderSearch::getExistingFileInfo(const FileEntry *FE,
anatofuz
parents:
diff changeset
1207 bool WantExternal) const {
anatofuz
parents:
diff changeset
1208 // If we have an external source, ensure we have the latest information.
anatofuz
parents:
diff changeset
1209 // FIXME: Use a generation count to check whether this is really up to date.
anatofuz
parents:
diff changeset
1210 HeaderFileInfo *HFI;
anatofuz
parents:
diff changeset
1211 if (ExternalSource) {
anatofuz
parents:
diff changeset
1212 if (FE->getUID() >= FileInfo.size()) {
anatofuz
parents:
diff changeset
1213 if (!WantExternal)
anatofuz
parents:
diff changeset
1214 return nullptr;
anatofuz
parents:
diff changeset
1215 FileInfo.resize(FE->getUID() + 1);
anatofuz
parents:
diff changeset
1216 }
anatofuz
parents:
diff changeset
1217
anatofuz
parents:
diff changeset
1218 HFI = &FileInfo[FE->getUID()];
anatofuz
parents:
diff changeset
1219 if (!WantExternal && (!HFI->IsValid || HFI->External))
anatofuz
parents:
diff changeset
1220 return nullptr;
anatofuz
parents:
diff changeset
1221 if (!HFI->Resolved) {
anatofuz
parents:
diff changeset
1222 auto ExternalHFI = ExternalSource->GetHeaderFileInfo(FE);
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1223 if (ExternalHFI.IsValid) {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1224 HFI->Resolved = true;
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1225 if (ExternalHFI.External)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1226 mergeHeaderFileInfo(*HFI, ExternalHFI);
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1227 }
150
anatofuz
parents:
diff changeset
1228 }
anatofuz
parents:
diff changeset
1229 } else if (FE->getUID() >= FileInfo.size()) {
anatofuz
parents:
diff changeset
1230 return nullptr;
anatofuz
parents:
diff changeset
1231 } else {
anatofuz
parents:
diff changeset
1232 HFI = &FileInfo[FE->getUID()];
anatofuz
parents:
diff changeset
1233 }
anatofuz
parents:
diff changeset
1234
anatofuz
parents:
diff changeset
1235 if (!HFI->IsValid || (HFI->External && !WantExternal))
anatofuz
parents:
diff changeset
1236 return nullptr;
anatofuz
parents:
diff changeset
1237
anatofuz
parents:
diff changeset
1238 return HFI;
anatofuz
parents:
diff changeset
1239 }
anatofuz
parents:
diff changeset
1240
anatofuz
parents:
diff changeset
1241 bool HeaderSearch::isFileMultipleIncludeGuarded(const FileEntry *File) {
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1242 // Check if we've entered this file and found an include guard or #pragma
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1243 // once. Note that we dor't check for #import, because that's not a property
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1244 // of the file itself.
150
anatofuz
parents:
diff changeset
1245 if (auto *HFI = getExistingFileInfo(File))
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1246 return HFI->isPragmaOnce || HFI->ControllingMacro ||
150
anatofuz
parents:
diff changeset
1247 HFI->ControllingMacroID;
anatofuz
parents:
diff changeset
1248 return false;
anatofuz
parents:
diff changeset
1249 }
anatofuz
parents:
diff changeset
1250
anatofuz
parents:
diff changeset
1251 void HeaderSearch::MarkFileModuleHeader(const FileEntry *FE,
anatofuz
parents:
diff changeset
1252 ModuleMap::ModuleHeaderRole Role,
anatofuz
parents:
diff changeset
1253 bool isCompilingModuleHeader) {
anatofuz
parents:
diff changeset
1254 bool isModularHeader = !(Role & ModuleMap::TextualHeader);
anatofuz
parents:
diff changeset
1255
anatofuz
parents:
diff changeset
1256 // Don't mark the file info as non-external if there's nothing to change.
anatofuz
parents:
diff changeset
1257 if (!isCompilingModuleHeader) {
anatofuz
parents:
diff changeset
1258 if (!isModularHeader)
anatofuz
parents:
diff changeset
1259 return;
anatofuz
parents:
diff changeset
1260 auto *HFI = getExistingFileInfo(FE);
anatofuz
parents:
diff changeset
1261 if (HFI && HFI->isModuleHeader)
anatofuz
parents:
diff changeset
1262 return;
anatofuz
parents:
diff changeset
1263 }
anatofuz
parents:
diff changeset
1264
anatofuz
parents:
diff changeset
1265 auto &HFI = getFileInfo(FE);
anatofuz
parents:
diff changeset
1266 HFI.isModuleHeader |= isModularHeader;
anatofuz
parents:
diff changeset
1267 HFI.isCompilingModuleHeader |= isCompilingModuleHeader;
anatofuz
parents:
diff changeset
1268 }
anatofuz
parents:
diff changeset
1269
anatofuz
parents:
diff changeset
1270 bool HeaderSearch::ShouldEnterIncludeFile(Preprocessor &PP,
anatofuz
parents:
diff changeset
1271 const FileEntry *File, bool isImport,
anatofuz
parents:
diff changeset
1272 bool ModulesEnabled, Module *M) {
anatofuz
parents:
diff changeset
1273 ++NumIncluded; // Count # of attempted #includes.
anatofuz
parents:
diff changeset
1274
anatofuz
parents:
diff changeset
1275 // Get information about this file.
anatofuz
parents:
diff changeset
1276 HeaderFileInfo &FileInfo = getFileInfo(File);
anatofuz
parents:
diff changeset
1277
anatofuz
parents:
diff changeset
1278 // FIXME: this is a workaround for the lack of proper modules-aware support
anatofuz
parents:
diff changeset
1279 // for #import / #pragma once
anatofuz
parents:
diff changeset
1280 auto TryEnterImported = [&]() -> bool {
anatofuz
parents:
diff changeset
1281 if (!ModulesEnabled)
anatofuz
parents:
diff changeset
1282 return false;
anatofuz
parents:
diff changeset
1283 // Ensure FileInfo bits are up to date.
anatofuz
parents:
diff changeset
1284 ModMap.resolveHeaderDirectives(File);
anatofuz
parents:
diff changeset
1285 // Modules with builtins are special; multiple modules use builtins as
anatofuz
parents:
diff changeset
1286 // modular headers, example:
anatofuz
parents:
diff changeset
1287 //
anatofuz
parents:
diff changeset
1288 // module stddef { header "stddef.h" export * }
anatofuz
parents:
diff changeset
1289 //
anatofuz
parents:
diff changeset
1290 // After module map parsing, this expands to:
anatofuz
parents:
diff changeset
1291 //
anatofuz
parents:
diff changeset
1292 // module stddef {
anatofuz
parents:
diff changeset
1293 // header "/path_to_builtin_dirs/stddef.h"
anatofuz
parents:
diff changeset
1294 // textual "stddef.h"
anatofuz
parents:
diff changeset
1295 // }
anatofuz
parents:
diff changeset
1296 //
anatofuz
parents:
diff changeset
1297 // It's common that libc++ and system modules will both define such
anatofuz
parents:
diff changeset
1298 // submodules. Make sure cached results for a builtin header won't
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1299 // prevent other builtin modules from potentially entering the builtin
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1300 // header. Note that builtins are header guarded and the decision to
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1301 // actually enter them is postponed to the controlling macros logic below.
150
anatofuz
parents:
diff changeset
1302 bool TryEnterHdr = false;
anatofuz
parents:
diff changeset
1303 if (FileInfo.isCompilingModuleHeader && FileInfo.isModuleHeader)
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1304 TryEnterHdr = ModMap.isBuiltinHeader(File);
150
anatofuz
parents:
diff changeset
1305
anatofuz
parents:
diff changeset
1306 // Textual headers can be #imported from different modules. Since ObjC
anatofuz
parents:
diff changeset
1307 // headers find in the wild might rely only on #import and do not contain
anatofuz
parents:
diff changeset
1308 // controlling macros, be conservative and only try to enter textual headers
anatofuz
parents:
diff changeset
1309 // if such macro is present.
anatofuz
parents:
diff changeset
1310 if (!FileInfo.isModuleHeader &&
anatofuz
parents:
diff changeset
1311 FileInfo.getControllingMacro(ExternalLookup))
anatofuz
parents:
diff changeset
1312 TryEnterHdr = true;
anatofuz
parents:
diff changeset
1313 return TryEnterHdr;
anatofuz
parents:
diff changeset
1314 };
anatofuz
parents:
diff changeset
1315
anatofuz
parents:
diff changeset
1316 // If this is a #import directive, check that we have not already imported
anatofuz
parents:
diff changeset
1317 // this header.
anatofuz
parents:
diff changeset
1318 if (isImport) {
anatofuz
parents:
diff changeset
1319 // If this has already been imported, don't import it again.
anatofuz
parents:
diff changeset
1320 FileInfo.isImport = true;
anatofuz
parents:
diff changeset
1321
anatofuz
parents:
diff changeset
1322 // Has this already been #import'ed or #include'd?
anatofuz
parents:
diff changeset
1323 if (FileInfo.NumIncludes && !TryEnterImported())
anatofuz
parents:
diff changeset
1324 return false;
anatofuz
parents:
diff changeset
1325 } else {
anatofuz
parents:
diff changeset
1326 // Otherwise, if this is a #include of a file that was previously #import'd
anatofuz
parents:
diff changeset
1327 // or if this is the second #include of a #pragma once file, ignore it.
anatofuz
parents:
diff changeset
1328 if (FileInfo.isImport && !TryEnterImported())
anatofuz
parents:
diff changeset
1329 return false;
anatofuz
parents:
diff changeset
1330 }
anatofuz
parents:
diff changeset
1331
anatofuz
parents:
diff changeset
1332 // Next, check to see if the file is wrapped with #ifndef guards. If so, and
anatofuz
parents:
diff changeset
1333 // if the macro that guards it is defined, we know the #include has no effect.
anatofuz
parents:
diff changeset
1334 if (const IdentifierInfo *ControllingMacro
anatofuz
parents:
diff changeset
1335 = FileInfo.getControllingMacro(ExternalLookup)) {
anatofuz
parents:
diff changeset
1336 // If the header corresponds to a module, check whether the macro is already
anatofuz
parents:
diff changeset
1337 // defined in that module rather than checking in the current set of visible
anatofuz
parents:
diff changeset
1338 // modules.
anatofuz
parents:
diff changeset
1339 if (M ? PP.isMacroDefinedInLocalModule(ControllingMacro, M)
anatofuz
parents:
diff changeset
1340 : PP.isMacroDefined(ControllingMacro)) {
anatofuz
parents:
diff changeset
1341 ++NumMultiIncludeFileOptzn;
anatofuz
parents:
diff changeset
1342 return false;
anatofuz
parents:
diff changeset
1343 }
anatofuz
parents:
diff changeset
1344 }
anatofuz
parents:
diff changeset
1345
anatofuz
parents:
diff changeset
1346 // Increment the number of times this file has been included.
anatofuz
parents:
diff changeset
1347 ++FileInfo.NumIncludes;
anatofuz
parents:
diff changeset
1348
anatofuz
parents:
diff changeset
1349 return true;
anatofuz
parents:
diff changeset
1350 }
anatofuz
parents:
diff changeset
1351
anatofuz
parents:
diff changeset
1352 size_t HeaderSearch::getTotalMemory() const {
anatofuz
parents:
diff changeset
1353 return SearchDirs.capacity()
anatofuz
parents:
diff changeset
1354 + llvm::capacity_in_bytes(FileInfo)
anatofuz
parents:
diff changeset
1355 + llvm::capacity_in_bytes(HeaderMaps)
anatofuz
parents:
diff changeset
1356 + LookupFileCache.getAllocator().getTotalMemory()
anatofuz
parents:
diff changeset
1357 + FrameworkMap.getAllocator().getTotalMemory();
anatofuz
parents:
diff changeset
1358 }
anatofuz
parents:
diff changeset
1359
anatofuz
parents:
diff changeset
1360 StringRef HeaderSearch::getUniqueFrameworkName(StringRef Framework) {
anatofuz
parents:
diff changeset
1361 return FrameworkNames.insert(Framework).first->first();
anatofuz
parents:
diff changeset
1362 }
anatofuz
parents:
diff changeset
1363
anatofuz
parents:
diff changeset
1364 bool HeaderSearch::hasModuleMap(StringRef FileName,
anatofuz
parents:
diff changeset
1365 const DirectoryEntry *Root,
anatofuz
parents:
diff changeset
1366 bool IsSystem) {
anatofuz
parents:
diff changeset
1367 if (!HSOpts->ImplicitModuleMaps)
anatofuz
parents:
diff changeset
1368 return false;
anatofuz
parents:
diff changeset
1369
anatofuz
parents:
diff changeset
1370 SmallVector<const DirectoryEntry *, 2> FixUpDirectories;
anatofuz
parents:
diff changeset
1371
anatofuz
parents:
diff changeset
1372 StringRef DirName = FileName;
anatofuz
parents:
diff changeset
1373 do {
anatofuz
parents:
diff changeset
1374 // Get the parent directory name.
anatofuz
parents:
diff changeset
1375 DirName = llvm::sys::path::parent_path(DirName);
anatofuz
parents:
diff changeset
1376 if (DirName.empty())
anatofuz
parents:
diff changeset
1377 return false;
anatofuz
parents:
diff changeset
1378
anatofuz
parents:
diff changeset
1379 // Determine whether this directory exists.
anatofuz
parents:
diff changeset
1380 auto Dir = FileMgr.getDirectory(DirName);
anatofuz
parents:
diff changeset
1381 if (!Dir)
anatofuz
parents:
diff changeset
1382 return false;
anatofuz
parents:
diff changeset
1383
anatofuz
parents:
diff changeset
1384 // Try to load the module map file in this directory.
anatofuz
parents:
diff changeset
1385 switch (loadModuleMapFile(*Dir, IsSystem,
anatofuz
parents:
diff changeset
1386 llvm::sys::path::extension((*Dir)->getName()) ==
anatofuz
parents:
diff changeset
1387 ".framework")) {
anatofuz
parents:
diff changeset
1388 case LMM_NewlyLoaded:
anatofuz
parents:
diff changeset
1389 case LMM_AlreadyLoaded:
anatofuz
parents:
diff changeset
1390 // Success. All of the directories we stepped through inherit this module
anatofuz
parents:
diff changeset
1391 // map file.
anatofuz
parents:
diff changeset
1392 for (unsigned I = 0, N = FixUpDirectories.size(); I != N; ++I)
anatofuz
parents:
diff changeset
1393 DirectoryHasModuleMap[FixUpDirectories[I]] = true;
anatofuz
parents:
diff changeset
1394 return true;
anatofuz
parents:
diff changeset
1395
anatofuz
parents:
diff changeset
1396 case LMM_NoDirectory:
anatofuz
parents:
diff changeset
1397 case LMM_InvalidModuleMap:
anatofuz
parents:
diff changeset
1398 break;
anatofuz
parents:
diff changeset
1399 }
anatofuz
parents:
diff changeset
1400
anatofuz
parents:
diff changeset
1401 // If we hit the top of our search, we're done.
anatofuz
parents:
diff changeset
1402 if (*Dir == Root)
anatofuz
parents:
diff changeset
1403 return false;
anatofuz
parents:
diff changeset
1404
anatofuz
parents:
diff changeset
1405 // Keep track of all of the directories we checked, so we can mark them as
anatofuz
parents:
diff changeset
1406 // having module maps if we eventually do find a module map.
anatofuz
parents:
diff changeset
1407 FixUpDirectories.push_back(*Dir);
anatofuz
parents:
diff changeset
1408 } while (true);
anatofuz
parents:
diff changeset
1409 }
anatofuz
parents:
diff changeset
1410
anatofuz
parents:
diff changeset
1411 ModuleMap::KnownHeader
anatofuz
parents:
diff changeset
1412 HeaderSearch::findModuleForHeader(const FileEntry *File,
anatofuz
parents:
diff changeset
1413 bool AllowTextual) const {
anatofuz
parents:
diff changeset
1414 if (ExternalSource) {
anatofuz
parents:
diff changeset
1415 // Make sure the external source has handled header info about this file,
anatofuz
parents:
diff changeset
1416 // which includes whether the file is part of a module.
anatofuz
parents:
diff changeset
1417 (void)getExistingFileInfo(File);
anatofuz
parents:
diff changeset
1418 }
anatofuz
parents:
diff changeset
1419 return ModMap.findModuleForHeader(File, AllowTextual);
anatofuz
parents:
diff changeset
1420 }
anatofuz
parents:
diff changeset
1421
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1422 ArrayRef<ModuleMap::KnownHeader>
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1423 HeaderSearch::findAllModulesForHeader(const FileEntry *File) const {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1424 if (ExternalSource) {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1425 // Make sure the external source has handled header info about this file,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1426 // which includes whether the file is part of a module.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1427 (void)getExistingFileInfo(File);
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1428 }
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1429 return ModMap.findAllModulesForHeader(File);
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1430 }
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1431
150
anatofuz
parents:
diff changeset
1432 static bool suggestModule(HeaderSearch &HS, const FileEntry *File,
anatofuz
parents:
diff changeset
1433 Module *RequestingModule,
anatofuz
parents:
diff changeset
1434 ModuleMap::KnownHeader *SuggestedModule) {
anatofuz
parents:
diff changeset
1435 ModuleMap::KnownHeader Module =
anatofuz
parents:
diff changeset
1436 HS.findModuleForHeader(File, /*AllowTextual*/true);
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1437
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1438 // If this module specifies [no_undeclared_includes], we cannot find any
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1439 // file that's in a non-dependency module.
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1440 if (RequestingModule && Module && RequestingModule->NoUndeclaredIncludes) {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1441 HS.getModuleMap().resolveUses(RequestingModule, /*Complain*/ false);
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1442 if (!RequestingModule->directlyUses(Module.getModule())) {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1443 // Builtin headers are a special case. Multiple modules can use the same
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1444 // builtin as a modular header (see also comment in
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1445 // ShouldEnterIncludeFile()), so the builtin header may have been
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1446 // "claimed" by an unrelated module. This shouldn't prevent us from
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1447 // including the builtin header textually in this module.
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1448 if (HS.getModuleMap().isBuiltinHeader(File)) {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1449 if (SuggestedModule)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1450 *SuggestedModule = ModuleMap::KnownHeader();
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1451 return true;
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1452 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1453 return false;
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1454 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1455 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1456
150
anatofuz
parents:
diff changeset
1457 if (SuggestedModule)
anatofuz
parents:
diff changeset
1458 *SuggestedModule = (Module.getRole() & ModuleMap::TextualHeader)
anatofuz
parents:
diff changeset
1459 ? ModuleMap::KnownHeader()
anatofuz
parents:
diff changeset
1460 : Module;
anatofuz
parents:
diff changeset
1461
anatofuz
parents:
diff changeset
1462 return true;
anatofuz
parents:
diff changeset
1463 }
anatofuz
parents:
diff changeset
1464
anatofuz
parents:
diff changeset
1465 bool HeaderSearch::findUsableModuleForHeader(
anatofuz
parents:
diff changeset
1466 const FileEntry *File, const DirectoryEntry *Root, Module *RequestingModule,
anatofuz
parents:
diff changeset
1467 ModuleMap::KnownHeader *SuggestedModule, bool IsSystemHeaderDir) {
anatofuz
parents:
diff changeset
1468 if (File && needModuleLookup(RequestingModule, SuggestedModule)) {
anatofuz
parents:
diff changeset
1469 // If there is a module that corresponds to this header, suggest it.
anatofuz
parents:
diff changeset
1470 hasModuleMap(File->getName(), Root, IsSystemHeaderDir);
anatofuz
parents:
diff changeset
1471 return suggestModule(*this, File, RequestingModule, SuggestedModule);
anatofuz
parents:
diff changeset
1472 }
anatofuz
parents:
diff changeset
1473 return true;
anatofuz
parents:
diff changeset
1474 }
anatofuz
parents:
diff changeset
1475
anatofuz
parents:
diff changeset
1476 bool HeaderSearch::findUsableModuleForFrameworkHeader(
anatofuz
parents:
diff changeset
1477 const FileEntry *File, StringRef FrameworkName, Module *RequestingModule,
anatofuz
parents:
diff changeset
1478 ModuleMap::KnownHeader *SuggestedModule, bool IsSystemFramework) {
anatofuz
parents:
diff changeset
1479 // If we're supposed to suggest a module, look for one now.
anatofuz
parents:
diff changeset
1480 if (needModuleLookup(RequestingModule, SuggestedModule)) {
anatofuz
parents:
diff changeset
1481 // Find the top-level framework based on this framework.
anatofuz
parents:
diff changeset
1482 SmallVector<std::string, 4> SubmodulePath;
anatofuz
parents:
diff changeset
1483 const DirectoryEntry *TopFrameworkDir
anatofuz
parents:
diff changeset
1484 = ::getTopFrameworkDir(FileMgr, FrameworkName, SubmodulePath);
anatofuz
parents:
diff changeset
1485
anatofuz
parents:
diff changeset
1486 // Determine the name of the top-level framework.
anatofuz
parents:
diff changeset
1487 StringRef ModuleName = llvm::sys::path::stem(TopFrameworkDir->getName());
anatofuz
parents:
diff changeset
1488
anatofuz
parents:
diff changeset
1489 // Load this framework module. If that succeeds, find the suggested module
anatofuz
parents:
diff changeset
1490 // for this header, if any.
anatofuz
parents:
diff changeset
1491 loadFrameworkModule(ModuleName, TopFrameworkDir, IsSystemFramework);
anatofuz
parents:
diff changeset
1492
anatofuz
parents:
diff changeset
1493 // FIXME: This can find a module not part of ModuleName, which is
anatofuz
parents:
diff changeset
1494 // important so that we're consistent about whether this header
anatofuz
parents:
diff changeset
1495 // corresponds to a module. Possibly we should lock down framework modules
anatofuz
parents:
diff changeset
1496 // so that this is not possible.
anatofuz
parents:
diff changeset
1497 return suggestModule(*this, File, RequestingModule, SuggestedModule);
anatofuz
parents:
diff changeset
1498 }
anatofuz
parents:
diff changeset
1499 return true;
anatofuz
parents:
diff changeset
1500 }
anatofuz
parents:
diff changeset
1501
anatofuz
parents:
diff changeset
1502 static const FileEntry *getPrivateModuleMap(const FileEntry *File,
anatofuz
parents:
diff changeset
1503 FileManager &FileMgr) {
anatofuz
parents:
diff changeset
1504 StringRef Filename = llvm::sys::path::filename(File->getName());
anatofuz
parents:
diff changeset
1505 SmallString<128> PrivateFilename(File->getDir()->getName());
anatofuz
parents:
diff changeset
1506 if (Filename == "module.map")
anatofuz
parents:
diff changeset
1507 llvm::sys::path::append(PrivateFilename, "module_private.map");
anatofuz
parents:
diff changeset
1508 else if (Filename == "module.modulemap")
anatofuz
parents:
diff changeset
1509 llvm::sys::path::append(PrivateFilename, "module.private.modulemap");
anatofuz
parents:
diff changeset
1510 else
anatofuz
parents:
diff changeset
1511 return nullptr;
anatofuz
parents:
diff changeset
1512 if (auto File = FileMgr.getFile(PrivateFilename))
anatofuz
parents:
diff changeset
1513 return *File;
anatofuz
parents:
diff changeset
1514 return nullptr;
anatofuz
parents:
diff changeset
1515 }
anatofuz
parents:
diff changeset
1516
anatofuz
parents:
diff changeset
1517 bool HeaderSearch::loadModuleMapFile(const FileEntry *File, bool IsSystem,
anatofuz
parents:
diff changeset
1518 FileID ID, unsigned *Offset,
anatofuz
parents:
diff changeset
1519 StringRef OriginalModuleMapFile) {
anatofuz
parents:
diff changeset
1520 // Find the directory for the module. For frameworks, that may require going
anatofuz
parents:
diff changeset
1521 // up from the 'Modules' directory.
anatofuz
parents:
diff changeset
1522 const DirectoryEntry *Dir = nullptr;
anatofuz
parents:
diff changeset
1523 if (getHeaderSearchOpts().ModuleMapFileHomeIsCwd) {
anatofuz
parents:
diff changeset
1524 if (auto DirOrErr = FileMgr.getDirectory("."))
anatofuz
parents:
diff changeset
1525 Dir = *DirOrErr;
anatofuz
parents:
diff changeset
1526 } else {
anatofuz
parents:
diff changeset
1527 if (!OriginalModuleMapFile.empty()) {
anatofuz
parents:
diff changeset
1528 // We're building a preprocessed module map. Find or invent the directory
anatofuz
parents:
diff changeset
1529 // that it originally occupied.
anatofuz
parents:
diff changeset
1530 auto DirOrErr = FileMgr.getDirectory(
anatofuz
parents:
diff changeset
1531 llvm::sys::path::parent_path(OriginalModuleMapFile));
anatofuz
parents:
diff changeset
1532 if (DirOrErr) {
anatofuz
parents:
diff changeset
1533 Dir = *DirOrErr;
anatofuz
parents:
diff changeset
1534 } else {
anatofuz
parents:
diff changeset
1535 auto *FakeFile = FileMgr.getVirtualFile(OriginalModuleMapFile, 0, 0);
anatofuz
parents:
diff changeset
1536 Dir = FakeFile->getDir();
anatofuz
parents:
diff changeset
1537 }
anatofuz
parents:
diff changeset
1538 } else {
anatofuz
parents:
diff changeset
1539 Dir = File->getDir();
anatofuz
parents:
diff changeset
1540 }
anatofuz
parents:
diff changeset
1541
anatofuz
parents:
diff changeset
1542 StringRef DirName(Dir->getName());
anatofuz
parents:
diff changeset
1543 if (llvm::sys::path::filename(DirName) == "Modules") {
anatofuz
parents:
diff changeset
1544 DirName = llvm::sys::path::parent_path(DirName);
anatofuz
parents:
diff changeset
1545 if (DirName.endswith(".framework"))
anatofuz
parents:
diff changeset
1546 if (auto DirOrErr = FileMgr.getDirectory(DirName))
anatofuz
parents:
diff changeset
1547 Dir = *DirOrErr;
anatofuz
parents:
diff changeset
1548 // FIXME: This assert can fail if there's a race between the above check
anatofuz
parents:
diff changeset
1549 // and the removal of the directory.
anatofuz
parents:
diff changeset
1550 assert(Dir && "parent must exist");
anatofuz
parents:
diff changeset
1551 }
anatofuz
parents:
diff changeset
1552 }
anatofuz
parents:
diff changeset
1553
anatofuz
parents:
diff changeset
1554 switch (loadModuleMapFileImpl(File, IsSystem, Dir, ID, Offset)) {
anatofuz
parents:
diff changeset
1555 case LMM_AlreadyLoaded:
anatofuz
parents:
diff changeset
1556 case LMM_NewlyLoaded:
anatofuz
parents:
diff changeset
1557 return false;
anatofuz
parents:
diff changeset
1558 case LMM_NoDirectory:
anatofuz
parents:
diff changeset
1559 case LMM_InvalidModuleMap:
anatofuz
parents:
diff changeset
1560 return true;
anatofuz
parents:
diff changeset
1561 }
anatofuz
parents:
diff changeset
1562 llvm_unreachable("Unknown load module map result");
anatofuz
parents:
diff changeset
1563 }
anatofuz
parents:
diff changeset
1564
anatofuz
parents:
diff changeset
1565 HeaderSearch::LoadModuleMapResult
anatofuz
parents:
diff changeset
1566 HeaderSearch::loadModuleMapFileImpl(const FileEntry *File, bool IsSystem,
anatofuz
parents:
diff changeset
1567 const DirectoryEntry *Dir, FileID ID,
anatofuz
parents:
diff changeset
1568 unsigned *Offset) {
anatofuz
parents:
diff changeset
1569 assert(File && "expected FileEntry");
anatofuz
parents:
diff changeset
1570
anatofuz
parents:
diff changeset
1571 // Check whether we've already loaded this module map, and mark it as being
anatofuz
parents:
diff changeset
1572 // loaded in case we recursively try to load it from itself.
anatofuz
parents:
diff changeset
1573 auto AddResult = LoadedModuleMaps.insert(std::make_pair(File, true));
anatofuz
parents:
diff changeset
1574 if (!AddResult.second)
anatofuz
parents:
diff changeset
1575 return AddResult.first->second ? LMM_AlreadyLoaded : LMM_InvalidModuleMap;
anatofuz
parents:
diff changeset
1576
anatofuz
parents:
diff changeset
1577 if (ModMap.parseModuleMapFile(File, IsSystem, Dir, ID, Offset)) {
anatofuz
parents:
diff changeset
1578 LoadedModuleMaps[File] = false;
anatofuz
parents:
diff changeset
1579 return LMM_InvalidModuleMap;
anatofuz
parents:
diff changeset
1580 }
anatofuz
parents:
diff changeset
1581
anatofuz
parents:
diff changeset
1582 // Try to load a corresponding private module map.
anatofuz
parents:
diff changeset
1583 if (const FileEntry *PMMFile = getPrivateModuleMap(File, FileMgr)) {
anatofuz
parents:
diff changeset
1584 if (ModMap.parseModuleMapFile(PMMFile, IsSystem, Dir)) {
anatofuz
parents:
diff changeset
1585 LoadedModuleMaps[File] = false;
anatofuz
parents:
diff changeset
1586 return LMM_InvalidModuleMap;
anatofuz
parents:
diff changeset
1587 }
anatofuz
parents:
diff changeset
1588 }
anatofuz
parents:
diff changeset
1589
anatofuz
parents:
diff changeset
1590 // This directory has a module map.
anatofuz
parents:
diff changeset
1591 return LMM_NewlyLoaded;
anatofuz
parents:
diff changeset
1592 }
anatofuz
parents:
diff changeset
1593
anatofuz
parents:
diff changeset
1594 const FileEntry *
anatofuz
parents:
diff changeset
1595 HeaderSearch::lookupModuleMapFile(const DirectoryEntry *Dir, bool IsFramework) {
anatofuz
parents:
diff changeset
1596 if (!HSOpts->ImplicitModuleMaps)
anatofuz
parents:
diff changeset
1597 return nullptr;
anatofuz
parents:
diff changeset
1598 // For frameworks, the preferred spelling is Modules/module.modulemap, but
anatofuz
parents:
diff changeset
1599 // module.map at the framework root is also accepted.
anatofuz
parents:
diff changeset
1600 SmallString<128> ModuleMapFileName(Dir->getName());
anatofuz
parents:
diff changeset
1601 if (IsFramework)
anatofuz
parents:
diff changeset
1602 llvm::sys::path::append(ModuleMapFileName, "Modules");
anatofuz
parents:
diff changeset
1603 llvm::sys::path::append(ModuleMapFileName, "module.modulemap");
anatofuz
parents:
diff changeset
1604 if (auto F = FileMgr.getFile(ModuleMapFileName))
anatofuz
parents:
diff changeset
1605 return *F;
anatofuz
parents:
diff changeset
1606
anatofuz
parents:
diff changeset
1607 // Continue to allow module.map
anatofuz
parents:
diff changeset
1608 ModuleMapFileName = Dir->getName();
anatofuz
parents:
diff changeset
1609 llvm::sys::path::append(ModuleMapFileName, "module.map");
anatofuz
parents:
diff changeset
1610 if (auto F = FileMgr.getFile(ModuleMapFileName))
anatofuz
parents:
diff changeset
1611 return *F;
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1612
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1613 // For frameworks, allow to have a private module map with a preferred
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1614 // spelling when a public module map is absent.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1615 if (IsFramework) {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1616 ModuleMapFileName = Dir->getName();
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1617 llvm::sys::path::append(ModuleMapFileName, "Modules",
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1618 "module.private.modulemap");
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1619 if (auto F = FileMgr.getFile(ModuleMapFileName))
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1620 return *F;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
1621 }
150
anatofuz
parents:
diff changeset
1622 return nullptr;
anatofuz
parents:
diff changeset
1623 }
anatofuz
parents:
diff changeset
1624
anatofuz
parents:
diff changeset
1625 Module *HeaderSearch::loadFrameworkModule(StringRef Name,
anatofuz
parents:
diff changeset
1626 const DirectoryEntry *Dir,
anatofuz
parents:
diff changeset
1627 bool IsSystem) {
anatofuz
parents:
diff changeset
1628 if (Module *Module = ModMap.findModule(Name))
anatofuz
parents:
diff changeset
1629 return Module;
anatofuz
parents:
diff changeset
1630
anatofuz
parents:
diff changeset
1631 // Try to load a module map file.
anatofuz
parents:
diff changeset
1632 switch (loadModuleMapFile(Dir, IsSystem, /*IsFramework*/true)) {
anatofuz
parents:
diff changeset
1633 case LMM_InvalidModuleMap:
anatofuz
parents:
diff changeset
1634 // Try to infer a module map from the framework directory.
anatofuz
parents:
diff changeset
1635 if (HSOpts->ImplicitModuleMaps)
anatofuz
parents:
diff changeset
1636 ModMap.inferFrameworkModule(Dir, IsSystem, /*Parent=*/nullptr);
anatofuz
parents:
diff changeset
1637 break;
anatofuz
parents:
diff changeset
1638
anatofuz
parents:
diff changeset
1639 case LMM_AlreadyLoaded:
anatofuz
parents:
diff changeset
1640 case LMM_NoDirectory:
anatofuz
parents:
diff changeset
1641 return nullptr;
anatofuz
parents:
diff changeset
1642
anatofuz
parents:
diff changeset
1643 case LMM_NewlyLoaded:
anatofuz
parents:
diff changeset
1644 break;
anatofuz
parents:
diff changeset
1645 }
anatofuz
parents:
diff changeset
1646
anatofuz
parents:
diff changeset
1647 return ModMap.findModule(Name);
anatofuz
parents:
diff changeset
1648 }
anatofuz
parents:
diff changeset
1649
anatofuz
parents:
diff changeset
1650 HeaderSearch::LoadModuleMapResult
anatofuz
parents:
diff changeset
1651 HeaderSearch::loadModuleMapFile(StringRef DirName, bool IsSystem,
anatofuz
parents:
diff changeset
1652 bool IsFramework) {
anatofuz
parents:
diff changeset
1653 if (auto Dir = FileMgr.getDirectory(DirName))
anatofuz
parents:
diff changeset
1654 return loadModuleMapFile(*Dir, IsSystem, IsFramework);
anatofuz
parents:
diff changeset
1655
anatofuz
parents:
diff changeset
1656 return LMM_NoDirectory;
anatofuz
parents:
diff changeset
1657 }
anatofuz
parents:
diff changeset
1658
anatofuz
parents:
diff changeset
1659 HeaderSearch::LoadModuleMapResult
anatofuz
parents:
diff changeset
1660 HeaderSearch::loadModuleMapFile(const DirectoryEntry *Dir, bool IsSystem,
anatofuz
parents:
diff changeset
1661 bool IsFramework) {
anatofuz
parents:
diff changeset
1662 auto KnownDir = DirectoryHasModuleMap.find(Dir);
anatofuz
parents:
diff changeset
1663 if (KnownDir != DirectoryHasModuleMap.end())
anatofuz
parents:
diff changeset
1664 return KnownDir->second ? LMM_AlreadyLoaded : LMM_InvalidModuleMap;
anatofuz
parents:
diff changeset
1665
anatofuz
parents:
diff changeset
1666 if (const FileEntry *ModuleMapFile = lookupModuleMapFile(Dir, IsFramework)) {
anatofuz
parents:
diff changeset
1667 LoadModuleMapResult Result =
anatofuz
parents:
diff changeset
1668 loadModuleMapFileImpl(ModuleMapFile, IsSystem, Dir);
anatofuz
parents:
diff changeset
1669 // Add Dir explicitly in case ModuleMapFile is in a subdirectory.
anatofuz
parents:
diff changeset
1670 // E.g. Foo.framework/Modules/module.modulemap
anatofuz
parents:
diff changeset
1671 // ^Dir ^ModuleMapFile
anatofuz
parents:
diff changeset
1672 if (Result == LMM_NewlyLoaded)
anatofuz
parents:
diff changeset
1673 DirectoryHasModuleMap[Dir] = true;
anatofuz
parents:
diff changeset
1674 else if (Result == LMM_InvalidModuleMap)
anatofuz
parents:
diff changeset
1675 DirectoryHasModuleMap[Dir] = false;
anatofuz
parents:
diff changeset
1676 return Result;
anatofuz
parents:
diff changeset
1677 }
anatofuz
parents:
diff changeset
1678 return LMM_InvalidModuleMap;
anatofuz
parents:
diff changeset
1679 }
anatofuz
parents:
diff changeset
1680
anatofuz
parents:
diff changeset
1681 void HeaderSearch::collectAllModules(SmallVectorImpl<Module *> &Modules) {
anatofuz
parents:
diff changeset
1682 Modules.clear();
anatofuz
parents:
diff changeset
1683
anatofuz
parents:
diff changeset
1684 if (HSOpts->ImplicitModuleMaps) {
anatofuz
parents:
diff changeset
1685 // Load module maps for each of the header search directories.
anatofuz
parents:
diff changeset
1686 for (unsigned Idx = 0, N = SearchDirs.size(); Idx != N; ++Idx) {
anatofuz
parents:
diff changeset
1687 bool IsSystem = SearchDirs[Idx].isSystemHeaderDirectory();
anatofuz
parents:
diff changeset
1688 if (SearchDirs[Idx].isFramework()) {
anatofuz
parents:
diff changeset
1689 std::error_code EC;
anatofuz
parents:
diff changeset
1690 SmallString<128> DirNative;
anatofuz
parents:
diff changeset
1691 llvm::sys::path::native(SearchDirs[Idx].getFrameworkDir()->getName(),
anatofuz
parents:
diff changeset
1692 DirNative);
anatofuz
parents:
diff changeset
1693
anatofuz
parents:
diff changeset
1694 // Search each of the ".framework" directories to load them as modules.
anatofuz
parents:
diff changeset
1695 llvm::vfs::FileSystem &FS = FileMgr.getVirtualFileSystem();
anatofuz
parents:
diff changeset
1696 for (llvm::vfs::directory_iterator Dir = FS.dir_begin(DirNative, EC),
anatofuz
parents:
diff changeset
1697 DirEnd;
anatofuz
parents:
diff changeset
1698 Dir != DirEnd && !EC; Dir.increment(EC)) {
anatofuz
parents:
diff changeset
1699 if (llvm::sys::path::extension(Dir->path()) != ".framework")
anatofuz
parents:
diff changeset
1700 continue;
anatofuz
parents:
diff changeset
1701
anatofuz
parents:
diff changeset
1702 auto FrameworkDir =
anatofuz
parents:
diff changeset
1703 FileMgr.getDirectory(Dir->path());
anatofuz
parents:
diff changeset
1704 if (!FrameworkDir)
anatofuz
parents:
diff changeset
1705 continue;
anatofuz
parents:
diff changeset
1706
anatofuz
parents:
diff changeset
1707 // Load this framework module.
anatofuz
parents:
diff changeset
1708 loadFrameworkModule(llvm::sys::path::stem(Dir->path()), *FrameworkDir,
anatofuz
parents:
diff changeset
1709 IsSystem);
anatofuz
parents:
diff changeset
1710 }
anatofuz
parents:
diff changeset
1711 continue;
anatofuz
parents:
diff changeset
1712 }
anatofuz
parents:
diff changeset
1713
anatofuz
parents:
diff changeset
1714 // FIXME: Deal with header maps.
anatofuz
parents:
diff changeset
1715 if (SearchDirs[Idx].isHeaderMap())
anatofuz
parents:
diff changeset
1716 continue;
anatofuz
parents:
diff changeset
1717
anatofuz
parents:
diff changeset
1718 // Try to load a module map file for the search directory.
anatofuz
parents:
diff changeset
1719 loadModuleMapFile(SearchDirs[Idx].getDir(), IsSystem,
anatofuz
parents:
diff changeset
1720 /*IsFramework*/ false);
anatofuz
parents:
diff changeset
1721
anatofuz
parents:
diff changeset
1722 // Try to load module map files for immediate subdirectories of this
anatofuz
parents:
diff changeset
1723 // search directory.
anatofuz
parents:
diff changeset
1724 loadSubdirectoryModuleMaps(SearchDirs[Idx]);
anatofuz
parents:
diff changeset
1725 }
anatofuz
parents:
diff changeset
1726 }
anatofuz
parents:
diff changeset
1727
anatofuz
parents:
diff changeset
1728 // Populate the list of modules.
anatofuz
parents:
diff changeset
1729 for (ModuleMap::module_iterator M = ModMap.module_begin(),
anatofuz
parents:
diff changeset
1730 MEnd = ModMap.module_end();
anatofuz
parents:
diff changeset
1731 M != MEnd; ++M) {
anatofuz
parents:
diff changeset
1732 Modules.push_back(M->getValue());
anatofuz
parents:
diff changeset
1733 }
anatofuz
parents:
diff changeset
1734 }
anatofuz
parents:
diff changeset
1735
anatofuz
parents:
diff changeset
1736 void HeaderSearch::loadTopLevelSystemModules() {
anatofuz
parents:
diff changeset
1737 if (!HSOpts->ImplicitModuleMaps)
anatofuz
parents:
diff changeset
1738 return;
anatofuz
parents:
diff changeset
1739
anatofuz
parents:
diff changeset
1740 // Load module maps for each of the header search directories.
anatofuz
parents:
diff changeset
1741 for (unsigned Idx = 0, N = SearchDirs.size(); Idx != N; ++Idx) {
anatofuz
parents:
diff changeset
1742 // We only care about normal header directories.
anatofuz
parents:
diff changeset
1743 if (!SearchDirs[Idx].isNormalDir()) {
anatofuz
parents:
diff changeset
1744 continue;
anatofuz
parents:
diff changeset
1745 }
anatofuz
parents:
diff changeset
1746
anatofuz
parents:
diff changeset
1747 // Try to load a module map file for the search directory.
anatofuz
parents:
diff changeset
1748 loadModuleMapFile(SearchDirs[Idx].getDir(),
anatofuz
parents:
diff changeset
1749 SearchDirs[Idx].isSystemHeaderDirectory(),
anatofuz
parents:
diff changeset
1750 SearchDirs[Idx].isFramework());
anatofuz
parents:
diff changeset
1751 }
anatofuz
parents:
diff changeset
1752 }
anatofuz
parents:
diff changeset
1753
anatofuz
parents:
diff changeset
1754 void HeaderSearch::loadSubdirectoryModuleMaps(DirectoryLookup &SearchDir) {
anatofuz
parents:
diff changeset
1755 assert(HSOpts->ImplicitModuleMaps &&
anatofuz
parents:
diff changeset
1756 "Should not be loading subdirectory module maps");
anatofuz
parents:
diff changeset
1757
anatofuz
parents:
diff changeset
1758 if (SearchDir.haveSearchedAllModuleMaps())
anatofuz
parents:
diff changeset
1759 return;
anatofuz
parents:
diff changeset
1760
anatofuz
parents:
diff changeset
1761 std::error_code EC;
anatofuz
parents:
diff changeset
1762 SmallString<128> Dir = SearchDir.getDir()->getName();
anatofuz
parents:
diff changeset
1763 FileMgr.makeAbsolutePath(Dir);
anatofuz
parents:
diff changeset
1764 SmallString<128> DirNative;
anatofuz
parents:
diff changeset
1765 llvm::sys::path::native(Dir, DirNative);
anatofuz
parents:
diff changeset
1766 llvm::vfs::FileSystem &FS = FileMgr.getVirtualFileSystem();
anatofuz
parents:
diff changeset
1767 for (llvm::vfs::directory_iterator Dir = FS.dir_begin(DirNative, EC), DirEnd;
anatofuz
parents:
diff changeset
1768 Dir != DirEnd && !EC; Dir.increment(EC)) {
anatofuz
parents:
diff changeset
1769 bool IsFramework = llvm::sys::path::extension(Dir->path()) == ".framework";
anatofuz
parents:
diff changeset
1770 if (IsFramework == SearchDir.isFramework())
anatofuz
parents:
diff changeset
1771 loadModuleMapFile(Dir->path(), SearchDir.isSystemHeaderDirectory(),
anatofuz
parents:
diff changeset
1772 SearchDir.isFramework());
anatofuz
parents:
diff changeset
1773 }
anatofuz
parents:
diff changeset
1774
anatofuz
parents:
diff changeset
1775 SearchDir.setSearchedAllModuleMaps(true);
anatofuz
parents:
diff changeset
1776 }
anatofuz
parents:
diff changeset
1777
anatofuz
parents:
diff changeset
1778 std::string HeaderSearch::suggestPathToFileForDiagnostics(
anatofuz
parents:
diff changeset
1779 const FileEntry *File, llvm::StringRef MainFile, bool *IsSystem) {
anatofuz
parents:
diff changeset
1780 // FIXME: We assume that the path name currently cached in the FileEntry is
anatofuz
parents:
diff changeset
1781 // the most appropriate one for this analysis (and that it's spelled the
anatofuz
parents:
diff changeset
1782 // same way as the corresponding header search path).
anatofuz
parents:
diff changeset
1783 return suggestPathToFileForDiagnostics(File->getName(), /*WorkingDir=*/"",
anatofuz
parents:
diff changeset
1784 MainFile, IsSystem);
anatofuz
parents:
diff changeset
1785 }
anatofuz
parents:
diff changeset
1786
anatofuz
parents:
diff changeset
1787 std::string HeaderSearch::suggestPathToFileForDiagnostics(
anatofuz
parents:
diff changeset
1788 llvm::StringRef File, llvm::StringRef WorkingDir, llvm::StringRef MainFile,
anatofuz
parents:
diff changeset
1789 bool *IsSystem) {
anatofuz
parents:
diff changeset
1790 using namespace llvm::sys;
anatofuz
parents:
diff changeset
1791
anatofuz
parents:
diff changeset
1792 unsigned BestPrefixLength = 0;
anatofuz
parents:
diff changeset
1793 // Checks whether Dir and File shares a common prefix, if they do and that's
anatofuz
parents:
diff changeset
1794 // the longest prefix we've seen so for it returns true and updates the
anatofuz
parents:
diff changeset
1795 // BestPrefixLength accordingly.
anatofuz
parents:
diff changeset
1796 auto CheckDir = [&](llvm::StringRef Dir) -> bool {
anatofuz
parents:
diff changeset
1797 llvm::SmallString<32> DirPath(Dir.begin(), Dir.end());
anatofuz
parents:
diff changeset
1798 if (!WorkingDir.empty() && !path::is_absolute(Dir))
anatofuz
parents:
diff changeset
1799 fs::make_absolute(WorkingDir, DirPath);
anatofuz
parents:
diff changeset
1800 path::remove_dots(DirPath, /*remove_dot_dot=*/true);
anatofuz
parents:
diff changeset
1801 Dir = DirPath;
anatofuz
parents:
diff changeset
1802 for (auto NI = path::begin(File), NE = path::end(File),
anatofuz
parents:
diff changeset
1803 DI = path::begin(Dir), DE = path::end(Dir);
anatofuz
parents:
diff changeset
1804 /*termination condition in loop*/; ++NI, ++DI) {
anatofuz
parents:
diff changeset
1805 // '.' components in File are ignored.
anatofuz
parents:
diff changeset
1806 while (NI != NE && *NI == ".")
anatofuz
parents:
diff changeset
1807 ++NI;
anatofuz
parents:
diff changeset
1808 if (NI == NE)
anatofuz
parents:
diff changeset
1809 break;
anatofuz
parents:
diff changeset
1810
anatofuz
parents:
diff changeset
1811 // '.' components in Dir are ignored.
anatofuz
parents:
diff changeset
1812 while (DI != DE && *DI == ".")
anatofuz
parents:
diff changeset
1813 ++DI;
anatofuz
parents:
diff changeset
1814 if (DI == DE) {
anatofuz
parents:
diff changeset
1815 // Dir is a prefix of File, up to '.' components and choice of path
anatofuz
parents:
diff changeset
1816 // separators.
anatofuz
parents:
diff changeset
1817 unsigned PrefixLength = NI - path::begin(File);
anatofuz
parents:
diff changeset
1818 if (PrefixLength > BestPrefixLength) {
anatofuz
parents:
diff changeset
1819 BestPrefixLength = PrefixLength;
anatofuz
parents:
diff changeset
1820 return true;
anatofuz
parents:
diff changeset
1821 }
anatofuz
parents:
diff changeset
1822 break;
anatofuz
parents:
diff changeset
1823 }
anatofuz
parents:
diff changeset
1824
anatofuz
parents:
diff changeset
1825 // Consider all path separators equal.
anatofuz
parents:
diff changeset
1826 if (NI->size() == 1 && DI->size() == 1 &&
anatofuz
parents:
diff changeset
1827 path::is_separator(NI->front()) && path::is_separator(DI->front()))
anatofuz
parents:
diff changeset
1828 continue;
anatofuz
parents:
diff changeset
1829
anatofuz
parents:
diff changeset
1830 if (*NI != *DI)
anatofuz
parents:
diff changeset
1831 break;
anatofuz
parents:
diff changeset
1832 }
anatofuz
parents:
diff changeset
1833 return false;
anatofuz
parents:
diff changeset
1834 };
anatofuz
parents:
diff changeset
1835
anatofuz
parents:
diff changeset
1836 for (unsigned I = 0; I != SearchDirs.size(); ++I) {
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1837 // FIXME: Support this search within frameworks.
150
anatofuz
parents:
diff changeset
1838 if (!SearchDirs[I].isNormalDir())
anatofuz
parents:
diff changeset
1839 continue;
anatofuz
parents:
diff changeset
1840
anatofuz
parents:
diff changeset
1841 StringRef Dir = SearchDirs[I].getDir()->getName();
anatofuz
parents:
diff changeset
1842 if (CheckDir(Dir) && IsSystem)
anatofuz
parents:
diff changeset
1843 *IsSystem = BestPrefixLength ? I >= SystemDirIdx : false;
anatofuz
parents:
diff changeset
1844 }
anatofuz
parents:
diff changeset
1845
anatofuz
parents:
diff changeset
1846 // Try to shorten include path using TUs directory, if we couldn't find any
anatofuz
parents:
diff changeset
1847 // suitable prefix in include search paths.
anatofuz
parents:
diff changeset
1848 if (!BestPrefixLength && CheckDir(path::parent_path(MainFile)) && IsSystem)
anatofuz
parents:
diff changeset
1849 *IsSystem = false;
anatofuz
parents:
diff changeset
1850
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1851 // Try resolving resulting filename via reverse search in header maps,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1852 // key from header name is user prefered name for the include file.
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1853 StringRef Filename = File.drop_front(BestPrefixLength);
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1854 for (unsigned I = 0; I != SearchDirs.size(); ++I) {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1855 if (!SearchDirs[I].isHeaderMap())
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1856 continue;
150
anatofuz
parents:
diff changeset
1857
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1858 StringRef SpelledFilename =
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1859 SearchDirs[I].getHeaderMap()->reverseLookupFilename(Filename);
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1860 if (!SpelledFilename.empty()) {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1861 Filename = SpelledFilename;
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1862 break;
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1863 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1864 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1865 return path::convert_to_slash(Filename);
150
anatofuz
parents:
diff changeset
1866 }