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 //===----------------------------------------------------------------------===// 8 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/LogDiagnosticPrinter.h" 27 #include "clang/Frontend/SerializedDiagnosticPrinter.h" 28 #include "clang/Frontend/TextDiagnosticPrinter.h" 29 #include "clang/Frontend/Utils.h" 30 #include "clang/Frontend/VerifyDiagnosticConsumer.h" 31 #include "clang/Lex/HeaderSearch.h" 32 #include "clang/Lex/Preprocessor.h" 33 #include "clang/Lex/PreprocessorOptions.h" 34 #include "clang/Sema/CodeCompleteConsumer.h" 35 #include "clang/Sema/Sema.h" 36 #include "clang/Serialization/ASTReader.h" 37 #include "clang/Serialization/GlobalModuleIndex.h" 38 #include "clang/Serialization/InMemoryModuleCache.h" 39 #include "llvm/ADT/Statistic.h" 40 #include "llvm/Support/BuryPointer.h" 41 #include "llvm/Support/CrashRecoveryContext.h" 42 #include "llvm/Support/Errc.h" 43 #include "llvm/Support/FileSystem.h" 44 #include "llvm/Support/Host.h" 45 #include "llvm/Support/LockFileManager.h" 46 #include "llvm/Support/MemoryBuffer.h" 47 #include "llvm/Support/Path.h" 48 #include "llvm/Support/Program.h" 49 #include "llvm/Support/Signals.h" 50 #include "llvm/Support/TimeProfiler.h" 51 #include "llvm/Support/Timer.h" 52 #include "llvm/Support/raw_ostream.h" 53 #include <time.h> 54 #include <utility> 55 56 using namespace clang; 57 58 CompilerInstance::CompilerInstance( 59 std::shared_ptr<PCHContainerOperations> PCHContainerOps, 60 InMemoryModuleCache *SharedModuleCache) 61 : ModuleLoader(/* BuildingModule = */ SharedModuleCache), 62 Invocation(new CompilerInvocation()), 63 ModuleCache(SharedModuleCache ? SharedModuleCache 64 : new InMemoryModuleCache), 65 ThePCHContainerOperations(std::move(PCHContainerOps)) {} 66 67 CompilerInstance::~CompilerInstance() { 68 assert(OutputFiles.empty() && "Still output files in flight?"); 69 } 70 71 void CompilerInstance::setInvocation( 72 std::shared_ptr<CompilerInvocation> Value) { 73 Invocation = std::move(Value); 74 } 75 76 bool CompilerInstance::shouldBuildGlobalModuleIndex() const { 77 return (BuildGlobalModuleIndex || 78 (TheASTReader && TheASTReader->isGlobalIndexUnavailable() && 79 getFrontendOpts().GenerateGlobalModuleIndex)) && 80 !ModuleBuildFailed; 81 } 82 83 void CompilerInstance::setDiagnostics(DiagnosticsEngine *Value) { 84 Diagnostics = Value; 85 } 86 87 void CompilerInstance::setVerboseOutputStream(raw_ostream &Value) { 88 OwnedVerboseOutputStream.release(); 89 VerboseOutputStream = &Value; 90 } 91 92 void CompilerInstance::setVerboseOutputStream(std::unique_ptr<raw_ostream> Value) { 93 OwnedVerboseOutputStream.swap(Value); 94 VerboseOutputStream = OwnedVerboseOutputStream.get(); 95 } 96 97 void CompilerInstance::setTarget(TargetInfo *Value) { Target = Value; } 98 void CompilerInstance::setAuxTarget(TargetInfo *Value) { AuxTarget = Value; } 99 100 llvm::vfs::FileSystem &CompilerInstance::getVirtualFileSystem() const { 101 return getFileManager().getVirtualFileSystem(); 102 } 103 104 void CompilerInstance::setFileManager(FileManager *Value) { 105 FileMgr = Value; 106 } 107 108 void CompilerInstance::setSourceManager(SourceManager *Value) { 109 SourceMgr = Value; 110 } 111 112 void CompilerInstance::setPreprocessor(std::shared_ptr<Preprocessor> Value) { 113 PP = std::move(Value); 114 } 115 116 void CompilerInstance::setASTContext(ASTContext *Value) { 117 Context = Value; 118 119 if (Context && Consumer) 120 getASTConsumer().Initialize(getASTContext()); 121 } 122 123 void CompilerInstance::setSema(Sema *S) { 124 TheSema.reset(S); 125 } 126 127 void CompilerInstance::setASTConsumer(std::unique_ptr<ASTConsumer> Value) { 128 Consumer = std::move(Value); 129 130 if (Context && Consumer) 131 getASTConsumer().Initialize(getASTContext()); 132 } 133 134 void CompilerInstance::setCodeCompletionConsumer(CodeCompleteConsumer *Value) { 135 CompletionConsumer.reset(Value); 136 } 137 138 std::unique_ptr<Sema> CompilerInstance::takeSema() { 139 return std::move(TheSema); 140 } 141 142 IntrusiveRefCntPtr<ASTReader> CompilerInstance::getASTReader() const { 143 return TheASTReader; 144 } 145 void CompilerInstance::setASTReader(IntrusiveRefCntPtr<ASTReader> Reader) { 146 assert(ModuleCache.get() == &Reader->getModuleManager().getModuleCache() && 147 "Expected ASTReader to use the same PCM cache"); 148 TheASTReader = std::move(Reader); 149 } 150 151 std::shared_ptr<ModuleDependencyCollector> 152 CompilerInstance::getModuleDepCollector() const { 153 return ModuleDepCollector; 154 } 155 156 void CompilerInstance::setModuleDepCollector( 157 std::shared_ptr<ModuleDependencyCollector> Collector) { 158 ModuleDepCollector = std::move(Collector); 159 } 160 161 static void collectHeaderMaps(const HeaderSearch &HS, 162 std::shared_ptr<ModuleDependencyCollector> MDC) { 163 SmallVector<std::string, 4> HeaderMapFileNames; 164 HS.getHeaderMapFileNames(HeaderMapFileNames); 165 for (auto &Name : HeaderMapFileNames) 166 MDC->addFile(Name); 167 } 168 169 static void collectIncludePCH(CompilerInstance &CI, 170 std::shared_ptr<ModuleDependencyCollector> MDC) { 171 const PreprocessorOptions &PPOpts = CI.getPreprocessorOpts(); 172 if (PPOpts.ImplicitPCHInclude.empty()) 173 return; 174 175 StringRef PCHInclude = PPOpts.ImplicitPCHInclude; 176 FileManager &FileMgr = CI.getFileManager(); 177 auto PCHDir = FileMgr.getDirectory(PCHInclude); 178 if (!PCHDir) { 179 MDC->addFile(PCHInclude); 180 return; 181 } 182 183 std::error_code EC; 184 SmallString<128> DirNative; 185 llvm::sys::path::native((*PCHDir)->getName(), DirNative); 186 llvm::vfs::FileSystem &FS = FileMgr.getVirtualFileSystem(); 187 SimpleASTReaderListener Validator(CI.getPreprocessor()); 188 for (llvm::vfs::directory_iterator Dir = FS.dir_begin(DirNative, EC), DirEnd; 189 Dir != DirEnd && !EC; Dir.increment(EC)) { 190 // Check whether this is an AST file. ASTReader::isAcceptableASTFile is not 191 // used here since we're not interested in validating the PCH at this time, 192 // but only to check whether this is a file containing an AST. 193 if (!ASTReader::readASTFileControlBlock( 194 Dir->path(), FileMgr, CI.getPCHContainerReader(), 195 /*FindModuleFileExtensions=*/false, Validator, 196 /*ValidateDiagnosticOptions=*/false)) 197 MDC->addFile(Dir->path()); 198 } 199 } 200 201 static void collectVFSEntries(CompilerInstance &CI, 202 std::shared_ptr<ModuleDependencyCollector> MDC) { 203 if (CI.getHeaderSearchOpts().VFSOverlayFiles.empty()) 204 return; 205 206 // Collect all VFS found. 207 SmallVector<llvm::vfs::YAMLVFSEntry, 16> VFSEntries; 208 for (const std::string &VFSFile : CI.getHeaderSearchOpts().VFSOverlayFiles) { 209 llvm::ErrorOr<std::unique_ptr<llvm::MemoryBuffer>> Buffer = 210 llvm::MemoryBuffer::getFile(VFSFile); 211 if (!Buffer) 212 return; 213 llvm::vfs::collectVFSFromYAML(std::move(Buffer.get()), 214 /*DiagHandler*/ nullptr, VFSFile, VFSEntries); 215 } 216 217 for (auto &E : VFSEntries) 218 MDC->addFile(E.VPath, E.RPath); 219 } 220 221 // Diagnostics 222 static void SetUpDiagnosticLog(DiagnosticOptions *DiagOpts, 223 const CodeGenOptions *CodeGenOpts, 224 DiagnosticsEngine &Diags) { 225 std::error_code EC; 226 std::unique_ptr<raw_ostream> StreamOwner; 227 raw_ostream *OS = &llvm::errs(); 228 if (DiagOpts->DiagnosticLogFile != "-") { 229 // Create the output stream. 230 auto FileOS = std::make_unique<llvm::raw_fd_ostream>( 231 DiagOpts->DiagnosticLogFile, EC, 232 llvm::sys::fs::OF_Append | llvm::sys::fs::OF_Text); 233 if (EC) { 234 Diags.Report(diag::warn_fe_cc_log_diagnostics_failure) 235 << DiagOpts->DiagnosticLogFile << EC.message(); 236 } else { 237 FileOS->SetUnbuffered(); 238 OS = FileOS.get(); 239 StreamOwner = std::move(FileOS); 240 } 241 } 242 243 // Chain in the diagnostic client which will log the diagnostics. 244 auto Logger = std::make_unique<LogDiagnosticPrinter>(*OS, DiagOpts, 245 std::move(StreamOwner)); 246 if (CodeGenOpts) 247 Logger->setDwarfDebugFlags(CodeGenOpts->DwarfDebugFlags); 248 if (Diags.ownsClient()) { 249 Diags.setClient( 250 new ChainedDiagnosticConsumer(Diags.takeClient(), std::move(Logger))); 251 } else { 252 Diags.setClient( 253 new ChainedDiagnosticConsumer(Diags.getClient(), std::move(Logger))); 254 } 255 } 256 257 static void SetupSerializedDiagnostics(DiagnosticOptions *DiagOpts, 258 DiagnosticsEngine &Diags, 259 StringRef OutputFile) { 260 auto SerializedConsumer = 261 clang::serialized_diags::create(OutputFile, DiagOpts); 262 263 if (Diags.ownsClient()) { 264 Diags.setClient(new ChainedDiagnosticConsumer( 265 Diags.takeClient(), std::move(SerializedConsumer))); 266 } else { 267 Diags.setClient(new ChainedDiagnosticConsumer( 268 Diags.getClient(), std::move(SerializedConsumer))); 269 } 270 } 271 272 void CompilerInstance::createDiagnostics(DiagnosticConsumer *Client, 273 bool ShouldOwnClient) { 274 Diagnostics = createDiagnostics(&getDiagnosticOpts(), Client, 275 ShouldOwnClient, &getCodeGenOpts()); 276 } 277 278 IntrusiveRefCntPtr<DiagnosticsEngine> 279 CompilerInstance::createDiagnostics(DiagnosticOptions *Opts, 280 DiagnosticConsumer *Client, 281 bool ShouldOwnClient, 282 const CodeGenOptions *CodeGenOpts) { 283 IntrusiveRefCntPtr<DiagnosticIDs> DiagID(new DiagnosticIDs()); 284 IntrusiveRefCntPtr<DiagnosticsEngine> 285 Diags(new DiagnosticsEngine(DiagID, Opts)); 286 287 // Create the diagnostic client for reporting errors or for 288 // implementing -verify. 289 if (Client) { 290 Diags->setClient(Client, ShouldOwnClient); 291 } else 292 Diags->setClient(new TextDiagnosticPrinter(llvm::errs(), Opts)); 293 294 // Chain in -verify checker, if requested. 295 if (Opts->VerifyDiagnostics) 296 Diags->setClient(new VerifyDiagnosticConsumer(*Diags)); 297 298 // Chain in -diagnostic-log-file dumper, if requested. 299 if (!Opts->DiagnosticLogFile.empty()) 300 SetUpDiagnosticLog(Opts, CodeGenOpts, *Diags); 301 302 if (!Opts->DiagnosticSerializationFile.empty()) 303 SetupSerializedDiagnostics(Opts, *Diags, 304 Opts->DiagnosticSerializationFile); 305 306 // Configure our handling of diagnostics. 307 ProcessWarningOptions(*Diags, *Opts); 308 309 return Diags; 310 } 311 312 // File Manager 313 314 FileManager *CompilerInstance::createFileManager( 315 IntrusiveRefCntPtr<llvm::vfs::FileSystem> VFS) { 316 if (!VFS) 317 VFS = FileMgr ? &FileMgr->getVirtualFileSystem() 318 : createVFSFromCompilerInvocation(getInvocation(), 319 getDiagnostics()); 320 assert(VFS && "FileManager has no VFS?"); 321 FileMgr = new FileManager(getFileSystemOpts(), std::move(VFS)); 322 return FileMgr.get(); 323 } 324 325 // Source Manager 326 327 void CompilerInstance::createSourceManager(FileManager &FileMgr) { 328 SourceMgr = new SourceManager(getDiagnostics(), FileMgr); 329 } 330 331 // Initialize the remapping of files to alternative contents, e.g., 332 // those specified through other files. 333 static void InitializeFileRemapping(DiagnosticsEngine &Diags, 334 SourceManager &SourceMgr, 335 FileManager &FileMgr, 336 const PreprocessorOptions &InitOpts) { 337 // Remap files in the source manager (with buffers). 338 for (const auto &RB : InitOpts.RemappedFileBuffers) { 339 // Create the file entry for the file that we're mapping from. 340 const FileEntry *FromFile = 341 FileMgr.getVirtualFile(RB.first, RB.second->getBufferSize(), 0); 342 if (!FromFile) { 343 Diags.Report(diag::err_fe_remap_missing_from_file) << RB.first; 344 if (!InitOpts.RetainRemappedFileBuffers) 345 delete RB.second; 346 continue; 347 } 348 349 // Override the contents of the "from" file with the contents of the 350 // "to" file. If the caller owns the buffers, then pass a MemoryBufferRef; 351 // otherwise, pass as a std::unique_ptr<MemoryBuffer> to transfer ownership 352 // to the SourceManager. 353 if (InitOpts.RetainRemappedFileBuffers) 354 SourceMgr.overrideFileContents(FromFile, RB.second->getMemBufferRef()); 355 else 356 SourceMgr.overrideFileContents( 357 FromFile, std::unique_ptr<llvm::MemoryBuffer>( 358 const_cast<llvm::MemoryBuffer *>(RB.second))); 359 } 360 361 // Remap files in the source manager (with other files). 362 for (const auto &RF : InitOpts.RemappedFiles) { 363 // Find the file that we're mapping to. 364 auto ToFile = FileMgr.getFile(RF.second); 365 if (!ToFile) { 366 Diags.Report(diag::err_fe_remap_missing_to_file) << RF.first << RF.second; 367 continue; 368 } 369 370 // Create the file entry for the file that we're mapping from. 371 const FileEntry *FromFile = 372 FileMgr.getVirtualFile(RF.first, (*ToFile)->getSize(), 0); 373 if (!FromFile) { 374 Diags.Report(diag::err_fe_remap_missing_from_file) << RF.first; 375 continue; 376 } 377 378 // Override the contents of the "from" file with the contents of 379 // the "to" file. 380 SourceMgr.overrideFileContents(FromFile, *ToFile); 381 } 382 383 SourceMgr.setOverridenFilesKeepOriginalName( 384 InitOpts.RemappedFilesKeepOriginalName); 385 } 386 387 // Preprocessor 388 389 void CompilerInstance::createPreprocessor(TranslationUnitKind TUKind) { 390 const PreprocessorOptions &PPOpts = getPreprocessorOpts(); 391 392 // The AST reader holds a reference to the old preprocessor (if any). 393 TheASTReader.reset(); 394 395 // Create the Preprocessor. 396 HeaderSearch *HeaderInfo = 397 new HeaderSearch(getHeaderSearchOptsPtr(), getSourceManager(), 398 getDiagnostics(), getLangOpts(), &getTarget()); 399 PP = std::make_shared<Preprocessor>(Invocation->getPreprocessorOptsPtr(), 400 getDiagnostics(), getLangOpts(), 401 getSourceManager(), *HeaderInfo, *this, 402 /*IdentifierInfoLookup=*/nullptr, 403 /*OwnsHeaderSearch=*/true, TUKind); 404 getTarget().adjust(getLangOpts()); 405 PP->Initialize(getTarget(), getAuxTarget()); 406 407 if (PPOpts.DetailedRecord) 408 PP->createPreprocessingRecord(); 409 410 // Apply remappings to the source manager. 411 InitializeFileRemapping(PP->getDiagnostics(), PP->getSourceManager(), 412 PP->getFileManager(), PPOpts); 413 414 // Predefine macros and configure the preprocessor. 415 InitializePreprocessor(*PP, PPOpts, getPCHContainerReader(), 416 getFrontendOpts()); 417 418 // Initialize the header search object. In CUDA compilations, we use the aux 419 // triple (the host triple) to initialize our header search, since we need to 420 // find the host headers in order to compile the CUDA code. 421 const llvm::Triple *HeaderSearchTriple = &PP->getTargetInfo().getTriple(); 422 if (PP->getTargetInfo().getTriple().getOS() == llvm::Triple::CUDA && 423 PP->getAuxTargetInfo()) 424 HeaderSearchTriple = &PP->getAuxTargetInfo()->getTriple(); 425 426 ApplyHeaderSearchOptions(PP->getHeaderSearchInfo(), getHeaderSearchOpts(), 427 PP->getLangOpts(), *HeaderSearchTriple); 428 429 PP->setPreprocessedOutput(getPreprocessorOutputOpts().ShowCPP); 430 431 if (PP->getLangOpts().Modules && PP->getLangOpts().ImplicitModules) { 432 std::string ModuleHash = getInvocation().getModuleHash(); 433 PP->getHeaderSearchInfo().setModuleHash(ModuleHash); 434 PP->getHeaderSearchInfo().setModuleCachePath( 435 getSpecificModuleCachePath(ModuleHash)); 436 } 437 438 // Handle generating dependencies, if requested. 439 const DependencyOutputOptions &DepOpts = getDependencyOutputOpts(); 440 if (!DepOpts.OutputFile.empty()) 441 addDependencyCollector(std::make_shared<DependencyFileGenerator>(DepOpts)); 442 if (!DepOpts.DOTOutputFile.empty()) 443 AttachDependencyGraphGen(*PP, DepOpts.DOTOutputFile, 444 getHeaderSearchOpts().Sysroot); 445 446 // If we don't have a collector, but we are collecting module dependencies, 447 // then we're the top level compiler instance and need to create one. 448 if (!ModuleDepCollector && !DepOpts.ModuleDependencyOutputDir.empty()) { 449 ModuleDepCollector = std::make_shared<ModuleDependencyCollector>( 450 DepOpts.ModuleDependencyOutputDir); 451 } 452 453 // If there is a module dep collector, register with other dep collectors 454 // and also (a) collect header maps and (b) TODO: input vfs overlay files. 455 if (ModuleDepCollector) { 456 addDependencyCollector(ModuleDepCollector); 457 collectHeaderMaps(PP->getHeaderSearchInfo(), ModuleDepCollector); 458 collectIncludePCH(*this, ModuleDepCollector); 459 collectVFSEntries(*this, ModuleDepCollector); 460 } 461 462 for (auto &Listener : DependencyCollectors) 463 Listener->attachToPreprocessor(*PP); 464 465 // Handle generating header include information, if requested. 466 if (DepOpts.ShowHeaderIncludes) 467 AttachHeaderIncludeGen(*PP, DepOpts); 468 if (!DepOpts.HeaderIncludeOutputFile.empty()) { 469 StringRef OutputPath = DepOpts.HeaderIncludeOutputFile; 470 if (OutputPath == "-") 471 OutputPath = ""; 472 AttachHeaderIncludeGen(*PP, DepOpts, 473 /*ShowAllHeaders=*/true, OutputPath, 474 /*ShowDepth=*/false); 475 } 476 477 if (DepOpts.ShowIncludesDest != ShowIncludesDestination::None) { 478 AttachHeaderIncludeGen(*PP, DepOpts, 479 /*ShowAllHeaders=*/true, /*OutputPath=*/"", 480 /*ShowDepth=*/true, /*MSStyle=*/true); 481 } 482 } 483 484 std::string CompilerInstance::getSpecificModuleCachePath(StringRef ModuleHash) { 485 // Set up the module path, including the hash for the module-creation options. 486 SmallString<256> SpecificModuleCache(getHeaderSearchOpts().ModuleCachePath); 487 if (!SpecificModuleCache.empty() && !getHeaderSearchOpts().DisableModuleHash) 488 llvm::sys::path::append(SpecificModuleCache, ModuleHash); 489 return std::string(SpecificModuleCache.str()); 490 } 491 492 // ASTContext 493 494 void CompilerInstance::createASTContext() { 495 Preprocessor &PP = getPreprocessor(); 496 auto *Context = new ASTContext(getLangOpts(), PP.getSourceManager(), 497 PP.getIdentifierTable(), PP.getSelectorTable(), 498 PP.getBuiltinInfo()); 499 Context->InitBuiltinTypes(getTarget(), getAuxTarget()); 500 setASTContext(Context); 501 } 502 503 // ExternalASTSource 504 505 void CompilerInstance::createPCHExternalASTSource( 506 StringRef Path, bool DisablePCHValidation, bool AllowPCHWithCompilerErrors, 507 void *DeserializationListener, bool OwnDeserializationListener) { 508 bool Preamble = getPreprocessorOpts().PrecompiledPreambleBytes.first != 0; 509 TheASTReader = createPCHExternalASTSource( 510 Path, getHeaderSearchOpts().Sysroot, DisablePCHValidation, 511 AllowPCHWithCompilerErrors, getPreprocessor(), getModuleCache(), 512 getASTContext(), getPCHContainerReader(), 513 getFrontendOpts().ModuleFileExtensions, DependencyCollectors, 514 DeserializationListener, OwnDeserializationListener, Preamble, 515 getFrontendOpts().UseGlobalModuleIndex); 516 } 517 518 IntrusiveRefCntPtr<ASTReader> CompilerInstance::createPCHExternalASTSource( 519 StringRef Path, StringRef Sysroot, bool DisablePCHValidation, 520 bool AllowPCHWithCompilerErrors, Preprocessor &PP, 521 InMemoryModuleCache &ModuleCache, ASTContext &Context, 522 const PCHContainerReader &PCHContainerRdr, 523 ArrayRef<std::shared_ptr<ModuleFileExtension>> Extensions, 524 ArrayRef<std::shared_ptr<DependencyCollector>> DependencyCollectors, 525 void *DeserializationListener, bool OwnDeserializationListener, 526 bool Preamble, bool UseGlobalModuleIndex) { 527 HeaderSearchOptions &HSOpts = PP.getHeaderSearchInfo().getHeaderSearchOpts(); 528 529 IntrusiveRefCntPtr<ASTReader> Reader(new ASTReader( 530 PP, ModuleCache, &Context, PCHContainerRdr, Extensions, 531 Sysroot.empty() ? "" : Sysroot.data(), DisablePCHValidation, 532 AllowPCHWithCompilerErrors, /*AllowConfigurationMismatch*/ false, 533 HSOpts.ModulesValidateSystemHeaders, HSOpts.ValidateASTInputFilesContent, 534 UseGlobalModuleIndex)); 535 536 // We need the external source to be set up before we read the AST, because 537 // eagerly-deserialized declarations may use it. 538 Context.setExternalSource(Reader.get()); 539 540 Reader->setDeserializationListener( 541 static_cast<ASTDeserializationListener *>(DeserializationListener), 542 /*TakeOwnership=*/OwnDeserializationListener); 543 544 for (auto &Listener : DependencyCollectors) 545 Listener->attachToASTReader(*Reader); 546 547 switch (Reader->ReadAST(Path, 548 Preamble ? serialization::MK_Preamble 549 : serialization::MK_PCH, 550 SourceLocation(), 551 ASTReader::ARR_None)) { 552 case ASTReader::Success: 553 // Set the predefines buffer as suggested by the PCH reader. Typically, the 554 // predefines buffer will be empty. 555 PP.setPredefines(Reader->getSuggestedPredefines()); 556 return Reader; 557 558 case ASTReader::Failure: 559 // Unrecoverable failure: don't even try to process the input file. 560 break; 561 562 case ASTReader::Missing: 563 case ASTReader::OutOfDate: 564 case ASTReader::VersionMismatch: 565 case ASTReader::ConfigurationMismatch: 566 case ASTReader::HadErrors: 567 // No suitable PCH file could be found. Return an error. 568 break; 569 } 570 571 Context.setExternalSource(nullptr); 572 return nullptr; 573 } 574 575 // Code Completion 576 577 static bool EnableCodeCompletion(Preprocessor &PP, 578 StringRef Filename, 579 unsigned Line, 580 unsigned Column) { 581 // Tell the source manager to chop off the given file at a specific 582 // line and column. 583 auto Entry = PP.getFileManager().getFile(Filename); 584 if (!Entry) { 585 PP.getDiagnostics().Report(diag::err_fe_invalid_code_complete_file) 586 << Filename; 587 return true; 588 } 589 590 // Truncate the named file at the given line/column. 591 PP.SetCodeCompletionPoint(*Entry, Line, Column); 592 return false; 593 } 594 595 void CompilerInstance::createCodeCompletionConsumer() { 596 const ParsedSourceLocation &Loc = getFrontendOpts().CodeCompletionAt; 597 if (!CompletionConsumer) { 598 setCodeCompletionConsumer( 599 createCodeCompletionConsumer(getPreprocessor(), 600 Loc.FileName, Loc.Line, Loc.Column, 601 getFrontendOpts().CodeCompleteOpts, 602 llvm::outs())); 603 if (!CompletionConsumer) 604 return; 605 } else if (EnableCodeCompletion(getPreprocessor(), Loc.FileName, 606 Loc.Line, Loc.Column)) { 607 setCodeCompletionConsumer(nullptr); 608 return; 609 } 610 } 611 612 void CompilerInstance::createFrontendTimer() { 613 FrontendTimerGroup.reset( 614 new llvm::TimerGroup("frontend", "Clang front-end time report")); 615 FrontendTimer.reset( 616 new llvm::Timer("frontend", "Clang front-end timer", 617 *FrontendTimerGroup)); 618 } 619 620 CodeCompleteConsumer * 621 CompilerInstance::createCodeCompletionConsumer(Preprocessor &PP, 622 StringRef Filename, 623 unsigned Line, 624 unsigned Column, 625 const CodeCompleteOptions &Opts, 626 raw_ostream &OS) { 627 if (EnableCodeCompletion(PP, Filename, Line, Column)) 628 return nullptr; 629 630 // Set up the creation routine for code-completion. 631 return new PrintingCodeCompleteConsumer(Opts, OS); 632 } 633 634 void CompilerInstance::createSema(TranslationUnitKind TUKind, 635 CodeCompleteConsumer *CompletionConsumer) { 636 TheSema.reset(new Sema(getPreprocessor(), getASTContext(), getASTConsumer(), 637 TUKind, CompletionConsumer)); 638 // Attach the external sema source if there is any. 639 if (ExternalSemaSrc) { 640 TheSema->addExternalSource(ExternalSemaSrc.get()); 641 ExternalSemaSrc->InitializeSema(*TheSema); 642 } 643 } 644 645 // Output Files 646 647 void CompilerInstance::addOutputFile(OutputFile &&OutFile) { 648 OutputFiles.push_back(std::move(OutFile)); 649 } 650 651 void CompilerInstance::clearOutputFiles(bool EraseFiles) { 652 for (OutputFile &OF : OutputFiles) { 653 if (!OF.TempFilename.empty()) { 654 if (EraseFiles) { 655 llvm::sys::fs::remove(OF.TempFilename); 656 } else { 657 SmallString<128> NewOutFile(OF.Filename); 658 659 // If '-working-directory' was passed, the output filename should be 660 // relative to that. 661 FileMgr->FixupRelativePath(NewOutFile); 662 if (std::error_code ec = 663 llvm::sys::fs::rename(OF.TempFilename, NewOutFile)) { 664 getDiagnostics().Report(diag::err_unable_to_rename_temp) 665 << OF.TempFilename << OF.Filename << ec.message(); 666 667 llvm::sys::fs::remove(OF.TempFilename); 668 } 669 } 670 } else if (!OF.Filename.empty() && EraseFiles) 671 llvm::sys::fs::remove(OF.Filename); 672 } 673 OutputFiles.clear(); 674 if (DeleteBuiltModules) { 675 for (auto &Module : BuiltModules) 676 llvm::sys::fs::remove(Module.second); 677 BuiltModules.clear(); 678 } 679 NonSeekStream.reset(); 680 } 681 682 std::unique_ptr<raw_pwrite_stream> 683 CompilerInstance::createDefaultOutputFile(bool Binary, StringRef InFile, 684 StringRef Extension) { 685 return createOutputFile(getFrontendOpts().OutputFile, Binary, 686 /*RemoveFileOnSignal=*/true, InFile, Extension, 687 getFrontendOpts().UseTemporary); 688 } 689 690 std::unique_ptr<raw_pwrite_stream> CompilerInstance::createNullOutputFile() { 691 return std::make_unique<llvm::raw_null_ostream>(); 692 } 693 694 std::unique_ptr<raw_pwrite_stream> 695 CompilerInstance::createOutputFile(StringRef OutputPath, bool Binary, 696 bool RemoveFileOnSignal, StringRef InFile, 697 StringRef Extension, bool UseTemporary, 698 bool CreateMissingDirectories) { 699 std::string OutputPathName, TempPathName; 700 std::error_code EC; 701 std::unique_ptr<raw_pwrite_stream> OS = createOutputFile( 702 OutputPath, EC, Binary, RemoveFileOnSignal, InFile, Extension, 703 UseTemporary, CreateMissingDirectories, &OutputPathName, &TempPathName); 704 if (!OS) { 705 getDiagnostics().Report(diag::err_fe_unable_to_open_output) << OutputPath 706 << EC.message(); 707 return nullptr; 708 } 709 710 // Add the output file -- but don't try to remove "-", since this means we are 711 // using stdin. 712 addOutputFile( 713 OutputFile((OutputPathName != "-") ? OutputPathName : "", TempPathName)); 714 715 return OS; 716 } 717 718 std::unique_ptr<llvm::raw_pwrite_stream> CompilerInstance::createOutputFile( 719 StringRef OutputPath, std::error_code &Error, bool Binary, 720 bool RemoveFileOnSignal, StringRef InFile, StringRef Extension, 721 bool UseTemporary, bool CreateMissingDirectories, 722 std::string *ResultPathName, std::string *TempPathName) { 723 assert((!CreateMissingDirectories || UseTemporary) && 724 "CreateMissingDirectories is only allowed when using temporary files"); 725 726 std::string OutFile, TempFile; 727 if (!OutputPath.empty()) { 728 OutFile = std::string(OutputPath); 729 } else if (InFile == "-") { 730 OutFile = "-"; 731 } else if (!Extension.empty()) { 732 SmallString<128> Path(InFile); 733 llvm::sys::path::replace_extension(Path, Extension); 734 OutFile = std::string(Path.str()); 735 } else { 736 OutFile = "-"; 737 } 738 739 std::unique_ptr<llvm::raw_fd_ostream> OS; 740 std::string OSFile; 741 742 if (UseTemporary) { 743 if (OutFile == "-") 744 UseTemporary = false; 745 else { 746 llvm::sys::fs::file_status Status; 747 llvm::sys::fs::status(OutputPath, Status); 748 if (llvm::sys::fs::exists(Status)) { 749 // Fail early if we can't write to the final destination. 750 if (!llvm::sys::fs::can_write(OutputPath)) { 751 Error = make_error_code(llvm::errc::operation_not_permitted); 752 return nullptr; 753 } 754 755 // Don't use a temporary if the output is a special file. This handles 756 // things like '-o /dev/null' 757 if (!llvm::sys::fs::is_regular_file(Status)) 758 UseTemporary = false; 759 } 760 } 761 } 762 763 if (UseTemporary) { 764 // Create a temporary file. 765 // Insert -%%%%%%%% before the extension (if any), and because some tools 766 // (noticeable, clang's own GlobalModuleIndex.cpp) glob for build 767 // artifacts, also append .tmp. 768 StringRef OutputExtension = llvm::sys::path::extension(OutFile); 769 SmallString<128> TempPath = 770 StringRef(OutFile).drop_back(OutputExtension.size()); 771 TempPath += "-%%%%%%%%"; 772 TempPath += OutputExtension; 773 TempPath += ".tmp"; 774 int fd; 775 std::error_code EC = 776 llvm::sys::fs::createUniqueFile(TempPath, fd, TempPath); 777 778 if (CreateMissingDirectories && 779 EC == llvm::errc::no_such_file_or_directory) { 780 StringRef Parent = llvm::sys::path::parent_path(OutputPath); 781 EC = llvm::sys::fs::create_directories(Parent); 782 if (!EC) { 783 EC = llvm::sys::fs::createUniqueFile(TempPath, fd, TempPath); 784 } 785 } 786 787 if (!EC) { 788 OS.reset(new llvm::raw_fd_ostream(fd, /*shouldClose=*/true)); 789 OSFile = TempFile = std::string(TempPath.str()); 790 } 791 // If we failed to create the temporary, fallback to writing to the file 792 // directly. This handles the corner case where we cannot write to the 793 // directory, but can write to the file. 794 } 795 796 if (!OS) { 797 OSFile = OutFile; 798 OS.reset(new llvm::raw_fd_ostream( 799 OSFile, Error, 800 (Binary ? llvm::sys::fs::OF_None : llvm::sys::fs::OF_Text))); 801 if (Error) 802 return nullptr; 803 } 804 805 // Make sure the out stream file gets removed if we crash. 806 if (RemoveFileOnSignal) 807 llvm::sys::RemoveFileOnSignal(OSFile); 808 809 if (ResultPathName) 810 *ResultPathName = OutFile; 811 if (TempPathName) 812 *TempPathName = TempFile; 813 814 if (!Binary || OS->supportsSeeking()) 815 return std::move(OS); 816 817 auto B = std::make_unique<llvm::buffer_ostream>(*OS); 818 assert(!NonSeekStream); 819 NonSeekStream = std::move(OS); 820 return std::move(B); 821 } 822 823 // Initialization Utilities 824 825 bool CompilerInstance::InitializeSourceManager(const FrontendInputFile &Input){ 826 return InitializeSourceManager(Input, getDiagnostics(), getFileManager(), 827 getSourceManager()); 828 } 829 830 // static 831 bool CompilerInstance::InitializeSourceManager(const FrontendInputFile &Input, 832 DiagnosticsEngine &Diags, 833 FileManager &FileMgr, 834 SourceManager &SourceMgr) { 835 SrcMgr::CharacteristicKind Kind = 836 Input.getKind().getFormat() == InputKind::ModuleMap 837 ? Input.isSystem() ? SrcMgr::C_System_ModuleMap 838 : SrcMgr::C_User_ModuleMap 839 : Input.isSystem() ? SrcMgr::C_System : SrcMgr::C_User; 840 841 if (Input.isBuffer()) { 842 SourceMgr.setMainFileID(SourceMgr.createFileID(Input.getBuffer(), Kind)); 843 assert(SourceMgr.getMainFileID().isValid() && 844 "Couldn't establish MainFileID!"); 845 return true; 846 } 847 848 StringRef InputFile = Input.getFile(); 849 850 // Figure out where to get and map in the main file. 851 if (InputFile != "-") { 852 auto FileOrErr = FileMgr.getFileRef(InputFile, /*OpenFile=*/true); 853 if (!FileOrErr) { 854 // FIXME: include the error in the diagnostic. 855 consumeError(FileOrErr.takeError()); 856 Diags.Report(diag::err_fe_error_reading) << InputFile; 857 return false; 858 } 859 FileEntryRef File = *FileOrErr; 860 861 SourceMgr.setMainFileID( 862 SourceMgr.createFileID(File, SourceLocation(), Kind)); 863 } else { 864 llvm::ErrorOr<std::unique_ptr<llvm::MemoryBuffer>> SBOrErr = 865 llvm::MemoryBuffer::getSTDIN(); 866 if (std::error_code EC = SBOrErr.getError()) { 867 Diags.Report(diag::err_fe_error_reading_stdin) << EC.message(); 868 return false; 869 } 870 std::unique_ptr<llvm::MemoryBuffer> SB = std::move(SBOrErr.get()); 871 872 const FileEntry *File = FileMgr.getVirtualFile(SB->getBufferIdentifier(), 873 SB->getBufferSize(), 0); 874 SourceMgr.setMainFileID( 875 SourceMgr.createFileID(File, SourceLocation(), Kind)); 876 SourceMgr.overrideFileContents(File, std::move(SB)); 877 } 878 879 assert(SourceMgr.getMainFileID().isValid() && 880 "Couldn't establish MainFileID!"); 881 return true; 882 } 883 884 // High-Level Operations 885 886 bool CompilerInstance::ExecuteAction(FrontendAction &Act) { 887 assert(hasDiagnostics() && "Diagnostics engine is not initialized!"); 888 assert(!getFrontendOpts().ShowHelp && "Client must handle '-help'!"); 889 assert(!getFrontendOpts().ShowVersion && "Client must handle '-version'!"); 890 891 // Mark this point as the bottom of the stack if we don't have somewhere 892 // better. We generally expect frontend actions to be invoked with (nearly) 893 // DesiredStackSpace available. 894 noteBottomOfStack(); 895 896 raw_ostream &OS = getVerboseOutputStream(); 897 898 if (!Act.PrepareToExecute(*this)) 899 return false; 900 901 // Create the target instance. 902 setTarget(TargetInfo::CreateTargetInfo(getDiagnostics(), 903 getInvocation().TargetOpts)); 904 if (!hasTarget()) 905 return false; 906 907 // Create TargetInfo for the other side of CUDA/OpenMP/SYCL compilation. 908 if ((getLangOpts().CUDA || getLangOpts().OpenMPIsDevice || 909 getLangOpts().SYCLIsDevice) && 910 !getFrontendOpts().AuxTriple.empty()) { 911 auto TO = std::make_shared<TargetOptions>(); 912 TO->Triple = llvm::Triple::normalize(getFrontendOpts().AuxTriple); 913 if (getFrontendOpts().AuxTargetCPU) 914 TO->CPU = getFrontendOpts().AuxTargetCPU.getValue(); 915 if (getFrontendOpts().AuxTargetFeatures) 916 TO->FeaturesAsWritten = getFrontendOpts().AuxTargetFeatures.getValue(); 917 TO->HostTriple = getTarget().getTriple().str(); 918 setAuxTarget(TargetInfo::CreateTargetInfo(getDiagnostics(), TO)); 919 } 920 921 if (!getTarget().hasStrictFP() && !getLangOpts().ExpStrictFP) { 922 if (getLangOpts().getFPRoundingMode() != 923 llvm::RoundingMode::NearestTiesToEven) { 924 getDiagnostics().Report(diag::warn_fe_backend_unsupported_fp_rounding); 925 getLangOpts().setFPRoundingMode(llvm::RoundingMode::NearestTiesToEven); 926 } 927 if (getLangOpts().getFPExceptionMode() != LangOptions::FPE_Ignore) { 928 getDiagnostics().Report(diag::warn_fe_backend_unsupported_fp_exceptions); 929 getLangOpts().setFPExceptionMode(LangOptions::FPE_Ignore); 930 } 931 // FIXME: can we disable FEnvAccess? 932 } 933 934 // Inform the target of the language options. 935 // 936 // FIXME: We shouldn't need to do this, the target should be immutable once 937 // created. This complexity should be lifted elsewhere. 938 getTarget().adjust(getLangOpts()); 939 940 // Adjust target options based on codegen options. 941 getTarget().adjustTargetOptions(getCodeGenOpts(), getTargetOpts()); 942 943 if (auto *Aux = getAuxTarget()) 944 getTarget().setAuxTarget(Aux); 945 946 // rewriter project will change target built-in bool type from its default. 947 if (getFrontendOpts().ProgramAction == frontend::RewriteObjC) 948 getTarget().noSignedCharForObjCBool(); 949 950 // Validate/process some options. 951 if (getHeaderSearchOpts().Verbose) 952 OS << "clang -cc1 version " CLANG_VERSION_STRING 953 << " based upon " << BACKEND_PACKAGE_STRING 954 << " default target " << llvm::sys::getDefaultTargetTriple() << "\n"; 955 956 if (getFrontendOpts().ShowTimers) 957 createFrontendTimer(); 958 959 if (getFrontendOpts().ShowStats || !getFrontendOpts().StatsFile.empty()) 960 llvm::EnableStatistics(false); 961 962 for (const FrontendInputFile &FIF : getFrontendOpts().Inputs) { 963 // Reset the ID tables if we are reusing the SourceManager and parsing 964 // regular files. 965 if (hasSourceManager() && !Act.isModelParsingAction()) 966 getSourceManager().clearIDTables(); 967 968 if (Act.BeginSourceFile(*this, FIF)) { 969 if (llvm::Error Err = Act.Execute()) { 970 consumeError(std::move(Err)); // FIXME this drops errors on the floor. 971 } 972 Act.EndSourceFile(); 973 } 974 } 975 976 // Notify the diagnostic client that all files were processed. 977 getDiagnostics().getClient()->finish(); 978 979 if (getDiagnosticOpts().ShowCarets) { 980 // We can have multiple diagnostics sharing one diagnostic client. 981 // Get the total number of warnings/errors from the client. 982 unsigned NumWarnings = getDiagnostics().getClient()->getNumWarnings(); 983 unsigned NumErrors = getDiagnostics().getClient()->getNumErrors(); 984 985 if (NumWarnings) 986 OS << NumWarnings << " warning" << (NumWarnings == 1 ? "" : "s"); 987 if (NumWarnings && NumErrors) 988 OS << " and "; 989 if (NumErrors) 990 OS << NumErrors << " error" << (NumErrors == 1 ? "" : "s"); 991 if (NumWarnings || NumErrors) { 992 OS << " generated"; 993 if (getLangOpts().CUDA) { 994 if (!getLangOpts().CUDAIsDevice) { 995 OS << " when compiling for host"; 996 } else { 997 OS << " when compiling for " << getTargetOpts().CPU; 998 } 999 } 1000 OS << ".\n"; 1001 } 1002 } 1003 1004 if (getFrontendOpts().ShowStats) { 1005 if (hasFileManager()) { 1006 getFileManager().PrintStats(); 1007 OS << '\n'; 1008 } 1009 llvm::PrintStatistics(OS); 1010 } 1011 StringRef StatsFile = getFrontendOpts().StatsFile; 1012 if (!StatsFile.empty()) { 1013 std::error_code EC; 1014 auto StatS = std::make_unique<llvm::raw_fd_ostream>( 1015 StatsFile, EC, llvm::sys::fs::OF_Text); 1016 if (EC) { 1017 getDiagnostics().Report(diag::warn_fe_unable_to_open_stats_file) 1018 << StatsFile << EC.message(); 1019 } else { 1020 llvm::PrintStatisticsJSON(*StatS); 1021 } 1022 } 1023 1024 return !getDiagnostics().getClient()->getNumErrors(); 1025 } 1026 1027 /// Determine the appropriate source input kind based on language 1028 /// options. 1029 static Language getLanguageFromOptions(const LangOptions &LangOpts) { 1030 if (LangOpts.OpenCL) 1031 return Language::OpenCL; 1032 if (LangOpts.CUDA) 1033 return Language::CUDA; 1034 if (LangOpts.ObjC) 1035 return LangOpts.CPlusPlus ? Language::ObjCXX : Language::ObjC; 1036 return LangOpts.CPlusPlus ? Language::CXX : Language::C; 1037 } 1038 1039 /// Compile a module file for the given module, using the options 1040 /// provided by the importing compiler instance. Returns true if the module 1041 /// was built without errors. 1042 static bool 1043 compileModuleImpl(CompilerInstance &ImportingInstance, SourceLocation ImportLoc, 1044 StringRef ModuleName, FrontendInputFile Input, 1045 StringRef OriginalModuleMapFile, StringRef ModuleFileName, 1046 llvm::function_ref<void(CompilerInstance &)> PreBuildStep = 1047 [](CompilerInstance &) {}, 1048 llvm::function_ref<void(CompilerInstance &)> PostBuildStep = 1049 [](CompilerInstance &) {}) { 1050 llvm::TimeTraceScope TimeScope("Module Compile", ModuleName); 1051 1052 // Construct a compiler invocation for creating this module. 1053 auto Invocation = 1054 std::make_shared<CompilerInvocation>(ImportingInstance.getInvocation()); 1055 1056 PreprocessorOptions &PPOpts = Invocation->getPreprocessorOpts(); 1057 1058 // For any options that aren't intended to affect how a module is built, 1059 // reset them to their default values. 1060 Invocation->getLangOpts()->resetNonModularOptions(); 1061 PPOpts.resetNonModularOptions(); 1062 1063 // Remove any macro definitions that are explicitly ignored by the module. 1064 // They aren't supposed to affect how the module is built anyway. 1065 HeaderSearchOptions &HSOpts = Invocation->getHeaderSearchOpts(); 1066 PPOpts.Macros.erase( 1067 std::remove_if(PPOpts.Macros.begin(), PPOpts.Macros.end(), 1068 [&HSOpts](const std::pair<std::string, bool> &def) { 1069 StringRef MacroDef = def.first; 1070 return HSOpts.ModulesIgnoreMacros.count( 1071 llvm::CachedHashString(MacroDef.split('=').first)) > 0; 1072 }), 1073 PPOpts.Macros.end()); 1074 1075 // If the original compiler invocation had -fmodule-name, pass it through. 1076 Invocation->getLangOpts()->ModuleName = 1077 ImportingInstance.getInvocation().getLangOpts()->ModuleName; 1078 1079 // Note the name of the module we're building. 1080 Invocation->getLangOpts()->CurrentModule = std::string(ModuleName); 1081 1082 // Make sure that the failed-module structure has been allocated in 1083 // the importing instance, and propagate the pointer to the newly-created 1084 // instance. 1085 PreprocessorOptions &ImportingPPOpts 1086 = ImportingInstance.getInvocation().getPreprocessorOpts(); 1087 if (!ImportingPPOpts.FailedModules) 1088 ImportingPPOpts.FailedModules = 1089 std::make_shared<PreprocessorOptions::FailedModulesSet>(); 1090 PPOpts.FailedModules = ImportingPPOpts.FailedModules; 1091 1092 // If there is a module map file, build the module using the module map. 1093 // Set up the inputs/outputs so that we build the module from its umbrella 1094 // header. 1095 FrontendOptions &FrontendOpts = Invocation->getFrontendOpts(); 1096 FrontendOpts.OutputFile = ModuleFileName.str(); 1097 FrontendOpts.DisableFree = false; 1098 FrontendOpts.GenerateGlobalModuleIndex = false; 1099 FrontendOpts.BuildingImplicitModule = true; 1100 FrontendOpts.OriginalModuleMap = std::string(OriginalModuleMapFile); 1101 // Force implicitly-built modules to hash the content of the module file. 1102 HSOpts.ModulesHashContent = true; 1103 FrontendOpts.Inputs = {Input}; 1104 1105 // Don't free the remapped file buffers; they are owned by our caller. 1106 PPOpts.RetainRemappedFileBuffers = true; 1107 1108 Invocation->getDiagnosticOpts().VerifyDiagnostics = 0; 1109 assert(ImportingInstance.getInvocation().getModuleHash() == 1110 Invocation->getModuleHash() && "Module hash mismatch!"); 1111 1112 // Construct a compiler instance that will be used to actually create the 1113 // module. Since we're sharing an in-memory module cache, 1114 // CompilerInstance::CompilerInstance is responsible for finalizing the 1115 // buffers to prevent use-after-frees. 1116 CompilerInstance Instance(ImportingInstance.getPCHContainerOperations(), 1117 &ImportingInstance.getModuleCache()); 1118 auto &Inv = *Invocation; 1119 Instance.setInvocation(std::move(Invocation)); 1120 1121 Instance.createDiagnostics(new ForwardingDiagnosticConsumer( 1122 ImportingInstance.getDiagnosticClient()), 1123 /*ShouldOwnClient=*/true); 1124 1125 // Note that this module is part of the module build stack, so that we 1126 // can detect cycles in the module graph. 1127 Instance.setFileManager(&ImportingInstance.getFileManager()); 1128 Instance.createSourceManager(Instance.getFileManager()); 1129 SourceManager &SourceMgr = Instance.getSourceManager(); 1130 SourceMgr.setModuleBuildStack( 1131 ImportingInstance.getSourceManager().getModuleBuildStack()); 1132 SourceMgr.pushModuleBuildStack(ModuleName, 1133 FullSourceLoc(ImportLoc, ImportingInstance.getSourceManager())); 1134 1135 // If we're collecting module dependencies, we need to share a collector 1136 // between all of the module CompilerInstances. Other than that, we don't 1137 // want to produce any dependency output from the module build. 1138 Instance.setModuleDepCollector(ImportingInstance.getModuleDepCollector()); 1139 Inv.getDependencyOutputOpts() = DependencyOutputOptions(); 1140 1141 ImportingInstance.getDiagnostics().Report(ImportLoc, 1142 diag::remark_module_build) 1143 << ModuleName << ModuleFileName; 1144 1145 PreBuildStep(Instance); 1146 1147 // Execute the action to actually build the module in-place. Use a separate 1148 // thread so that we get a stack large enough. 1149 llvm::CrashRecoveryContext CRC; 1150 CRC.RunSafelyOnThread( 1151 [&]() { 1152 GenerateModuleFromModuleMapAction Action; 1153 Instance.ExecuteAction(Action); 1154 }, 1155 DesiredStackSize); 1156 1157 PostBuildStep(Instance); 1158 1159 ImportingInstance.getDiagnostics().Report(ImportLoc, 1160 diag::remark_module_build_done) 1161 << ModuleName; 1162 1163 // Delete the temporary module map file. 1164 // FIXME: Even though we're executing under crash protection, it would still 1165 // be nice to do this with RemoveFileOnSignal when we can. However, that 1166 // doesn't make sense for all clients, so clean this up manually. 1167 Instance.clearOutputFiles(/*EraseFiles=*/true); 1168 1169 return !Instance.getDiagnostics().hasErrorOccurred(); 1170 } 1171 1172 static const FileEntry *getPublicModuleMap(const FileEntry *File, 1173 FileManager &FileMgr) { 1174 StringRef Filename = llvm::sys::path::filename(File->getName()); 1175 SmallString<128> PublicFilename(File->getDir()->getName()); 1176 if (Filename == "module_private.map") 1177 llvm::sys::path::append(PublicFilename, "module.map"); 1178 else if (Filename == "module.private.modulemap") 1179 llvm::sys::path::append(PublicFilename, "module.modulemap"); 1180 else 1181 return nullptr; 1182 if (auto FE = FileMgr.getFile(PublicFilename)) 1183 return *FE; 1184 return nullptr; 1185 } 1186 1187 /// Compile a module file for the given module in a separate compiler instance, 1188 /// using the options provided by the importing compiler instance. Returns true 1189 /// if the module was built without errors. 1190 static bool compileModule(CompilerInstance &ImportingInstance, 1191 SourceLocation ImportLoc, Module *Module, 1192 StringRef ModuleFileName) { 1193 InputKind IK(getLanguageFromOptions(ImportingInstance.getLangOpts()), 1194 InputKind::ModuleMap); 1195 1196 // Get or create the module map that we'll use to build this module. 1197 ModuleMap &ModMap 1198 = ImportingInstance.getPreprocessor().getHeaderSearchInfo().getModuleMap(); 1199 bool Result; 1200 if (const FileEntry *ModuleMapFile = 1201 ModMap.getContainingModuleMapFile(Module)) { 1202 // Canonicalize compilation to start with the public module map. This is 1203 // vital for submodules declarations in the private module maps to be 1204 // correctly parsed when depending on a top level module in the public one. 1205 if (const FileEntry *PublicMMFile = getPublicModuleMap( 1206 ModuleMapFile, ImportingInstance.getFileManager())) 1207 ModuleMapFile = PublicMMFile; 1208 1209 // Use the module map where this module resides. 1210 Result = compileModuleImpl( 1211 ImportingInstance, ImportLoc, Module->getTopLevelModuleName(), 1212 FrontendInputFile(ModuleMapFile->getName(), IK, +Module->IsSystem), 1213 ModMap.getModuleMapFileForUniquing(Module)->getName(), 1214 ModuleFileName); 1215 } else { 1216 // FIXME: We only need to fake up an input file here as a way of 1217 // transporting the module's directory to the module map parser. We should 1218 // be able to do that more directly, and parse from a memory buffer without 1219 // inventing this file. 1220 SmallString<128> FakeModuleMapFile(Module->Directory->getName()); 1221 llvm::sys::path::append(FakeModuleMapFile, "__inferred_module.map"); 1222 1223 std::string InferredModuleMapContent; 1224 llvm::raw_string_ostream OS(InferredModuleMapContent); 1225 Module->print(OS); 1226 OS.flush(); 1227 1228 Result = compileModuleImpl( 1229 ImportingInstance, ImportLoc, Module->getTopLevelModuleName(), 1230 FrontendInputFile(FakeModuleMapFile, IK, +Module->IsSystem), 1231 ModMap.getModuleMapFileForUniquing(Module)->getName(), 1232 ModuleFileName, 1233 [&](CompilerInstance &Instance) { 1234 std::unique_ptr<llvm::MemoryBuffer> ModuleMapBuffer = 1235 llvm::MemoryBuffer::getMemBuffer(InferredModuleMapContent); 1236 ModuleMapFile = Instance.getFileManager().getVirtualFile( 1237 FakeModuleMapFile, InferredModuleMapContent.size(), 0); 1238 Instance.getSourceManager().overrideFileContents( 1239 ModuleMapFile, std::move(ModuleMapBuffer)); 1240 }); 1241 } 1242 1243 // We've rebuilt a module. If we're allowed to generate or update the global 1244 // module index, record that fact in the importing compiler instance. 1245 if (ImportingInstance.getFrontendOpts().GenerateGlobalModuleIndex) { 1246 ImportingInstance.setBuildGlobalModuleIndex(true); 1247 } 1248 1249 return Result; 1250 } 1251 1252 /// Compile a module in a separate compiler instance and read the AST, 1253 /// returning true if the module compiles without errors. 1254 /// 1255 /// Uses a lock file manager and exponential backoff to reduce the chances that 1256 /// multiple instances will compete to create the same module. On timeout, 1257 /// deletes the lock file in order to avoid deadlock from crashing processes or 1258 /// bugs in the lock file manager. 1259 static bool compileModuleAndReadAST(CompilerInstance &ImportingInstance, 1260 SourceLocation ImportLoc, 1261 SourceLocation ModuleNameLoc, 1262 Module *Module, StringRef ModuleFileName) { 1263 DiagnosticsEngine &Diags = ImportingInstance.getDiagnostics(); 1264 1265 auto diagnoseBuildFailure = [&] { 1266 Diags.Report(ModuleNameLoc, diag::err_module_not_built) 1267 << Module->Name << SourceRange(ImportLoc, ModuleNameLoc); 1268 }; 1269 1270 // FIXME: have LockFileManager return an error_code so that we can 1271 // avoid the mkdir when the directory already exists. 1272 StringRef Dir = llvm::sys::path::parent_path(ModuleFileName); 1273 llvm::sys::fs::create_directories(Dir); 1274 1275 while (1) { 1276 unsigned ModuleLoadCapabilities = ASTReader::ARR_Missing; 1277 llvm::LockFileManager Locked(ModuleFileName); 1278 switch (Locked) { 1279 case llvm::LockFileManager::LFS_Error: 1280 // ModuleCache takes care of correctness and locks are only necessary for 1281 // performance. Fallback to building the module in case of any lock 1282 // related errors. 1283 Diags.Report(ModuleNameLoc, diag::remark_module_lock_failure) 1284 << Module->Name << Locked.getErrorMessage(); 1285 // Clear out any potential leftover. 1286 Locked.unsafeRemoveLockFile(); 1287 LLVM_FALLTHROUGH; 1288 case llvm::LockFileManager::LFS_Owned: 1289 // We're responsible for building the module ourselves. 1290 if (!compileModule(ImportingInstance, ModuleNameLoc, Module, 1291 ModuleFileName)) { 1292 diagnoseBuildFailure(); 1293 return false; 1294 } 1295 break; 1296 1297 case llvm::LockFileManager::LFS_Shared: 1298 // Someone else is responsible for building the module. Wait for them to 1299 // finish. 1300 switch (Locked.waitForUnlock()) { 1301 case llvm::LockFileManager::Res_Success: 1302 ModuleLoadCapabilities |= ASTReader::ARR_OutOfDate; 1303 break; 1304 case llvm::LockFileManager::Res_OwnerDied: 1305 continue; // try again to get the lock. 1306 case llvm::LockFileManager::Res_Timeout: 1307 // Since ModuleCache takes care of correctness, we try waiting for 1308 // another process to complete the build so clang does not do it done 1309 // twice. If case of timeout, build it ourselves. 1310 Diags.Report(ModuleNameLoc, diag::remark_module_lock_timeout) 1311 << Module->Name; 1312 // Clear the lock file so that future invocations can make progress. 1313 Locked.unsafeRemoveLockFile(); 1314 continue; 1315 } 1316 break; 1317 } 1318 1319 // Try to read the module file, now that we've compiled it. 1320 ASTReader::ASTReadResult ReadResult = 1321 ImportingInstance.getASTReader()->ReadAST( 1322 ModuleFileName, serialization::MK_ImplicitModule, ImportLoc, 1323 ModuleLoadCapabilities); 1324 1325 if (ReadResult == ASTReader::OutOfDate && 1326 Locked == llvm::LockFileManager::LFS_Shared) { 1327 // The module may be out of date in the presence of file system races, 1328 // or if one of its imports depends on header search paths that are not 1329 // consistent with this ImportingInstance. Try again... 1330 continue; 1331 } else if (ReadResult == ASTReader::Missing) { 1332 diagnoseBuildFailure(); 1333 } else if (ReadResult != ASTReader::Success && 1334 !Diags.hasErrorOccurred()) { 1335 // The ASTReader didn't diagnose the error, so conservatively report it. 1336 diagnoseBuildFailure(); 1337 } 1338 return ReadResult == ASTReader::Success; 1339 } 1340 } 1341 1342 /// Diagnose differences between the current definition of the given 1343 /// configuration macro and the definition provided on the command line. 1344 static void checkConfigMacro(Preprocessor &PP, StringRef ConfigMacro, 1345 Module *Mod, SourceLocation ImportLoc) { 1346 IdentifierInfo *Id = PP.getIdentifierInfo(ConfigMacro); 1347 SourceManager &SourceMgr = PP.getSourceManager(); 1348 1349 // If this identifier has never had a macro definition, then it could 1350 // not have changed. 1351 if (!Id->hadMacroDefinition()) 1352 return; 1353 auto *LatestLocalMD = PP.getLocalMacroDirectiveHistory(Id); 1354 1355 // Find the macro definition from the command line. 1356 MacroInfo *CmdLineDefinition = nullptr; 1357 for (auto *MD = LatestLocalMD; MD; MD = MD->getPrevious()) { 1358 // We only care about the predefines buffer. 1359 FileID FID = SourceMgr.getFileID(MD->getLocation()); 1360 if (FID.isInvalid() || FID != PP.getPredefinesFileID()) 1361 continue; 1362 if (auto *DMD = dyn_cast<DefMacroDirective>(MD)) 1363 CmdLineDefinition = DMD->getMacroInfo(); 1364 break; 1365 } 1366 1367 auto *CurrentDefinition = PP.getMacroInfo(Id); 1368 if (CurrentDefinition == CmdLineDefinition) { 1369 // Macro matches. Nothing to do. 1370 } else if (!CurrentDefinition) { 1371 // This macro was defined on the command line, then #undef'd later. 1372 // Complain. 1373 PP.Diag(ImportLoc, diag::warn_module_config_macro_undef) 1374 << true << ConfigMacro << Mod->getFullModuleName(); 1375 auto LatestDef = LatestLocalMD->getDefinition(); 1376 assert(LatestDef.isUndefined() && 1377 "predefined macro went away with no #undef?"); 1378 PP.Diag(LatestDef.getUndefLocation(), diag::note_module_def_undef_here) 1379 << true; 1380 return; 1381 } else if (!CmdLineDefinition) { 1382 // There was no definition for this macro in the predefines buffer, 1383 // but there was a local definition. Complain. 1384 PP.Diag(ImportLoc, diag::warn_module_config_macro_undef) 1385 << false << ConfigMacro << Mod->getFullModuleName(); 1386 PP.Diag(CurrentDefinition->getDefinitionLoc(), 1387 diag::note_module_def_undef_here) 1388 << false; 1389 } else if (!CurrentDefinition->isIdenticalTo(*CmdLineDefinition, PP, 1390 /*Syntactically=*/true)) { 1391 // The macro definitions differ. 1392 PP.Diag(ImportLoc, diag::warn_module_config_macro_undef) 1393 << false << ConfigMacro << Mod->getFullModuleName(); 1394 PP.Diag(CurrentDefinition->getDefinitionLoc(), 1395 diag::note_module_def_undef_here) 1396 << false; 1397 } 1398 } 1399 1400 /// Write a new timestamp file with the given path. 1401 static void writeTimestampFile(StringRef TimestampFile) { 1402 std::error_code EC; 1403 llvm::raw_fd_ostream Out(TimestampFile.str(), EC, llvm::sys::fs::OF_None); 1404 } 1405 1406 /// Prune the module cache of modules that haven't been accessed in 1407 /// a long time. 1408 static void pruneModuleCache(const HeaderSearchOptions &HSOpts) { 1409 llvm::sys::fs::file_status StatBuf; 1410 llvm::SmallString<128> TimestampFile; 1411 TimestampFile = HSOpts.ModuleCachePath; 1412 assert(!TimestampFile.empty()); 1413 llvm::sys::path::append(TimestampFile, "modules.timestamp"); 1414 1415 // Try to stat() the timestamp file. 1416 if (std::error_code EC = llvm::sys::fs::status(TimestampFile, StatBuf)) { 1417 // If the timestamp file wasn't there, create one now. 1418 if (EC == std::errc::no_such_file_or_directory) { 1419 writeTimestampFile(TimestampFile); 1420 } 1421 return; 1422 } 1423 1424 // Check whether the time stamp is older than our pruning interval. 1425 // If not, do nothing. 1426 time_t TimeStampModTime = 1427 llvm::sys::toTimeT(StatBuf.getLastModificationTime()); 1428 time_t CurrentTime = time(nullptr); 1429 if (CurrentTime - TimeStampModTime <= time_t(HSOpts.ModuleCachePruneInterval)) 1430 return; 1431 1432 // Write a new timestamp file so that nobody else attempts to prune. 1433 // There is a benign race condition here, if two Clang instances happen to 1434 // notice at the same time that the timestamp is out-of-date. 1435 writeTimestampFile(TimestampFile); 1436 1437 // Walk the entire module cache, looking for unused module files and module 1438 // indices. 1439 std::error_code EC; 1440 SmallString<128> ModuleCachePathNative; 1441 llvm::sys::path::native(HSOpts.ModuleCachePath, ModuleCachePathNative); 1442 for (llvm::sys::fs::directory_iterator Dir(ModuleCachePathNative, EC), DirEnd; 1443 Dir != DirEnd && !EC; Dir.increment(EC)) { 1444 // If we don't have a directory, there's nothing to look into. 1445 if (!llvm::sys::fs::is_directory(Dir->path())) 1446 continue; 1447 1448 // Walk all of the files within this directory. 1449 for (llvm::sys::fs::directory_iterator File(Dir->path(), EC), FileEnd; 1450 File != FileEnd && !EC; File.increment(EC)) { 1451 // We only care about module and global module index files. 1452 StringRef Extension = llvm::sys::path::extension(File->path()); 1453 if (Extension != ".pcm" && Extension != ".timestamp" && 1454 llvm::sys::path::filename(File->path()) != "modules.idx") 1455 continue; 1456 1457 // Look at this file. If we can't stat it, there's nothing interesting 1458 // there. 1459 if (llvm::sys::fs::status(File->path(), StatBuf)) 1460 continue; 1461 1462 // If the file has been used recently enough, leave it there. 1463 time_t FileAccessTime = llvm::sys::toTimeT(StatBuf.getLastAccessedTime()); 1464 if (CurrentTime - FileAccessTime <= 1465 time_t(HSOpts.ModuleCachePruneAfter)) { 1466 continue; 1467 } 1468 1469 // Remove the file. 1470 llvm::sys::fs::remove(File->path()); 1471 1472 // Remove the timestamp file. 1473 std::string TimpestampFilename = File->path() + ".timestamp"; 1474 llvm::sys::fs::remove(TimpestampFilename); 1475 } 1476 1477 // If we removed all of the files in the directory, remove the directory 1478 // itself. 1479 if (llvm::sys::fs::directory_iterator(Dir->path(), EC) == 1480 llvm::sys::fs::directory_iterator() && !EC) 1481 llvm::sys::fs::remove(Dir->path()); 1482 } 1483 } 1484 1485 void CompilerInstance::createASTReader() { 1486 if (TheASTReader) 1487 return; 1488 1489 if (!hasASTContext()) 1490 createASTContext(); 1491 1492 // If we're implicitly building modules but not currently recursively 1493 // building a module, check whether we need to prune the module cache. 1494 if (getSourceManager().getModuleBuildStack().empty() && 1495 !getPreprocessor().getHeaderSearchInfo().getModuleCachePath().empty() && 1496 getHeaderSearchOpts().ModuleCachePruneInterval > 0 && 1497 getHeaderSearchOpts().ModuleCachePruneAfter > 0) { 1498 pruneModuleCache(getHeaderSearchOpts()); 1499 } 1500 1501 HeaderSearchOptions &HSOpts = getHeaderSearchOpts(); 1502 std::string Sysroot = HSOpts.Sysroot; 1503 const PreprocessorOptions &PPOpts = getPreprocessorOpts(); 1504 const FrontendOptions &FEOpts = getFrontendOpts(); 1505 std::unique_ptr<llvm::Timer> ReadTimer; 1506 1507 if (FrontendTimerGroup) 1508 ReadTimer = std::make_unique<llvm::Timer>("reading_modules", 1509 "Reading modules", 1510 *FrontendTimerGroup); 1511 TheASTReader = new ASTReader( 1512 getPreprocessor(), getModuleCache(), &getASTContext(), 1513 getPCHContainerReader(), getFrontendOpts().ModuleFileExtensions, 1514 Sysroot.empty() ? "" : Sysroot.c_str(), PPOpts.DisablePCHValidation, 1515 /*AllowASTWithCompilerErrors=*/FEOpts.AllowPCMWithCompilerErrors, 1516 /*AllowConfigurationMismatch=*/false, HSOpts.ModulesValidateSystemHeaders, 1517 HSOpts.ValidateASTInputFilesContent, 1518 getFrontendOpts().UseGlobalModuleIndex, std::move(ReadTimer)); 1519 if (hasASTConsumer()) { 1520 TheASTReader->setDeserializationListener( 1521 getASTConsumer().GetASTDeserializationListener()); 1522 getASTContext().setASTMutationListener( 1523 getASTConsumer().GetASTMutationListener()); 1524 } 1525 getASTContext().setExternalSource(TheASTReader); 1526 if (hasSema()) 1527 TheASTReader->InitializeSema(getSema()); 1528 if (hasASTConsumer()) 1529 TheASTReader->StartTranslationUnit(&getASTConsumer()); 1530 1531 for (auto &Listener : DependencyCollectors) 1532 Listener->attachToASTReader(*TheASTReader); 1533 } 1534 1535 bool CompilerInstance::loadModuleFile(StringRef FileName) { 1536 llvm::Timer Timer; 1537 if (FrontendTimerGroup) 1538 Timer.init("preloading." + FileName.str(), "Preloading " + FileName.str(), 1539 *FrontendTimerGroup); 1540 llvm::TimeRegion TimeLoading(FrontendTimerGroup ? &Timer : nullptr); 1541 1542 // Helper to recursively read the module names for all modules we're adding. 1543 // We mark these as known and redirect any attempt to load that module to 1544 // the files we were handed. 1545 struct ReadModuleNames : ASTReaderListener { 1546 CompilerInstance &CI; 1547 llvm::SmallVector<IdentifierInfo*, 8> LoadedModules; 1548 1549 ReadModuleNames(CompilerInstance &CI) : CI(CI) {} 1550 1551 void ReadModuleName(StringRef ModuleName) override { 1552 LoadedModules.push_back( 1553 CI.getPreprocessor().getIdentifierInfo(ModuleName)); 1554 } 1555 1556 void registerAll() { 1557 ModuleMap &MM = CI.getPreprocessor().getHeaderSearchInfo().getModuleMap(); 1558 for (auto *II : LoadedModules) 1559 MM.cacheModuleLoad(*II, MM.findModule(II->getName())); 1560 LoadedModules.clear(); 1561 } 1562 1563 void markAllUnavailable() { 1564 for (auto *II : LoadedModules) { 1565 if (Module *M = CI.getPreprocessor() 1566 .getHeaderSearchInfo() 1567 .getModuleMap() 1568 .findModule(II->getName())) { 1569 M->HasIncompatibleModuleFile = true; 1570 1571 // Mark module as available if the only reason it was unavailable 1572 // was missing headers. 1573 SmallVector<Module *, 2> Stack; 1574 Stack.push_back(M); 1575 while (!Stack.empty()) { 1576 Module *Current = Stack.pop_back_val(); 1577 if (Current->IsUnimportable) continue; 1578 Current->IsAvailable = true; 1579 Stack.insert(Stack.end(), 1580 Current->submodule_begin(), Current->submodule_end()); 1581 } 1582 } 1583 } 1584 LoadedModules.clear(); 1585 } 1586 }; 1587 1588 // If we don't already have an ASTReader, create one now. 1589 if (!TheASTReader) 1590 createASTReader(); 1591 1592 // If -Wmodule-file-config-mismatch is mapped as an error or worse, allow the 1593 // ASTReader to diagnose it, since it can produce better errors that we can. 1594 bool ConfigMismatchIsRecoverable = 1595 getDiagnostics().getDiagnosticLevel(diag::warn_module_config_mismatch, 1596 SourceLocation()) 1597 <= DiagnosticsEngine::Warning; 1598 1599 auto Listener = std::make_unique<ReadModuleNames>(*this); 1600 auto &ListenerRef = *Listener; 1601 ASTReader::ListenerScope ReadModuleNamesListener(*TheASTReader, 1602 std::move(Listener)); 1603 1604 // Try to load the module file. 1605 switch (TheASTReader->ReadAST( 1606 FileName, serialization::MK_ExplicitModule, SourceLocation(), 1607 ConfigMismatchIsRecoverable ? ASTReader::ARR_ConfigurationMismatch : 0)) { 1608 case ASTReader::Success: 1609 // We successfully loaded the module file; remember the set of provided 1610 // modules so that we don't try to load implicit modules for them. 1611 ListenerRef.registerAll(); 1612 return true; 1613 1614 case ASTReader::ConfigurationMismatch: 1615 // Ignore unusable module files. 1616 getDiagnostics().Report(SourceLocation(), diag::warn_module_config_mismatch) 1617 << FileName; 1618 // All modules provided by any files we tried and failed to load are now 1619 // unavailable; includes of those modules should now be handled textually. 1620 ListenerRef.markAllUnavailable(); 1621 return true; 1622 1623 default: 1624 return false; 1625 } 1626 } 1627 1628 namespace { 1629 enum ModuleSource { 1630 MS_ModuleNotFound, 1631 MS_ModuleCache, 1632 MS_PrebuiltModulePath, 1633 MS_ModuleBuildPragma 1634 }; 1635 } // end namespace 1636 1637 /// Select a source for loading the named module and compute the filename to 1638 /// load it from. 1639 static ModuleSource selectModuleSource( 1640 Module *M, StringRef ModuleName, std::string &ModuleFilename, 1641 const std::map<std::string, std::string, std::less<>> &BuiltModules, 1642 HeaderSearch &HS) { 1643 assert(ModuleFilename.empty() && "Already has a module source?"); 1644 1645 // Check to see if the module has been built as part of this compilation 1646 // via a module build pragma. 1647 auto BuiltModuleIt = BuiltModules.find(ModuleName); 1648 if (BuiltModuleIt != BuiltModules.end()) { 1649 ModuleFilename = BuiltModuleIt->second; 1650 return MS_ModuleBuildPragma; 1651 } 1652 1653 // Try to load the module from the prebuilt module path. 1654 const HeaderSearchOptions &HSOpts = HS.getHeaderSearchOpts(); 1655 if (!HSOpts.PrebuiltModuleFiles.empty() || 1656 !HSOpts.PrebuiltModulePaths.empty()) { 1657 ModuleFilename = HS.getPrebuiltModuleFileName(ModuleName); 1658 if (HSOpts.EnablePrebuiltImplicitModules && ModuleFilename.empty()) 1659 ModuleFilename = HS.getPrebuiltImplicitModuleFileName(M); 1660 if (!ModuleFilename.empty()) 1661 return MS_PrebuiltModulePath; 1662 } 1663 1664 // Try to load the module from the module cache. 1665 if (M) { 1666 ModuleFilename = HS.getCachedModuleFileName(M); 1667 return MS_ModuleCache; 1668 } 1669 1670 return MS_ModuleNotFound; 1671 } 1672 1673 ModuleLoadResult CompilerInstance::findOrCompileModuleAndReadAST( 1674 StringRef ModuleName, SourceLocation ImportLoc, 1675 SourceLocation ModuleNameLoc, bool IsInclusionDirective) { 1676 // Search for a module with the given name. 1677 HeaderSearch &HS = PP->getHeaderSearchInfo(); 1678 Module *M = HS.lookupModule(ModuleName, true, !IsInclusionDirective); 1679 1680 // Select the source and filename for loading the named module. 1681 std::string ModuleFilename; 1682 ModuleSource Source = 1683 selectModuleSource(M, ModuleName, ModuleFilename, BuiltModules, HS); 1684 if (Source == MS_ModuleNotFound) { 1685 // We can't find a module, error out here. 1686 getDiagnostics().Report(ModuleNameLoc, diag::err_module_not_found) 1687 << ModuleName << SourceRange(ImportLoc, ModuleNameLoc); 1688 ModuleBuildFailed = true; 1689 // FIXME: Why is this not cached? 1690 return ModuleLoadResult::OtherUncachedFailure; 1691 } 1692 if (ModuleFilename.empty()) { 1693 if (M && M->HasIncompatibleModuleFile) { 1694 // We tried and failed to load a module file for this module. Fall 1695 // back to textual inclusion for its headers. 1696 return ModuleLoadResult::ConfigMismatch; 1697 } 1698 1699 getDiagnostics().Report(ModuleNameLoc, diag::err_module_build_disabled) 1700 << ModuleName; 1701 ModuleBuildFailed = true; 1702 // FIXME: Why is this not cached? 1703 return ModuleLoadResult::OtherUncachedFailure; 1704 } 1705 1706 // Create an ASTReader on demand. 1707 if (!getASTReader()) 1708 createASTReader(); 1709 1710 // Time how long it takes to load the module. 1711 llvm::Timer Timer; 1712 if (FrontendTimerGroup) 1713 Timer.init("loading." + ModuleFilename, "Loading " + ModuleFilename, 1714 *FrontendTimerGroup); 1715 llvm::TimeRegion TimeLoading(FrontendTimerGroup ? &Timer : nullptr); 1716 llvm::TimeTraceScope TimeScope("Module Load", ModuleName); 1717 1718 // Try to load the module file. If we are not trying to load from the 1719 // module cache, we don't know how to rebuild modules. 1720 unsigned ARRFlags = Source == MS_ModuleCache 1721 ? ASTReader::ARR_OutOfDate | ASTReader::ARR_Missing 1722 : Source == MS_PrebuiltModulePath 1723 ? 0 1724 : ASTReader::ARR_ConfigurationMismatch; 1725 switch (getASTReader()->ReadAST(ModuleFilename, 1726 Source == MS_PrebuiltModulePath 1727 ? serialization::MK_PrebuiltModule 1728 : Source == MS_ModuleBuildPragma 1729 ? serialization::MK_ExplicitModule 1730 : serialization::MK_ImplicitModule, 1731 ImportLoc, ARRFlags)) { 1732 case ASTReader::Success: { 1733 if (M) 1734 return M; 1735 assert(Source != MS_ModuleCache && 1736 "missing module, but file loaded from cache"); 1737 1738 // A prebuilt module is indexed as a ModuleFile; the Module does not exist 1739 // until the first call to ReadAST. Look it up now. 1740 M = HS.lookupModule(ModuleName, true, !IsInclusionDirective); 1741 1742 // Check whether M refers to the file in the prebuilt module path. 1743 if (M && M->getASTFile()) 1744 if (auto ModuleFile = FileMgr->getFile(ModuleFilename)) 1745 if (*ModuleFile == M->getASTFile()) 1746 return M; 1747 1748 ModuleBuildFailed = true; 1749 getDiagnostics().Report(ModuleNameLoc, diag::err_module_prebuilt) 1750 << ModuleName; 1751 return ModuleLoadResult(); 1752 } 1753 1754 case ASTReader::OutOfDate: 1755 case ASTReader::Missing: 1756 // The most interesting case. 1757 break; 1758 1759 case ASTReader::ConfigurationMismatch: 1760 if (Source == MS_PrebuiltModulePath) 1761 // FIXME: We shouldn't be setting HadFatalFailure below if we only 1762 // produce a warning here! 1763 getDiagnostics().Report(SourceLocation(), 1764 diag::warn_module_config_mismatch) 1765 << ModuleFilename; 1766 // Fall through to error out. 1767 LLVM_FALLTHROUGH; 1768 case ASTReader::VersionMismatch: 1769 case ASTReader::HadErrors: 1770 // FIXME: Should this set ModuleBuildFailed = true? 1771 ModuleLoader::HadFatalFailure = true; 1772 // FIXME: The ASTReader will already have complained, but can we shoehorn 1773 // that diagnostic information into a more useful form? 1774 return ModuleLoadResult(); 1775 1776 case ASTReader::Failure: 1777 // FIXME: Should this set ModuleBuildFailed = true? 1778 ModuleLoader::HadFatalFailure = true; 1779 return ModuleLoadResult(); 1780 } 1781 1782 // ReadAST returned Missing or OutOfDate. 1783 if (Source != MS_ModuleCache) { 1784 // We don't know the desired configuration for this module and don't 1785 // necessarily even have a module map. Since ReadAST already produces 1786 // diagnostics for these two cases, we simply error out here. 1787 ModuleBuildFailed = true; 1788 return ModuleLoadResult(); 1789 } 1790 1791 // The module file is missing or out-of-date. Build it. 1792 assert(M && "missing module, but trying to compile for cache"); 1793 1794 // Check whether there is a cycle in the module graph. 1795 ModuleBuildStack ModPath = getSourceManager().getModuleBuildStack(); 1796 ModuleBuildStack::iterator Pos = ModPath.begin(), PosEnd = ModPath.end(); 1797 for (; Pos != PosEnd; ++Pos) { 1798 if (Pos->first == ModuleName) 1799 break; 1800 } 1801 1802 if (Pos != PosEnd) { 1803 SmallString<256> CyclePath; 1804 for (; Pos != PosEnd; ++Pos) { 1805 CyclePath += Pos->first; 1806 CyclePath += " -> "; 1807 } 1808 CyclePath += ModuleName; 1809 1810 getDiagnostics().Report(ModuleNameLoc, diag::err_module_cycle) 1811 << ModuleName << CyclePath; 1812 // FIXME: Should this set ModuleBuildFailed = true? 1813 // FIXME: Why is this not cached? 1814 return ModuleLoadResult::OtherUncachedFailure; 1815 } 1816 1817 // Check whether we have already attempted to build this module (but 1818 // failed). 1819 if (getPreprocessorOpts().FailedModules && 1820 getPreprocessorOpts().FailedModules->hasAlreadyFailed(ModuleName)) { 1821 getDiagnostics().Report(ModuleNameLoc, diag::err_module_not_built) 1822 << ModuleName << SourceRange(ImportLoc, ModuleNameLoc); 1823 ModuleBuildFailed = true; 1824 // FIXME: Why is this not cached? 1825 return ModuleLoadResult::OtherUncachedFailure; 1826 } 1827 1828 // Try to compile and then read the AST. 1829 if (!compileModuleAndReadAST(*this, ImportLoc, ModuleNameLoc, M, 1830 ModuleFilename)) { 1831 assert(getDiagnostics().hasErrorOccurred() && 1832 "undiagnosed error in compileModuleAndReadAST"); 1833 if (getPreprocessorOpts().FailedModules) 1834 getPreprocessorOpts().FailedModules->addFailed(ModuleName); 1835 ModuleBuildFailed = true; 1836 // FIXME: Why is this not cached? 1837 return ModuleLoadResult::OtherUncachedFailure; 1838 } 1839 1840 // Okay, we've rebuilt and now loaded the module. 1841 return M; 1842 } 1843 1844 ModuleLoadResult 1845 CompilerInstance::loadModule(SourceLocation ImportLoc, 1846 ModuleIdPath Path, 1847 Module::NameVisibilityKind Visibility, 1848 bool IsInclusionDirective) { 1849 // Determine what file we're searching from. 1850 StringRef ModuleName = Path[0].first->getName(); 1851 SourceLocation ModuleNameLoc = Path[0].second; 1852 1853 // If we've already handled this import, just return the cached result. 1854 // This one-element cache is important to eliminate redundant diagnostics 1855 // when both the preprocessor and parser see the same import declaration. 1856 if (ImportLoc.isValid() && LastModuleImportLoc == ImportLoc) { 1857 // Make the named module visible. 1858 if (LastModuleImportResult && ModuleName != getLangOpts().CurrentModule) 1859 TheASTReader->makeModuleVisible(LastModuleImportResult, Visibility, 1860 ImportLoc); 1861 return LastModuleImportResult; 1862 } 1863 1864 // If we don't already have information on this module, load the module now. 1865 Module *Module = nullptr; 1866 ModuleMap &MM = getPreprocessor().getHeaderSearchInfo().getModuleMap(); 1867 if (auto MaybeModule = MM.getCachedModuleLoad(*Path[0].first)) { 1868 // Use the cached result, which may be nullptr. 1869 Module = *MaybeModule; 1870 } else if (ModuleName == getLangOpts().CurrentModule) { 1871 // This is the module we're building. 1872 Module = PP->getHeaderSearchInfo().lookupModule( 1873 ModuleName, /*AllowSearch*/ true, 1874 /*AllowExtraModuleMapSearch*/ !IsInclusionDirective); 1875 /// FIXME: perhaps we should (a) look for a module using the module name 1876 // to file map (PrebuiltModuleFiles) and (b) diagnose if still not found? 1877 //if (Module == nullptr) { 1878 // getDiagnostics().Report(ModuleNameLoc, diag::err_module_not_found) 1879 // << ModuleName; 1880 // ModuleBuildFailed = true; 1881 // return ModuleLoadResult(); 1882 //} 1883 MM.cacheModuleLoad(*Path[0].first, Module); 1884 } else { 1885 ModuleLoadResult Result = findOrCompileModuleAndReadAST( 1886 ModuleName, ImportLoc, ModuleNameLoc, IsInclusionDirective); 1887 // FIXME: Can we pull 'ModuleBuildFailed = true' out of the return 1888 // sequences for findOrCompileModuleAndReadAST and do it here (as long as 1889 // the result is not a config mismatch)? See FIXMEs there. 1890 if (!Result.isNormal()) 1891 return Result; 1892 Module = Result; 1893 MM.cacheModuleLoad(*Path[0].first, Module); 1894 if (!Module) 1895 return Module; 1896 } 1897 1898 // If we never found the module, fail. Otherwise, verify the module and link 1899 // it up. 1900 if (!Module) 1901 return ModuleLoadResult(); 1902 1903 // Verify that the rest of the module path actually corresponds to 1904 // a submodule. 1905 bool MapPrivateSubModToTopLevel = false; 1906 if (Path.size() > 1) { 1907 for (unsigned I = 1, N = Path.size(); I != N; ++I) { 1908 StringRef Name = Path[I].first->getName(); 1909 clang::Module *Sub = Module->findSubmodule(Name); 1910 1911 // If the user is requesting Foo.Private and it doesn't exist, try to 1912 // match Foo_Private and emit a warning asking for the user to write 1913 // @import Foo_Private instead. FIXME: remove this when existing clients 1914 // migrate off of Foo.Private syntax. 1915 if (!Sub && PP->getLangOpts().ImplicitModules && Name == "Private" && 1916 Module == Module->getTopLevelModule()) { 1917 SmallString<128> PrivateModule(Module->Name); 1918 PrivateModule.append("_Private"); 1919 1920 SmallVector<std::pair<IdentifierInfo *, SourceLocation>, 2> PrivPath; 1921 auto &II = PP->getIdentifierTable().get( 1922 PrivateModule, PP->getIdentifierInfo(Module->Name)->getTokenID()); 1923 PrivPath.push_back(std::make_pair(&II, Path[0].second)); 1924 1925 if (PP->getHeaderSearchInfo().lookupModule(PrivateModule, true, 1926 !IsInclusionDirective)) 1927 Sub = 1928 loadModule(ImportLoc, PrivPath, Visibility, IsInclusionDirective); 1929 if (Sub) { 1930 MapPrivateSubModToTopLevel = true; 1931 if (!getDiagnostics().isIgnored( 1932 diag::warn_no_priv_submodule_use_toplevel, ImportLoc)) { 1933 getDiagnostics().Report(Path[I].second, 1934 diag::warn_no_priv_submodule_use_toplevel) 1935 << Path[I].first << Module->getFullModuleName() << PrivateModule 1936 << SourceRange(Path[0].second, Path[I].second) 1937 << FixItHint::CreateReplacement(SourceRange(Path[0].second), 1938 PrivateModule); 1939 getDiagnostics().Report(Sub->DefinitionLoc, 1940 diag::note_private_top_level_defined); 1941 } 1942 } 1943 } 1944 1945 if (!Sub) { 1946 // Attempt to perform typo correction to find a module name that works. 1947 SmallVector<StringRef, 2> Best; 1948 unsigned BestEditDistance = (std::numeric_limits<unsigned>::max)(); 1949 1950 for (clang::Module::submodule_iterator J = Module->submodule_begin(), 1951 JEnd = Module->submodule_end(); 1952 J != JEnd; ++J) { 1953 unsigned ED = Name.edit_distance((*J)->Name, 1954 /*AllowReplacements=*/true, 1955 BestEditDistance); 1956 if (ED <= BestEditDistance) { 1957 if (ED < BestEditDistance) { 1958 Best.clear(); 1959 BestEditDistance = ED; 1960 } 1961 1962 Best.push_back((*J)->Name); 1963 } 1964 } 1965 1966 // If there was a clear winner, user it. 1967 if (Best.size() == 1) { 1968 getDiagnostics().Report(Path[I].second, 1969 diag::err_no_submodule_suggest) 1970 << Path[I].first << Module->getFullModuleName() << Best[0] 1971 << SourceRange(Path[0].second, Path[I-1].second) 1972 << FixItHint::CreateReplacement(SourceRange(Path[I].second), 1973 Best[0]); 1974 1975 Sub = Module->findSubmodule(Best[0]); 1976 } 1977 } 1978 1979 if (!Sub) { 1980 // No submodule by this name. Complain, and don't look for further 1981 // submodules. 1982 getDiagnostics().Report(Path[I].second, diag::err_no_submodule) 1983 << Path[I].first << Module->getFullModuleName() 1984 << SourceRange(Path[0].second, Path[I-1].second); 1985 break; 1986 } 1987 1988 Module = Sub; 1989 } 1990 } 1991 1992 // Make the named module visible, if it's not already part of the module 1993 // we are parsing. 1994 if (ModuleName != getLangOpts().CurrentModule) { 1995 if (!Module->IsFromModuleFile && !MapPrivateSubModToTopLevel) { 1996 // We have an umbrella header or directory that doesn't actually include 1997 // all of the headers within the directory it covers. Complain about 1998 // this missing submodule and recover by forgetting that we ever saw 1999 // this submodule. 2000 // FIXME: Should we detect this at module load time? It seems fairly 2001 // expensive (and rare). 2002 getDiagnostics().Report(ImportLoc, diag::warn_missing_submodule) 2003 << Module->getFullModuleName() 2004 << SourceRange(Path.front().second, Path.back().second); 2005 2006 return ModuleLoadResult::MissingExpected; 2007 } 2008 2009 // Check whether this module is available. 2010 if (Preprocessor::checkModuleIsAvailable(getLangOpts(), getTarget(), 2011 getDiagnostics(), Module)) { 2012 getDiagnostics().Report(ImportLoc, diag::note_module_import_here) 2013 << SourceRange(Path.front().second, Path.back().second); 2014 LastModuleImportLoc = ImportLoc; 2015 LastModuleImportResult = ModuleLoadResult(); 2016 return ModuleLoadResult(); 2017 } 2018 2019 TheASTReader->makeModuleVisible(Module, Visibility, ImportLoc); 2020 } 2021 2022 // Check for any configuration macros that have changed. 2023 clang::Module *TopModule = Module->getTopLevelModule(); 2024 for (unsigned I = 0, N = TopModule->ConfigMacros.size(); I != N; ++I) { 2025 checkConfigMacro(getPreprocessor(), TopModule->ConfigMacros[I], 2026 Module, ImportLoc); 2027 } 2028 2029 // Resolve any remaining module using export_as for this one. 2030 getPreprocessor() 2031 .getHeaderSearchInfo() 2032 .getModuleMap() 2033 .resolveLinkAsDependencies(TopModule); 2034 2035 LastModuleImportLoc = ImportLoc; 2036 LastModuleImportResult = ModuleLoadResult(Module); 2037 return LastModuleImportResult; 2038 } 2039 2040 void CompilerInstance::createModuleFromSource(SourceLocation ImportLoc, 2041 StringRef ModuleName, 2042 StringRef Source) { 2043 // Avoid creating filenames with special characters. 2044 SmallString<128> CleanModuleName(ModuleName); 2045 for (auto &C : CleanModuleName) 2046 if (!isAlphanumeric(C)) 2047 C = '_'; 2048 2049 // FIXME: Using a randomized filename here means that our intermediate .pcm 2050 // output is nondeterministic (as .pcm files refer to each other by name). 2051 // Can this affect the output in any way? 2052 SmallString<128> ModuleFileName; 2053 if (std::error_code EC = llvm::sys::fs::createTemporaryFile( 2054 CleanModuleName, "pcm", ModuleFileName)) { 2055 getDiagnostics().Report(ImportLoc, diag::err_fe_unable_to_open_output) 2056 << ModuleFileName << EC.message(); 2057 return; 2058 } 2059 std::string ModuleMapFileName = (CleanModuleName + ".map").str(); 2060 2061 FrontendInputFile Input( 2062 ModuleMapFileName, 2063 InputKind(getLanguageFromOptions(*Invocation->getLangOpts()), 2064 InputKind::ModuleMap, /*Preprocessed*/true)); 2065 2066 std::string NullTerminatedSource(Source.str()); 2067 2068 auto PreBuildStep = [&](CompilerInstance &Other) { 2069 // Create a virtual file containing our desired source. 2070 // FIXME: We shouldn't need to do this. 2071 const FileEntry *ModuleMapFile = Other.getFileManager().getVirtualFile( 2072 ModuleMapFileName, NullTerminatedSource.size(), 0); 2073 Other.getSourceManager().overrideFileContents( 2074 ModuleMapFile, 2075 llvm::MemoryBuffer::getMemBuffer(NullTerminatedSource.c_str())); 2076 2077 Other.BuiltModules = std::move(BuiltModules); 2078 Other.DeleteBuiltModules = false; 2079 }; 2080 2081 auto PostBuildStep = [this](CompilerInstance &Other) { 2082 BuiltModules = std::move(Other.BuiltModules); 2083 }; 2084 2085 // Build the module, inheriting any modules that we've built locally. 2086 if (compileModuleImpl(*this, ImportLoc, ModuleName, Input, StringRef(), 2087 ModuleFileName, PreBuildStep, PostBuildStep)) { 2088 BuiltModules[std::string(ModuleName)] = std::string(ModuleFileName.str()); 2089 llvm::sys::RemoveFileOnSignal(ModuleFileName); 2090 } 2091 } 2092 2093 void CompilerInstance::makeModuleVisible(Module *Mod, 2094 Module::NameVisibilityKind Visibility, 2095 SourceLocation ImportLoc) { 2096 if (!TheASTReader) 2097 createASTReader(); 2098 if (!TheASTReader) 2099 return; 2100 2101 TheASTReader->makeModuleVisible(Mod, Visibility, ImportLoc); 2102 } 2103 2104 GlobalModuleIndex *CompilerInstance::loadGlobalModuleIndex( 2105 SourceLocation TriggerLoc) { 2106 if (getPreprocessor().getHeaderSearchInfo().getModuleCachePath().empty()) 2107 return nullptr; 2108 if (!TheASTReader) 2109 createASTReader(); 2110 // Can't do anything if we don't have the module manager. 2111 if (!TheASTReader) 2112 return nullptr; 2113 // Get an existing global index. This loads it if not already 2114 // loaded. 2115 TheASTReader->loadGlobalIndex(); 2116 GlobalModuleIndex *GlobalIndex = TheASTReader->getGlobalIndex(); 2117 // If the global index doesn't exist, create it. 2118 if (!GlobalIndex && shouldBuildGlobalModuleIndex() && hasFileManager() && 2119 hasPreprocessor()) { 2120 llvm::sys::fs::create_directories( 2121 getPreprocessor().getHeaderSearchInfo().getModuleCachePath()); 2122 if (llvm::Error Err = GlobalModuleIndex::writeIndex( 2123 getFileManager(), getPCHContainerReader(), 2124 getPreprocessor().getHeaderSearchInfo().getModuleCachePath())) { 2125 // FIXME this drops the error on the floor. This code is only used for 2126 // typo correction and drops more than just this one source of errors 2127 // (such as the directory creation failure above). It should handle the 2128 // error. 2129 consumeError(std::move(Err)); 2130 return nullptr; 2131 } 2132 TheASTReader->resetForReload(); 2133 TheASTReader->loadGlobalIndex(); 2134 GlobalIndex = TheASTReader->getGlobalIndex(); 2135 } 2136 // For finding modules needing to be imported for fixit messages, 2137 // we need to make the global index cover all modules, so we do that here. 2138 if (!HaveFullGlobalModuleIndex && GlobalIndex && !buildingModule()) { 2139 ModuleMap &MMap = getPreprocessor().getHeaderSearchInfo().getModuleMap(); 2140 bool RecreateIndex = false; 2141 for (ModuleMap::module_iterator I = MMap.module_begin(), 2142 E = MMap.module_end(); I != E; ++I) { 2143 Module *TheModule = I->second; 2144 const FileEntry *Entry = TheModule->getASTFile(); 2145 if (!Entry) { 2146 SmallVector<std::pair<IdentifierInfo *, SourceLocation>, 2> Path; 2147 Path.push_back(std::make_pair( 2148 getPreprocessor().getIdentifierInfo(TheModule->Name), TriggerLoc)); 2149 std::reverse(Path.begin(), Path.end()); 2150 // Load a module as hidden. This also adds it to the global index. 2151 loadModule(TheModule->DefinitionLoc, Path, Module::Hidden, false); 2152 RecreateIndex = true; 2153 } 2154 } 2155 if (RecreateIndex) { 2156 if (llvm::Error Err = GlobalModuleIndex::writeIndex( 2157 getFileManager(), getPCHContainerReader(), 2158 getPreprocessor().getHeaderSearchInfo().getModuleCachePath())) { 2159 // FIXME As above, this drops the error on the floor. 2160 consumeError(std::move(Err)); 2161 return nullptr; 2162 } 2163 TheASTReader->resetForReload(); 2164 TheASTReader->loadGlobalIndex(); 2165 GlobalIndex = TheASTReader->getGlobalIndex(); 2166 } 2167 HaveFullGlobalModuleIndex = true; 2168 } 2169 return GlobalIndex; 2170 } 2171 2172 // Check global module index for missing imports. 2173 bool 2174 CompilerInstance::lookupMissingImports(StringRef Name, 2175 SourceLocation TriggerLoc) { 2176 // Look for the symbol in non-imported modules, but only if an error 2177 // actually occurred. 2178 if (!buildingModule()) { 2179 // Load global module index, or retrieve a previously loaded one. 2180 GlobalModuleIndex *GlobalIndex = loadGlobalModuleIndex( 2181 TriggerLoc); 2182 2183 // Only if we have a global index. 2184 if (GlobalIndex) { 2185 GlobalModuleIndex::HitSet FoundModules; 2186 2187 // Find the modules that reference the identifier. 2188 // Note that this only finds top-level modules. 2189 // We'll let diagnoseTypo find the actual declaration module. 2190 if (GlobalIndex->lookupIdentifier(Name, FoundModules)) 2191 return true; 2192 } 2193 } 2194 2195 return false; 2196 } 2197 void CompilerInstance::resetAndLeakSema() { llvm::BuryPointer(takeSema()); } 2198 2199 void CompilerInstance::setExternalSemaSource( 2200 IntrusiveRefCntPtr<ExternalSemaSource> ESS) { 2201 ExternalSemaSrc = std::move(ESS); 2202 } 2203