1 //===--- CompilerInstance.cpp ---------------------------------------------===//
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
7 //===----------------------------------------------------------------------===//
9 #include "clang/Frontend/CompilerInstance.h"
10 #include "clang/AST/ASTConsumer.h"
11 #include "clang/AST/ASTContext.h"
12 #include "clang/AST/Decl.h"
13 #include "clang/Basic/CharInfo.h"
14 #include "clang/Basic/Diagnostic.h"
15 #include "clang/Basic/FileManager.h"
16 #include "clang/Basic/LangStandard.h"
17 #include "clang/Basic/SourceManager.h"
18 #include "clang/Basic/Stack.h"
19 #include "clang/Basic/TargetInfo.h"
20 #include "clang/Basic/Version.h"
21 #include "clang/Config/config.h"
22 #include "clang/Frontend/ChainedDiagnosticConsumer.h"
23 #include "clang/Frontend/FrontendAction.h"
24 #include "clang/Frontend/FrontendActions.h"
25 #include "clang/Frontend/FrontendDiagnostic.h"
26 #include "clang/Frontend/FrontendPluginRegistry.h"
27 #include "clang/Frontend/LogDiagnosticPrinter.h"
28 #include "clang/Frontend/SerializedDiagnosticPrinter.h"
29 #include "clang/Frontend/TextDiagnosticPrinter.h"
30 #include "clang/Frontend/Utils.h"
31 #include "clang/Frontend/VerifyDiagnosticConsumer.h"
32 #include "clang/Lex/HeaderSearch.h"
33 #include "clang/Lex/Preprocessor.h"
34 #include "clang/Lex/PreprocessorOptions.h"
35 #include "clang/Sema/CodeCompleteConsumer.h"
36 #include "clang/Sema/Sema.h"
37 #include "clang/Serialization/ASTReader.h"
38 #include "clang/Serialization/GlobalModuleIndex.h"
39 #include "clang/Serialization/InMemoryModuleCache.h"
40 #include "llvm/ADT/ScopeExit.h"
41 #include "llvm/ADT/Statistic.h"
42 #include "llvm/Support/BuryPointer.h"
43 #include "llvm/Support/CrashRecoveryContext.h"
44 #include "llvm/Support/Errc.h"
45 #include "llvm/Support/FileSystem.h"
46 #include "llvm/Support/Host.h"
47 #include "llvm/Support/LockFileManager.h"
48 #include "llvm/Support/MemoryBuffer.h"
49 #include "llvm/Support/Path.h"
50 #include "llvm/Support/Program.h"
51 #include "llvm/Support/Signals.h"
52 #include "llvm/Support/TimeProfiler.h"
53 #include "llvm/Support/Timer.h"
54 #include "llvm/Support/raw_ostream.h"
58 using namespace clang
;
60 CompilerInstance::CompilerInstance(
61 std::shared_ptr
<PCHContainerOperations
> PCHContainerOps
,
62 InMemoryModuleCache
*SharedModuleCache
)
63 : ModuleLoader(/* BuildingModule = */ SharedModuleCache
),
64 Invocation(new CompilerInvocation()),
65 ModuleCache(SharedModuleCache
? SharedModuleCache
66 : new InMemoryModuleCache
),
67 ThePCHContainerOperations(std::move(PCHContainerOps
)) {}
69 CompilerInstance::~CompilerInstance() {
70 assert(OutputFiles
.empty() && "Still output files in flight?");
73 void CompilerInstance::setInvocation(
74 std::shared_ptr
<CompilerInvocation
> Value
) {
75 Invocation
= std::move(Value
);
78 bool CompilerInstance::shouldBuildGlobalModuleIndex() const {
79 return (BuildGlobalModuleIndex
||
80 (TheASTReader
&& TheASTReader
->isGlobalIndexUnavailable() &&
81 getFrontendOpts().GenerateGlobalModuleIndex
)) &&
82 !DisableGeneratingGlobalModuleIndex
;
85 void CompilerInstance::setDiagnostics(DiagnosticsEngine
*Value
) {
89 void CompilerInstance::setVerboseOutputStream(raw_ostream
&Value
) {
90 OwnedVerboseOutputStream
.reset();
91 VerboseOutputStream
= &Value
;
94 void CompilerInstance::setVerboseOutputStream(std::unique_ptr
<raw_ostream
> Value
) {
95 OwnedVerboseOutputStream
.swap(Value
);
96 VerboseOutputStream
= OwnedVerboseOutputStream
.get();
99 void CompilerInstance::setTarget(TargetInfo
*Value
) { Target
= Value
; }
100 void CompilerInstance::setAuxTarget(TargetInfo
*Value
) { AuxTarget
= Value
; }
102 bool CompilerInstance::createTarget() {
103 // Create the target instance.
104 setTarget(TargetInfo::CreateTargetInfo(getDiagnostics(),
105 getInvocation().TargetOpts
));
109 // Check whether AuxTarget exists, if not, then create TargetInfo for the
110 // other side of CUDA/OpenMP/SYCL compilation.
111 if (!getAuxTarget() &&
112 (getLangOpts().CUDA
|| getLangOpts().OpenMPIsDevice
||
113 getLangOpts().SYCLIsDevice
) &&
114 !getFrontendOpts().AuxTriple
.empty()) {
115 auto TO
= std::make_shared
<TargetOptions
>();
116 TO
->Triple
= llvm::Triple::normalize(getFrontendOpts().AuxTriple
);
117 if (getFrontendOpts().AuxTargetCPU
)
118 TO
->CPU
= getFrontendOpts().AuxTargetCPU
.value();
119 if (getFrontendOpts().AuxTargetFeatures
)
120 TO
->FeaturesAsWritten
= getFrontendOpts().AuxTargetFeatures
.value();
121 TO
->HostTriple
= getTarget().getTriple().str();
122 setAuxTarget(TargetInfo::CreateTargetInfo(getDiagnostics(), TO
));
125 if (!getTarget().hasStrictFP() && !getLangOpts().ExpStrictFP
) {
126 if (getLangOpts().RoundingMath
) {
127 getDiagnostics().Report(diag::warn_fe_backend_unsupported_fp_rounding
);
128 getLangOpts().RoundingMath
= false;
130 auto FPExc
= getLangOpts().getFPExceptionMode();
131 if (FPExc
!= LangOptions::FPE_Default
&& FPExc
!= LangOptions::FPE_Ignore
) {
132 getDiagnostics().Report(diag::warn_fe_backend_unsupported_fp_exceptions
);
133 getLangOpts().setFPExceptionMode(LangOptions::FPE_Ignore
);
135 // FIXME: can we disable FEnvAccess?
138 // We should do it here because target knows nothing about
139 // language options when it's being created.
140 if (getLangOpts().OpenCL
&&
141 !getTarget().validateOpenCLTarget(getLangOpts(), getDiagnostics()))
144 // Inform the target of the language options.
145 // FIXME: We shouldn't need to do this, the target should be immutable once
146 // created. This complexity should be lifted elsewhere.
147 getTarget().adjust(getDiagnostics(), getLangOpts());
149 // Adjust target options based on codegen options.
150 getTarget().adjustTargetOptions(getCodeGenOpts(), getTargetOpts());
152 if (auto *Aux
= getAuxTarget())
153 getTarget().setAuxTarget(Aux
);
158 llvm::vfs::FileSystem
&CompilerInstance::getVirtualFileSystem() const {
159 return getFileManager().getVirtualFileSystem();
162 void CompilerInstance::setFileManager(FileManager
*Value
) {
166 void CompilerInstance::setSourceManager(SourceManager
*Value
) {
170 void CompilerInstance::setPreprocessor(std::shared_ptr
<Preprocessor
> Value
) {
171 PP
= std::move(Value
);
174 void CompilerInstance::setASTContext(ASTContext
*Value
) {
177 if (Context
&& Consumer
)
178 getASTConsumer().Initialize(getASTContext());
181 void CompilerInstance::setSema(Sema
*S
) {
185 void CompilerInstance::setASTConsumer(std::unique_ptr
<ASTConsumer
> Value
) {
186 Consumer
= std::move(Value
);
188 if (Context
&& Consumer
)
189 getASTConsumer().Initialize(getASTContext());
192 void CompilerInstance::setCodeCompletionConsumer(CodeCompleteConsumer
*Value
) {
193 CompletionConsumer
.reset(Value
);
196 std::unique_ptr
<Sema
> CompilerInstance::takeSema() {
197 return std::move(TheSema
);
200 IntrusiveRefCntPtr
<ASTReader
> CompilerInstance::getASTReader() const {
203 void CompilerInstance::setASTReader(IntrusiveRefCntPtr
<ASTReader
> Reader
) {
204 assert(ModuleCache
.get() == &Reader
->getModuleManager().getModuleCache() &&
205 "Expected ASTReader to use the same PCM cache");
206 TheASTReader
= std::move(Reader
);
209 std::shared_ptr
<ModuleDependencyCollector
>
210 CompilerInstance::getModuleDepCollector() const {
211 return ModuleDepCollector
;
214 void CompilerInstance::setModuleDepCollector(
215 std::shared_ptr
<ModuleDependencyCollector
> Collector
) {
216 ModuleDepCollector
= std::move(Collector
);
219 static void collectHeaderMaps(const HeaderSearch
&HS
,
220 std::shared_ptr
<ModuleDependencyCollector
> MDC
) {
221 SmallVector
<std::string
, 4> HeaderMapFileNames
;
222 HS
.getHeaderMapFileNames(HeaderMapFileNames
);
223 for (auto &Name
: HeaderMapFileNames
)
227 static void collectIncludePCH(CompilerInstance
&CI
,
228 std::shared_ptr
<ModuleDependencyCollector
> MDC
) {
229 const PreprocessorOptions
&PPOpts
= CI
.getPreprocessorOpts();
230 if (PPOpts
.ImplicitPCHInclude
.empty())
233 StringRef PCHInclude
= PPOpts
.ImplicitPCHInclude
;
234 FileManager
&FileMgr
= CI
.getFileManager();
235 auto PCHDir
= FileMgr
.getOptionalDirectoryRef(PCHInclude
);
237 MDC
->addFile(PCHInclude
);
242 SmallString
<128> DirNative
;
243 llvm::sys::path::native(PCHDir
->getName(), DirNative
);
244 llvm::vfs::FileSystem
&FS
= FileMgr
.getVirtualFileSystem();
245 SimpleASTReaderListener
Validator(CI
.getPreprocessor());
246 for (llvm::vfs::directory_iterator Dir
= FS
.dir_begin(DirNative
, EC
), DirEnd
;
247 Dir
!= DirEnd
&& !EC
; Dir
.increment(EC
)) {
248 // Check whether this is an AST file. ASTReader::isAcceptableASTFile is not
249 // used here since we're not interested in validating the PCH at this time,
250 // but only to check whether this is a file containing an AST.
251 if (!ASTReader::readASTFileControlBlock(
252 Dir
->path(), FileMgr
, CI
.getPCHContainerReader(),
253 /*FindModuleFileExtensions=*/false, Validator
,
254 /*ValidateDiagnosticOptions=*/false))
255 MDC
->addFile(Dir
->path());
259 static void collectVFSEntries(CompilerInstance
&CI
,
260 std::shared_ptr
<ModuleDependencyCollector
> MDC
) {
261 if (CI
.getHeaderSearchOpts().VFSOverlayFiles
.empty())
264 // Collect all VFS found.
265 SmallVector
<llvm::vfs::YAMLVFSEntry
, 16> VFSEntries
;
266 for (const std::string
&VFSFile
: CI
.getHeaderSearchOpts().VFSOverlayFiles
) {
267 llvm::ErrorOr
<std::unique_ptr
<llvm::MemoryBuffer
>> Buffer
=
268 llvm::MemoryBuffer::getFile(VFSFile
);
271 llvm::vfs::collectVFSFromYAML(std::move(Buffer
.get()),
272 /*DiagHandler*/ nullptr, VFSFile
, VFSEntries
);
275 for (auto &E
: VFSEntries
)
276 MDC
->addFile(E
.VPath
, E
.RPath
);
280 static void SetUpDiagnosticLog(DiagnosticOptions
*DiagOpts
,
281 const CodeGenOptions
*CodeGenOpts
,
282 DiagnosticsEngine
&Diags
) {
284 std::unique_ptr
<raw_ostream
> StreamOwner
;
285 raw_ostream
*OS
= &llvm::errs();
286 if (DiagOpts
->DiagnosticLogFile
!= "-") {
287 // Create the output stream.
288 auto FileOS
= std::make_unique
<llvm::raw_fd_ostream
>(
289 DiagOpts
->DiagnosticLogFile
, EC
,
290 llvm::sys::fs::OF_Append
| llvm::sys::fs::OF_TextWithCRLF
);
292 Diags
.Report(diag::warn_fe_cc_log_diagnostics_failure
)
293 << DiagOpts
->DiagnosticLogFile
<< EC
.message();
295 FileOS
->SetUnbuffered();
297 StreamOwner
= std::move(FileOS
);
301 // Chain in the diagnostic client which will log the diagnostics.
302 auto Logger
= std::make_unique
<LogDiagnosticPrinter
>(*OS
, DiagOpts
,
303 std::move(StreamOwner
));
305 Logger
->setDwarfDebugFlags(CodeGenOpts
->DwarfDebugFlags
);
306 if (Diags
.ownsClient()) {
308 new ChainedDiagnosticConsumer(Diags
.takeClient(), std::move(Logger
)));
311 new ChainedDiagnosticConsumer(Diags
.getClient(), std::move(Logger
)));
315 static void SetupSerializedDiagnostics(DiagnosticOptions
*DiagOpts
,
316 DiagnosticsEngine
&Diags
,
317 StringRef OutputFile
) {
318 auto SerializedConsumer
=
319 clang::serialized_diags::create(OutputFile
, DiagOpts
);
321 if (Diags
.ownsClient()) {
322 Diags
.setClient(new ChainedDiagnosticConsumer(
323 Diags
.takeClient(), std::move(SerializedConsumer
)));
325 Diags
.setClient(new ChainedDiagnosticConsumer(
326 Diags
.getClient(), std::move(SerializedConsumer
)));
330 void CompilerInstance::createDiagnostics(DiagnosticConsumer
*Client
,
331 bool ShouldOwnClient
) {
332 Diagnostics
= createDiagnostics(&getDiagnosticOpts(), Client
,
333 ShouldOwnClient
, &getCodeGenOpts());
336 IntrusiveRefCntPtr
<DiagnosticsEngine
>
337 CompilerInstance::createDiagnostics(DiagnosticOptions
*Opts
,
338 DiagnosticConsumer
*Client
,
339 bool ShouldOwnClient
,
340 const CodeGenOptions
*CodeGenOpts
) {
341 IntrusiveRefCntPtr
<DiagnosticIDs
> DiagID(new DiagnosticIDs());
342 IntrusiveRefCntPtr
<DiagnosticsEngine
>
343 Diags(new DiagnosticsEngine(DiagID
, Opts
));
345 // Create the diagnostic client for reporting errors or for
346 // implementing -verify.
348 Diags
->setClient(Client
, ShouldOwnClient
);
350 Diags
->setClient(new TextDiagnosticPrinter(llvm::errs(), Opts
));
352 // Chain in -verify checker, if requested.
353 if (Opts
->VerifyDiagnostics
)
354 Diags
->setClient(new VerifyDiagnosticConsumer(*Diags
));
356 // Chain in -diagnostic-log-file dumper, if requested.
357 if (!Opts
->DiagnosticLogFile
.empty())
358 SetUpDiagnosticLog(Opts
, CodeGenOpts
, *Diags
);
360 if (!Opts
->DiagnosticSerializationFile
.empty())
361 SetupSerializedDiagnostics(Opts
, *Diags
,
362 Opts
->DiagnosticSerializationFile
);
364 // Configure our handling of diagnostics.
365 ProcessWarningOptions(*Diags
, *Opts
);
372 FileManager
*CompilerInstance::createFileManager(
373 IntrusiveRefCntPtr
<llvm::vfs::FileSystem
> VFS
) {
375 VFS
= FileMgr
? &FileMgr
->getVirtualFileSystem()
376 : createVFSFromCompilerInvocation(getInvocation(),
378 assert(VFS
&& "FileManager has no VFS?");
379 FileMgr
= new FileManager(getFileSystemOpts(), std::move(VFS
));
380 return FileMgr
.get();
385 void CompilerInstance::createSourceManager(FileManager
&FileMgr
) {
386 SourceMgr
= new SourceManager(getDiagnostics(), FileMgr
);
389 // Initialize the remapping of files to alternative contents, e.g.,
390 // those specified through other files.
391 static void InitializeFileRemapping(DiagnosticsEngine
&Diags
,
392 SourceManager
&SourceMgr
,
393 FileManager
&FileMgr
,
394 const PreprocessorOptions
&InitOpts
) {
395 // Remap files in the source manager (with buffers).
396 for (const auto &RB
: InitOpts
.RemappedFileBuffers
) {
397 // Create the file entry for the file that we're mapping from.
398 const FileEntry
*FromFile
=
399 FileMgr
.getVirtualFile(RB
.first
, RB
.second
->getBufferSize(), 0);
401 Diags
.Report(diag::err_fe_remap_missing_from_file
) << RB
.first
;
402 if (!InitOpts
.RetainRemappedFileBuffers
)
407 // Override the contents of the "from" file with the contents of the
408 // "to" file. If the caller owns the buffers, then pass a MemoryBufferRef;
409 // otherwise, pass as a std::unique_ptr<MemoryBuffer> to transfer ownership
410 // to the SourceManager.
411 if (InitOpts
.RetainRemappedFileBuffers
)
412 SourceMgr
.overrideFileContents(FromFile
, RB
.second
->getMemBufferRef());
414 SourceMgr
.overrideFileContents(
415 FromFile
, std::unique_ptr
<llvm::MemoryBuffer
>(
416 const_cast<llvm::MemoryBuffer
*>(RB
.second
)));
419 // Remap files in the source manager (with other files).
420 for (const auto &RF
: InitOpts
.RemappedFiles
) {
421 // Find the file that we're mapping to.
422 auto ToFile
= FileMgr
.getFile(RF
.second
);
424 Diags
.Report(diag::err_fe_remap_missing_to_file
) << RF
.first
<< RF
.second
;
428 // Create the file entry for the file that we're mapping from.
429 const FileEntry
*FromFile
=
430 FileMgr
.getVirtualFile(RF
.first
, (*ToFile
)->getSize(), 0);
432 Diags
.Report(diag::err_fe_remap_missing_from_file
) << RF
.first
;
436 // Override the contents of the "from" file with the contents of
438 SourceMgr
.overrideFileContents(FromFile
, *ToFile
);
441 SourceMgr
.setOverridenFilesKeepOriginalName(
442 InitOpts
.RemappedFilesKeepOriginalName
);
447 void CompilerInstance::createPreprocessor(TranslationUnitKind TUKind
) {
448 const PreprocessorOptions
&PPOpts
= getPreprocessorOpts();
450 // The AST reader holds a reference to the old preprocessor (if any).
451 TheASTReader
.reset();
453 // Create the Preprocessor.
454 HeaderSearch
*HeaderInfo
=
455 new HeaderSearch(getHeaderSearchOptsPtr(), getSourceManager(),
456 getDiagnostics(), getLangOpts(), &getTarget());
457 PP
= std::make_shared
<Preprocessor
>(Invocation
->getPreprocessorOptsPtr(),
458 getDiagnostics(), getLangOpts(),
459 getSourceManager(), *HeaderInfo
, *this,
460 /*IdentifierInfoLookup=*/nullptr,
461 /*OwnsHeaderSearch=*/true, TUKind
);
462 getTarget().adjust(getDiagnostics(), getLangOpts());
463 PP
->Initialize(getTarget(), getAuxTarget());
465 if (PPOpts
.DetailedRecord
)
466 PP
->createPreprocessingRecord();
468 // Apply remappings to the source manager.
469 InitializeFileRemapping(PP
->getDiagnostics(), PP
->getSourceManager(),
470 PP
->getFileManager(), PPOpts
);
472 // Predefine macros and configure the preprocessor.
473 InitializePreprocessor(*PP
, PPOpts
, getPCHContainerReader(),
476 // Initialize the header search object. In CUDA compilations, we use the aux
477 // triple (the host triple) to initialize our header search, since we need to
478 // find the host headers in order to compile the CUDA code.
479 const llvm::Triple
*HeaderSearchTriple
= &PP
->getTargetInfo().getTriple();
480 if (PP
->getTargetInfo().getTriple().getOS() == llvm::Triple::CUDA
&&
481 PP
->getAuxTargetInfo())
482 HeaderSearchTriple
= &PP
->getAuxTargetInfo()->getTriple();
484 ApplyHeaderSearchOptions(PP
->getHeaderSearchInfo(), getHeaderSearchOpts(),
485 PP
->getLangOpts(), *HeaderSearchTriple
);
487 PP
->setPreprocessedOutput(getPreprocessorOutputOpts().ShowCPP
);
489 if (PP
->getLangOpts().Modules
&& PP
->getLangOpts().ImplicitModules
) {
490 std::string ModuleHash
= getInvocation().getModuleHash();
491 PP
->getHeaderSearchInfo().setModuleHash(ModuleHash
);
492 PP
->getHeaderSearchInfo().setModuleCachePath(
493 getSpecificModuleCachePath(ModuleHash
));
496 // Handle generating dependencies, if requested.
497 const DependencyOutputOptions
&DepOpts
= getDependencyOutputOpts();
498 if (!DepOpts
.OutputFile
.empty())
499 addDependencyCollector(std::make_shared
<DependencyFileGenerator
>(DepOpts
));
500 if (!DepOpts
.DOTOutputFile
.empty())
501 AttachDependencyGraphGen(*PP
, DepOpts
.DOTOutputFile
,
502 getHeaderSearchOpts().Sysroot
);
504 // If we don't have a collector, but we are collecting module dependencies,
505 // then we're the top level compiler instance and need to create one.
506 if (!ModuleDepCollector
&& !DepOpts
.ModuleDependencyOutputDir
.empty()) {
507 ModuleDepCollector
= std::make_shared
<ModuleDependencyCollector
>(
508 DepOpts
.ModuleDependencyOutputDir
);
511 // If there is a module dep collector, register with other dep collectors
512 // and also (a) collect header maps and (b) TODO: input vfs overlay files.
513 if (ModuleDepCollector
) {
514 addDependencyCollector(ModuleDepCollector
);
515 collectHeaderMaps(PP
->getHeaderSearchInfo(), ModuleDepCollector
);
516 collectIncludePCH(*this, ModuleDepCollector
);
517 collectVFSEntries(*this, ModuleDepCollector
);
520 for (auto &Listener
: DependencyCollectors
)
521 Listener
->attachToPreprocessor(*PP
);
523 // Handle generating header include information, if requested.
524 if (DepOpts
.ShowHeaderIncludes
)
525 AttachHeaderIncludeGen(*PP
, DepOpts
);
526 if (!DepOpts
.HeaderIncludeOutputFile
.empty()) {
527 StringRef OutputPath
= DepOpts
.HeaderIncludeOutputFile
;
528 if (OutputPath
== "-")
530 AttachHeaderIncludeGen(*PP
, DepOpts
,
531 /*ShowAllHeaders=*/true, OutputPath
,
532 /*ShowDepth=*/false);
535 if (DepOpts
.ShowIncludesDest
!= ShowIncludesDestination::None
) {
536 AttachHeaderIncludeGen(*PP
, DepOpts
,
537 /*ShowAllHeaders=*/true, /*OutputPath=*/"",
538 /*ShowDepth=*/true, /*MSStyle=*/true);
542 std::string
CompilerInstance::getSpecificModuleCachePath(StringRef ModuleHash
) {
543 // Set up the module path, including the hash for the module-creation options.
544 SmallString
<256> SpecificModuleCache(getHeaderSearchOpts().ModuleCachePath
);
545 if (!SpecificModuleCache
.empty() && !getHeaderSearchOpts().DisableModuleHash
)
546 llvm::sys::path::append(SpecificModuleCache
, ModuleHash
);
547 return std::string(SpecificModuleCache
.str());
552 void CompilerInstance::createASTContext() {
553 Preprocessor
&PP
= getPreprocessor();
554 auto *Context
= new ASTContext(getLangOpts(), PP
.getSourceManager(),
555 PP
.getIdentifierTable(), PP
.getSelectorTable(),
556 PP
.getBuiltinInfo(), PP
.TUKind
);
557 Context
->InitBuiltinTypes(getTarget(), getAuxTarget());
558 setASTContext(Context
);
564 // Helper to recursively read the module names for all modules we're adding.
565 // We mark these as known and redirect any attempt to load that module to
566 // the files we were handed.
567 struct ReadModuleNames
: ASTReaderListener
{
569 llvm::SmallVector
<std::string
, 8> LoadedModules
;
571 ReadModuleNames(Preprocessor
&PP
) : PP(PP
) {}
573 void ReadModuleName(StringRef ModuleName
) override
{
574 // Keep the module name as a string for now. It's not safe to create a new
575 // IdentifierInfo from an ASTReader callback.
576 LoadedModules
.push_back(ModuleName
.str());
580 ModuleMap
&MM
= PP
.getHeaderSearchInfo().getModuleMap();
581 for (const std::string
&LoadedModule
: LoadedModules
)
582 MM
.cacheModuleLoad(*PP
.getIdentifierInfo(LoadedModule
),
583 MM
.findModule(LoadedModule
));
584 LoadedModules
.clear();
587 void markAllUnavailable() {
588 for (const std::string
&LoadedModule
: LoadedModules
) {
589 if (Module
*M
= PP
.getHeaderSearchInfo().getModuleMap().findModule(
591 M
->HasIncompatibleModuleFile
= true;
593 // Mark module as available if the only reason it was unavailable
594 // was missing headers.
595 SmallVector
<Module
*, 2> Stack
;
597 while (!Stack
.empty()) {
598 Module
*Current
= Stack
.pop_back_val();
599 if (Current
->IsUnimportable
) continue;
600 Current
->IsAvailable
= true;
601 Stack
.insert(Stack
.end(),
602 Current
->submodule_begin(), Current
->submodule_end());
606 LoadedModules
.clear();
611 void CompilerInstance::createPCHExternalASTSource(
612 StringRef Path
, DisableValidationForModuleKind DisableValidation
,
613 bool AllowPCHWithCompilerErrors
, void *DeserializationListener
,
614 bool OwnDeserializationListener
) {
615 bool Preamble
= getPreprocessorOpts().PrecompiledPreambleBytes
.first
!= 0;
616 TheASTReader
= createPCHExternalASTSource(
617 Path
, getHeaderSearchOpts().Sysroot
, DisableValidation
,
618 AllowPCHWithCompilerErrors
, getPreprocessor(), getModuleCache(),
619 getASTContext(), getPCHContainerReader(),
620 getFrontendOpts().ModuleFileExtensions
, DependencyCollectors
,
621 DeserializationListener
, OwnDeserializationListener
, Preamble
,
622 getFrontendOpts().UseGlobalModuleIndex
);
625 IntrusiveRefCntPtr
<ASTReader
> CompilerInstance::createPCHExternalASTSource(
626 StringRef Path
, StringRef Sysroot
,
627 DisableValidationForModuleKind DisableValidation
,
628 bool AllowPCHWithCompilerErrors
, Preprocessor
&PP
,
629 InMemoryModuleCache
&ModuleCache
, ASTContext
&Context
,
630 const PCHContainerReader
&PCHContainerRdr
,
631 ArrayRef
<std::shared_ptr
<ModuleFileExtension
>> Extensions
,
632 ArrayRef
<std::shared_ptr
<DependencyCollector
>> DependencyCollectors
,
633 void *DeserializationListener
, bool OwnDeserializationListener
,
634 bool Preamble
, bool UseGlobalModuleIndex
) {
635 HeaderSearchOptions
&HSOpts
= PP
.getHeaderSearchInfo().getHeaderSearchOpts();
637 IntrusiveRefCntPtr
<ASTReader
> Reader(new ASTReader(
638 PP
, ModuleCache
, &Context
, PCHContainerRdr
, Extensions
,
639 Sysroot
.empty() ? "" : Sysroot
.data(), DisableValidation
,
640 AllowPCHWithCompilerErrors
, /*AllowConfigurationMismatch*/ false,
641 HSOpts
.ModulesValidateSystemHeaders
, HSOpts
.ValidateASTInputFilesContent
,
642 UseGlobalModuleIndex
));
644 // We need the external source to be set up before we read the AST, because
645 // eagerly-deserialized declarations may use it.
646 Context
.setExternalSource(Reader
.get());
648 Reader
->setDeserializationListener(
649 static_cast<ASTDeserializationListener
*>(DeserializationListener
),
650 /*TakeOwnership=*/OwnDeserializationListener
);
652 for (auto &Listener
: DependencyCollectors
)
653 Listener
->attachToASTReader(*Reader
);
655 auto Listener
= std::make_unique
<ReadModuleNames
>(PP
);
656 auto &ListenerRef
= *Listener
;
657 ASTReader::ListenerScope
ReadModuleNamesListener(*Reader
,
658 std::move(Listener
));
660 switch (Reader
->ReadAST(Path
,
661 Preamble
? serialization::MK_Preamble
662 : serialization::MK_PCH
,
664 ASTReader::ARR_None
)) {
665 case ASTReader::Success
:
666 // Set the predefines buffer as suggested by the PCH reader. Typically, the
667 // predefines buffer will be empty.
668 PP
.setPredefines(Reader
->getSuggestedPredefines());
669 ListenerRef
.registerAll();
672 case ASTReader::Failure
:
673 // Unrecoverable failure: don't even try to process the input file.
676 case ASTReader::Missing
:
677 case ASTReader::OutOfDate
:
678 case ASTReader::VersionMismatch
:
679 case ASTReader::ConfigurationMismatch
:
680 case ASTReader::HadErrors
:
681 // No suitable PCH file could be found. Return an error.
685 ListenerRef
.markAllUnavailable();
686 Context
.setExternalSource(nullptr);
692 static bool EnableCodeCompletion(Preprocessor
&PP
,
696 // Tell the source manager to chop off the given file at a specific
698 auto Entry
= PP
.getFileManager().getFile(Filename
);
700 PP
.getDiagnostics().Report(diag::err_fe_invalid_code_complete_file
)
705 // Truncate the named file at the given line/column.
706 PP
.SetCodeCompletionPoint(*Entry
, Line
, Column
);
710 void CompilerInstance::createCodeCompletionConsumer() {
711 const ParsedSourceLocation
&Loc
= getFrontendOpts().CodeCompletionAt
;
712 if (!CompletionConsumer
) {
713 setCodeCompletionConsumer(createCodeCompletionConsumer(
714 getPreprocessor(), Loc
.FileName
, Loc
.Line
, Loc
.Column
,
715 getFrontendOpts().CodeCompleteOpts
, llvm::outs()));
717 } else if (EnableCodeCompletion(getPreprocessor(), Loc
.FileName
,
718 Loc
.Line
, Loc
.Column
)) {
719 setCodeCompletionConsumer(nullptr);
724 void CompilerInstance::createFrontendTimer() {
725 FrontendTimerGroup
.reset(
726 new llvm::TimerGroup("frontend", "Clang front-end time report"));
728 new llvm::Timer("frontend", "Clang front-end timer",
729 *FrontendTimerGroup
));
732 CodeCompleteConsumer
*
733 CompilerInstance::createCodeCompletionConsumer(Preprocessor
&PP
,
737 const CodeCompleteOptions
&Opts
,
739 if (EnableCodeCompletion(PP
, Filename
, Line
, Column
))
742 // Set up the creation routine for code-completion.
743 return new PrintingCodeCompleteConsumer(Opts
, OS
);
746 void CompilerInstance::createSema(TranslationUnitKind TUKind
,
747 CodeCompleteConsumer
*CompletionConsumer
) {
748 TheSema
.reset(new Sema(getPreprocessor(), getASTContext(), getASTConsumer(),
749 TUKind
, CompletionConsumer
));
750 // Attach the external sema source if there is any.
751 if (ExternalSemaSrc
) {
752 TheSema
->addExternalSource(ExternalSemaSrc
.get());
753 ExternalSemaSrc
->InitializeSema(*TheSema
);
759 void CompilerInstance::clearOutputFiles(bool EraseFiles
) {
760 // The ASTConsumer can own streams that write to the output files.
761 assert(!hasASTConsumer() && "ASTConsumer should be reset");
762 // Ignore errors that occur when trying to discard the temp file.
763 for (OutputFile
&OF
: OutputFiles
) {
766 consumeError(OF
.File
->discard());
767 if (!OF
.Filename
.empty())
768 llvm::sys::fs::remove(OF
.Filename
);
775 if (OF
.File
->TmpName
.empty()) {
776 consumeError(OF
.File
->discard());
780 // If '-working-directory' was passed, the output filename should be
782 SmallString
<128> NewOutFile(OF
.Filename
);
783 FileMgr
->FixupRelativePath(NewOutFile
);
785 llvm::Error E
= OF
.File
->keep(NewOutFile
);
789 getDiagnostics().Report(diag::err_unable_to_rename_temp
)
790 << OF
.File
->TmpName
<< OF
.Filename
<< std::move(E
);
792 llvm::sys::fs::remove(OF
.File
->TmpName
);
795 if (DeleteBuiltModules
) {
796 for (auto &Module
: BuiltModules
)
797 llvm::sys::fs::remove(Module
.second
);
798 BuiltModules
.clear();
802 std::unique_ptr
<raw_pwrite_stream
> CompilerInstance::createDefaultOutputFile(
803 bool Binary
, StringRef InFile
, StringRef Extension
, bool RemoveFileOnSignal
,
804 bool CreateMissingDirectories
, bool ForceUseTemporary
) {
805 StringRef OutputPath
= getFrontendOpts().OutputFile
;
806 Optional
<SmallString
<128>> PathStorage
;
807 if (OutputPath
.empty()) {
808 if (InFile
== "-" || Extension
.empty()) {
811 PathStorage
.emplace(InFile
);
812 llvm::sys::path::replace_extension(*PathStorage
, Extension
);
813 OutputPath
= *PathStorage
;
817 return createOutputFile(OutputPath
, Binary
, RemoveFileOnSignal
,
818 getFrontendOpts().UseTemporary
|| ForceUseTemporary
,
819 CreateMissingDirectories
);
822 std::unique_ptr
<raw_pwrite_stream
> CompilerInstance::createNullOutputFile() {
823 return std::make_unique
<llvm::raw_null_ostream
>();
826 std::unique_ptr
<raw_pwrite_stream
>
827 CompilerInstance::createOutputFile(StringRef OutputPath
, bool Binary
,
828 bool RemoveFileOnSignal
, bool UseTemporary
,
829 bool CreateMissingDirectories
) {
830 Expected
<std::unique_ptr
<raw_pwrite_stream
>> OS
=
831 createOutputFileImpl(OutputPath
, Binary
, RemoveFileOnSignal
, UseTemporary
,
832 CreateMissingDirectories
);
834 return std::move(*OS
);
835 getDiagnostics().Report(diag::err_fe_unable_to_open_output
)
836 << OutputPath
<< errorToErrorCode(OS
.takeError()).message();
840 Expected
<std::unique_ptr
<llvm::raw_pwrite_stream
>>
841 CompilerInstance::createOutputFileImpl(StringRef OutputPath
, bool Binary
,
842 bool RemoveFileOnSignal
,
844 bool CreateMissingDirectories
) {
845 assert((!CreateMissingDirectories
|| UseTemporary
) &&
846 "CreateMissingDirectories is only allowed when using temporary files");
848 std::unique_ptr
<llvm::raw_fd_ostream
> OS
;
849 Optional
<StringRef
> OSFile
;
852 if (OutputPath
== "-")
853 UseTemporary
= false;
855 llvm::sys::fs::file_status Status
;
856 llvm::sys::fs::status(OutputPath
, Status
);
857 if (llvm::sys::fs::exists(Status
)) {
858 // Fail early if we can't write to the final destination.
859 if (!llvm::sys::fs::can_write(OutputPath
))
860 return llvm::errorCodeToError(
861 make_error_code(llvm::errc::operation_not_permitted
));
863 // Don't use a temporary if the output is a special file. This handles
864 // things like '-o /dev/null'
865 if (!llvm::sys::fs::is_regular_file(Status
))
866 UseTemporary
= false;
871 Optional
<llvm::sys::fs::TempFile
> Temp
;
873 // Create a temporary file.
874 // Insert -%%%%%%%% before the extension (if any), and because some tools
875 // (noticeable, clang's own GlobalModuleIndex.cpp) glob for build
876 // artifacts, also append .tmp.
877 StringRef OutputExtension
= llvm::sys::path::extension(OutputPath
);
878 SmallString
<128> TempPath
=
879 StringRef(OutputPath
).drop_back(OutputExtension
.size());
880 TempPath
+= "-%%%%%%%%";
881 TempPath
+= OutputExtension
;
883 Expected
<llvm::sys::fs::TempFile
> ExpectedFile
=
884 llvm::sys::fs::TempFile::create(
885 TempPath
, llvm::sys::fs::all_read
| llvm::sys::fs::all_write
,
886 Binary
? llvm::sys::fs::OF_None
: llvm::sys::fs::OF_Text
);
888 llvm::Error E
= handleErrors(
889 ExpectedFile
.takeError(), [&](const llvm::ECError
&E
) -> llvm::Error
{
890 std::error_code EC
= E
.convertToErrorCode();
891 if (CreateMissingDirectories
&&
892 EC
== llvm::errc::no_such_file_or_directory
) {
893 StringRef Parent
= llvm::sys::path::parent_path(OutputPath
);
894 EC
= llvm::sys::fs::create_directories(Parent
);
896 ExpectedFile
= llvm::sys::fs::TempFile::create(TempPath
);
898 return llvm::errorCodeToError(
899 llvm::errc::no_such_file_or_directory
);
902 return llvm::errorCodeToError(EC
);
906 consumeError(std::move(E
));
908 Temp
= std::move(ExpectedFile
.get());
909 OS
.reset(new llvm::raw_fd_ostream(Temp
->FD
, /*shouldClose=*/false));
910 OSFile
= Temp
->TmpName
;
912 // If we failed to create the temporary, fallback to writing to the file
913 // directly. This handles the corner case where we cannot write to the
914 // directory, but can write to the file.
920 OS
.reset(new llvm::raw_fd_ostream(
922 (Binary
? llvm::sys::fs::OF_None
: llvm::sys::fs::OF_TextWithCRLF
)));
924 return llvm::errorCodeToError(EC
);
927 // Add the output file -- but don't try to remove "-", since this means we are
929 OutputFiles
.emplace_back(((OutputPath
!= "-") ? OutputPath
: "").str(),
932 if (!Binary
|| OS
->supportsSeeking())
933 return std::move(OS
);
935 return std::make_unique
<llvm::buffer_unique_ostream
>(std::move(OS
));
938 // Initialization Utilities
940 bool CompilerInstance::InitializeSourceManager(const FrontendInputFile
&Input
){
941 return InitializeSourceManager(Input
, getDiagnostics(), getFileManager(),
946 bool CompilerInstance::InitializeSourceManager(const FrontendInputFile
&Input
,
947 DiagnosticsEngine
&Diags
,
948 FileManager
&FileMgr
,
949 SourceManager
&SourceMgr
) {
950 SrcMgr::CharacteristicKind Kind
=
951 Input
.getKind().getFormat() == InputKind::ModuleMap
952 ? Input
.isSystem() ? SrcMgr::C_System_ModuleMap
953 : SrcMgr::C_User_ModuleMap
954 : Input
.isSystem() ? SrcMgr::C_System
: SrcMgr::C_User
;
956 if (Input
.isBuffer()) {
957 SourceMgr
.setMainFileID(SourceMgr
.createFileID(Input
.getBuffer(), Kind
));
958 assert(SourceMgr
.getMainFileID().isValid() &&
959 "Couldn't establish MainFileID!");
963 StringRef InputFile
= Input
.getFile();
965 // Figure out where to get and map in the main file.
966 auto FileOrErr
= InputFile
== "-"
968 : FileMgr
.getFileRef(InputFile
, /*OpenFile=*/true);
970 // FIXME: include the error in the diagnostic even when it's not stdin.
971 auto EC
= llvm::errorToErrorCode(FileOrErr
.takeError());
972 if (InputFile
!= "-")
973 Diags
.Report(diag::err_fe_error_reading
) << InputFile
;
975 Diags
.Report(diag::err_fe_error_reading_stdin
) << EC
.message();
979 SourceMgr
.setMainFileID(
980 SourceMgr
.createFileID(*FileOrErr
, SourceLocation(), Kind
));
982 assert(SourceMgr
.getMainFileID().isValid() &&
983 "Couldn't establish MainFileID!");
987 // High-Level Operations
989 bool CompilerInstance::ExecuteAction(FrontendAction
&Act
) {
990 assert(hasDiagnostics() && "Diagnostics engine is not initialized!");
991 assert(!getFrontendOpts().ShowHelp
&& "Client must handle '-help'!");
992 assert(!getFrontendOpts().ShowVersion
&& "Client must handle '-version'!");
994 // Mark this point as the bottom of the stack if we don't have somewhere
995 // better. We generally expect frontend actions to be invoked with (nearly)
996 // DesiredStackSpace available.
999 auto FinishDiagnosticClient
= llvm::make_scope_exit([&]() {
1000 // Notify the diagnostic client that all files were processed.
1001 getDiagnosticClient().finish();
1004 raw_ostream
&OS
= getVerboseOutputStream();
1006 if (!Act
.PrepareToExecute(*this))
1009 if (!createTarget())
1012 // rewriter project will change target built-in bool type from its default.
1013 if (getFrontendOpts().ProgramAction
== frontend::RewriteObjC
)
1014 getTarget().noSignedCharForObjCBool();
1016 // Validate/process some options.
1017 if (getHeaderSearchOpts().Verbose
)
1018 OS
<< "clang -cc1 version " CLANG_VERSION_STRING
1019 << " based upon " << BACKEND_PACKAGE_STRING
1020 << " default target " << llvm::sys::getDefaultTargetTriple() << "\n";
1022 if (getCodeGenOpts().TimePasses
)
1023 createFrontendTimer();
1025 if (getFrontendOpts().ShowStats
|| !getFrontendOpts().StatsFile
.empty())
1026 llvm::EnableStatistics(false);
1028 for (const FrontendInputFile
&FIF
: getFrontendOpts().Inputs
) {
1029 // Reset the ID tables if we are reusing the SourceManager and parsing
1031 if (hasSourceManager() && !Act
.isModelParsingAction())
1032 getSourceManager().clearIDTables();
1034 if (Act
.BeginSourceFile(*this, FIF
)) {
1035 if (llvm::Error Err
= Act
.Execute()) {
1036 consumeError(std::move(Err
)); // FIXME this drops errors on the floor.
1038 Act
.EndSourceFile();
1042 if (getDiagnosticOpts().ShowCarets
) {
1043 // We can have multiple diagnostics sharing one diagnostic client.
1044 // Get the total number of warnings/errors from the client.
1045 unsigned NumWarnings
= getDiagnostics().getClient()->getNumWarnings();
1046 unsigned NumErrors
= getDiagnostics().getClient()->getNumErrors();
1049 OS
<< NumWarnings
<< " warning" << (NumWarnings
== 1 ? "" : "s");
1050 if (NumWarnings
&& NumErrors
)
1053 OS
<< NumErrors
<< " error" << (NumErrors
== 1 ? "" : "s");
1054 if (NumWarnings
|| NumErrors
) {
1056 if (getLangOpts().CUDA
) {
1057 if (!getLangOpts().CUDAIsDevice
) {
1058 OS
<< " when compiling for host";
1060 OS
<< " when compiling for " << getTargetOpts().CPU
;
1067 if (getFrontendOpts().ShowStats
) {
1068 if (hasFileManager()) {
1069 getFileManager().PrintStats();
1072 llvm::PrintStatistics(OS
);
1074 StringRef StatsFile
= getFrontendOpts().StatsFile
;
1075 if (!StatsFile
.empty()) {
1077 auto StatS
= std::make_unique
<llvm::raw_fd_ostream
>(
1078 StatsFile
, EC
, llvm::sys::fs::OF_TextWithCRLF
);
1080 getDiagnostics().Report(diag::warn_fe_unable_to_open_stats_file
)
1081 << StatsFile
<< EC
.message();
1083 llvm::PrintStatisticsJSON(*StatS
);
1087 return !getDiagnostics().getClient()->getNumErrors();
1090 void CompilerInstance::LoadRequestedPlugins() {
1091 // Load any requested plugins.
1092 for (const std::string
&Path
: getFrontendOpts().Plugins
) {
1094 if (llvm::sys::DynamicLibrary::LoadLibraryPermanently(Path
.c_str(), &Error
))
1095 getDiagnostics().Report(diag::err_fe_unable_to_load_plugin
)
1099 // Check if any of the loaded plugins replaces the main AST action
1100 for (const FrontendPluginRegistry::entry
&Plugin
:
1101 FrontendPluginRegistry::entries()) {
1102 std::unique_ptr
<PluginASTAction
> P(Plugin
.instantiate());
1103 if (P
->getActionType() == PluginASTAction::ReplaceAction
) {
1104 getFrontendOpts().ProgramAction
= clang::frontend::PluginAction
;
1105 getFrontendOpts().ActionName
= Plugin
.getName().str();
1111 /// Determine the appropriate source input kind based on language
1113 static Language
getLanguageFromOptions(const LangOptions
&LangOpts
) {
1114 if (LangOpts
.OpenCL
)
1115 return Language::OpenCL
;
1117 return Language::CUDA
;
1119 return LangOpts
.CPlusPlus
? Language::ObjCXX
: Language::ObjC
;
1120 return LangOpts
.CPlusPlus
? Language::CXX
: Language::C
;
1123 /// Compile a module file for the given module, using the options
1124 /// provided by the importing compiler instance. Returns true if the module
1125 /// was built without errors.
1127 compileModuleImpl(CompilerInstance
&ImportingInstance
, SourceLocation ImportLoc
,
1128 StringRef ModuleName
, FrontendInputFile Input
,
1129 StringRef OriginalModuleMapFile
, StringRef ModuleFileName
,
1130 llvm::function_ref
<void(CompilerInstance
&)> PreBuildStep
=
1131 [](CompilerInstance
&) {},
1132 llvm::function_ref
<void(CompilerInstance
&)> PostBuildStep
=
1133 [](CompilerInstance
&) {}) {
1134 llvm::TimeTraceScope
TimeScope("Module Compile", ModuleName
);
1136 // Never compile a module that's already finalized - this would cause the
1137 // existing module to be freed, causing crashes if it is later referenced
1138 if (ImportingInstance
.getModuleCache().isPCMFinal(ModuleFileName
)) {
1139 ImportingInstance
.getDiagnostics().Report(
1140 ImportLoc
, diag::err_module_rebuild_finalized
)
1145 // Construct a compiler invocation for creating this module.
1147 std::make_shared
<CompilerInvocation
>(ImportingInstance
.getInvocation());
1149 PreprocessorOptions
&PPOpts
= Invocation
->getPreprocessorOpts();
1151 // For any options that aren't intended to affect how a module is built,
1152 // reset them to their default values.
1153 Invocation
->resetNonModularOptions();
1155 // Remove any macro definitions that are explicitly ignored by the module.
1156 // They aren't supposed to affect how the module is built anyway.
1157 HeaderSearchOptions
&HSOpts
= Invocation
->getHeaderSearchOpts();
1158 llvm::erase_if(PPOpts
.Macros
,
1159 [&HSOpts
](const std::pair
<std::string
, bool> &def
) {
1160 StringRef MacroDef
= def
.first
;
1161 return HSOpts
.ModulesIgnoreMacros
.contains(
1162 llvm::CachedHashString(MacroDef
.split('=').first
));
1165 // If the original compiler invocation had -fmodule-name, pass it through.
1166 Invocation
->getLangOpts()->ModuleName
=
1167 ImportingInstance
.getInvocation().getLangOpts()->ModuleName
;
1169 // Note the name of the module we're building.
1170 Invocation
->getLangOpts()->CurrentModule
= std::string(ModuleName
);
1172 // Make sure that the failed-module structure has been allocated in
1173 // the importing instance, and propagate the pointer to the newly-created
1175 PreprocessorOptions
&ImportingPPOpts
1176 = ImportingInstance
.getInvocation().getPreprocessorOpts();
1177 if (!ImportingPPOpts
.FailedModules
)
1178 ImportingPPOpts
.FailedModules
=
1179 std::make_shared
<PreprocessorOptions::FailedModulesSet
>();
1180 PPOpts
.FailedModules
= ImportingPPOpts
.FailedModules
;
1182 // If there is a module map file, build the module using the module map.
1183 // Set up the inputs/outputs so that we build the module from its umbrella
1185 FrontendOptions
&FrontendOpts
= Invocation
->getFrontendOpts();
1186 FrontendOpts
.OutputFile
= ModuleFileName
.str();
1187 FrontendOpts
.DisableFree
= false;
1188 FrontendOpts
.GenerateGlobalModuleIndex
= false;
1189 FrontendOpts
.BuildingImplicitModule
= true;
1190 FrontendOpts
.OriginalModuleMap
= std::string(OriginalModuleMapFile
);
1191 // Force implicitly-built modules to hash the content of the module file.
1192 HSOpts
.ModulesHashContent
= true;
1193 FrontendOpts
.Inputs
= {Input
};
1195 // Don't free the remapped file buffers; they are owned by our caller.
1196 PPOpts
.RetainRemappedFileBuffers
= true;
1198 Invocation
->getDiagnosticOpts().VerifyDiagnostics
= 0;
1199 assert(ImportingInstance
.getInvocation().getModuleHash() ==
1200 Invocation
->getModuleHash() && "Module hash mismatch!");
1202 // Construct a compiler instance that will be used to actually create the
1203 // module. Since we're sharing an in-memory module cache,
1204 // CompilerInstance::CompilerInstance is responsible for finalizing the
1205 // buffers to prevent use-after-frees.
1206 CompilerInstance
Instance(ImportingInstance
.getPCHContainerOperations(),
1207 &ImportingInstance
.getModuleCache());
1208 auto &Inv
= *Invocation
;
1209 Instance
.setInvocation(std::move(Invocation
));
1211 Instance
.createDiagnostics(new ForwardingDiagnosticConsumer(
1212 ImportingInstance
.getDiagnosticClient()),
1213 /*ShouldOwnClient=*/true);
1215 if (FrontendOpts
.ModulesShareFileManager
) {
1216 Instance
.setFileManager(&ImportingInstance
.getFileManager());
1218 Instance
.createFileManager(&ImportingInstance
.getVirtualFileSystem());
1220 Instance
.createSourceManager(Instance
.getFileManager());
1221 SourceManager
&SourceMgr
= Instance
.getSourceManager();
1223 // Note that this module is part of the module build stack, so that we
1224 // can detect cycles in the module graph.
1225 SourceMgr
.setModuleBuildStack(
1226 ImportingInstance
.getSourceManager().getModuleBuildStack());
1227 SourceMgr
.pushModuleBuildStack(ModuleName
,
1228 FullSourceLoc(ImportLoc
, ImportingInstance
.getSourceManager()));
1230 // If we're collecting module dependencies, we need to share a collector
1231 // between all of the module CompilerInstances. Other than that, we don't
1232 // want to produce any dependency output from the module build.
1233 Instance
.setModuleDepCollector(ImportingInstance
.getModuleDepCollector());
1234 Inv
.getDependencyOutputOpts() = DependencyOutputOptions();
1236 ImportingInstance
.getDiagnostics().Report(ImportLoc
,
1237 diag::remark_module_build
)
1238 << ModuleName
<< ModuleFileName
;
1240 PreBuildStep(Instance
);
1242 // Execute the action to actually build the module in-place. Use a separate
1243 // thread so that we get a stack large enough.
1244 bool Crashed
= !llvm::CrashRecoveryContext().RunSafelyOnThread(
1246 GenerateModuleFromModuleMapAction Action
;
1247 Instance
.ExecuteAction(Action
);
1251 PostBuildStep(Instance
);
1253 ImportingInstance
.getDiagnostics().Report(ImportLoc
,
1254 diag::remark_module_build_done
)
1258 // Clear the ASTConsumer if it hasn't been already, in case it owns streams
1259 // that must be closed before clearing output files.
1260 Instance
.setSema(nullptr);
1261 Instance
.setASTConsumer(nullptr);
1263 // Delete any remaining temporary files related to Instance.
1264 Instance
.clearOutputFiles(/*EraseFiles=*/true);
1267 // If \p AllowPCMWithCompilerErrors is set return 'success' even if errors
1269 return !Instance
.getDiagnostics().hasErrorOccurred() ||
1270 Instance
.getFrontendOpts().AllowPCMWithCompilerErrors
;
1273 static const FileEntry
*getPublicModuleMap(const FileEntry
*File
,
1274 FileManager
&FileMgr
) {
1275 StringRef Filename
= llvm::sys::path::filename(File
->getName());
1276 SmallString
<128> PublicFilename(File
->getDir()->getName());
1277 if (Filename
== "module_private.map")
1278 llvm::sys::path::append(PublicFilename
, "module.map");
1279 else if (Filename
== "module.private.modulemap")
1280 llvm::sys::path::append(PublicFilename
, "module.modulemap");
1283 if (auto FE
= FileMgr
.getFile(PublicFilename
))
1288 /// Compile a module file for the given module in a separate compiler instance,
1289 /// using the options provided by the importing compiler instance. Returns true
1290 /// if the module was built without errors.
1291 static bool compileModule(CompilerInstance
&ImportingInstance
,
1292 SourceLocation ImportLoc
, Module
*Module
,
1293 StringRef ModuleFileName
) {
1294 InputKind
IK(getLanguageFromOptions(ImportingInstance
.getLangOpts()),
1295 InputKind::ModuleMap
);
1297 // Get or create the module map that we'll use to build this module.
1299 = ImportingInstance
.getPreprocessor().getHeaderSearchInfo().getModuleMap();
1301 if (const FileEntry
*ModuleMapFile
=
1302 ModMap
.getContainingModuleMapFile(Module
)) {
1303 // Canonicalize compilation to start with the public module map. This is
1304 // vital for submodules declarations in the private module maps to be
1305 // correctly parsed when depending on a top level module in the public one.
1306 if (const FileEntry
*PublicMMFile
= getPublicModuleMap(
1307 ModuleMapFile
, ImportingInstance
.getFileManager()))
1308 ModuleMapFile
= PublicMMFile
;
1310 // FIXME: Update header search to keep FileEntryRef rather than rely on
1312 StringRef ModuleMapFilePath
=
1313 ModuleMapFile
->getLastRef().getNameAsRequested();
1315 // Use the module map where this module resides.
1316 Result
= compileModuleImpl(
1317 ImportingInstance
, ImportLoc
, Module
->getTopLevelModuleName(),
1318 FrontendInputFile(ModuleMapFilePath
, IK
, +Module
->IsSystem
),
1319 ModMap
.getModuleMapFileForUniquing(Module
)->getName(), ModuleFileName
);
1321 // FIXME: We only need to fake up an input file here as a way of
1322 // transporting the module's directory to the module map parser. We should
1323 // be able to do that more directly, and parse from a memory buffer without
1324 // inventing this file.
1325 SmallString
<128> FakeModuleMapFile(Module
->Directory
->getName());
1326 llvm::sys::path::append(FakeModuleMapFile
, "__inferred_module.map");
1328 std::string InferredModuleMapContent
;
1329 llvm::raw_string_ostream
OS(InferredModuleMapContent
);
1333 Result
= compileModuleImpl(
1334 ImportingInstance
, ImportLoc
, Module
->getTopLevelModuleName(),
1335 FrontendInputFile(FakeModuleMapFile
, IK
, +Module
->IsSystem
),
1336 ModMap
.getModuleMapFileForUniquing(Module
)->getName(),
1338 [&](CompilerInstance
&Instance
) {
1339 std::unique_ptr
<llvm::MemoryBuffer
> ModuleMapBuffer
=
1340 llvm::MemoryBuffer::getMemBuffer(InferredModuleMapContent
);
1341 ModuleMapFile
= Instance
.getFileManager().getVirtualFile(
1342 FakeModuleMapFile
, InferredModuleMapContent
.size(), 0);
1343 Instance
.getSourceManager().overrideFileContents(
1344 ModuleMapFile
, std::move(ModuleMapBuffer
));
1348 // We've rebuilt a module. If we're allowed to generate or update the global
1349 // module index, record that fact in the importing compiler instance.
1350 if (ImportingInstance
.getFrontendOpts().GenerateGlobalModuleIndex
) {
1351 ImportingInstance
.setBuildGlobalModuleIndex(true);
1357 /// Read the AST right after compiling the module.
1358 static bool readASTAfterCompileModule(CompilerInstance
&ImportingInstance
,
1359 SourceLocation ImportLoc
,
1360 SourceLocation ModuleNameLoc
,
1361 Module
*Module
, StringRef ModuleFileName
,
1363 DiagnosticsEngine
&Diags
= ImportingInstance
.getDiagnostics();
1365 unsigned ModuleLoadCapabilities
= ASTReader::ARR_Missing
;
1367 ModuleLoadCapabilities
|= ASTReader::ARR_OutOfDate
;
1369 // Try to read the module file, now that we've compiled it.
1370 ASTReader::ASTReadResult ReadResult
=
1371 ImportingInstance
.getASTReader()->ReadAST(
1372 ModuleFileName
, serialization::MK_ImplicitModule
, ImportLoc
,
1373 ModuleLoadCapabilities
);
1374 if (ReadResult
== ASTReader::Success
)
1377 // The caller wants to handle out-of-date failures.
1378 if (OutOfDate
&& ReadResult
== ASTReader::OutOfDate
) {
1383 // The ASTReader didn't diagnose the error, so conservatively report it.
1384 if (ReadResult
== ASTReader::Missing
|| !Diags
.hasErrorOccurred())
1385 Diags
.Report(ModuleNameLoc
, diag::err_module_not_built
)
1386 << Module
->Name
<< SourceRange(ImportLoc
, ModuleNameLoc
);
1391 /// Compile a module in a separate compiler instance and read the AST,
1392 /// returning true if the module compiles without errors.
1393 static bool compileModuleAndReadASTImpl(CompilerInstance
&ImportingInstance
,
1394 SourceLocation ImportLoc
,
1395 SourceLocation ModuleNameLoc
,
1397 StringRef ModuleFileName
) {
1398 if (!compileModule(ImportingInstance
, ModuleNameLoc
, Module
,
1400 ImportingInstance
.getDiagnostics().Report(ModuleNameLoc
,
1401 diag::err_module_not_built
)
1402 << Module
->Name
<< SourceRange(ImportLoc
, ModuleNameLoc
);
1406 return readASTAfterCompileModule(ImportingInstance
, ImportLoc
, ModuleNameLoc
,
1407 Module
, ModuleFileName
,
1408 /*OutOfDate=*/nullptr);
1411 /// Compile a module in a separate compiler instance and read the AST,
1412 /// returning true if the module compiles without errors, using a lock manager
1413 /// to avoid building the same module in multiple compiler instances.
1415 /// Uses a lock file manager and exponential backoff to reduce the chances that
1416 /// multiple instances will compete to create the same module. On timeout,
1417 /// deletes the lock file in order to avoid deadlock from crashing processes or
1418 /// bugs in the lock file manager.
1419 static bool compileModuleAndReadASTBehindLock(
1420 CompilerInstance
&ImportingInstance
, SourceLocation ImportLoc
,
1421 SourceLocation ModuleNameLoc
, Module
*Module
, StringRef ModuleFileName
) {
1422 DiagnosticsEngine
&Diags
= ImportingInstance
.getDiagnostics();
1424 Diags
.Report(ModuleNameLoc
, diag::remark_module_lock
)
1425 << ModuleFileName
<< Module
->Name
;
1427 // FIXME: have LockFileManager return an error_code so that we can
1428 // avoid the mkdir when the directory already exists.
1429 StringRef Dir
= llvm::sys::path::parent_path(ModuleFileName
);
1430 llvm::sys::fs::create_directories(Dir
);
1433 llvm::LockFileManager
Locked(ModuleFileName
);
1435 case llvm::LockFileManager::LFS_Error
:
1436 // ModuleCache takes care of correctness and locks are only necessary for
1437 // performance. Fallback to building the module in case of any lock
1439 Diags
.Report(ModuleNameLoc
, diag::remark_module_lock_failure
)
1440 << Module
->Name
<< Locked
.getErrorMessage();
1441 // Clear out any potential leftover.
1442 Locked
.unsafeRemoveLockFile();
1444 case llvm::LockFileManager::LFS_Owned
:
1445 // We're responsible for building the module ourselves.
1446 return compileModuleAndReadASTImpl(ImportingInstance
, ImportLoc
,
1447 ModuleNameLoc
, Module
, ModuleFileName
);
1449 case llvm::LockFileManager::LFS_Shared
:
1450 break; // The interesting case.
1453 // Someone else is responsible for building the module. Wait for them to
1455 switch (Locked
.waitForUnlock()) {
1456 case llvm::LockFileManager::Res_Success
:
1457 break; // The interesting case.
1458 case llvm::LockFileManager::Res_OwnerDied
:
1459 continue; // try again to get the lock.
1460 case llvm::LockFileManager::Res_Timeout
:
1461 // Since ModuleCache takes care of correctness, we try waiting for
1462 // another process to complete the build so clang does not do it done
1463 // twice. If case of timeout, build it ourselves.
1464 Diags
.Report(ModuleNameLoc
, diag::remark_module_lock_timeout
)
1466 // Clear the lock file so that future invocations can make progress.
1467 Locked
.unsafeRemoveLockFile();
1471 // Read the module that was just written by someone else.
1472 bool OutOfDate
= false;
1473 if (readASTAfterCompileModule(ImportingInstance
, ImportLoc
, ModuleNameLoc
,
1474 Module
, ModuleFileName
, &OutOfDate
))
1479 // The module may be out of date in the presence of file system races,
1480 // or if one of its imports depends on header search paths that are not
1481 // consistent with this ImportingInstance. Try again...
1485 /// Compile a module in a separate compiler instance and read the AST,
1486 /// returning true if the module compiles without errors, potentially using a
1487 /// lock manager to avoid building the same module in multiple compiler
1489 static bool compileModuleAndReadAST(CompilerInstance
&ImportingInstance
,
1490 SourceLocation ImportLoc
,
1491 SourceLocation ModuleNameLoc
,
1492 Module
*Module
, StringRef ModuleFileName
) {
1493 return ImportingInstance
.getInvocation()
1495 .BuildingImplicitModuleUsesLock
1496 ? compileModuleAndReadASTBehindLock(ImportingInstance
, ImportLoc
,
1497 ModuleNameLoc
, Module
,
1499 : compileModuleAndReadASTImpl(ImportingInstance
, ImportLoc
,
1500 ModuleNameLoc
, Module
,
1504 /// Diagnose differences between the current definition of the given
1505 /// configuration macro and the definition provided on the command line.
1506 static void checkConfigMacro(Preprocessor
&PP
, StringRef ConfigMacro
,
1507 Module
*Mod
, SourceLocation ImportLoc
) {
1508 IdentifierInfo
*Id
= PP
.getIdentifierInfo(ConfigMacro
);
1509 SourceManager
&SourceMgr
= PP
.getSourceManager();
1511 // If this identifier has never had a macro definition, then it could
1512 // not have changed.
1513 if (!Id
->hadMacroDefinition())
1515 auto *LatestLocalMD
= PP
.getLocalMacroDirectiveHistory(Id
);
1517 // Find the macro definition from the command line.
1518 MacroInfo
*CmdLineDefinition
= nullptr;
1519 for (auto *MD
= LatestLocalMD
; MD
; MD
= MD
->getPrevious()) {
1520 // We only care about the predefines buffer.
1521 FileID FID
= SourceMgr
.getFileID(MD
->getLocation());
1522 if (FID
.isInvalid() || FID
!= PP
.getPredefinesFileID())
1524 if (auto *DMD
= dyn_cast
<DefMacroDirective
>(MD
))
1525 CmdLineDefinition
= DMD
->getMacroInfo();
1529 auto *CurrentDefinition
= PP
.getMacroInfo(Id
);
1530 if (CurrentDefinition
== CmdLineDefinition
) {
1531 // Macro matches. Nothing to do.
1532 } else if (!CurrentDefinition
) {
1533 // This macro was defined on the command line, then #undef'd later.
1535 PP
.Diag(ImportLoc
, diag::warn_module_config_macro_undef
)
1536 << true << ConfigMacro
<< Mod
->getFullModuleName();
1537 auto LatestDef
= LatestLocalMD
->getDefinition();
1538 assert(LatestDef
.isUndefined() &&
1539 "predefined macro went away with no #undef?");
1540 PP
.Diag(LatestDef
.getUndefLocation(), diag::note_module_def_undef_here
)
1543 } else if (!CmdLineDefinition
) {
1544 // There was no definition for this macro in the predefines buffer,
1545 // but there was a local definition. Complain.
1546 PP
.Diag(ImportLoc
, diag::warn_module_config_macro_undef
)
1547 << false << ConfigMacro
<< Mod
->getFullModuleName();
1548 PP
.Diag(CurrentDefinition
->getDefinitionLoc(),
1549 diag::note_module_def_undef_here
)
1551 } else if (!CurrentDefinition
->isIdenticalTo(*CmdLineDefinition
, PP
,
1552 /*Syntactically=*/true)) {
1553 // The macro definitions differ.
1554 PP
.Diag(ImportLoc
, diag::warn_module_config_macro_undef
)
1555 << false << ConfigMacro
<< Mod
->getFullModuleName();
1556 PP
.Diag(CurrentDefinition
->getDefinitionLoc(),
1557 diag::note_module_def_undef_here
)
1562 /// Write a new timestamp file with the given path.
1563 static void writeTimestampFile(StringRef TimestampFile
) {
1565 llvm::raw_fd_ostream
Out(TimestampFile
.str(), EC
, llvm::sys::fs::OF_None
);
1568 /// Prune the module cache of modules that haven't been accessed in
1570 static void pruneModuleCache(const HeaderSearchOptions
&HSOpts
) {
1571 llvm::sys::fs::file_status StatBuf
;
1572 llvm::SmallString
<128> TimestampFile
;
1573 TimestampFile
= HSOpts
.ModuleCachePath
;
1574 assert(!TimestampFile
.empty());
1575 llvm::sys::path::append(TimestampFile
, "modules.timestamp");
1577 // Try to stat() the timestamp file.
1578 if (std::error_code EC
= llvm::sys::fs::status(TimestampFile
, StatBuf
)) {
1579 // If the timestamp file wasn't there, create one now.
1580 if (EC
== std::errc::no_such_file_or_directory
) {
1581 writeTimestampFile(TimestampFile
);
1586 // Check whether the time stamp is older than our pruning interval.
1587 // If not, do nothing.
1588 time_t TimeStampModTime
=
1589 llvm::sys::toTimeT(StatBuf
.getLastModificationTime());
1590 time_t CurrentTime
= time(nullptr);
1591 if (CurrentTime
- TimeStampModTime
<= time_t(HSOpts
.ModuleCachePruneInterval
))
1594 // Write a new timestamp file so that nobody else attempts to prune.
1595 // There is a benign race condition here, if two Clang instances happen to
1596 // notice at the same time that the timestamp is out-of-date.
1597 writeTimestampFile(TimestampFile
);
1599 // Walk the entire module cache, looking for unused module files and module
1602 SmallString
<128> ModuleCachePathNative
;
1603 llvm::sys::path::native(HSOpts
.ModuleCachePath
, ModuleCachePathNative
);
1604 for (llvm::sys::fs::directory_iterator
Dir(ModuleCachePathNative
, EC
), DirEnd
;
1605 Dir
!= DirEnd
&& !EC
; Dir
.increment(EC
)) {
1606 // If we don't have a directory, there's nothing to look into.
1607 if (!llvm::sys::fs::is_directory(Dir
->path()))
1610 // Walk all of the files within this directory.
1611 for (llvm::sys::fs::directory_iterator
File(Dir
->path(), EC
), FileEnd
;
1612 File
!= FileEnd
&& !EC
; File
.increment(EC
)) {
1613 // We only care about module and global module index files.
1614 StringRef Extension
= llvm::sys::path::extension(File
->path());
1615 if (Extension
!= ".pcm" && Extension
!= ".timestamp" &&
1616 llvm::sys::path::filename(File
->path()) != "modules.idx")
1619 // Look at this file. If we can't stat it, there's nothing interesting
1621 if (llvm::sys::fs::status(File
->path(), StatBuf
))
1624 // If the file has been used recently enough, leave it there.
1625 time_t FileAccessTime
= llvm::sys::toTimeT(StatBuf
.getLastAccessedTime());
1626 if (CurrentTime
- FileAccessTime
<=
1627 time_t(HSOpts
.ModuleCachePruneAfter
)) {
1632 llvm::sys::fs::remove(File
->path());
1634 // Remove the timestamp file.
1635 std::string TimpestampFilename
= File
->path() + ".timestamp";
1636 llvm::sys::fs::remove(TimpestampFilename
);
1639 // If we removed all of the files in the directory, remove the directory
1641 if (llvm::sys::fs::directory_iterator(Dir
->path(), EC
) ==
1642 llvm::sys::fs::directory_iterator() && !EC
)
1643 llvm::sys::fs::remove(Dir
->path());
1647 void CompilerInstance::createASTReader() {
1651 if (!hasASTContext())
1654 // If we're implicitly building modules but not currently recursively
1655 // building a module, check whether we need to prune the module cache.
1656 if (getSourceManager().getModuleBuildStack().empty() &&
1657 !getPreprocessor().getHeaderSearchInfo().getModuleCachePath().empty() &&
1658 getHeaderSearchOpts().ModuleCachePruneInterval
> 0 &&
1659 getHeaderSearchOpts().ModuleCachePruneAfter
> 0) {
1660 pruneModuleCache(getHeaderSearchOpts());
1663 HeaderSearchOptions
&HSOpts
= getHeaderSearchOpts();
1664 std::string Sysroot
= HSOpts
.Sysroot
;
1665 const PreprocessorOptions
&PPOpts
= getPreprocessorOpts();
1666 const FrontendOptions
&FEOpts
= getFrontendOpts();
1667 std::unique_ptr
<llvm::Timer
> ReadTimer
;
1669 if (FrontendTimerGroup
)
1670 ReadTimer
= std::make_unique
<llvm::Timer
>("reading_modules",
1672 *FrontendTimerGroup
);
1673 TheASTReader
= new ASTReader(
1674 getPreprocessor(), getModuleCache(), &getASTContext(),
1675 getPCHContainerReader(), getFrontendOpts().ModuleFileExtensions
,
1676 Sysroot
.empty() ? "" : Sysroot
.c_str(),
1677 PPOpts
.DisablePCHOrModuleValidation
,
1678 /*AllowASTWithCompilerErrors=*/FEOpts
.AllowPCMWithCompilerErrors
,
1679 /*AllowConfigurationMismatch=*/false, HSOpts
.ModulesValidateSystemHeaders
,
1680 HSOpts
.ValidateASTInputFilesContent
,
1681 getFrontendOpts().UseGlobalModuleIndex
, std::move(ReadTimer
));
1682 if (hasASTConsumer()) {
1683 TheASTReader
->setDeserializationListener(
1684 getASTConsumer().GetASTDeserializationListener());
1685 getASTContext().setASTMutationListener(
1686 getASTConsumer().GetASTMutationListener());
1688 getASTContext().setExternalSource(TheASTReader
);
1690 TheASTReader
->InitializeSema(getSema());
1691 if (hasASTConsumer())
1692 TheASTReader
->StartTranslationUnit(&getASTConsumer());
1694 for (auto &Listener
: DependencyCollectors
)
1695 Listener
->attachToASTReader(*TheASTReader
);
1698 bool CompilerInstance::loadModuleFile(StringRef FileName
) {
1700 if (FrontendTimerGroup
)
1701 Timer
.init("preloading." + FileName
.str(), "Preloading " + FileName
.str(),
1702 *FrontendTimerGroup
);
1703 llvm::TimeRegion
TimeLoading(FrontendTimerGroup
? &Timer
: nullptr);
1705 // If we don't already have an ASTReader, create one now.
1709 // If -Wmodule-file-config-mismatch is mapped as an error or worse, allow the
1710 // ASTReader to diagnose it, since it can produce better errors that we can.
1711 bool ConfigMismatchIsRecoverable
=
1712 getDiagnostics().getDiagnosticLevel(diag::warn_module_config_mismatch
,
1714 <= DiagnosticsEngine::Warning
;
1716 auto Listener
= std::make_unique
<ReadModuleNames
>(*PP
);
1717 auto &ListenerRef
= *Listener
;
1718 ASTReader::ListenerScope
ReadModuleNamesListener(*TheASTReader
,
1719 std::move(Listener
));
1721 // Try to load the module file.
1722 switch (TheASTReader
->ReadAST(
1723 FileName
, serialization::MK_ExplicitModule
, SourceLocation(),
1724 ConfigMismatchIsRecoverable
? ASTReader::ARR_ConfigurationMismatch
: 0)) {
1725 case ASTReader::Success
:
1726 // We successfully loaded the module file; remember the set of provided
1727 // modules so that we don't try to load implicit modules for them.
1728 ListenerRef
.registerAll();
1731 case ASTReader::ConfigurationMismatch
:
1732 // Ignore unusable module files.
1733 getDiagnostics().Report(SourceLocation(), diag::warn_module_config_mismatch
)
1735 // All modules provided by any files we tried and failed to load are now
1736 // unavailable; includes of those modules should now be handled textually.
1737 ListenerRef
.markAllUnavailable();
1749 MS_PrebuiltModulePath
,
1750 MS_ModuleBuildPragma
1754 /// Select a source for loading the named module and compute the filename to
1756 static ModuleSource
selectModuleSource(
1757 Module
*M
, StringRef ModuleName
, std::string
&ModuleFilename
,
1758 const std::map
<std::string
, std::string
, std::less
<>> &BuiltModules
,
1760 assert(ModuleFilename
.empty() && "Already has a module source?");
1762 // Check to see if the module has been built as part of this compilation
1763 // via a module build pragma.
1764 auto BuiltModuleIt
= BuiltModules
.find(ModuleName
);
1765 if (BuiltModuleIt
!= BuiltModules
.end()) {
1766 ModuleFilename
= BuiltModuleIt
->second
;
1767 return MS_ModuleBuildPragma
;
1770 // Try to load the module from the prebuilt module path.
1771 const HeaderSearchOptions
&HSOpts
= HS
.getHeaderSearchOpts();
1772 if (!HSOpts
.PrebuiltModuleFiles
.empty() ||
1773 !HSOpts
.PrebuiltModulePaths
.empty()) {
1774 ModuleFilename
= HS
.getPrebuiltModuleFileName(ModuleName
);
1775 if (HSOpts
.EnablePrebuiltImplicitModules
&& ModuleFilename
.empty())
1776 ModuleFilename
= HS
.getPrebuiltImplicitModuleFileName(M
);
1777 if (!ModuleFilename
.empty())
1778 return MS_PrebuiltModulePath
;
1781 // Try to load the module from the module cache.
1783 ModuleFilename
= HS
.getCachedModuleFileName(M
);
1784 return MS_ModuleCache
;
1787 return MS_ModuleNotFound
;
1790 ModuleLoadResult
CompilerInstance::findOrCompileModuleAndReadAST(
1791 StringRef ModuleName
, SourceLocation ImportLoc
,
1792 SourceLocation ModuleNameLoc
, bool IsInclusionDirective
) {
1793 // Search for a module with the given name.
1794 HeaderSearch
&HS
= PP
->getHeaderSearchInfo();
1796 HS
.lookupModule(ModuleName
, ImportLoc
, true, !IsInclusionDirective
);
1798 // Select the source and filename for loading the named module.
1799 std::string ModuleFilename
;
1800 ModuleSource Source
=
1801 selectModuleSource(M
, ModuleName
, ModuleFilename
, BuiltModules
, HS
);
1802 if (Source
== MS_ModuleNotFound
) {
1803 // We can't find a module, error out here.
1804 getDiagnostics().Report(ModuleNameLoc
, diag::err_module_not_found
)
1805 << ModuleName
<< SourceRange(ImportLoc
, ModuleNameLoc
);
1808 if (ModuleFilename
.empty()) {
1809 if (M
&& M
->HasIncompatibleModuleFile
) {
1810 // We tried and failed to load a module file for this module. Fall
1811 // back to textual inclusion for its headers.
1812 return ModuleLoadResult::ConfigMismatch
;
1815 getDiagnostics().Report(ModuleNameLoc
, diag::err_module_build_disabled
)
1820 // Create an ASTReader on demand.
1821 if (!getASTReader())
1824 // Time how long it takes to load the module.
1826 if (FrontendTimerGroup
)
1827 Timer
.init("loading." + ModuleFilename
, "Loading " + ModuleFilename
,
1828 *FrontendTimerGroup
);
1829 llvm::TimeRegion
TimeLoading(FrontendTimerGroup
? &Timer
: nullptr);
1830 llvm::TimeTraceScope
TimeScope("Module Load", ModuleName
);
1832 // Try to load the module file. If we are not trying to load from the
1833 // module cache, we don't know how to rebuild modules.
1834 unsigned ARRFlags
= Source
== MS_ModuleCache
1835 ? ASTReader::ARR_OutOfDate
| ASTReader::ARR_Missing
|
1836 ASTReader::ARR_TreatModuleWithErrorsAsOutOfDate
1837 : Source
== MS_PrebuiltModulePath
1839 : ASTReader::ARR_ConfigurationMismatch
;
1840 switch (getASTReader()->ReadAST(ModuleFilename
,
1841 Source
== MS_PrebuiltModulePath
1842 ? serialization::MK_PrebuiltModule
1843 : Source
== MS_ModuleBuildPragma
1844 ? serialization::MK_ExplicitModule
1845 : serialization::MK_ImplicitModule
,
1846 ImportLoc
, ARRFlags
)) {
1847 case ASTReader::Success
: {
1850 assert(Source
!= MS_ModuleCache
&&
1851 "missing module, but file loaded from cache");
1853 // A prebuilt module is indexed as a ModuleFile; the Module does not exist
1854 // until the first call to ReadAST. Look it up now.
1855 M
= HS
.lookupModule(ModuleName
, ImportLoc
, true, !IsInclusionDirective
);
1857 // Check whether M refers to the file in the prebuilt module path.
1858 if (M
&& M
->getASTFile())
1859 if (auto ModuleFile
= FileMgr
->getFile(ModuleFilename
))
1860 if (*ModuleFile
== M
->getASTFile())
1863 getDiagnostics().Report(ModuleNameLoc
, diag::err_module_prebuilt
)
1865 return ModuleLoadResult();
1868 case ASTReader::OutOfDate
:
1869 case ASTReader::Missing
:
1870 // The most interesting case.
1873 case ASTReader::ConfigurationMismatch
:
1874 if (Source
== MS_PrebuiltModulePath
)
1875 // FIXME: We shouldn't be setting HadFatalFailure below if we only
1876 // produce a warning here!
1877 getDiagnostics().Report(SourceLocation(),
1878 diag::warn_module_config_mismatch
)
1880 // Fall through to error out.
1882 case ASTReader::VersionMismatch
:
1883 case ASTReader::HadErrors
:
1884 ModuleLoader::HadFatalFailure
= true;
1885 // FIXME: The ASTReader will already have complained, but can we shoehorn
1886 // that diagnostic information into a more useful form?
1887 return ModuleLoadResult();
1889 case ASTReader::Failure
:
1890 ModuleLoader::HadFatalFailure
= true;
1891 return ModuleLoadResult();
1894 // ReadAST returned Missing or OutOfDate.
1895 if (Source
!= MS_ModuleCache
) {
1896 // We don't know the desired configuration for this module and don't
1897 // necessarily even have a module map. Since ReadAST already produces
1898 // diagnostics for these two cases, we simply error out here.
1899 return ModuleLoadResult();
1902 // The module file is missing or out-of-date. Build it.
1903 assert(M
&& "missing module, but trying to compile for cache");
1905 // Check whether there is a cycle in the module graph.
1906 ModuleBuildStack ModPath
= getSourceManager().getModuleBuildStack();
1907 ModuleBuildStack::iterator Pos
= ModPath
.begin(), PosEnd
= ModPath
.end();
1908 for (; Pos
!= PosEnd
; ++Pos
) {
1909 if (Pos
->first
== ModuleName
)
1913 if (Pos
!= PosEnd
) {
1914 SmallString
<256> CyclePath
;
1915 for (; Pos
!= PosEnd
; ++Pos
) {
1916 CyclePath
+= Pos
->first
;
1917 CyclePath
+= " -> ";
1919 CyclePath
+= ModuleName
;
1921 getDiagnostics().Report(ModuleNameLoc
, diag::err_module_cycle
)
1922 << ModuleName
<< CyclePath
;
1926 // Check whether we have already attempted to build this module (but
1928 if (getPreprocessorOpts().FailedModules
&&
1929 getPreprocessorOpts().FailedModules
->hasAlreadyFailed(ModuleName
)) {
1930 getDiagnostics().Report(ModuleNameLoc
, diag::err_module_not_built
)
1931 << ModuleName
<< SourceRange(ImportLoc
, ModuleNameLoc
);
1935 // Try to compile and then read the AST.
1936 if (!compileModuleAndReadAST(*this, ImportLoc
, ModuleNameLoc
, M
,
1938 assert(getDiagnostics().hasErrorOccurred() &&
1939 "undiagnosed error in compileModuleAndReadAST");
1940 if (getPreprocessorOpts().FailedModules
)
1941 getPreprocessorOpts().FailedModules
->addFailed(ModuleName
);
1945 // Okay, we've rebuilt and now loaded the module.
1950 CompilerInstance::loadModule(SourceLocation ImportLoc
,
1952 Module::NameVisibilityKind Visibility
,
1953 bool IsInclusionDirective
) {
1954 // Determine what file we're searching from.
1955 StringRef ModuleName
= Path
[0].first
->getName();
1956 SourceLocation ModuleNameLoc
= Path
[0].second
;
1958 // If we've already handled this import, just return the cached result.
1959 // This one-element cache is important to eliminate redundant diagnostics
1960 // when both the preprocessor and parser see the same import declaration.
1961 if (ImportLoc
.isValid() && LastModuleImportLoc
== ImportLoc
) {
1962 // Make the named module visible.
1963 if (LastModuleImportResult
&& ModuleName
!= getLangOpts().CurrentModule
)
1964 TheASTReader
->makeModuleVisible(LastModuleImportResult
, Visibility
,
1966 return LastModuleImportResult
;
1969 // If we don't already have information on this module, load the module now.
1970 Module
*Module
= nullptr;
1971 ModuleMap
&MM
= getPreprocessor().getHeaderSearchInfo().getModuleMap();
1972 if (auto MaybeModule
= MM
.getCachedModuleLoad(*Path
[0].first
)) {
1973 // Use the cached result, which may be nullptr.
1974 Module
= *MaybeModule
;
1975 } else if (ModuleName
== getLangOpts().CurrentModule
) {
1976 // This is the module we're building.
1977 Module
= PP
->getHeaderSearchInfo().lookupModule(
1978 ModuleName
, ImportLoc
, /*AllowSearch*/ true,
1979 /*AllowExtraModuleMapSearch*/ !IsInclusionDirective
);
1980 /// FIXME: perhaps we should (a) look for a module using the module name
1981 // to file map (PrebuiltModuleFiles) and (b) diagnose if still not found?
1982 //if (Module == nullptr) {
1983 // getDiagnostics().Report(ModuleNameLoc, diag::err_module_not_found)
1985 // DisableGeneratingGlobalModuleIndex = true;
1986 // return ModuleLoadResult();
1988 MM
.cacheModuleLoad(*Path
[0].first
, Module
);
1990 ModuleLoadResult Result
= findOrCompileModuleAndReadAST(
1991 ModuleName
, ImportLoc
, ModuleNameLoc
, IsInclusionDirective
);
1992 if (!Result
.isNormal())
1995 DisableGeneratingGlobalModuleIndex
= true;
1997 MM
.cacheModuleLoad(*Path
[0].first
, Module
);
2000 // If we never found the module, fail. Otherwise, verify the module and link
2003 return ModuleLoadResult();
2005 // Verify that the rest of the module path actually corresponds to
2007 bool MapPrivateSubModToTopLevel
= false;
2008 for (unsigned I
= 1, N
= Path
.size(); I
!= N
; ++I
) {
2009 StringRef Name
= Path
[I
].first
->getName();
2010 clang::Module
*Sub
= Module
->findSubmodule(Name
);
2012 // If the user is requesting Foo.Private and it doesn't exist, try to
2013 // match Foo_Private and emit a warning asking for the user to write
2014 // @import Foo_Private instead. FIXME: remove this when existing clients
2015 // migrate off of Foo.Private syntax.
2016 if (!Sub
&& PP
->getLangOpts().ImplicitModules
&& Name
== "Private" &&
2017 Module
== Module
->getTopLevelModule()) {
2018 SmallString
<128> PrivateModule(Module
->Name
);
2019 PrivateModule
.append("_Private");
2021 SmallVector
<std::pair
<IdentifierInfo
*, SourceLocation
>, 2> PrivPath
;
2022 auto &II
= PP
->getIdentifierTable().get(
2023 PrivateModule
, PP
->getIdentifierInfo(Module
->Name
)->getTokenID());
2024 PrivPath
.push_back(std::make_pair(&II
, Path
[0].second
));
2026 if (PP
->getHeaderSearchInfo().lookupModule(PrivateModule
, ImportLoc
, true,
2027 !IsInclusionDirective
))
2028 Sub
= loadModule(ImportLoc
, PrivPath
, Visibility
, IsInclusionDirective
);
2030 MapPrivateSubModToTopLevel
= true;
2031 if (!getDiagnostics().isIgnored(
2032 diag::warn_no_priv_submodule_use_toplevel
, ImportLoc
)) {
2033 getDiagnostics().Report(Path
[I
].second
,
2034 diag::warn_no_priv_submodule_use_toplevel
)
2035 << Path
[I
].first
<< Module
->getFullModuleName() << PrivateModule
2036 << SourceRange(Path
[0].second
, Path
[I
].second
)
2037 << FixItHint::CreateReplacement(SourceRange(Path
[0].second
),
2039 getDiagnostics().Report(Sub
->DefinitionLoc
,
2040 diag::note_private_top_level_defined
);
2046 // Attempt to perform typo correction to find a module name that works.
2047 SmallVector
<StringRef
, 2> Best
;
2048 unsigned BestEditDistance
= (std::numeric_limits
<unsigned>::max
)();
2050 for (class Module
*SubModule
: Module
->submodules()) {
2052 Name
.edit_distance(SubModule
->Name
,
2053 /*AllowReplacements=*/true, BestEditDistance
);
2054 if (ED
<= BestEditDistance
) {
2055 if (ED
< BestEditDistance
) {
2057 BestEditDistance
= ED
;
2060 Best
.push_back(SubModule
->Name
);
2064 // If there was a clear winner, user it.
2065 if (Best
.size() == 1) {
2066 getDiagnostics().Report(Path
[I
].second
, diag::err_no_submodule_suggest
)
2067 << Path
[I
].first
<< Module
->getFullModuleName() << Best
[0]
2068 << SourceRange(Path
[0].second
, Path
[I
- 1].second
)
2069 << FixItHint::CreateReplacement(SourceRange(Path
[I
].second
),
2072 Sub
= Module
->findSubmodule(Best
[0]);
2077 // No submodule by this name. Complain, and don't look for further
2079 getDiagnostics().Report(Path
[I
].second
, diag::err_no_submodule
)
2080 << Path
[I
].first
<< Module
->getFullModuleName()
2081 << SourceRange(Path
[0].second
, Path
[I
- 1].second
);
2088 // Make the named module visible, if it's not already part of the module
2090 if (ModuleName
!= getLangOpts().CurrentModule
) {
2091 if (!Module
->IsFromModuleFile
&& !MapPrivateSubModToTopLevel
) {
2092 // We have an umbrella header or directory that doesn't actually include
2093 // all of the headers within the directory it covers. Complain about
2094 // this missing submodule and recover by forgetting that we ever saw
2096 // FIXME: Should we detect this at module load time? It seems fairly
2097 // expensive (and rare).
2098 getDiagnostics().Report(ImportLoc
, diag::warn_missing_submodule
)
2099 << Module
->getFullModuleName()
2100 << SourceRange(Path
.front().second
, Path
.back().second
);
2102 return ModuleLoadResult::MissingExpected
;
2105 // Check whether this module is available.
2106 if (Preprocessor::checkModuleIsAvailable(getLangOpts(), getTarget(),
2107 getDiagnostics(), Module
)) {
2108 getDiagnostics().Report(ImportLoc
, diag::note_module_import_here
)
2109 << SourceRange(Path
.front().second
, Path
.back().second
);
2110 LastModuleImportLoc
= ImportLoc
;
2111 LastModuleImportResult
= ModuleLoadResult();
2112 return ModuleLoadResult();
2115 TheASTReader
->makeModuleVisible(Module
, Visibility
, ImportLoc
);
2118 // Check for any configuration macros that have changed.
2119 clang::Module
*TopModule
= Module
->getTopLevelModule();
2120 for (unsigned I
= 0, N
= TopModule
->ConfigMacros
.size(); I
!= N
; ++I
) {
2121 checkConfigMacro(getPreprocessor(), TopModule
->ConfigMacros
[I
],
2125 // Resolve any remaining module using export_as for this one.
2127 .getHeaderSearchInfo()
2129 .resolveLinkAsDependencies(TopModule
);
2131 LastModuleImportLoc
= ImportLoc
;
2132 LastModuleImportResult
= ModuleLoadResult(Module
);
2133 return LastModuleImportResult
;
2136 void CompilerInstance::createModuleFromSource(SourceLocation ImportLoc
,
2137 StringRef ModuleName
,
2139 // Avoid creating filenames with special characters.
2140 SmallString
<128> CleanModuleName(ModuleName
);
2141 for (auto &C
: CleanModuleName
)
2142 if (!isAlphanumeric(C
))
2145 // FIXME: Using a randomized filename here means that our intermediate .pcm
2146 // output is nondeterministic (as .pcm files refer to each other by name).
2147 // Can this affect the output in any way?
2148 SmallString
<128> ModuleFileName
;
2149 if (std::error_code EC
= llvm::sys::fs::createTemporaryFile(
2150 CleanModuleName
, "pcm", ModuleFileName
)) {
2151 getDiagnostics().Report(ImportLoc
, diag::err_fe_unable_to_open_output
)
2152 << ModuleFileName
<< EC
.message();
2155 std::string ModuleMapFileName
= (CleanModuleName
+ ".map").str();
2157 FrontendInputFile
Input(
2159 InputKind(getLanguageFromOptions(*Invocation
->getLangOpts()),
2160 InputKind::ModuleMap
, /*Preprocessed*/true));
2162 std::string
NullTerminatedSource(Source
.str());
2164 auto PreBuildStep
= [&](CompilerInstance
&Other
) {
2165 // Create a virtual file containing our desired source.
2166 // FIXME: We shouldn't need to do this.
2167 const FileEntry
*ModuleMapFile
= Other
.getFileManager().getVirtualFile(
2168 ModuleMapFileName
, NullTerminatedSource
.size(), 0);
2169 Other
.getSourceManager().overrideFileContents(
2170 ModuleMapFile
, llvm::MemoryBuffer::getMemBuffer(NullTerminatedSource
));
2172 Other
.BuiltModules
= std::move(BuiltModules
);
2173 Other
.DeleteBuiltModules
= false;
2176 auto PostBuildStep
= [this](CompilerInstance
&Other
) {
2177 BuiltModules
= std::move(Other
.BuiltModules
);
2180 // Build the module, inheriting any modules that we've built locally.
2181 if (compileModuleImpl(*this, ImportLoc
, ModuleName
, Input
, StringRef(),
2182 ModuleFileName
, PreBuildStep
, PostBuildStep
)) {
2183 BuiltModules
[std::string(ModuleName
)] = std::string(ModuleFileName
.str());
2184 llvm::sys::RemoveFileOnSignal(ModuleFileName
);
2188 void CompilerInstance::makeModuleVisible(Module
*Mod
,
2189 Module::NameVisibilityKind Visibility
,
2190 SourceLocation ImportLoc
) {
2196 TheASTReader
->makeModuleVisible(Mod
, Visibility
, ImportLoc
);
2199 GlobalModuleIndex
*CompilerInstance::loadGlobalModuleIndex(
2200 SourceLocation TriggerLoc
) {
2201 if (getPreprocessor().getHeaderSearchInfo().getModuleCachePath().empty())
2205 // Can't do anything if we don't have the module manager.
2208 // Get an existing global index. This loads it if not already
2210 TheASTReader
->loadGlobalIndex();
2211 GlobalModuleIndex
*GlobalIndex
= TheASTReader
->getGlobalIndex();
2212 // If the global index doesn't exist, create it.
2213 if (!GlobalIndex
&& shouldBuildGlobalModuleIndex() && hasFileManager() &&
2214 hasPreprocessor()) {
2215 llvm::sys::fs::create_directories(
2216 getPreprocessor().getHeaderSearchInfo().getModuleCachePath());
2217 if (llvm::Error Err
= GlobalModuleIndex::writeIndex(
2218 getFileManager(), getPCHContainerReader(),
2219 getPreprocessor().getHeaderSearchInfo().getModuleCachePath())) {
2220 // FIXME this drops the error on the floor. This code is only used for
2221 // typo correction and drops more than just this one source of errors
2222 // (such as the directory creation failure above). It should handle the
2224 consumeError(std::move(Err
));
2227 TheASTReader
->resetForReload();
2228 TheASTReader
->loadGlobalIndex();
2229 GlobalIndex
= TheASTReader
->getGlobalIndex();
2231 // For finding modules needing to be imported for fixit messages,
2232 // we need to make the global index cover all modules, so we do that here.
2233 if (!HaveFullGlobalModuleIndex
&& GlobalIndex
&& !buildingModule()) {
2234 ModuleMap
&MMap
= getPreprocessor().getHeaderSearchInfo().getModuleMap();
2235 bool RecreateIndex
= false;
2236 for (ModuleMap::module_iterator I
= MMap
.module_begin(),
2237 E
= MMap
.module_end(); I
!= E
; ++I
) {
2238 Module
*TheModule
= I
->second
;
2239 const FileEntry
*Entry
= TheModule
->getASTFile();
2241 SmallVector
<std::pair
<IdentifierInfo
*, SourceLocation
>, 2> Path
;
2242 Path
.push_back(std::make_pair(
2243 getPreprocessor().getIdentifierInfo(TheModule
->Name
), TriggerLoc
));
2244 std::reverse(Path
.begin(), Path
.end());
2245 // Load a module as hidden. This also adds it to the global index.
2246 loadModule(TheModule
->DefinitionLoc
, Path
, Module::Hidden
, false);
2247 RecreateIndex
= true;
2250 if (RecreateIndex
) {
2251 if (llvm::Error Err
= GlobalModuleIndex::writeIndex(
2252 getFileManager(), getPCHContainerReader(),
2253 getPreprocessor().getHeaderSearchInfo().getModuleCachePath())) {
2254 // FIXME As above, this drops the error on the floor.
2255 consumeError(std::move(Err
));
2258 TheASTReader
->resetForReload();
2259 TheASTReader
->loadGlobalIndex();
2260 GlobalIndex
= TheASTReader
->getGlobalIndex();
2262 HaveFullGlobalModuleIndex
= true;
2267 // Check global module index for missing imports.
2269 CompilerInstance::lookupMissingImports(StringRef Name
,
2270 SourceLocation TriggerLoc
) {
2271 // Look for the symbol in non-imported modules, but only if an error
2272 // actually occurred.
2273 if (!buildingModule()) {
2274 // Load global module index, or retrieve a previously loaded one.
2275 GlobalModuleIndex
*GlobalIndex
= loadGlobalModuleIndex(
2278 // Only if we have a global index.
2280 GlobalModuleIndex::HitSet FoundModules
;
2282 // Find the modules that reference the identifier.
2283 // Note that this only finds top-level modules.
2284 // We'll let diagnoseTypo find the actual declaration module.
2285 if (GlobalIndex
->lookupIdentifier(Name
, FoundModules
))
2292 void CompilerInstance::resetAndLeakSema() { llvm::BuryPointer(takeSema()); }
2294 void CompilerInstance::setExternalSemaSource(
2295 IntrusiveRefCntPtr
<ExternalSemaSource
> ESS
) {
2296 ExternalSemaSrc
= std::move(ESS
);