Subversion Repositories QNX 8.QNX8 LLVM/Clang compiler suite

Rev

Details | Last modification | View Log | RSS feed

Rev Author Line No. Line
14 pmbaty 1
//===- HeaderSearch.h - Resolve Header File Locations -----------*- C++ -*-===//
2
//
3
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4
// See https://llvm.org/LICENSE.txt for license information.
5
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6
//
7
//===----------------------------------------------------------------------===//
8
//
9
// This file defines the HeaderSearch interface.
10
//
11
//===----------------------------------------------------------------------===//
12
 
13
#ifndef LLVM_CLANG_LEX_HEADERSEARCH_H
14
#define LLVM_CLANG_LEX_HEADERSEARCH_H
15
 
16
#include "clang/Basic/SourceLocation.h"
17
#include "clang/Basic/SourceManager.h"
18
#include "clang/Lex/DirectoryLookup.h"
19
#include "clang/Lex/HeaderMap.h"
20
#include "clang/Lex/ModuleMap.h"
21
#include "llvm/ADT/ArrayRef.h"
22
#include "llvm/ADT/DenseMap.h"
23
#include "llvm/ADT/SmallString.h"
24
#include "llvm/ADT/StringMap.h"
25
#include "llvm/ADT/StringRef.h"
26
#include "llvm/ADT/StringSet.h"
27
#include "llvm/Support/Allocator.h"
28
#include <cassert>
29
#include <cstddef>
30
#include <memory>
31
#include <string>
32
#include <utility>
33
#include <vector>
34
 
35
namespace llvm {
36
 
37
class Triple;
38
 
39
} // namespace llvm
40
 
41
namespace clang {
42
 
43
class DiagnosticsEngine;
44
class DirectoryEntry;
45
class ExternalPreprocessorSource;
46
class FileEntry;
47
class FileManager;
48
class HeaderSearch;
49
class HeaderSearchOptions;
50
class IdentifierInfo;
51
class LangOptions;
52
class Module;
53
class Preprocessor;
54
class TargetInfo;
55
 
56
/// The preprocessor keeps track of this information for each
57
/// file that is \#included.
58
struct HeaderFileInfo {
59
  // TODO: Whether the file was imported is not a property of the file itself.
60
  // It's a preprocessor state, move it there.
61
  /// True if this is a \#import'd file.
62
  unsigned isImport : 1;
63
 
64
  /// True if this is a \#pragma once file.
65
  unsigned isPragmaOnce : 1;
66
 
67
  /// Keep track of whether this is a system header, and if so,
68
  /// whether it is C++ clean or not.  This can be set by the include paths or
69
  /// by \#pragma gcc system_header.  This is an instance of
70
  /// SrcMgr::CharacteristicKind.
71
  unsigned DirInfo : 3;
72
 
73
  /// Whether this header file info was supplied by an external source,
74
  /// and has not changed since.
75
  unsigned External : 1;
76
 
77
  /// Whether this header is part of a module.
78
  unsigned isModuleHeader : 1;
79
 
80
  /// Whether this header is part of the module that we are building.
81
  unsigned isCompilingModuleHeader : 1;
82
 
83
  /// Whether this structure is considered to already have been
84
  /// "resolved", meaning that it was loaded from the external source.
85
  unsigned Resolved : 1;
86
 
87
  /// Whether this is a header inside a framework that is currently
88
  /// being built.
89
  ///
90
  /// When a framework is being built, the headers have not yet been placed
91
  /// into the appropriate framework subdirectories, and therefore are
92
  /// provided via a header map. This bit indicates when this is one of
93
  /// those framework headers.
94
  unsigned IndexHeaderMapHeader : 1;
95
 
96
  /// Whether this file has been looked up as a header.
97
  unsigned IsValid : 1;
98
 
99
  /// The ID number of the controlling macro.
100
  ///
101
  /// This ID number will be non-zero when there is a controlling
102
  /// macro whose IdentifierInfo may not yet have been loaded from
103
  /// external storage.
104
  unsigned ControllingMacroID = 0;
105
 
106
  /// If this file has a \#ifndef XXX (or equivalent) guard that
107
  /// protects the entire contents of the file, this is the identifier
108
  /// for the macro that controls whether or not it has any effect.
109
  ///
110
  /// Note: Most clients should use getControllingMacro() to access
111
  /// the controlling macro of this header, since
112
  /// getControllingMacro() is able to load a controlling macro from
113
  /// external storage.
114
  const IdentifierInfo *ControllingMacro = nullptr;
115
 
116
  /// If this header came from a framework include, this is the name
117
  /// of the framework.
118
  StringRef Framework;
119
 
120
  HeaderFileInfo()
121
      : isImport(false), isPragmaOnce(false), DirInfo(SrcMgr::C_User),
122
        External(false), isModuleHeader(false), isCompilingModuleHeader(false),
123
        Resolved(false), IndexHeaderMapHeader(false), IsValid(false)  {}
124
 
125
  /// Retrieve the controlling macro for this header file, if
126
  /// any.
127
  const IdentifierInfo *
128
  getControllingMacro(ExternalPreprocessorSource *External);
129
};
130
 
131
/// An external source of header file information, which may supply
132
/// information about header files already included.
133
class ExternalHeaderFileInfoSource {
134
public:
135
  virtual ~ExternalHeaderFileInfoSource();
136
 
137
  /// Retrieve the header file information for the given file entry.
138
  ///
139
  /// \returns Header file information for the given file entry, with the
140
  /// \c External bit set. If the file entry is not known, return a
141
  /// default-constructed \c HeaderFileInfo.
142
  virtual HeaderFileInfo GetHeaderFileInfo(const FileEntry *FE) = 0;
143
};
144
 
145
/// This structure is used to record entries in our framework cache.
146
struct FrameworkCacheEntry {
147
  /// The directory entry which should be used for the cached framework.
148
  OptionalDirectoryEntryRef Directory;
149
 
150
  /// Whether this framework has been "user-specified" to be treated as if it
151
  /// were a system framework (even if it was found outside a system framework
152
  /// directory).
153
  bool IsUserSpecifiedSystemFramework;
154
};
155
 
156
namespace detail {
157
template <bool Const, typename T>
158
using Qualified = std::conditional_t<Const, const T, T>;
159
 
160
/// Forward iterator over the search directories of \c HeaderSearch.
161
template <bool IsConst>
162
struct SearchDirIteratorImpl
163
    : llvm::iterator_facade_base<SearchDirIteratorImpl<IsConst>,
164
                                 std::forward_iterator_tag,
165
                                 Qualified<IsConst, DirectoryLookup>> {
166
  /// Const -> non-const iterator conversion.
167
  template <typename Enable = std::enable_if<IsConst, bool>>
168
  SearchDirIteratorImpl(const SearchDirIteratorImpl<false> &Other)
169
      : HS(Other.HS), Idx(Other.Idx) {}
170
 
171
  SearchDirIteratorImpl(const SearchDirIteratorImpl &) = default;
172
 
173
  SearchDirIteratorImpl &operator=(const SearchDirIteratorImpl &) = default;
174
 
175
  bool operator==(const SearchDirIteratorImpl &RHS) const {
176
    return HS == RHS.HS && Idx == RHS.Idx;
177
  }
178
 
179
  SearchDirIteratorImpl &operator++() {
180
    assert(*this && "Invalid iterator.");
181
    ++Idx;
182
    return *this;
183
  }
184
 
185
  Qualified<IsConst, DirectoryLookup> &operator*() const {
186
    assert(*this && "Invalid iterator.");
187
    return HS->SearchDirs[Idx];
188
  }
189
 
190
  /// Creates an invalid iterator.
191
  SearchDirIteratorImpl(std::nullptr_t) : HS(nullptr), Idx(0) {}
192
 
193
  /// Checks whether the iterator is valid.
194
  explicit operator bool() const { return HS != nullptr; }
195
 
196
private:
197
  /// The parent \c HeaderSearch. This is \c nullptr for invalid iterator.
198
  Qualified<IsConst, HeaderSearch> *HS;
199
 
200
  /// The index of the current element.
201
  size_t Idx;
202
 
203
  /// The constructor that creates a valid iterator.
204
  SearchDirIteratorImpl(Qualified<IsConst, HeaderSearch> &HS, size_t Idx)
205
      : HS(&HS), Idx(Idx) {}
206
 
207
  /// Only HeaderSearch is allowed to instantiate valid iterators.
208
  friend HeaderSearch;
209
 
210
  /// Enables const -> non-const conversion.
211
  friend SearchDirIteratorImpl<!IsConst>;
212
};
213
} // namespace detail
214
 
215
using ConstSearchDirIterator = detail::SearchDirIteratorImpl<true>;
216
using SearchDirIterator = detail::SearchDirIteratorImpl<false>;
217
 
218
using ConstSearchDirRange = llvm::iterator_range<ConstSearchDirIterator>;
219
using SearchDirRange = llvm::iterator_range<SearchDirIterator>;
220
 
221
/// Encapsulates the information needed to find the file referenced
222
/// by a \#include or \#include_next, (sub-)framework lookup, etc.
223
class HeaderSearch {
224
  friend class DirectoryLookup;
225
 
226
  friend ConstSearchDirIterator;
227
  friend SearchDirIterator;
228
 
229
  /// Header-search options used to initialize this header search.
230
  std::shared_ptr<HeaderSearchOptions> HSOpts;
231
 
232
  /// Mapping from SearchDir to HeaderSearchOptions::UserEntries indices.
233
  llvm::DenseMap<unsigned, unsigned> SearchDirToHSEntry;
234
 
235
  DiagnosticsEngine &Diags;
236
  FileManager &FileMgr;
237
 
238
  /// \#include search path information.  Requests for \#include "x" search the
239
  /// directory of the \#including file first, then each directory in SearchDirs
240
  /// consecutively. Requests for <x> search the current dir first, then each
241
  /// directory in SearchDirs, starting at AngledDirIdx, consecutively.  If
242
  /// NoCurDirSearch is true, then the check for the file in the current
243
  /// directory is suppressed.
244
  std::vector<DirectoryLookup> SearchDirs;
245
  /// Whether the DirectoryLookup at the corresponding index in SearchDirs has
246
  /// been successfully used to lookup a file.
247
  std::vector<bool> SearchDirsUsage;
248
  unsigned AngledDirIdx = 0;
249
  unsigned SystemDirIdx = 0;
250
  bool NoCurDirSearch = false;
251
 
252
  /// Maps HeaderMap keys to SearchDir indices. When HeaderMaps are used
253
  /// heavily, SearchDirs can start with thousands of HeaderMaps, so this Index
254
  /// lets us avoid scanning them all to find a match.
255
  llvm::StringMap<unsigned, llvm::BumpPtrAllocator> SearchDirHeaderMapIndex;
256
 
257
  /// The index of the first SearchDir that isn't a header map.
258
  unsigned FirstNonHeaderMapSearchDirIdx = 0;
259
 
260
  /// \#include prefixes for which the 'system header' property is
261
  /// overridden.
262
  ///
263
  /// For a \#include "x" or \#include \<x> directive, the last string in this
264
  /// list which is a prefix of 'x' determines whether the file is treated as
265
  /// a system header.
266
  std::vector<std::pair<std::string, bool>> SystemHeaderPrefixes;
267
 
268
  /// The hash used for module cache paths.
269
  std::string ModuleHash;
270
 
271
  /// The path to the module cache.
272
  std::string ModuleCachePath;
273
 
274
  /// All of the preprocessor-specific data about files that are
275
  /// included, indexed by the FileEntry's UID.
276
  mutable std::vector<HeaderFileInfo> FileInfo;
277
 
278
  /// Keeps track of each lookup performed by LookupFile.
279
  struct LookupFileCacheInfo {
280
    /// Starting search directory iterator that the cached search was performed
281
    /// from. If there is a hit and this value doesn't match the current query,
282
    /// the cache has to be ignored.
283
    ConstSearchDirIterator StartIt = nullptr;
284
 
285
    /// The search directory iterator that satisfied the query.
286
    ConstSearchDirIterator HitIt = nullptr;
287
 
288
    /// This is non-null if the original filename was mapped to a framework
289
    /// include via a headermap.
290
    const char *MappedName = nullptr;
291
 
292
    /// Default constructor -- Initialize all members with zero.
293
    LookupFileCacheInfo() = default;
294
 
295
    void reset(ConstSearchDirIterator NewStartIt) {
296
      StartIt = NewStartIt;
297
      MappedName = nullptr;
298
    }
299
  };
300
  llvm::StringMap<LookupFileCacheInfo, llvm::BumpPtrAllocator> LookupFileCache;
301
 
302
  /// Collection mapping a framework or subframework
303
  /// name like "Carbon" to the Carbon.framework directory.
304
  llvm::StringMap<FrameworkCacheEntry, llvm::BumpPtrAllocator> FrameworkMap;
305
 
306
  /// Maps include file names (including the quotes or
307
  /// angle brackets) to other include file names.  This is used to support the
308
  /// include_alias pragma for Microsoft compatibility.
309
  using IncludeAliasMap =
310
      llvm::StringMap<std::string, llvm::BumpPtrAllocator>;
311
  std::unique_ptr<IncludeAliasMap> IncludeAliases;
312
 
313
  /// This is a mapping from FileEntry -> HeaderMap, uniquing headermaps.
314
  std::vector<std::pair<const FileEntry *, std::unique_ptr<HeaderMap>>> HeaderMaps;
315
 
316
  /// The mapping between modules and headers.
317
  mutable ModuleMap ModMap;
318
 
319
  /// Describes whether a given directory has a module map in it.
320
  llvm::DenseMap<const DirectoryEntry *, bool> DirectoryHasModuleMap;
321
 
322
  /// Set of module map files we've already loaded, and a flag indicating
323
  /// whether they were valid or not.
324
  llvm::DenseMap<const FileEntry *, bool> LoadedModuleMaps;
325
 
326
  // A map of discovered headers with their associated include file name.
327
  llvm::DenseMap<const FileEntry *, llvm::SmallString<64>> IncludeNames;
328
 
329
  /// Uniqued set of framework names, which is used to track which
330
  /// headers were included as framework headers.
331
  llvm::StringSet<llvm::BumpPtrAllocator> FrameworkNames;
332
 
333
  /// Entity used to resolve the identifier IDs of controlling
334
  /// macros into IdentifierInfo pointers, and keep the identifire up to date,
335
  /// as needed.
336
  ExternalPreprocessorSource *ExternalLookup = nullptr;
337
 
338
  /// Entity used to look up stored header file information.
339
  ExternalHeaderFileInfoSource *ExternalSource = nullptr;
340
 
341
  /// Scan all of the header maps at the beginning of SearchDirs and
342
  /// map their keys to the SearchDir index of their header map.
343
  void indexInitialHeaderMaps();
344
 
345
public:
346
  HeaderSearch(std::shared_ptr<HeaderSearchOptions> HSOpts,
347
               SourceManager &SourceMgr, DiagnosticsEngine &Diags,
348
               const LangOptions &LangOpts, const TargetInfo *Target);
349
  HeaderSearch(const HeaderSearch &) = delete;
350
  HeaderSearch &operator=(const HeaderSearch &) = delete;
351
 
352
  /// Retrieve the header-search options with which this header search
353
  /// was initialized.
354
  HeaderSearchOptions &getHeaderSearchOpts() const { return *HSOpts; }
355
 
356
  FileManager &getFileMgr() const { return FileMgr; }
357
 
358
  DiagnosticsEngine &getDiags() const { return Diags; }
359
 
360
  /// Interface for setting the file search paths.
361
  void SetSearchPaths(std::vector<DirectoryLookup> dirs, unsigned angledDirIdx,
362
                      unsigned systemDirIdx, bool noCurDirSearch,
363
                      llvm::DenseMap<unsigned, unsigned> searchDirToHSEntry);
364
 
365
  /// Add an additional search path.
366
  void AddSearchPath(const DirectoryLookup &dir, bool isAngled);
367
 
368
  /// Add an additional system search path.
369
  void AddSystemSearchPath(const DirectoryLookup &dir) {
370
    SearchDirs.push_back(dir);
371
    SearchDirsUsage.push_back(false);
372
  }
373
 
374
  /// Set the list of system header prefixes.
375
  void SetSystemHeaderPrefixes(ArrayRef<std::pair<std::string, bool>> P) {
376
    SystemHeaderPrefixes.assign(P.begin(), P.end());
377
  }
378
 
379
  /// Checks whether the map exists or not.
380
  bool HasIncludeAliasMap() const { return (bool)IncludeAliases; }
381
 
382
  /// Map the source include name to the dest include name.
383
  ///
384
  /// The Source should include the angle brackets or quotes, the dest
385
  /// should not.  This allows for distinction between <> and "" headers.
386
  void AddIncludeAlias(StringRef Source, StringRef Dest) {
387
    if (!IncludeAliases)
388
      IncludeAliases.reset(new IncludeAliasMap);
389
    (*IncludeAliases)[Source] = std::string(Dest);
390
  }
391
 
392
  /// Maps one header file name to a different header
393
  /// file name, for use with the include_alias pragma.  Note that the source
394
  /// file name should include the angle brackets or quotes.  Returns StringRef
395
  /// as null if the header cannot be mapped.
396
  StringRef MapHeaderToIncludeAlias(StringRef Source) {
397
    assert(IncludeAliases && "Trying to map headers when there's no map");
398
 
399
    // Do any filename replacements before anything else
400
    IncludeAliasMap::const_iterator Iter = IncludeAliases->find(Source);
401
    if (Iter != IncludeAliases->end())
402
      return Iter->second;
403
    return {};
404
  }
405
 
406
  /// Set the hash to use for module cache paths.
407
  void setModuleHash(StringRef Hash) { ModuleHash = std::string(Hash); }
408
 
409
  /// Set the path to the module cache.
410
  void setModuleCachePath(StringRef CachePath) {
411
    ModuleCachePath = std::string(CachePath);
412
  }
413
 
414
  /// Retrieve the module hash.
415
  StringRef getModuleHash() const { return ModuleHash; }
416
 
417
  /// Retrieve the path to the module cache.
418
  StringRef getModuleCachePath() const { return ModuleCachePath; }
419
 
420
  /// Consider modules when including files from this directory.
421
  void setDirectoryHasModuleMap(const DirectoryEntry* Dir) {
422
    DirectoryHasModuleMap[Dir] = true;
423
  }
424
 
425
  /// Forget everything we know about headers so far.
426
  void ClearFileInfo() {
427
    FileInfo.clear();
428
  }
429
 
430
  void SetExternalLookup(ExternalPreprocessorSource *EPS) {
431
    ExternalLookup = EPS;
432
  }
433
 
434
  ExternalPreprocessorSource *getExternalLookup() const {
435
    return ExternalLookup;
436
  }
437
 
438
  /// Set the external source of header information.
439
  void SetExternalSource(ExternalHeaderFileInfoSource *ES) {
440
    ExternalSource = ES;
441
  }
442
 
443
  /// Set the target information for the header search, if not
444
  /// already known.
445
  void setTarget(const TargetInfo &Target);
446
 
447
  /// Given a "foo" or \<foo> reference, look up the indicated file,
448
  /// return null on failure.
449
  ///
450
  /// \returns If successful, this returns 'UsedDir', the DirectoryLookup member
451
  /// the file was found in, or null if not applicable.
452
  ///
453
  /// \param IncludeLoc Used for diagnostics if valid.
454
  ///
455
  /// \param isAngled indicates whether the file reference is a <> reference.
456
  ///
457
  /// \param CurDir If non-null, the file was found in the specified directory
458
  /// search location.  This is used to implement \#include_next.
459
  ///
460
  /// \param Includers Indicates where the \#including file(s) are, in case
461
  /// relative searches are needed. In reverse order of inclusion.
462
  ///
463
  /// \param SearchPath If non-null, will be set to the search path relative
464
  /// to which the file was found. If the include path is absolute, SearchPath
465
  /// will be set to an empty string.
466
  ///
467
  /// \param RelativePath If non-null, will be set to the path relative to
468
  /// SearchPath at which the file was found. This only differs from the
469
  /// Filename for framework includes.
470
  ///
471
  /// \param SuggestedModule If non-null, and the file found is semantically
472
  /// part of a known module, this will be set to the module that should
473
  /// be imported instead of preprocessing/parsing the file found.
474
  ///
475
  /// \param IsMapped If non-null, and the search involved header maps, set to
476
  /// true.
477
  ///
478
  /// \param IsFrameworkFound If non-null, will be set to true if a framework is
479
  /// found in any of searched SearchDirs. Will be set to false if a framework
480
  /// is found only through header maps. Doesn't guarantee the requested file is
481
  /// found.
482
  OptionalFileEntryRef LookupFile(
483
      StringRef Filename, SourceLocation IncludeLoc, bool isAngled,
484
      ConstSearchDirIterator FromDir, ConstSearchDirIterator *CurDir,
485
      ArrayRef<std::pair<const FileEntry *, const DirectoryEntry *>> Includers,
486
      SmallVectorImpl<char> *SearchPath, SmallVectorImpl<char> *RelativePath,
487
      Module *RequestingModule, ModuleMap::KnownHeader *SuggestedModule,
488
      bool *IsMapped, bool *IsFrameworkFound, bool SkipCache = false,
489
      bool BuildSystemModule = false, bool OpenFile = true,
490
      bool CacheFailures = true);
491
 
492
  /// Look up a subframework for the specified \#include file.
493
  ///
494
  /// For example, if \#include'ing <HIToolbox/HIToolbox.h> from
495
  /// within ".../Carbon.framework/Headers/Carbon.h", check to see if
496
  /// HIToolbox is a subframework within Carbon.framework.  If so, return
497
  /// the FileEntry for the designated file, otherwise return null.
498
  OptionalFileEntryRef LookupSubframeworkHeader(
499
      StringRef Filename, const FileEntry *ContextFileEnt,
500
      SmallVectorImpl<char> *SearchPath, SmallVectorImpl<char> *RelativePath,
501
      Module *RequestingModule, ModuleMap::KnownHeader *SuggestedModule);
502
 
503
  /// Look up the specified framework name in our framework cache.
504
  /// \returns The DirectoryEntry it is in if we know, null otherwise.
505
  FrameworkCacheEntry &LookupFrameworkCache(StringRef FWName) {
506
    return FrameworkMap[FWName];
507
  }
508
 
509
  /// Mark the specified file as a target of a \#include,
510
  /// \#include_next, or \#import directive.
511
  ///
512
  /// \return false if \#including the file will have no effect or true
513
  /// if we should include it.
514
  bool ShouldEnterIncludeFile(Preprocessor &PP, const FileEntry *File,
515
                              bool isImport, bool ModulesEnabled, Module *M,
516
                              bool &IsFirstIncludeOfFile);
517
 
518
  /// Return whether the specified file is a normal header,
519
  /// a system header, or a C++ friendly system header.
520
  SrcMgr::CharacteristicKind getFileDirFlavor(const FileEntry *File) {
521
    return (SrcMgr::CharacteristicKind)getFileInfo(File).DirInfo;
522
  }
523
 
524
  /// Mark the specified file as a "once only" file due to
525
  /// \#pragma once.
526
  void MarkFileIncludeOnce(const FileEntry *File) {
527
    HeaderFileInfo &FI = getFileInfo(File);
528
    FI.isPragmaOnce = true;
529
  }
530
 
531
  /// Mark the specified file as a system header, e.g. due to
532
  /// \#pragma GCC system_header.
533
  void MarkFileSystemHeader(const FileEntry *File) {
534
    getFileInfo(File).DirInfo = SrcMgr::C_System;
535
  }
536
 
537
  /// Mark the specified file as part of a module.
538
  void MarkFileModuleHeader(const FileEntry *FE,
539
                            ModuleMap::ModuleHeaderRole Role,
540
                            bool isCompilingModuleHeader);
541
 
542
  /// Mark the specified file as having a controlling macro.
543
  ///
544
  /// This is used by the multiple-include optimization to eliminate
545
  /// no-op \#includes.
546
  void SetFileControllingMacro(const FileEntry *File,
547
                               const IdentifierInfo *ControllingMacro) {
548
    getFileInfo(File).ControllingMacro = ControllingMacro;
549
  }
550
 
551
  /// Determine whether this file is intended to be safe from
552
  /// multiple inclusions, e.g., it has \#pragma once or a controlling
553
  /// macro.
554
  ///
555
  /// This routine does not consider the effect of \#import
556
  bool isFileMultipleIncludeGuarded(const FileEntry *File);
557
 
558
  /// Determine whether the given file is known to have ever been \#imported.
559
  bool hasFileBeenImported(const FileEntry *File) {
560
    const HeaderFileInfo *FI = getExistingFileInfo(File);
561
    return FI && FI->isImport;
562
  }
563
 
564
  /// Determine which HeaderSearchOptions::UserEntries have been successfully
565
  /// used so far and mark their index with 'true' in the resulting bit vector.
566
  /// Note: implicit module maps don't contribute to entry usage.
567
  std::vector<bool> computeUserEntryUsage() const;
568
 
569
  /// This method returns a HeaderMap for the specified
570
  /// FileEntry, uniquing them through the 'HeaderMaps' datastructure.
571
  const HeaderMap *CreateHeaderMap(const FileEntry *FE);
572
 
573
  /// Get filenames for all registered header maps.
574
  void getHeaderMapFileNames(SmallVectorImpl<std::string> &Names) const;
575
 
576
  /// Retrieve the name of the cached module file that should be used
577
  /// to load the given module.
578
  ///
579
  /// \param Module The module whose module file name will be returned.
580
  ///
581
  /// \returns The name of the module file that corresponds to this module,
582
  /// or an empty string if this module does not correspond to any module file.
583
  std::string getCachedModuleFileName(Module *Module);
584
 
585
  /// Retrieve the name of the prebuilt module file that should be used
586
  /// to load a module with the given name.
587
  ///
588
  /// \param ModuleName The module whose module file name will be returned.
589
  ///
590
  /// \param FileMapOnly If true, then only look in the explicit module name
591
  //  to file name map and skip the directory search.
592
  ///
593
  /// \returns The name of the module file that corresponds to this module,
594
  /// or an empty string if this module does not correspond to any module file.
595
  std::string getPrebuiltModuleFileName(StringRef ModuleName,
596
                                        bool FileMapOnly = false);
597
 
598
  /// Retrieve the name of the prebuilt module file that should be used
599
  /// to load the given module.
600
  ///
601
  /// \param Module The module whose module file name will be returned.
602
  ///
603
  /// \returns The name of the module file that corresponds to this module,
604
  /// or an empty string if this module does not correspond to any module file.
605
  std::string getPrebuiltImplicitModuleFileName(Module *Module);
606
 
607
  /// Retrieve the name of the (to-be-)cached module file that should
608
  /// be used to load a module with the given name.
609
  ///
610
  /// \param ModuleName The module whose module file name will be returned.
611
  ///
612
  /// \param ModuleMapPath A path that when combined with \c ModuleName
613
  /// uniquely identifies this module. See Module::ModuleMap.
614
  ///
615
  /// \returns The name of the module file that corresponds to this module,
616
  /// or an empty string if this module does not correspond to any module file.
617
  std::string getCachedModuleFileName(StringRef ModuleName,
618
                                      StringRef ModuleMapPath);
619
 
620
  /// Lookup a module Search for a module with the given name.
621
  ///
622
  /// \param ModuleName The name of the module we're looking for.
623
  ///
624
  /// \param ImportLoc Location of the module include/import.
625
  ///
626
  /// \param AllowSearch Whether we are allowed to search in the various
627
  /// search directories to produce a module definition. If not, this lookup
628
  /// will only return an already-known module.
629
  ///
630
  /// \param AllowExtraModuleMapSearch Whether we allow to search modulemaps
631
  /// in subdirectories.
632
  ///
633
  /// \returns The module with the given name.
634
  Module *lookupModule(StringRef ModuleName,
635
                       SourceLocation ImportLoc = SourceLocation(),
636
                       bool AllowSearch = true,
637
                       bool AllowExtraModuleMapSearch = false);
638
 
639
  /// Try to find a module map file in the given directory, returning
640
  /// \c nullptr if none is found.
641
  const FileEntry *lookupModuleMapFile(const DirectoryEntry *Dir,
642
                                       bool IsFramework);
643
 
644
  /// Determine whether there is a module map that may map the header
645
  /// with the given file name to a (sub)module.
646
  /// Always returns false if modules are disabled.
647
  ///
648
  /// \param Filename The name of the file.
649
  ///
650
  /// \param Root The "root" directory, at which we should stop looking for
651
  /// module maps.
652
  ///
653
  /// \param IsSystem Whether the directories we're looking at are system
654
  /// header directories.
655
  bool hasModuleMap(StringRef Filename, const DirectoryEntry *Root,
656
                    bool IsSystem);
657
 
658
  /// Retrieve the module that corresponds to the given file, if any.
659
  ///
660
  /// \param File The header that we wish to map to a module.
661
  /// \param AllowTextual Whether we want to find textual headers too.
662
  ModuleMap::KnownHeader findModuleForHeader(const FileEntry *File,
663
                                             bool AllowTextual = false,
664
                                             bool AllowExcluded = false) const;
665
 
666
  /// Retrieve all the modules corresponding to the given file.
667
  ///
668
  /// \ref findModuleForHeader should typically be used instead of this.
669
  ArrayRef<ModuleMap::KnownHeader>
670
  findAllModulesForHeader(const FileEntry *File) const;
671
 
672
  /// Read the contents of the given module map file.
673
  ///
674
  /// \param File The module map file.
675
  /// \param IsSystem Whether this file is in a system header directory.
676
  /// \param ID If the module map file is already mapped (perhaps as part of
677
  ///        processing a preprocessed module), the ID of the file.
678
  /// \param Offset [inout] An offset within ID to start parsing. On exit,
679
  ///        filled by the end of the parsed contents (either EOF or the
680
  ///        location of an end-of-module-map pragma).
681
  /// \param OriginalModuleMapFile The original path to the module map file,
682
  ///        used to resolve paths within the module (this is required when
683
  ///        building the module from preprocessed source).
684
  /// \returns true if an error occurred, false otherwise.
685
  bool loadModuleMapFile(const FileEntry *File, bool IsSystem,
686
                         FileID ID = FileID(), unsigned *Offset = nullptr,
687
                         StringRef OriginalModuleMapFile = StringRef());
688
 
689
  /// Collect the set of all known, top-level modules.
690
  ///
691
  /// \param Modules Will be filled with the set of known, top-level modules.
692
  void collectAllModules(SmallVectorImpl<Module *> &Modules);
693
 
694
  /// Load all known, top-level system modules.
695
  void loadTopLevelSystemModules();
696
 
697
private:
698
  /// Lookup a module with the given module name and search-name.
699
  ///
700
  /// \param ModuleName The name of the module we're looking for.
701
  ///
702
  /// \param SearchName The "search-name" to derive filesystem paths from
703
  /// when looking for the module map; this is usually equal to ModuleName,
704
  /// but for compatibility with some buggy frameworks, additional attempts
705
  /// may be made to find the module under a related-but-different search-name.
706
  ///
707
  /// \param ImportLoc Location of the module include/import.
708
  ///
709
  /// \param AllowExtraModuleMapSearch Whether we allow to search modulemaps
710
  /// in subdirectories.
711
  ///
712
  /// \returns The module named ModuleName.
713
  Module *lookupModule(StringRef ModuleName, StringRef SearchName,
714
                       SourceLocation ImportLoc,
715
                       bool AllowExtraModuleMapSearch = false);
716
 
717
  /// Retrieve the name of the (to-be-)cached module file that should
718
  /// be used to load a module with the given name.
719
  ///
720
  /// \param ModuleName The module whose module file name will be returned.
721
  ///
722
  /// \param ModuleMapPath A path that when combined with \c ModuleName
723
  /// uniquely identifies this module. See Module::ModuleMap.
724
  ///
725
  /// \param CachePath A path to the module cache.
726
  ///
727
  /// \returns The name of the module file that corresponds to this module,
728
  /// or an empty string if this module does not correspond to any module file.
729
  std::string getCachedModuleFileNameImpl(StringRef ModuleName,
730
                                          StringRef ModuleMapPath,
731
                                          StringRef CachePath);
732
 
733
  /// Retrieve a module with the given name, which may be part of the
734
  /// given framework.
735
  ///
736
  /// \param Name The name of the module to retrieve.
737
  ///
738
  /// \param Dir The framework directory (e.g., ModuleName.framework).
739
  ///
740
  /// \param IsSystem Whether the framework directory is part of the system
741
  /// frameworks.
742
  ///
743
  /// \returns The module, if found; otherwise, null.
744
  Module *loadFrameworkModule(StringRef Name, DirectoryEntryRef Dir,
745
                              bool IsSystem);
746
 
747
  /// Load all of the module maps within the immediate subdirectories
748
  /// of the given search directory.
749
  void loadSubdirectoryModuleMaps(DirectoryLookup &SearchDir);
750
 
751
  /// Find and suggest a usable module for the given file.
752
  ///
753
  /// \return \c true if the file can be used, \c false if we are not permitted to
754
  ///         find this file due to requirements from \p RequestingModule.
755
  bool findUsableModuleForHeader(const FileEntry *File,
756
                                 const DirectoryEntry *Root,
757
                                 Module *RequestingModule,
758
                                 ModuleMap::KnownHeader *SuggestedModule,
759
                                 bool IsSystemHeaderDir);
760
 
761
  /// Find and suggest a usable module for the given file, which is part of
762
  /// the specified framework.
763
  ///
764
  /// \return \c true if the file can be used, \c false if we are not permitted to
765
  ///         find this file due to requirements from \p RequestingModule.
766
  bool findUsableModuleForFrameworkHeader(
767
      const FileEntry *File, StringRef FrameworkName, Module *RequestingModule,
768
      ModuleMap::KnownHeader *SuggestedModule, bool IsSystemFramework);
769
 
770
  /// Look up the file with the specified name and determine its owning
771
  /// module.
772
  OptionalFileEntryRef
773
  getFileAndSuggestModule(StringRef FileName, SourceLocation IncludeLoc,
774
                          const DirectoryEntry *Dir, bool IsSystemHeaderDir,
775
                          Module *RequestingModule,
776
                          ModuleMap::KnownHeader *SuggestedModule,
777
                          bool OpenFile = true, bool CacheFailures = true);
778
 
779
  /// Cache the result of a successful lookup at the given include location
780
  /// using the search path at \c HitIt.
781
  void cacheLookupSuccess(LookupFileCacheInfo &CacheLookup,
782
                          ConstSearchDirIterator HitIt,
783
                          SourceLocation IncludeLoc);
784
 
785
  /// Note that a lookup at the given include location was successful using the
786
  /// search path at index `HitIdx`.
787
  void noteLookupUsage(unsigned HitIdx, SourceLocation IncludeLoc);
788
 
789
public:
790
  /// Retrieve the module map.
791
  ModuleMap &getModuleMap() { return ModMap; }
792
 
793
  /// Retrieve the module map.
794
  const ModuleMap &getModuleMap() const { return ModMap; }
795
 
796
  unsigned header_file_size() const { return FileInfo.size(); }
797
 
798
  /// Return the HeaderFileInfo structure for the specified FileEntry,
799
  /// in preparation for updating it in some way.
800
  HeaderFileInfo &getFileInfo(const FileEntry *FE);
801
 
802
  /// Return the HeaderFileInfo structure for the specified FileEntry,
803
  /// if it has ever been filled in.
804
  /// \param WantExternal Whether the caller wants purely-external header file
805
  ///        info (where \p External is true).
806
  const HeaderFileInfo *getExistingFileInfo(const FileEntry *FE,
807
                                            bool WantExternal = true) const;
808
 
809
  SearchDirIterator search_dir_begin() { return {*this, 0}; }
810
  SearchDirIterator search_dir_end() { return {*this, SearchDirs.size()}; }
811
  SearchDirRange search_dir_range() {
812
    return {search_dir_begin(), search_dir_end()};
813
  }
814
 
815
  ConstSearchDirIterator search_dir_begin() const { return quoted_dir_begin(); }
816
  ConstSearchDirIterator search_dir_nth(size_t n) const {
817
    assert(n < SearchDirs.size());
818
    return {*this, n};
819
  }
820
  ConstSearchDirIterator search_dir_end() const { return system_dir_end(); }
821
  ConstSearchDirRange search_dir_range() const {
822
    return {search_dir_begin(), search_dir_end()};
823
  }
824
 
825
  unsigned search_dir_size() const { return SearchDirs.size(); }
826
 
827
  ConstSearchDirIterator quoted_dir_begin() const { return {*this, 0}; }
828
  ConstSearchDirIterator quoted_dir_end() const { return angled_dir_begin(); }
829
 
830
  ConstSearchDirIterator angled_dir_begin() const {
831
    return {*this, AngledDirIdx};
832
  }
833
  ConstSearchDirIterator angled_dir_end() const { return system_dir_begin(); }
834
 
835
  ConstSearchDirIterator system_dir_begin() const {
836
    return {*this, SystemDirIdx};
837
  }
838
  ConstSearchDirIterator system_dir_end() const {
839
    return {*this, SearchDirs.size()};
840
  }
841
 
842
  /// Get the index of the given search directory.
843
  unsigned searchDirIdx(const DirectoryLookup &DL) const;
844
 
845
  /// Retrieve a uniqued framework name.
846
  StringRef getUniqueFrameworkName(StringRef Framework);
847
 
848
  /// Retrieve the include name for the header.
849
  ///
850
  /// \param File The entry for a given header.
851
  /// \returns The name of how the file was included when the header's location
852
  /// was resolved.
853
  StringRef getIncludeNameForHeader(const FileEntry *File) const;
854
 
855
  /// Suggest a path by which the specified file could be found, for use in
856
  /// diagnostics to suggest a #include. Returned path will only contain forward
857
  /// slashes as separators. MainFile is the absolute path of the file that we
858
  /// are generating the diagnostics for. It will try to shorten the path using
859
  /// MainFile location, if none of the include search directories were prefix
860
  /// of File.
861
  ///
862
  /// \param IsSystem If non-null, filled in to indicate whether the suggested
863
  ///        path is relative to a system header directory.
864
  std::string suggestPathToFileForDiagnostics(const FileEntry *File,
865
                                              llvm::StringRef MainFile,
866
                                              bool *IsSystem = nullptr);
867
 
868
  /// Suggest a path by which the specified file could be found, for use in
869
  /// diagnostics to suggest a #include. Returned path will only contain forward
870
  /// slashes as separators. MainFile is the absolute path of the file that we
871
  /// are generating the diagnostics for. It will try to shorten the path using
872
  /// MainFile location, if none of the include search directories were prefix
873
  /// of File.
874
  ///
875
  /// \param WorkingDir If non-empty, this will be prepended to search directory
876
  /// paths that are relative.
877
  std::string suggestPathToFileForDiagnostics(llvm::StringRef File,
878
                                              llvm::StringRef WorkingDir,
879
                                              llvm::StringRef MainFile,
880
                                              bool *IsSystem = nullptr);
881
 
882
  void PrintStats();
883
 
884
  size_t getTotalMemory() const;
885
 
886
private:
887
  /// Describes what happened when we tried to load a module map file.
888
  enum LoadModuleMapResult {
889
    /// The module map file had already been loaded.
890
    LMM_AlreadyLoaded,
891
 
892
    /// The module map file was loaded by this invocation.
893
    LMM_NewlyLoaded,
894
 
895
    /// There is was directory with the given name.
896
    LMM_NoDirectory,
897
 
898
    /// There was either no module map file or the module map file was
899
    /// invalid.
900
    LMM_InvalidModuleMap
901
  };
902
 
903
  LoadModuleMapResult loadModuleMapFileImpl(const FileEntry *File,
904
                                            bool IsSystem,
905
                                            DirectoryEntryRef Dir,
906
                                            FileID ID = FileID(),
907
                                            unsigned *Offset = nullptr);
908
 
909
  /// Try to load the module map file in the given directory.
910
  ///
911
  /// \param DirName The name of the directory where we will look for a module
912
  /// map file.
913
  /// \param IsSystem Whether this is a system header directory.
914
  /// \param IsFramework Whether this is a framework directory.
915
  ///
916
  /// \returns The result of attempting to load the module map file from the
917
  /// named directory.
918
  LoadModuleMapResult loadModuleMapFile(StringRef DirName, bool IsSystem,
919
                                        bool IsFramework);
920
 
921
  /// Try to load the module map file in the given directory.
922
  ///
923
  /// \param Dir The directory where we will look for a module map file.
924
  /// \param IsSystem Whether this is a system header directory.
925
  /// \param IsFramework Whether this is a framework directory.
926
  ///
927
  /// \returns The result of attempting to load the module map file from the
928
  /// named directory.
929
  LoadModuleMapResult loadModuleMapFile(DirectoryEntryRef Dir, bool IsSystem,
930
                                        bool IsFramework);
931
};
932
 
933
/// Apply the header search options to get given HeaderSearch object.
934
void ApplyHeaderSearchOptions(HeaderSearch &HS,
935
                              const HeaderSearchOptions &HSOpts,
936
                              const LangOptions &Lang,
937
                              const llvm::Triple &triple);
938
 
939
} // namespace clang
940
 
941
#endif // LLVM_CLANG_LEX_HEADERSEARCH_H