[docs] Add LICENSE.txt to the root of the mono-repo
[llvm-project.git] / clang / lib / Frontend / CompilerInstance.cpp
blob03b5d048c4b8dd7f6b5ed026396687f4ecb15227
1 //===--- CompilerInstance.cpp ---------------------------------------------===//
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 //===----------------------------------------------------------------------===//
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"
55 #include <time.h>
56 #include <utility>
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) {
86 Diagnostics = 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));
106 if (!hasTarget())
107 return false;
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()))
142 return false;
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);
155 return true;
158 llvm::vfs::FileSystem &CompilerInstance::getVirtualFileSystem() const {
159 return getFileManager().getVirtualFileSystem();
162 void CompilerInstance::setFileManager(FileManager *Value) {
163 FileMgr = Value;
166 void CompilerInstance::setSourceManager(SourceManager *Value) {
167 SourceMgr = Value;
170 void CompilerInstance::setPreprocessor(std::shared_ptr<Preprocessor> Value) {
171 PP = std::move(Value);
174 void CompilerInstance::setASTContext(ASTContext *Value) {
175 Context = Value;
177 if (Context && Consumer)
178 getASTConsumer().Initialize(getASTContext());
181 void CompilerInstance::setSema(Sema *S) {
182 TheSema.reset(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 {
201 return TheASTReader;
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)
224 MDC->addFile(Name);
227 static void collectIncludePCH(CompilerInstance &CI,
228 std::shared_ptr<ModuleDependencyCollector> MDC) {
229 const PreprocessorOptions &PPOpts = CI.getPreprocessorOpts();
230 if (PPOpts.ImplicitPCHInclude.empty())
231 return;
233 StringRef PCHInclude = PPOpts.ImplicitPCHInclude;
234 FileManager &FileMgr = CI.getFileManager();
235 auto PCHDir = FileMgr.getOptionalDirectoryRef(PCHInclude);
236 if (!PCHDir) {
237 MDC->addFile(PCHInclude);
238 return;
241 std::error_code EC;
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())
262 return;
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);
269 if (!Buffer)
270 return;
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);
279 // Diagnostics
280 static void SetUpDiagnosticLog(DiagnosticOptions *DiagOpts,
281 const CodeGenOptions *CodeGenOpts,
282 DiagnosticsEngine &Diags) {
283 std::error_code EC;
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);
291 if (EC) {
292 Diags.Report(diag::warn_fe_cc_log_diagnostics_failure)
293 << DiagOpts->DiagnosticLogFile << EC.message();
294 } else {
295 FileOS->SetUnbuffered();
296 OS = FileOS.get();
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));
304 if (CodeGenOpts)
305 Logger->setDwarfDebugFlags(CodeGenOpts->DwarfDebugFlags);
306 if (Diags.ownsClient()) {
307 Diags.setClient(
308 new ChainedDiagnosticConsumer(Diags.takeClient(), std::move(Logger)));
309 } else {
310 Diags.setClient(
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)));
324 } else {
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.
347 if (Client) {
348 Diags->setClient(Client, ShouldOwnClient);
349 } else
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);
367 return Diags;
370 // File Manager
372 FileManager *CompilerInstance::createFileManager(
373 IntrusiveRefCntPtr<llvm::vfs::FileSystem> VFS) {
374 if (!VFS)
375 VFS = FileMgr ? &FileMgr->getVirtualFileSystem()
376 : createVFSFromCompilerInvocation(getInvocation(),
377 getDiagnostics());
378 assert(VFS && "FileManager has no VFS?");
379 FileMgr = new FileManager(getFileSystemOpts(), std::move(VFS));
380 return FileMgr.get();
383 // Source Manager
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);
400 if (!FromFile) {
401 Diags.Report(diag::err_fe_remap_missing_from_file) << RB.first;
402 if (!InitOpts.RetainRemappedFileBuffers)
403 delete RB.second;
404 continue;
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());
413 else
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);
423 if (!ToFile) {
424 Diags.Report(diag::err_fe_remap_missing_to_file) << RF.first << RF.second;
425 continue;
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);
431 if (!FromFile) {
432 Diags.Report(diag::err_fe_remap_missing_from_file) << RF.first;
433 continue;
436 // Override the contents of the "from" file with the contents of
437 // the "to" file.
438 SourceMgr.overrideFileContents(FromFile, *ToFile);
441 SourceMgr.setOverridenFilesKeepOriginalName(
442 InitOpts.RemappedFilesKeepOriginalName);
445 // Preprocessor
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(),
474 getFrontendOpts());
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 == "-")
529 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());
550 // ASTContext
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);
561 // ExternalASTSource
563 namespace {
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 {
568 Preprocessor &PP;
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());
579 void registerAll() {
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(
590 LoadedModule)) {
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;
596 Stack.push_back(M);
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();
609 } // namespace
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,
663 SourceLocation(),
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();
670 return Reader;
672 case ASTReader::Failure:
673 // Unrecoverable failure: don't even try to process the input file.
674 break;
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.
682 break;
685 ListenerRef.markAllUnavailable();
686 Context.setExternalSource(nullptr);
687 return nullptr;
690 // Code Completion
692 static bool EnableCodeCompletion(Preprocessor &PP,
693 StringRef Filename,
694 unsigned Line,
695 unsigned Column) {
696 // Tell the source manager to chop off the given file at a specific
697 // line and column.
698 auto Entry = PP.getFileManager().getFile(Filename);
699 if (!Entry) {
700 PP.getDiagnostics().Report(diag::err_fe_invalid_code_complete_file)
701 << Filename;
702 return true;
705 // Truncate the named file at the given line/column.
706 PP.SetCodeCompletionPoint(*Entry, Line, Column);
707 return false;
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()));
716 return;
717 } else if (EnableCodeCompletion(getPreprocessor(), Loc.FileName,
718 Loc.Line, Loc.Column)) {
719 setCodeCompletionConsumer(nullptr);
720 return;
724 void CompilerInstance::createFrontendTimer() {
725 FrontendTimerGroup.reset(
726 new llvm::TimerGroup("frontend", "Clang front-end time report"));
727 FrontendTimer.reset(
728 new llvm::Timer("frontend", "Clang front-end timer",
729 *FrontendTimerGroup));
732 CodeCompleteConsumer *
733 CompilerInstance::createCodeCompletionConsumer(Preprocessor &PP,
734 StringRef Filename,
735 unsigned Line,
736 unsigned Column,
737 const CodeCompleteOptions &Opts,
738 raw_ostream &OS) {
739 if (EnableCodeCompletion(PP, Filename, Line, Column))
740 return nullptr;
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);
757 // Output Files
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) {
764 if (EraseFiles) {
765 if (OF.File)
766 consumeError(OF.File->discard());
767 if (!OF.Filename.empty())
768 llvm::sys::fs::remove(OF.Filename);
769 continue;
772 if (!OF.File)
773 continue;
775 if (OF.File->TmpName.empty()) {
776 consumeError(OF.File->discard());
777 continue;
780 // If '-working-directory' was passed, the output filename should be
781 // relative to that.
782 SmallString<128> NewOutFile(OF.Filename);
783 FileMgr->FixupRelativePath(NewOutFile);
785 llvm::Error E = OF.File->keep(NewOutFile);
786 if (!E)
787 continue;
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);
794 OutputFiles.clear();
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()) {
809 OutputPath = "-";
810 } else {
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);
833 if (OS)
834 return std::move(*OS);
835 getDiagnostics().Report(diag::err_fe_unable_to_open_output)
836 << OutputPath << errorToErrorCode(OS.takeError()).message();
837 return nullptr;
840 Expected<std::unique_ptr<llvm::raw_pwrite_stream>>
841 CompilerInstance::createOutputFileImpl(StringRef OutputPath, bool Binary,
842 bool RemoveFileOnSignal,
843 bool UseTemporary,
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;
851 if (UseTemporary) {
852 if (OutputPath == "-")
853 UseTemporary = false;
854 else {
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;
872 if (UseTemporary) {
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;
882 TempPath += ".tmp";
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);
895 if (!EC) {
896 ExpectedFile = llvm::sys::fs::TempFile::create(TempPath);
897 if (!ExpectedFile)
898 return llvm::errorCodeToError(
899 llvm::errc::no_such_file_or_directory);
902 return llvm::errorCodeToError(EC);
905 if (E) {
906 consumeError(std::move(E));
907 } else {
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.
917 if (!OS) {
918 OSFile = OutputPath;
919 std::error_code EC;
920 OS.reset(new llvm::raw_fd_ostream(
921 *OSFile, EC,
922 (Binary ? llvm::sys::fs::OF_None : llvm::sys::fs::OF_TextWithCRLF)));
923 if (EC)
924 return llvm::errorCodeToError(EC);
927 // Add the output file -- but don't try to remove "-", since this means we are
928 // using stdin.
929 OutputFiles.emplace_back(((OutputPath != "-") ? OutputPath : "").str(),
930 std::move(Temp));
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(),
942 getSourceManager());
945 // static
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!");
960 return true;
963 StringRef InputFile = Input.getFile();
965 // Figure out where to get and map in the main file.
966 auto FileOrErr = InputFile == "-"
967 ? FileMgr.getSTDIN()
968 : FileMgr.getFileRef(InputFile, /*OpenFile=*/true);
969 if (!FileOrErr) {
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;
974 else
975 Diags.Report(diag::err_fe_error_reading_stdin) << EC.message();
976 return false;
979 SourceMgr.setMainFileID(
980 SourceMgr.createFileID(*FileOrErr, SourceLocation(), Kind));
982 assert(SourceMgr.getMainFileID().isValid() &&
983 "Couldn't establish MainFileID!");
984 return true;
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.
997 noteBottomOfStack();
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))
1007 return false;
1009 if (!createTarget())
1010 return false;
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
1030 // regular files.
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();
1048 if (NumWarnings)
1049 OS << NumWarnings << " warning" << (NumWarnings == 1 ? "" : "s");
1050 if (NumWarnings && NumErrors)
1051 OS << " and ";
1052 if (NumErrors)
1053 OS << NumErrors << " error" << (NumErrors == 1 ? "" : "s");
1054 if (NumWarnings || NumErrors) {
1055 OS << " generated";
1056 if (getLangOpts().CUDA) {
1057 if (!getLangOpts().CUDAIsDevice) {
1058 OS << " when compiling for host";
1059 } else {
1060 OS << " when compiling for " << getTargetOpts().CPU;
1063 OS << ".\n";
1067 if (getFrontendOpts().ShowStats) {
1068 if (hasFileManager()) {
1069 getFileManager().PrintStats();
1070 OS << '\n';
1072 llvm::PrintStatistics(OS);
1074 StringRef StatsFile = getFrontendOpts().StatsFile;
1075 if (!StatsFile.empty()) {
1076 std::error_code EC;
1077 auto StatS = std::make_unique<llvm::raw_fd_ostream>(
1078 StatsFile, EC, llvm::sys::fs::OF_TextWithCRLF);
1079 if (EC) {
1080 getDiagnostics().Report(diag::warn_fe_unable_to_open_stats_file)
1081 << StatsFile << EC.message();
1082 } else {
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) {
1093 std::string Error;
1094 if (llvm::sys::DynamicLibrary::LoadLibraryPermanently(Path.c_str(), &Error))
1095 getDiagnostics().Report(diag::err_fe_unable_to_load_plugin)
1096 << Path << Error;
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();
1106 break;
1111 /// Determine the appropriate source input kind based on language
1112 /// options.
1113 static Language getLanguageFromOptions(const LangOptions &LangOpts) {
1114 if (LangOpts.OpenCL)
1115 return Language::OpenCL;
1116 if (LangOpts.CUDA)
1117 return Language::CUDA;
1118 if (LangOpts.ObjC)
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.
1126 static bool
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)
1141 << ModuleName;
1142 return false;
1145 // Construct a compiler invocation for creating this module.
1146 auto Invocation =
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
1174 // instance.
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
1184 // header.
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());
1217 } else {
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(
1245 [&]() {
1246 GenerateModuleFromModuleMapAction Action;
1247 Instance.ExecuteAction(Action);
1249 DesiredStackSize);
1251 PostBuildStep(Instance);
1253 ImportingInstance.getDiagnostics().Report(ImportLoc,
1254 diag::remark_module_build_done)
1255 << ModuleName;
1257 if (Crashed) {
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
1268 // occurred.
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");
1281 else
1282 return nullptr;
1283 if (auto FE = FileMgr.getFile(PublicFilename))
1284 return *FE;
1285 return nullptr;
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.
1298 ModuleMap &ModMap
1299 = ImportingInstance.getPreprocessor().getHeaderSearchInfo().getModuleMap();
1300 bool Result;
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
1311 // getLastRef().
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);
1320 } else {
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);
1330 Module->print(OS);
1331 OS.flush();
1333 Result = compileModuleImpl(
1334 ImportingInstance, ImportLoc, Module->getTopLevelModuleName(),
1335 FrontendInputFile(FakeModuleMapFile, IK, +Module->IsSystem),
1336 ModMap.getModuleMapFileForUniquing(Module)->getName(),
1337 ModuleFileName,
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);
1354 return Result;
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,
1362 bool *OutOfDate) {
1363 DiagnosticsEngine &Diags = ImportingInstance.getDiagnostics();
1365 unsigned ModuleLoadCapabilities = ASTReader::ARR_Missing;
1366 if (OutOfDate)
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)
1375 return true;
1377 // The caller wants to handle out-of-date failures.
1378 if (OutOfDate && ReadResult == ASTReader::OutOfDate) {
1379 *OutOfDate = true;
1380 return false;
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);
1388 return false;
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,
1396 Module *Module,
1397 StringRef ModuleFileName) {
1398 if (!compileModule(ImportingInstance, ModuleNameLoc, Module,
1399 ModuleFileName)) {
1400 ImportingInstance.getDiagnostics().Report(ModuleNameLoc,
1401 diag::err_module_not_built)
1402 << Module->Name << SourceRange(ImportLoc, ModuleNameLoc);
1403 return false;
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);
1432 while (true) {
1433 llvm::LockFileManager Locked(ModuleFileName);
1434 switch (Locked) {
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
1438 // related errors.
1439 Diags.Report(ModuleNameLoc, diag::remark_module_lock_failure)
1440 << Module->Name << Locked.getErrorMessage();
1441 // Clear out any potential leftover.
1442 Locked.unsafeRemoveLockFile();
1443 [[fallthrough]];
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
1454 // finish.
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)
1465 << Module->Name;
1466 // Clear the lock file so that future invocations can make progress.
1467 Locked.unsafeRemoveLockFile();
1468 continue;
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))
1475 return true;
1476 if (!OutOfDate)
1477 return false;
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
1488 /// instances.
1489 static bool compileModuleAndReadAST(CompilerInstance &ImportingInstance,
1490 SourceLocation ImportLoc,
1491 SourceLocation ModuleNameLoc,
1492 Module *Module, StringRef ModuleFileName) {
1493 return ImportingInstance.getInvocation()
1494 .getFrontendOpts()
1495 .BuildingImplicitModuleUsesLock
1496 ? compileModuleAndReadASTBehindLock(ImportingInstance, ImportLoc,
1497 ModuleNameLoc, Module,
1498 ModuleFileName)
1499 : compileModuleAndReadASTImpl(ImportingInstance, ImportLoc,
1500 ModuleNameLoc, Module,
1501 ModuleFileName);
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())
1514 return;
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())
1523 continue;
1524 if (auto *DMD = dyn_cast<DefMacroDirective>(MD))
1525 CmdLineDefinition = DMD->getMacroInfo();
1526 break;
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.
1534 // Complain.
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)
1541 << true;
1542 return;
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)
1550 << false;
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)
1558 << false;
1562 /// Write a new timestamp file with the given path.
1563 static void writeTimestampFile(StringRef TimestampFile) {
1564 std::error_code EC;
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
1569 /// a long time.
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);
1583 return;
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))
1592 return;
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
1600 // indices.
1601 std::error_code EC;
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()))
1608 continue;
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")
1617 continue;
1619 // Look at this file. If we can't stat it, there's nothing interesting
1620 // there.
1621 if (llvm::sys::fs::status(File->path(), StatBuf))
1622 continue;
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)) {
1628 continue;
1631 // Remove the file.
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
1640 // itself.
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() {
1648 if (TheASTReader)
1649 return;
1651 if (!hasASTContext())
1652 createASTContext();
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",
1671 "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);
1689 if (hasSema())
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) {
1699 llvm::Timer Timer;
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.
1706 if (!TheASTReader)
1707 createASTReader();
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,
1713 SourceLocation())
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();
1729 return true;
1731 case ASTReader::ConfigurationMismatch:
1732 // Ignore unusable module files.
1733 getDiagnostics().Report(SourceLocation(), diag::warn_module_config_mismatch)
1734 << FileName;
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();
1738 return true;
1740 default:
1741 return false;
1745 namespace {
1746 enum ModuleSource {
1747 MS_ModuleNotFound,
1748 MS_ModuleCache,
1749 MS_PrebuiltModulePath,
1750 MS_ModuleBuildPragma
1752 } // end namespace
1754 /// Select a source for loading the named module and compute the filename to
1755 /// load it from.
1756 static ModuleSource selectModuleSource(
1757 Module *M, StringRef ModuleName, std::string &ModuleFilename,
1758 const std::map<std::string, std::string, std::less<>> &BuiltModules,
1759 HeaderSearch &HS) {
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.
1782 if (M) {
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();
1795 Module *M =
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);
1806 return nullptr;
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)
1816 << ModuleName;
1817 return nullptr;
1820 // Create an ASTReader on demand.
1821 if (!getASTReader())
1822 createASTReader();
1824 // Time how long it takes to load the module.
1825 llvm::Timer Timer;
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: {
1848 if (M)
1849 return M;
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())
1861 return M;
1863 getDiagnostics().Report(ModuleNameLoc, diag::err_module_prebuilt)
1864 << ModuleName;
1865 return ModuleLoadResult();
1868 case ASTReader::OutOfDate:
1869 case ASTReader::Missing:
1870 // The most interesting case.
1871 break;
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)
1879 << ModuleFilename;
1880 // Fall through to error out.
1881 [[fallthrough]];
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)
1910 break;
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;
1923 return nullptr;
1926 // Check whether we have already attempted to build this module (but
1927 // failed).
1928 if (getPreprocessorOpts().FailedModules &&
1929 getPreprocessorOpts().FailedModules->hasAlreadyFailed(ModuleName)) {
1930 getDiagnostics().Report(ModuleNameLoc, diag::err_module_not_built)
1931 << ModuleName << SourceRange(ImportLoc, ModuleNameLoc);
1932 return nullptr;
1935 // Try to compile and then read the AST.
1936 if (!compileModuleAndReadAST(*this, ImportLoc, ModuleNameLoc, M,
1937 ModuleFilename)) {
1938 assert(getDiagnostics().hasErrorOccurred() &&
1939 "undiagnosed error in compileModuleAndReadAST");
1940 if (getPreprocessorOpts().FailedModules)
1941 getPreprocessorOpts().FailedModules->addFailed(ModuleName);
1942 return nullptr;
1945 // Okay, we've rebuilt and now loaded the module.
1946 return M;
1949 ModuleLoadResult
1950 CompilerInstance::loadModule(SourceLocation ImportLoc,
1951 ModuleIdPath Path,
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,
1965 ImportLoc);
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)
1984 // << ModuleName;
1985 // DisableGeneratingGlobalModuleIndex = true;
1986 // return ModuleLoadResult();
1988 MM.cacheModuleLoad(*Path[0].first, Module);
1989 } else {
1990 ModuleLoadResult Result = findOrCompileModuleAndReadAST(
1991 ModuleName, ImportLoc, ModuleNameLoc, IsInclusionDirective);
1992 if (!Result.isNormal())
1993 return Result;
1994 if (!Result)
1995 DisableGeneratingGlobalModuleIndex = true;
1996 Module = Result;
1997 MM.cacheModuleLoad(*Path[0].first, Module);
2000 // If we never found the module, fail. Otherwise, verify the module and link
2001 // it up.
2002 if (!Module)
2003 return ModuleLoadResult();
2005 // Verify that the rest of the module path actually corresponds to
2006 // a submodule.
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);
2029 if (Sub) {
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),
2038 PrivateModule);
2039 getDiagnostics().Report(Sub->DefinitionLoc,
2040 diag::note_private_top_level_defined);
2045 if (!Sub) {
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()) {
2051 unsigned ED =
2052 Name.edit_distance(SubModule->Name,
2053 /*AllowReplacements=*/true, BestEditDistance);
2054 if (ED <= BestEditDistance) {
2055 if (ED < BestEditDistance) {
2056 Best.clear();
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),
2070 Best[0]);
2072 Sub = Module->findSubmodule(Best[0]);
2076 if (!Sub) {
2077 // No submodule by this name. Complain, and don't look for further
2078 // submodules.
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);
2082 break;
2085 Module = Sub;
2088 // Make the named module visible, if it's not already part of the module
2089 // we are parsing.
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
2095 // this submodule.
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],
2122 Module, ImportLoc);
2125 // Resolve any remaining module using export_as for this one.
2126 getPreprocessor()
2127 .getHeaderSearchInfo()
2128 .getModuleMap()
2129 .resolveLinkAsDependencies(TopModule);
2131 LastModuleImportLoc = ImportLoc;
2132 LastModuleImportResult = ModuleLoadResult(Module);
2133 return LastModuleImportResult;
2136 void CompilerInstance::createModuleFromSource(SourceLocation ImportLoc,
2137 StringRef ModuleName,
2138 StringRef Source) {
2139 // Avoid creating filenames with special characters.
2140 SmallString<128> CleanModuleName(ModuleName);
2141 for (auto &C : CleanModuleName)
2142 if (!isAlphanumeric(C))
2143 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();
2153 return;
2155 std::string ModuleMapFileName = (CleanModuleName + ".map").str();
2157 FrontendInputFile Input(
2158 ModuleMapFileName,
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) {
2191 if (!TheASTReader)
2192 createASTReader();
2193 if (!TheASTReader)
2194 return;
2196 TheASTReader->makeModuleVisible(Mod, Visibility, ImportLoc);
2199 GlobalModuleIndex *CompilerInstance::loadGlobalModuleIndex(
2200 SourceLocation TriggerLoc) {
2201 if (getPreprocessor().getHeaderSearchInfo().getModuleCachePath().empty())
2202 return nullptr;
2203 if (!TheASTReader)
2204 createASTReader();
2205 // Can't do anything if we don't have the module manager.
2206 if (!TheASTReader)
2207 return nullptr;
2208 // Get an existing global index. This loads it if not already
2209 // loaded.
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
2223 // error.
2224 consumeError(std::move(Err));
2225 return nullptr;
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();
2240 if (!Entry) {
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));
2256 return nullptr;
2258 TheASTReader->resetForReload();
2259 TheASTReader->loadGlobalIndex();
2260 GlobalIndex = TheASTReader->getGlobalIndex();
2262 HaveFullGlobalModuleIndex = true;
2264 return GlobalIndex;
2267 // Check global module index for missing imports.
2268 bool
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(
2276 TriggerLoc);
2278 // Only if we have a global index.
2279 if (GlobalIndex) {
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))
2286 return true;
2290 return false;
2292 void CompilerInstance::resetAndLeakSema() { llvm::BuryPointer(takeSema()); }
2294 void CompilerInstance::setExternalSemaSource(
2295 IntrusiveRefCntPtr<ExternalSemaSource> ESS) {
2296 ExternalSemaSrc = std::move(ESS);