1 //===--- CompilerInstance.cpp ---------------------------------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 #include "clang/Frontend/CompilerInstance.h" 11 #include "clang/AST/ASTConsumer.h" 12 #include "clang/AST/ASTContext.h" 13 #include "clang/AST/Decl.h" 14 #include "clang/Basic/Diagnostic.h" 15 #include "clang/Basic/FileManager.h" 16 #include "clang/Basic/SourceManager.h" 17 #include "clang/Basic/TargetInfo.h" 18 #include "clang/Basic/Version.h" 19 #include "clang/Config/config.h" 20 #include "clang/Frontend/ChainedDiagnosticConsumer.h" 21 #include "clang/Frontend/FrontendAction.h" 22 #include "clang/Frontend/FrontendActions.h" 23 #include "clang/Frontend/FrontendDiagnostic.h" 24 #include "clang/Frontend/LogDiagnosticPrinter.h" 25 #include "clang/Frontend/SerializedDiagnosticPrinter.h" 26 #include "clang/Frontend/TextDiagnosticPrinter.h" 27 #include "clang/Frontend/Utils.h" 28 #include "clang/Frontend/VerifyDiagnosticConsumer.h" 29 #include "clang/Lex/HeaderSearch.h" 30 #include "clang/Lex/PTHManager.h" 31 #include "clang/Lex/Preprocessor.h" 32 #include "clang/Sema/CodeCompleteConsumer.h" 33 #include "clang/Sema/Sema.h" 34 #include "clang/Serialization/ASTReader.h" 35 #include "clang/Serialization/GlobalModuleIndex.h" 36 #include "llvm/ADT/Statistic.h" 37 #include "llvm/Support/CrashRecoveryContext.h" 38 #include "llvm/Support/Errc.h" 39 #include "llvm/Support/FileSystem.h" 40 #include "llvm/Support/Host.h" 41 #include "llvm/Support/LockFileManager.h" 42 #include "llvm/Support/MemoryBuffer.h" 43 #include "llvm/Support/Path.h" 44 #include "llvm/Support/Program.h" 45 #include "llvm/Support/Signals.h" 46 #include "llvm/Support/Timer.h" 47 #include "llvm/Support/raw_ostream.h" 48 #include <sys/stat.h> 49 #include <system_error> 50 #include <time.h> 51 52 using namespace clang; 53 54 CompilerInstance::CompilerInstance( 55 std::shared_ptr<PCHContainerOperations> PCHContainerOps, 56 bool BuildingModule) 57 : ModuleLoader(BuildingModule), Invocation(new CompilerInvocation()), 58 ModuleManager(nullptr), ThePCHContainerOperations(PCHContainerOps), 59 BuildGlobalModuleIndex(false), HaveFullGlobalModuleIndex(false), 60 ModuleBuildFailed(false) {} 61 62 CompilerInstance::~CompilerInstance() { 63 assert(OutputFiles.empty() && "Still output files in flight?"); 64 } 65 66 void CompilerInstance::setInvocation(CompilerInvocation *Value) { 67 Invocation = Value; 68 } 69 70 bool CompilerInstance::shouldBuildGlobalModuleIndex() const { 71 return (BuildGlobalModuleIndex || 72 (ModuleManager && ModuleManager->isGlobalIndexUnavailable() && 73 getFrontendOpts().GenerateGlobalModuleIndex)) && 74 !ModuleBuildFailed; 75 } 76 77 void CompilerInstance::setDiagnostics(DiagnosticsEngine *Value) { 78 Diagnostics = Value; 79 } 80 81 void CompilerInstance::setTarget(TargetInfo *Value) { Target = Value; } 82 void CompilerInstance::setAuxTarget(TargetInfo *Value) { AuxTarget = Value; } 83 84 void CompilerInstance::setFileManager(FileManager *Value) { 85 FileMgr = Value; 86 if (Value) 87 VirtualFileSystem = Value->getVirtualFileSystem(); 88 else 89 VirtualFileSystem.reset(); 90 } 91 92 void CompilerInstance::setSourceManager(SourceManager *Value) { 93 SourceMgr = Value; 94 } 95 96 void CompilerInstance::setPreprocessor(Preprocessor *Value) { PP = Value; } 97 98 void CompilerInstance::setASTContext(ASTContext *Value) { 99 Context = Value; 100 101 if (Context && Consumer) 102 getASTConsumer().Initialize(getASTContext()); 103 } 104 105 void CompilerInstance::setSema(Sema *S) { 106 TheSema.reset(S); 107 } 108 109 void CompilerInstance::setASTConsumer(std::unique_ptr<ASTConsumer> Value) { 110 Consumer = std::move(Value); 111 112 if (Context && Consumer) 113 getASTConsumer().Initialize(getASTContext()); 114 } 115 116 void CompilerInstance::setCodeCompletionConsumer(CodeCompleteConsumer *Value) { 117 CompletionConsumer.reset(Value); 118 } 119 120 std::unique_ptr<Sema> CompilerInstance::takeSema() { 121 return std::move(TheSema); 122 } 123 124 IntrusiveRefCntPtr<ASTReader> CompilerInstance::getModuleManager() const { 125 return ModuleManager; 126 } 127 void CompilerInstance::setModuleManager(IntrusiveRefCntPtr<ASTReader> Reader) { 128 ModuleManager = Reader; 129 } 130 131 std::shared_ptr<ModuleDependencyCollector> 132 CompilerInstance::getModuleDepCollector() const { 133 return ModuleDepCollector; 134 } 135 136 void CompilerInstance::setModuleDepCollector( 137 std::shared_ptr<ModuleDependencyCollector> Collector) { 138 ModuleDepCollector = Collector; 139 } 140 141 // Diagnostics 142 static void SetUpDiagnosticLog(DiagnosticOptions *DiagOpts, 143 const CodeGenOptions *CodeGenOpts, 144 DiagnosticsEngine &Diags) { 145 std::error_code EC; 146 std::unique_ptr<raw_ostream> StreamOwner; 147 raw_ostream *OS = &llvm::errs(); 148 if (DiagOpts->DiagnosticLogFile != "-") { 149 // Create the output stream. 150 auto FileOS = llvm::make_unique<llvm::raw_fd_ostream>( 151 DiagOpts->DiagnosticLogFile, EC, 152 llvm::sys::fs::F_Append | llvm::sys::fs::F_Text); 153 if (EC) { 154 Diags.Report(diag::warn_fe_cc_log_diagnostics_failure) 155 << DiagOpts->DiagnosticLogFile << EC.message(); 156 } else { 157 FileOS->SetUnbuffered(); 158 OS = FileOS.get(); 159 StreamOwner = std::move(FileOS); 160 } 161 } 162 163 // Chain in the diagnostic client which will log the diagnostics. 164 auto Logger = llvm::make_unique<LogDiagnosticPrinter>(*OS, DiagOpts, 165 std::move(StreamOwner)); 166 if (CodeGenOpts) 167 Logger->setDwarfDebugFlags(CodeGenOpts->DwarfDebugFlags); 168 assert(Diags.ownsClient()); 169 Diags.setClient( 170 new ChainedDiagnosticConsumer(Diags.takeClient(), std::move(Logger))); 171 } 172 173 static void SetupSerializedDiagnostics(DiagnosticOptions *DiagOpts, 174 DiagnosticsEngine &Diags, 175 StringRef OutputFile) { 176 auto SerializedConsumer = 177 clang::serialized_diags::create(OutputFile, DiagOpts); 178 179 if (Diags.ownsClient()) { 180 Diags.setClient(new ChainedDiagnosticConsumer( 181 Diags.takeClient(), std::move(SerializedConsumer))); 182 } else { 183 Diags.setClient(new ChainedDiagnosticConsumer( 184 Diags.getClient(), std::move(SerializedConsumer))); 185 } 186 } 187 188 void CompilerInstance::createDiagnostics(DiagnosticConsumer *Client, 189 bool ShouldOwnClient) { 190 Diagnostics = createDiagnostics(&getDiagnosticOpts(), Client, 191 ShouldOwnClient, &getCodeGenOpts()); 192 } 193 194 IntrusiveRefCntPtr<DiagnosticsEngine> 195 CompilerInstance::createDiagnostics(DiagnosticOptions *Opts, 196 DiagnosticConsumer *Client, 197 bool ShouldOwnClient, 198 const CodeGenOptions *CodeGenOpts) { 199 IntrusiveRefCntPtr<DiagnosticIDs> DiagID(new DiagnosticIDs()); 200 IntrusiveRefCntPtr<DiagnosticsEngine> 201 Diags(new DiagnosticsEngine(DiagID, Opts)); 202 203 // Create the diagnostic client for reporting errors or for 204 // implementing -verify. 205 if (Client) { 206 Diags->setClient(Client, ShouldOwnClient); 207 } else 208 Diags->setClient(new TextDiagnosticPrinter(llvm::errs(), Opts)); 209 210 // Chain in -verify checker, if requested. 211 if (Opts->VerifyDiagnostics) 212 Diags->setClient(new VerifyDiagnosticConsumer(*Diags)); 213 214 // Chain in -diagnostic-log-file dumper, if requested. 215 if (!Opts->DiagnosticLogFile.empty()) 216 SetUpDiagnosticLog(Opts, CodeGenOpts, *Diags); 217 218 if (!Opts->DiagnosticSerializationFile.empty()) 219 SetupSerializedDiagnostics(Opts, *Diags, 220 Opts->DiagnosticSerializationFile); 221 222 // Configure our handling of diagnostics. 223 ProcessWarningOptions(*Diags, *Opts); 224 225 return Diags; 226 } 227 228 // File Manager 229 230 void CompilerInstance::createFileManager() { 231 if (!hasVirtualFileSystem()) { 232 // TODO: choose the virtual file system based on the CompilerInvocation. 233 setVirtualFileSystem(vfs::getRealFileSystem()); 234 } 235 FileMgr = new FileManager(getFileSystemOpts(), VirtualFileSystem); 236 } 237 238 // Source Manager 239 240 void CompilerInstance::createSourceManager(FileManager &FileMgr) { 241 SourceMgr = new SourceManager(getDiagnostics(), FileMgr); 242 } 243 244 // Initialize the remapping of files to alternative contents, e.g., 245 // those specified through other files. 246 static void InitializeFileRemapping(DiagnosticsEngine &Diags, 247 SourceManager &SourceMgr, 248 FileManager &FileMgr, 249 const PreprocessorOptions &InitOpts) { 250 // Remap files in the source manager (with buffers). 251 for (const auto &RB : InitOpts.RemappedFileBuffers) { 252 // Create the file entry for the file that we're mapping from. 253 const FileEntry *FromFile = 254 FileMgr.getVirtualFile(RB.first, RB.second->getBufferSize(), 0); 255 if (!FromFile) { 256 Diags.Report(diag::err_fe_remap_missing_from_file) << RB.first; 257 if (!InitOpts.RetainRemappedFileBuffers) 258 delete RB.second; 259 continue; 260 } 261 262 // Override the contents of the "from" file with the contents of 263 // the "to" file. 264 SourceMgr.overrideFileContents(FromFile, RB.second, 265 InitOpts.RetainRemappedFileBuffers); 266 } 267 268 // Remap files in the source manager (with other files). 269 for (const auto &RF : InitOpts.RemappedFiles) { 270 // Find the file that we're mapping to. 271 const FileEntry *ToFile = FileMgr.getFile(RF.second); 272 if (!ToFile) { 273 Diags.Report(diag::err_fe_remap_missing_to_file) << RF.first << RF.second; 274 continue; 275 } 276 277 // Create the file entry for the file that we're mapping from. 278 const FileEntry *FromFile = 279 FileMgr.getVirtualFile(RF.first, ToFile->getSize(), 0); 280 if (!FromFile) { 281 Diags.Report(diag::err_fe_remap_missing_from_file) << RF.first; 282 continue; 283 } 284 285 // Override the contents of the "from" file with the contents of 286 // the "to" file. 287 SourceMgr.overrideFileContents(FromFile, ToFile); 288 } 289 290 SourceMgr.setOverridenFilesKeepOriginalName( 291 InitOpts.RemappedFilesKeepOriginalName); 292 } 293 294 // Preprocessor 295 296 void CompilerInstance::createPreprocessor(TranslationUnitKind TUKind) { 297 const PreprocessorOptions &PPOpts = getPreprocessorOpts(); 298 299 // Create a PTH manager if we are using some form of a token cache. 300 PTHManager *PTHMgr = nullptr; 301 if (!PPOpts.TokenCache.empty()) 302 PTHMgr = PTHManager::Create(PPOpts.TokenCache, getDiagnostics()); 303 304 // Create the Preprocessor. 305 HeaderSearch *HeaderInfo = new HeaderSearch(&getHeaderSearchOpts(), 306 getSourceManager(), 307 getDiagnostics(), 308 getLangOpts(), 309 &getTarget()); 310 PP = new Preprocessor(&getPreprocessorOpts(), getDiagnostics(), getLangOpts(), 311 getSourceManager(), *HeaderInfo, *this, PTHMgr, 312 /*OwnsHeaderSearch=*/true, TUKind); 313 PP->Initialize(getTarget(), getAuxTarget()); 314 315 // Note that this is different then passing PTHMgr to Preprocessor's ctor. 316 // That argument is used as the IdentifierInfoLookup argument to 317 // IdentifierTable's ctor. 318 if (PTHMgr) { 319 PTHMgr->setPreprocessor(&*PP); 320 PP->setPTHManager(PTHMgr); 321 } 322 323 if (PPOpts.DetailedRecord) 324 PP->createPreprocessingRecord(); 325 326 // Apply remappings to the source manager. 327 InitializeFileRemapping(PP->getDiagnostics(), PP->getSourceManager(), 328 PP->getFileManager(), PPOpts); 329 330 // Predefine macros and configure the preprocessor. 331 InitializePreprocessor(*PP, PPOpts, getPCHContainerReader(), 332 getFrontendOpts()); 333 334 // Initialize the header search object. 335 ApplyHeaderSearchOptions(PP->getHeaderSearchInfo(), getHeaderSearchOpts(), 336 PP->getLangOpts(), PP->getTargetInfo().getTriple()); 337 338 PP->setPreprocessedOutput(getPreprocessorOutputOpts().ShowCPP); 339 340 if (PP->getLangOpts().Modules && PP->getLangOpts().ImplicitModules) 341 PP->getHeaderSearchInfo().setModuleCachePath(getSpecificModuleCachePath()); 342 343 // Handle generating dependencies, if requested. 344 const DependencyOutputOptions &DepOpts = getDependencyOutputOpts(); 345 if (!DepOpts.OutputFile.empty()) 346 TheDependencyFileGenerator.reset( 347 DependencyFileGenerator::CreateAndAttachToPreprocessor(*PP, DepOpts)); 348 if (!DepOpts.DOTOutputFile.empty()) 349 AttachDependencyGraphGen(*PP, DepOpts.DOTOutputFile, 350 getHeaderSearchOpts().Sysroot); 351 352 for (auto &Listener : DependencyCollectors) 353 Listener->attachToPreprocessor(*PP); 354 355 // If we don't have a collector, but we are collecting module dependencies, 356 // then we're the top level compiler instance and need to create one. 357 if (!ModuleDepCollector && !DepOpts.ModuleDependencyOutputDir.empty()) 358 ModuleDepCollector = std::make_shared<ModuleDependencyCollector>( 359 DepOpts.ModuleDependencyOutputDir); 360 361 // Handle generating header include information, if requested. 362 if (DepOpts.ShowHeaderIncludes) 363 AttachHeaderIncludeGen(*PP, DepOpts.ExtraDeps); 364 if (!DepOpts.HeaderIncludeOutputFile.empty()) { 365 StringRef OutputPath = DepOpts.HeaderIncludeOutputFile; 366 if (OutputPath == "-") 367 OutputPath = ""; 368 AttachHeaderIncludeGen(*PP, DepOpts.ExtraDeps, 369 /*ShowAllHeaders=*/true, OutputPath, 370 /*ShowDepth=*/false); 371 } 372 373 if (DepOpts.PrintShowIncludes) { 374 AttachHeaderIncludeGen(*PP, DepOpts.ExtraDeps, 375 /*ShowAllHeaders=*/false, /*OutputPath=*/"", 376 /*ShowDepth=*/true, /*MSStyle=*/true); 377 } 378 } 379 380 std::string CompilerInstance::getSpecificModuleCachePath() { 381 // Set up the module path, including the hash for the 382 // module-creation options. 383 SmallString<256> SpecificModuleCache(getHeaderSearchOpts().ModuleCachePath); 384 if (!SpecificModuleCache.empty() && !getHeaderSearchOpts().DisableModuleHash) 385 llvm::sys::path::append(SpecificModuleCache, 386 getInvocation().getModuleHash()); 387 return SpecificModuleCache.str(); 388 } 389 390 // ASTContext 391 392 void CompilerInstance::createASTContext() { 393 Preprocessor &PP = getPreprocessor(); 394 auto *Context = new ASTContext(getLangOpts(), PP.getSourceManager(), 395 PP.getIdentifierTable(), PP.getSelectorTable(), 396 PP.getBuiltinInfo()); 397 Context->InitBuiltinTypes(getTarget(), getAuxTarget()); 398 setASTContext(Context); 399 } 400 401 // ExternalASTSource 402 403 void CompilerInstance::createPCHExternalASTSource( 404 StringRef Path, bool DisablePCHValidation, bool AllowPCHWithCompilerErrors, 405 void *DeserializationListener, bool OwnDeserializationListener) { 406 bool Preamble = getPreprocessorOpts().PrecompiledPreambleBytes.first != 0; 407 ModuleManager = createPCHExternalASTSource( 408 Path, getHeaderSearchOpts().Sysroot, DisablePCHValidation, 409 AllowPCHWithCompilerErrors, getPreprocessor(), getASTContext(), 410 getPCHContainerReader(), 411 getFrontendOpts().ModuleFileExtensions, 412 DeserializationListener, 413 OwnDeserializationListener, Preamble, 414 getFrontendOpts().UseGlobalModuleIndex); 415 } 416 417 IntrusiveRefCntPtr<ASTReader> CompilerInstance::createPCHExternalASTSource( 418 StringRef Path, StringRef Sysroot, bool DisablePCHValidation, 419 bool AllowPCHWithCompilerErrors, Preprocessor &PP, ASTContext &Context, 420 const PCHContainerReader &PCHContainerRdr, 421 ArrayRef<IntrusiveRefCntPtr<ModuleFileExtension>> Extensions, 422 void *DeserializationListener, bool OwnDeserializationListener, 423 bool Preamble, bool UseGlobalModuleIndex) { 424 HeaderSearchOptions &HSOpts = PP.getHeaderSearchInfo().getHeaderSearchOpts(); 425 426 IntrusiveRefCntPtr<ASTReader> Reader(new ASTReader( 427 PP, Context, PCHContainerRdr, Extensions, 428 Sysroot.empty() ? "" : Sysroot.data(), DisablePCHValidation, 429 AllowPCHWithCompilerErrors, /*AllowConfigurationMismatch*/ false, 430 HSOpts.ModulesValidateSystemHeaders, UseGlobalModuleIndex)); 431 432 // We need the external source to be set up before we read the AST, because 433 // eagerly-deserialized declarations may use it. 434 Context.setExternalSource(Reader.get()); 435 436 Reader->setDeserializationListener( 437 static_cast<ASTDeserializationListener *>(DeserializationListener), 438 /*TakeOwnership=*/OwnDeserializationListener); 439 switch (Reader->ReadAST(Path, 440 Preamble ? serialization::MK_Preamble 441 : serialization::MK_PCH, 442 SourceLocation(), 443 ASTReader::ARR_None)) { 444 case ASTReader::Success: 445 // Set the predefines buffer as suggested by the PCH reader. Typically, the 446 // predefines buffer will be empty. 447 PP.setPredefines(Reader->getSuggestedPredefines()); 448 return Reader; 449 450 case ASTReader::Failure: 451 // Unrecoverable failure: don't even try to process the input file. 452 break; 453 454 case ASTReader::Missing: 455 case ASTReader::OutOfDate: 456 case ASTReader::VersionMismatch: 457 case ASTReader::ConfigurationMismatch: 458 case ASTReader::HadErrors: 459 // No suitable PCH file could be found. Return an error. 460 break; 461 } 462 463 Context.setExternalSource(nullptr); 464 return nullptr; 465 } 466 467 // Code Completion 468 469 static bool EnableCodeCompletion(Preprocessor &PP, 470 StringRef Filename, 471 unsigned Line, 472 unsigned Column) { 473 // Tell the source manager to chop off the given file at a specific 474 // line and column. 475 const FileEntry *Entry = PP.getFileManager().getFile(Filename); 476 if (!Entry) { 477 PP.getDiagnostics().Report(diag::err_fe_invalid_code_complete_file) 478 << Filename; 479 return true; 480 } 481 482 // Truncate the named file at the given line/column. 483 PP.SetCodeCompletionPoint(Entry, Line, Column); 484 return false; 485 } 486 487 void CompilerInstance::createCodeCompletionConsumer() { 488 const ParsedSourceLocation &Loc = getFrontendOpts().CodeCompletionAt; 489 if (!CompletionConsumer) { 490 setCodeCompletionConsumer( 491 createCodeCompletionConsumer(getPreprocessor(), 492 Loc.FileName, Loc.Line, Loc.Column, 493 getFrontendOpts().CodeCompleteOpts, 494 llvm::outs())); 495 if (!CompletionConsumer) 496 return; 497 } else if (EnableCodeCompletion(getPreprocessor(), Loc.FileName, 498 Loc.Line, Loc.Column)) { 499 setCodeCompletionConsumer(nullptr); 500 return; 501 } 502 503 if (CompletionConsumer->isOutputBinary() && 504 llvm::sys::ChangeStdoutToBinary()) { 505 getPreprocessor().getDiagnostics().Report(diag::err_fe_stdout_binary); 506 setCodeCompletionConsumer(nullptr); 507 } 508 } 509 510 void CompilerInstance::createFrontendTimer() { 511 FrontendTimerGroup.reset(new llvm::TimerGroup("Clang front-end time report")); 512 FrontendTimer.reset( 513 new llvm::Timer("Clang front-end timer", *FrontendTimerGroup)); 514 } 515 516 CodeCompleteConsumer * 517 CompilerInstance::createCodeCompletionConsumer(Preprocessor &PP, 518 StringRef Filename, 519 unsigned Line, 520 unsigned Column, 521 const CodeCompleteOptions &Opts, 522 raw_ostream &OS) { 523 if (EnableCodeCompletion(PP, Filename, Line, Column)) 524 return nullptr; 525 526 // Set up the creation routine for code-completion. 527 return new PrintingCodeCompleteConsumer(Opts, OS); 528 } 529 530 void CompilerInstance::createSema(TranslationUnitKind TUKind, 531 CodeCompleteConsumer *CompletionConsumer) { 532 TheSema.reset(new Sema(getPreprocessor(), getASTContext(), getASTConsumer(), 533 TUKind, CompletionConsumer)); 534 } 535 536 // Output Files 537 538 void CompilerInstance::addOutputFile(OutputFile &&OutFile) { 539 assert(OutFile.OS && "Attempt to add empty stream to output list!"); 540 OutputFiles.push_back(std::move(OutFile)); 541 } 542 543 void CompilerInstance::clearOutputFiles(bool EraseFiles) { 544 for (OutputFile &OF : OutputFiles) { 545 // Manually close the stream before we rename it. 546 OF.OS.reset(); 547 548 if (!OF.TempFilename.empty()) { 549 if (EraseFiles) { 550 llvm::sys::fs::remove(OF.TempFilename); 551 } else { 552 SmallString<128> NewOutFile(OF.Filename); 553 554 // If '-working-directory' was passed, the output filename should be 555 // relative to that. 556 FileMgr->FixupRelativePath(NewOutFile); 557 if (std::error_code ec = 558 llvm::sys::fs::rename(OF.TempFilename, NewOutFile)) { 559 getDiagnostics().Report(diag::err_unable_to_rename_temp) 560 << OF.TempFilename << OF.Filename << ec.message(); 561 562 llvm::sys::fs::remove(OF.TempFilename); 563 } 564 } 565 } else if (!OF.Filename.empty() && EraseFiles) 566 llvm::sys::fs::remove(OF.Filename); 567 568 } 569 OutputFiles.clear(); 570 NonSeekStream.reset(); 571 } 572 573 raw_pwrite_stream * 574 CompilerInstance::createDefaultOutputFile(bool Binary, StringRef InFile, 575 StringRef Extension) { 576 return createOutputFile(getFrontendOpts().OutputFile, Binary, 577 /*RemoveFileOnSignal=*/true, InFile, Extension, 578 /*UseTemporary=*/true); 579 } 580 581 llvm::raw_null_ostream *CompilerInstance::createNullOutputFile() { 582 auto OS = llvm::make_unique<llvm::raw_null_ostream>(); 583 llvm::raw_null_ostream *Ret = OS.get(); 584 addOutputFile(OutputFile("", "", std::move(OS))); 585 return Ret; 586 } 587 588 raw_pwrite_stream * 589 CompilerInstance::createOutputFile(StringRef OutputPath, bool Binary, 590 bool RemoveFileOnSignal, StringRef InFile, 591 StringRef Extension, bool UseTemporary, 592 bool CreateMissingDirectories) { 593 std::string OutputPathName, TempPathName; 594 std::error_code EC; 595 std::unique_ptr<raw_pwrite_stream> OS = createOutputFile( 596 OutputPath, EC, Binary, RemoveFileOnSignal, InFile, Extension, 597 UseTemporary, CreateMissingDirectories, &OutputPathName, &TempPathName); 598 if (!OS) { 599 getDiagnostics().Report(diag::err_fe_unable_to_open_output) << OutputPath 600 << EC.message(); 601 return nullptr; 602 } 603 604 raw_pwrite_stream *Ret = OS.get(); 605 // Add the output file -- but don't try to remove "-", since this means we are 606 // using stdin. 607 addOutputFile(OutputFile((OutputPathName != "-") ? OutputPathName : "", 608 TempPathName, std::move(OS))); 609 610 return Ret; 611 } 612 613 std::unique_ptr<llvm::raw_pwrite_stream> CompilerInstance::createOutputFile( 614 StringRef OutputPath, std::error_code &Error, bool Binary, 615 bool RemoveFileOnSignal, StringRef InFile, StringRef Extension, 616 bool UseTemporary, bool CreateMissingDirectories, 617 std::string *ResultPathName, std::string *TempPathName) { 618 assert((!CreateMissingDirectories || UseTemporary) && 619 "CreateMissingDirectories is only allowed when using temporary files"); 620 621 std::string OutFile, TempFile; 622 if (!OutputPath.empty()) { 623 OutFile = OutputPath; 624 } else if (InFile == "-") { 625 OutFile = "-"; 626 } else if (!Extension.empty()) { 627 SmallString<128> Path(InFile); 628 llvm::sys::path::replace_extension(Path, Extension); 629 OutFile = Path.str(); 630 } else { 631 OutFile = "-"; 632 } 633 634 std::unique_ptr<llvm::raw_fd_ostream> OS; 635 std::string OSFile; 636 637 if (UseTemporary) { 638 if (OutFile == "-") 639 UseTemporary = false; 640 else { 641 llvm::sys::fs::file_status Status; 642 llvm::sys::fs::status(OutputPath, Status); 643 if (llvm::sys::fs::exists(Status)) { 644 // Fail early if we can't write to the final destination. 645 if (!llvm::sys::fs::can_write(OutputPath)) { 646 Error = make_error_code(llvm::errc::operation_not_permitted); 647 return nullptr; 648 } 649 650 // Don't use a temporary if the output is a special file. This handles 651 // things like '-o /dev/null' 652 if (!llvm::sys::fs::is_regular_file(Status)) 653 UseTemporary = false; 654 } 655 } 656 } 657 658 if (UseTemporary) { 659 // Create a temporary file. 660 SmallString<128> TempPath; 661 TempPath = OutFile; 662 TempPath += "-%%%%%%%%"; 663 int fd; 664 std::error_code EC = 665 llvm::sys::fs::createUniqueFile(TempPath, fd, TempPath); 666 667 if (CreateMissingDirectories && 668 EC == llvm::errc::no_such_file_or_directory) { 669 StringRef Parent = llvm::sys::path::parent_path(OutputPath); 670 EC = llvm::sys::fs::create_directories(Parent); 671 if (!EC) { 672 EC = llvm::sys::fs::createUniqueFile(TempPath, fd, TempPath); 673 } 674 } 675 676 if (!EC) { 677 OS.reset(new llvm::raw_fd_ostream(fd, /*shouldClose=*/true)); 678 OSFile = TempFile = TempPath.str(); 679 } 680 // If we failed to create the temporary, fallback to writing to the file 681 // directly. This handles the corner case where we cannot write to the 682 // directory, but can write to the file. 683 } 684 685 if (!OS) { 686 OSFile = OutFile; 687 OS.reset(new llvm::raw_fd_ostream( 688 OSFile, Error, 689 (Binary ? llvm::sys::fs::F_None : llvm::sys::fs::F_Text))); 690 if (Error) 691 return nullptr; 692 } 693 694 // Make sure the out stream file gets removed if we crash. 695 if (RemoveFileOnSignal) 696 llvm::sys::RemoveFileOnSignal(OSFile); 697 698 if (ResultPathName) 699 *ResultPathName = OutFile; 700 if (TempPathName) 701 *TempPathName = TempFile; 702 703 if (!Binary || OS->supportsSeeking()) 704 return std::move(OS); 705 706 auto B = llvm::make_unique<llvm::buffer_ostream>(*OS); 707 assert(!NonSeekStream); 708 NonSeekStream = std::move(OS); 709 return std::move(B); 710 } 711 712 // Initialization Utilities 713 714 bool CompilerInstance::InitializeSourceManager(const FrontendInputFile &Input){ 715 return InitializeSourceManager( 716 Input, getDiagnostics(), getFileManager(), getSourceManager(), 717 hasPreprocessor() ? &getPreprocessor().getHeaderSearchInfo() : nullptr, 718 getFrontendOpts()); 719 } 720 721 // static 722 bool CompilerInstance::InitializeSourceManager(const FrontendInputFile &Input, 723 DiagnosticsEngine &Diags, 724 FileManager &FileMgr, 725 SourceManager &SourceMgr, 726 HeaderSearch *HS, 727 const FrontendOptions &Opts) { 728 SrcMgr::CharacteristicKind 729 Kind = Input.isSystem() ? SrcMgr::C_System : SrcMgr::C_User; 730 731 if (Input.isBuffer()) { 732 SourceMgr.setMainFileID(SourceMgr.createFileID( 733 std::unique_ptr<llvm::MemoryBuffer>(Input.getBuffer()), Kind)); 734 assert(SourceMgr.getMainFileID().isValid() && 735 "Couldn't establish MainFileID!"); 736 return true; 737 } 738 739 StringRef InputFile = Input.getFile(); 740 741 // Figure out where to get and map in the main file. 742 if (InputFile != "-") { 743 const FileEntry *File; 744 if (Opts.FindPchSource.empty()) { 745 File = FileMgr.getFile(InputFile, /*OpenFile=*/true); 746 } else { 747 // When building a pch file in clang-cl mode, the .h file is built as if 748 // it was included by a cc file. Since the driver doesn't know about 749 // all include search directories, the frontend must search the input 750 // file through HeaderSearch here, as if it had been included by the 751 // cc file at Opts.FindPchSource. 752 const FileEntry *FindFile = FileMgr.getFile(Opts.FindPchSource); 753 if (!FindFile) { 754 Diags.Report(diag::err_fe_error_reading) << Opts.FindPchSource; 755 return false; 756 } 757 const DirectoryLookup *UnusedCurDir; 758 SmallVector<std::pair<const FileEntry *, const DirectoryEntry *>, 16> 759 Includers; 760 Includers.push_back(std::make_pair(FindFile, FindFile->getDir())); 761 File = HS->LookupFile(InputFile, SourceLocation(), /*isAngled=*/false, 762 /*FromDir=*/nullptr, 763 /*CurDir=*/UnusedCurDir, Includers, 764 /*SearchPath=*/nullptr, 765 /*RelativePath=*/nullptr, 766 /*RequestingModule=*/nullptr, 767 /*SuggestedModule=*/nullptr, /*SkipCache=*/true); 768 } 769 if (!File) { 770 Diags.Report(diag::err_fe_error_reading) << InputFile; 771 return false; 772 } 773 774 // The natural SourceManager infrastructure can't currently handle named 775 // pipes, but we would at least like to accept them for the main 776 // file. Detect them here, read them with the volatile flag so FileMgr will 777 // pick up the correct size, and simply override their contents as we do for 778 // STDIN. 779 if (File->isNamedPipe()) { 780 auto MB = FileMgr.getBufferForFile(File, /*isVolatile=*/true); 781 if (MB) { 782 // Create a new virtual file that will have the correct size. 783 File = FileMgr.getVirtualFile(InputFile, (*MB)->getBufferSize(), 0); 784 SourceMgr.overrideFileContents(File, std::move(*MB)); 785 } else { 786 Diags.Report(diag::err_cannot_open_file) << InputFile 787 << MB.getError().message(); 788 return false; 789 } 790 } 791 792 SourceMgr.setMainFileID( 793 SourceMgr.createFileID(File, SourceLocation(), Kind)); 794 } else { 795 llvm::ErrorOr<std::unique_ptr<llvm::MemoryBuffer>> SBOrErr = 796 llvm::MemoryBuffer::getSTDIN(); 797 if (std::error_code EC = SBOrErr.getError()) { 798 Diags.Report(diag::err_fe_error_reading_stdin) << EC.message(); 799 return false; 800 } 801 std::unique_ptr<llvm::MemoryBuffer> SB = std::move(SBOrErr.get()); 802 803 const FileEntry *File = FileMgr.getVirtualFile(SB->getBufferIdentifier(), 804 SB->getBufferSize(), 0); 805 SourceMgr.setMainFileID( 806 SourceMgr.createFileID(File, SourceLocation(), Kind)); 807 SourceMgr.overrideFileContents(File, std::move(SB)); 808 } 809 810 assert(SourceMgr.getMainFileID().isValid() && 811 "Couldn't establish MainFileID!"); 812 return true; 813 } 814 815 // High-Level Operations 816 817 bool CompilerInstance::ExecuteAction(FrontendAction &Act) { 818 assert(hasDiagnostics() && "Diagnostics engine is not initialized!"); 819 assert(!getFrontendOpts().ShowHelp && "Client must handle '-help'!"); 820 assert(!getFrontendOpts().ShowVersion && "Client must handle '-version'!"); 821 822 // FIXME: Take this as an argument, once all the APIs we used have moved to 823 // taking it as an input instead of hard-coding llvm::errs. 824 raw_ostream &OS = llvm::errs(); 825 826 // Create the target instance. 827 setTarget(TargetInfo::CreateTargetInfo(getDiagnostics(), 828 getInvocation().TargetOpts)); 829 if (!hasTarget()) 830 return false; 831 832 // Create TargetInfo for the other side of CUDA compilation. 833 if (getLangOpts().CUDA && !getFrontendOpts().AuxTriple.empty()) { 834 std::shared_ptr<TargetOptions> TO(new TargetOptions); 835 TO->Triple = getFrontendOpts().AuxTriple; 836 setAuxTarget(TargetInfo::CreateTargetInfo(getDiagnostics(), TO)); 837 } 838 839 // Inform the target of the language options. 840 // 841 // FIXME: We shouldn't need to do this, the target should be immutable once 842 // created. This complexity should be lifted elsewhere. 843 getTarget().adjust(getLangOpts()); 844 845 // rewriter project will change target built-in bool type from its default. 846 if (getFrontendOpts().ProgramAction == frontend::RewriteObjC) 847 getTarget().noSignedCharForObjCBool(); 848 849 // Validate/process some options. 850 if (getHeaderSearchOpts().Verbose) 851 OS << "clang -cc1 version " CLANG_VERSION_STRING 852 << " based upon " << BACKEND_PACKAGE_STRING 853 << " default target " << llvm::sys::getDefaultTargetTriple() << "\n"; 854 855 if (getFrontendOpts().ShowTimers) 856 createFrontendTimer(); 857 858 if (getFrontendOpts().ShowStats) 859 llvm::EnableStatistics(); 860 861 for (const FrontendInputFile &FIF : getFrontendOpts().Inputs) { 862 // Reset the ID tables if we are reusing the SourceManager and parsing 863 // regular files. 864 if (hasSourceManager() && !Act.isModelParsingAction()) 865 getSourceManager().clearIDTables(); 866 867 if (Act.BeginSourceFile(*this, FIF)) { 868 Act.Execute(); 869 Act.EndSourceFile(); 870 } 871 } 872 873 // Notify the diagnostic client that all files were processed. 874 getDiagnostics().getClient()->finish(); 875 876 if (getDiagnosticOpts().ShowCarets) { 877 // We can have multiple diagnostics sharing one diagnostic client. 878 // Get the total number of warnings/errors from the client. 879 unsigned NumWarnings = getDiagnostics().getClient()->getNumWarnings(); 880 unsigned NumErrors = getDiagnostics().getClient()->getNumErrors(); 881 882 if (NumWarnings) 883 OS << NumWarnings << " warning" << (NumWarnings == 1 ? "" : "s"); 884 if (NumWarnings && NumErrors) 885 OS << " and "; 886 if (NumErrors) 887 OS << NumErrors << " error" << (NumErrors == 1 ? "" : "s"); 888 if (NumWarnings || NumErrors) 889 OS << " generated.\n"; 890 } 891 892 if (getFrontendOpts().ShowStats && hasFileManager()) { 893 getFileManager().PrintStats(); 894 OS << "\n"; 895 } 896 897 return !getDiagnostics().getClient()->getNumErrors(); 898 } 899 900 /// \brief Determine the appropriate source input kind based on language 901 /// options. 902 static InputKind getSourceInputKindFromOptions(const LangOptions &LangOpts) { 903 if (LangOpts.OpenCL) 904 return IK_OpenCL; 905 if (LangOpts.CUDA) 906 return IK_CUDA; 907 if (LangOpts.ObjC1) 908 return LangOpts.CPlusPlus? IK_ObjCXX : IK_ObjC; 909 return LangOpts.CPlusPlus? IK_CXX : IK_C; 910 } 911 912 /// \brief Compile a module file for the given module, using the options 913 /// provided by the importing compiler instance. Returns true if the module 914 /// was built without errors. 915 static bool compileModuleImpl(CompilerInstance &ImportingInstance, 916 SourceLocation ImportLoc, 917 Module *Module, 918 StringRef ModuleFileName) { 919 ModuleMap &ModMap 920 = ImportingInstance.getPreprocessor().getHeaderSearchInfo().getModuleMap(); 921 922 // Construct a compiler invocation for creating this module. 923 IntrusiveRefCntPtr<CompilerInvocation> Invocation 924 (new CompilerInvocation(ImportingInstance.getInvocation())); 925 926 PreprocessorOptions &PPOpts = Invocation->getPreprocessorOpts(); 927 928 // For any options that aren't intended to affect how a module is built, 929 // reset them to their default values. 930 Invocation->getLangOpts()->resetNonModularOptions(); 931 PPOpts.resetNonModularOptions(); 932 933 // Remove any macro definitions that are explicitly ignored by the module. 934 // They aren't supposed to affect how the module is built anyway. 935 const HeaderSearchOptions &HSOpts = Invocation->getHeaderSearchOpts(); 936 PPOpts.Macros.erase( 937 std::remove_if(PPOpts.Macros.begin(), PPOpts.Macros.end(), 938 [&HSOpts](const std::pair<std::string, bool> &def) { 939 StringRef MacroDef = def.first; 940 return HSOpts.ModulesIgnoreMacros.count(MacroDef.split('=').first) > 0; 941 }), 942 PPOpts.Macros.end()); 943 944 // Note the name of the module we're building. 945 Invocation->getLangOpts()->CurrentModule = Module->getTopLevelModuleName(); 946 947 // Make sure that the failed-module structure has been allocated in 948 // the importing instance, and propagate the pointer to the newly-created 949 // instance. 950 PreprocessorOptions &ImportingPPOpts 951 = ImportingInstance.getInvocation().getPreprocessorOpts(); 952 if (!ImportingPPOpts.FailedModules) 953 ImportingPPOpts.FailedModules = new PreprocessorOptions::FailedModulesSet; 954 PPOpts.FailedModules = ImportingPPOpts.FailedModules; 955 956 // If there is a module map file, build the module using the module map. 957 // Set up the inputs/outputs so that we build the module from its umbrella 958 // header. 959 FrontendOptions &FrontendOpts = Invocation->getFrontendOpts(); 960 FrontendOpts.OutputFile = ModuleFileName.str(); 961 FrontendOpts.DisableFree = false; 962 FrontendOpts.GenerateGlobalModuleIndex = false; 963 FrontendOpts.BuildingImplicitModule = true; 964 FrontendOpts.Inputs.clear(); 965 InputKind IK = getSourceInputKindFromOptions(*Invocation->getLangOpts()); 966 967 // Don't free the remapped file buffers; they are owned by our caller. 968 PPOpts.RetainRemappedFileBuffers = true; 969 970 Invocation->getDiagnosticOpts().VerifyDiagnostics = 0; 971 assert(ImportingInstance.getInvocation().getModuleHash() == 972 Invocation->getModuleHash() && "Module hash mismatch!"); 973 974 // Construct a compiler instance that will be used to actually create the 975 // module. 976 CompilerInstance Instance(ImportingInstance.getPCHContainerOperations(), 977 /*BuildingModule=*/true); 978 Instance.setInvocation(&*Invocation); 979 980 Instance.createDiagnostics(new ForwardingDiagnosticConsumer( 981 ImportingInstance.getDiagnosticClient()), 982 /*ShouldOwnClient=*/true); 983 984 Instance.setVirtualFileSystem(&ImportingInstance.getVirtualFileSystem()); 985 986 // Note that this module is part of the module build stack, so that we 987 // can detect cycles in the module graph. 988 Instance.setFileManager(&ImportingInstance.getFileManager()); 989 Instance.createSourceManager(Instance.getFileManager()); 990 SourceManager &SourceMgr = Instance.getSourceManager(); 991 SourceMgr.setModuleBuildStack( 992 ImportingInstance.getSourceManager().getModuleBuildStack()); 993 SourceMgr.pushModuleBuildStack(Module->getTopLevelModuleName(), 994 FullSourceLoc(ImportLoc, ImportingInstance.getSourceManager())); 995 996 // If we're collecting module dependencies, we need to share a collector 997 // between all of the module CompilerInstances. Other than that, we don't 998 // want to produce any dependency output from the module build. 999 Instance.setModuleDepCollector(ImportingInstance.getModuleDepCollector()); 1000 Invocation->getDependencyOutputOpts() = DependencyOutputOptions(); 1001 1002 // Get or create the module map that we'll use to build this module. 1003 std::string InferredModuleMapContent; 1004 if (const FileEntry *ModuleMapFile = 1005 ModMap.getContainingModuleMapFile(Module)) { 1006 // Use the module map where this module resides. 1007 FrontendOpts.Inputs.emplace_back(ModuleMapFile->getName(), IK); 1008 } else { 1009 SmallString<128> FakeModuleMapFile(Module->Directory->getName()); 1010 llvm::sys::path::append(FakeModuleMapFile, "__inferred_module.map"); 1011 FrontendOpts.Inputs.emplace_back(FakeModuleMapFile, IK); 1012 1013 llvm::raw_string_ostream OS(InferredModuleMapContent); 1014 Module->print(OS); 1015 OS.flush(); 1016 1017 std::unique_ptr<llvm::MemoryBuffer> ModuleMapBuffer = 1018 llvm::MemoryBuffer::getMemBuffer(InferredModuleMapContent); 1019 ModuleMapFile = Instance.getFileManager().getVirtualFile( 1020 FakeModuleMapFile, InferredModuleMapContent.size(), 0); 1021 SourceMgr.overrideFileContents(ModuleMapFile, std::move(ModuleMapBuffer)); 1022 } 1023 1024 // Construct a module-generating action. Passing through the module map is 1025 // safe because the FileManager is shared between the compiler instances. 1026 GenerateModuleAction CreateModuleAction( 1027 ModMap.getModuleMapFileForUniquing(Module), Module->IsSystem); 1028 1029 ImportingInstance.getDiagnostics().Report(ImportLoc, 1030 diag::remark_module_build) 1031 << Module->Name << ModuleFileName; 1032 1033 // Execute the action to actually build the module in-place. Use a separate 1034 // thread so that we get a stack large enough. 1035 const unsigned ThreadStackSize = 8 << 20; 1036 llvm::CrashRecoveryContext CRC; 1037 CRC.RunSafelyOnThread([&]() { Instance.ExecuteAction(CreateModuleAction); }, 1038 ThreadStackSize); 1039 1040 ImportingInstance.getDiagnostics().Report(ImportLoc, 1041 diag::remark_module_build_done) 1042 << Module->Name; 1043 1044 // Delete the temporary module map file. 1045 // FIXME: Even though we're executing under crash protection, it would still 1046 // be nice to do this with RemoveFileOnSignal when we can. However, that 1047 // doesn't make sense for all clients, so clean this up manually. 1048 Instance.clearOutputFiles(/*EraseFiles=*/true); 1049 1050 // We've rebuilt a module. If we're allowed to generate or update the global 1051 // module index, record that fact in the importing compiler instance. 1052 if (ImportingInstance.getFrontendOpts().GenerateGlobalModuleIndex) { 1053 ImportingInstance.setBuildGlobalModuleIndex(true); 1054 } 1055 1056 return !Instance.getDiagnostics().hasErrorOccurred(); 1057 } 1058 1059 static bool compileAndLoadModule(CompilerInstance &ImportingInstance, 1060 SourceLocation ImportLoc, 1061 SourceLocation ModuleNameLoc, Module *Module, 1062 StringRef ModuleFileName) { 1063 DiagnosticsEngine &Diags = ImportingInstance.getDiagnostics(); 1064 1065 auto diagnoseBuildFailure = [&] { 1066 Diags.Report(ModuleNameLoc, diag::err_module_not_built) 1067 << Module->Name << SourceRange(ImportLoc, ModuleNameLoc); 1068 }; 1069 1070 // FIXME: have LockFileManager return an error_code so that we can 1071 // avoid the mkdir when the directory already exists. 1072 StringRef Dir = llvm::sys::path::parent_path(ModuleFileName); 1073 llvm::sys::fs::create_directories(Dir); 1074 1075 while (1) { 1076 unsigned ModuleLoadCapabilities = ASTReader::ARR_Missing; 1077 llvm::LockFileManager Locked(ModuleFileName); 1078 switch (Locked) { 1079 case llvm::LockFileManager::LFS_Error: 1080 Diags.Report(ModuleNameLoc, diag::err_module_lock_failure) 1081 << Module->Name; 1082 return false; 1083 1084 case llvm::LockFileManager::LFS_Owned: 1085 // We're responsible for building the module ourselves. 1086 if (!compileModuleImpl(ImportingInstance, ModuleNameLoc, Module, 1087 ModuleFileName)) { 1088 diagnoseBuildFailure(); 1089 return false; 1090 } 1091 break; 1092 1093 case llvm::LockFileManager::LFS_Shared: 1094 // Someone else is responsible for building the module. Wait for them to 1095 // finish. 1096 switch (Locked.waitForUnlock()) { 1097 case llvm::LockFileManager::Res_Success: 1098 ModuleLoadCapabilities |= ASTReader::ARR_OutOfDate; 1099 break; 1100 case llvm::LockFileManager::Res_OwnerDied: 1101 continue; // try again to get the lock. 1102 case llvm::LockFileManager::Res_Timeout: 1103 Diags.Report(ModuleNameLoc, diag::err_module_lock_timeout) 1104 << Module->Name; 1105 // Clear the lock file so that future invokations can make progress. 1106 Locked.unsafeRemoveLockFile(); 1107 return false; 1108 } 1109 break; 1110 } 1111 1112 // Try to read the module file, now that we've compiled it. 1113 ASTReader::ASTReadResult ReadResult = 1114 ImportingInstance.getModuleManager()->ReadAST( 1115 ModuleFileName, serialization::MK_ImplicitModule, ImportLoc, 1116 ModuleLoadCapabilities); 1117 1118 if (ReadResult == ASTReader::OutOfDate && 1119 Locked == llvm::LockFileManager::LFS_Shared) { 1120 // The module may be out of date in the presence of file system races, 1121 // or if one of its imports depends on header search paths that are not 1122 // consistent with this ImportingInstance. Try again... 1123 continue; 1124 } else if (ReadResult == ASTReader::Missing) { 1125 diagnoseBuildFailure(); 1126 } else if (ReadResult != ASTReader::Success && 1127 !Diags.hasErrorOccurred()) { 1128 // The ASTReader didn't diagnose the error, so conservatively report it. 1129 diagnoseBuildFailure(); 1130 } 1131 return ReadResult == ASTReader::Success; 1132 } 1133 } 1134 1135 /// \brief Diagnose differences between the current definition of the given 1136 /// configuration macro and the definition provided on the command line. 1137 static void checkConfigMacro(Preprocessor &PP, StringRef ConfigMacro, 1138 Module *Mod, SourceLocation ImportLoc) { 1139 IdentifierInfo *Id = PP.getIdentifierInfo(ConfigMacro); 1140 SourceManager &SourceMgr = PP.getSourceManager(); 1141 1142 // If this identifier has never had a macro definition, then it could 1143 // not have changed. 1144 if (!Id->hadMacroDefinition()) 1145 return; 1146 auto *LatestLocalMD = PP.getLocalMacroDirectiveHistory(Id); 1147 1148 // Find the macro definition from the command line. 1149 MacroInfo *CmdLineDefinition = nullptr; 1150 for (auto *MD = LatestLocalMD; MD; MD = MD->getPrevious()) { 1151 // We only care about the predefines buffer. 1152 FileID FID = SourceMgr.getFileID(MD->getLocation()); 1153 if (FID.isInvalid() || FID != PP.getPredefinesFileID()) 1154 continue; 1155 if (auto *DMD = dyn_cast<DefMacroDirective>(MD)) 1156 CmdLineDefinition = DMD->getMacroInfo(); 1157 break; 1158 } 1159 1160 auto *CurrentDefinition = PP.getMacroInfo(Id); 1161 if (CurrentDefinition == CmdLineDefinition) { 1162 // Macro matches. Nothing to do. 1163 } else if (!CurrentDefinition) { 1164 // This macro was defined on the command line, then #undef'd later. 1165 // Complain. 1166 PP.Diag(ImportLoc, diag::warn_module_config_macro_undef) 1167 << true << ConfigMacro << Mod->getFullModuleName(); 1168 auto LatestDef = LatestLocalMD->getDefinition(); 1169 assert(LatestDef.isUndefined() && 1170 "predefined macro went away with no #undef?"); 1171 PP.Diag(LatestDef.getUndefLocation(), diag::note_module_def_undef_here) 1172 << true; 1173 return; 1174 } else if (!CmdLineDefinition) { 1175 // There was no definition for this macro in the predefines buffer, 1176 // but there was a local definition. Complain. 1177 PP.Diag(ImportLoc, diag::warn_module_config_macro_undef) 1178 << false << ConfigMacro << Mod->getFullModuleName(); 1179 PP.Diag(CurrentDefinition->getDefinitionLoc(), 1180 diag::note_module_def_undef_here) 1181 << false; 1182 } else if (!CurrentDefinition->isIdenticalTo(*CmdLineDefinition, PP, 1183 /*Syntactically=*/true)) { 1184 // The macro definitions differ. 1185 PP.Diag(ImportLoc, diag::warn_module_config_macro_undef) 1186 << false << ConfigMacro << Mod->getFullModuleName(); 1187 PP.Diag(CurrentDefinition->getDefinitionLoc(), 1188 diag::note_module_def_undef_here) 1189 << false; 1190 } 1191 } 1192 1193 /// \brief Write a new timestamp file with the given path. 1194 static void writeTimestampFile(StringRef TimestampFile) { 1195 std::error_code EC; 1196 llvm::raw_fd_ostream Out(TimestampFile.str(), EC, llvm::sys::fs::F_None); 1197 } 1198 1199 /// \brief Prune the module cache of modules that haven't been accessed in 1200 /// a long time. 1201 static void pruneModuleCache(const HeaderSearchOptions &HSOpts) { 1202 struct stat StatBuf; 1203 llvm::SmallString<128> TimestampFile; 1204 TimestampFile = HSOpts.ModuleCachePath; 1205 assert(!TimestampFile.empty()); 1206 llvm::sys::path::append(TimestampFile, "modules.timestamp"); 1207 1208 // Try to stat() the timestamp file. 1209 if (::stat(TimestampFile.c_str(), &StatBuf)) { 1210 // If the timestamp file wasn't there, create one now. 1211 if (errno == ENOENT) { 1212 writeTimestampFile(TimestampFile); 1213 } 1214 return; 1215 } 1216 1217 // Check whether the time stamp is older than our pruning interval. 1218 // If not, do nothing. 1219 time_t TimeStampModTime = StatBuf.st_mtime; 1220 time_t CurrentTime = time(nullptr); 1221 if (CurrentTime - TimeStampModTime <= time_t(HSOpts.ModuleCachePruneInterval)) 1222 return; 1223 1224 // Write a new timestamp file so that nobody else attempts to prune. 1225 // There is a benign race condition here, if two Clang instances happen to 1226 // notice at the same time that the timestamp is out-of-date. 1227 writeTimestampFile(TimestampFile); 1228 1229 // Walk the entire module cache, looking for unused module files and module 1230 // indices. 1231 std::error_code EC; 1232 SmallString<128> ModuleCachePathNative; 1233 llvm::sys::path::native(HSOpts.ModuleCachePath, ModuleCachePathNative); 1234 for (llvm::sys::fs::directory_iterator Dir(ModuleCachePathNative, EC), DirEnd; 1235 Dir != DirEnd && !EC; Dir.increment(EC)) { 1236 // If we don't have a directory, there's nothing to look into. 1237 if (!llvm::sys::fs::is_directory(Dir->path())) 1238 continue; 1239 1240 // Walk all of the files within this directory. 1241 for (llvm::sys::fs::directory_iterator File(Dir->path(), EC), FileEnd; 1242 File != FileEnd && !EC; File.increment(EC)) { 1243 // We only care about module and global module index files. 1244 StringRef Extension = llvm::sys::path::extension(File->path()); 1245 if (Extension != ".pcm" && Extension != ".timestamp" && 1246 llvm::sys::path::filename(File->path()) != "modules.idx") 1247 continue; 1248 1249 // Look at this file. If we can't stat it, there's nothing interesting 1250 // there. 1251 if (::stat(File->path().c_str(), &StatBuf)) 1252 continue; 1253 1254 // If the file has been used recently enough, leave it there. 1255 time_t FileAccessTime = StatBuf.st_atime; 1256 if (CurrentTime - FileAccessTime <= 1257 time_t(HSOpts.ModuleCachePruneAfter)) { 1258 continue; 1259 } 1260 1261 // Remove the file. 1262 llvm::sys::fs::remove(File->path()); 1263 1264 // Remove the timestamp file. 1265 std::string TimpestampFilename = File->path() + ".timestamp"; 1266 llvm::sys::fs::remove(TimpestampFilename); 1267 } 1268 1269 // If we removed all of the files in the directory, remove the directory 1270 // itself. 1271 if (llvm::sys::fs::directory_iterator(Dir->path(), EC) == 1272 llvm::sys::fs::directory_iterator() && !EC) 1273 llvm::sys::fs::remove(Dir->path()); 1274 } 1275 } 1276 1277 void CompilerInstance::createModuleManager() { 1278 if (!ModuleManager) { 1279 if (!hasASTContext()) 1280 createASTContext(); 1281 1282 // If we're implicitly building modules but not currently recursively 1283 // building a module, check whether we need to prune the module cache. 1284 if (getSourceManager().getModuleBuildStack().empty() && 1285 !getPreprocessor().getHeaderSearchInfo().getModuleCachePath().empty() && 1286 getHeaderSearchOpts().ModuleCachePruneInterval > 0 && 1287 getHeaderSearchOpts().ModuleCachePruneAfter > 0) { 1288 pruneModuleCache(getHeaderSearchOpts()); 1289 } 1290 1291 HeaderSearchOptions &HSOpts = getHeaderSearchOpts(); 1292 std::string Sysroot = HSOpts.Sysroot; 1293 const PreprocessorOptions &PPOpts = getPreprocessorOpts(); 1294 std::unique_ptr<llvm::Timer> ReadTimer; 1295 if (FrontendTimerGroup) 1296 ReadTimer = llvm::make_unique<llvm::Timer>("Reading modules", 1297 *FrontendTimerGroup); 1298 ModuleManager = new ASTReader( 1299 getPreprocessor(), getASTContext(), getPCHContainerReader(), 1300 getFrontendOpts().ModuleFileExtensions, 1301 Sysroot.empty() ? "" : Sysroot.c_str(), PPOpts.DisablePCHValidation, 1302 /*AllowASTWithCompilerErrors=*/false, 1303 /*AllowConfigurationMismatch=*/false, 1304 HSOpts.ModulesValidateSystemHeaders, 1305 getFrontendOpts().UseGlobalModuleIndex, 1306 std::move(ReadTimer)); 1307 if (hasASTConsumer()) { 1308 ModuleManager->setDeserializationListener( 1309 getASTConsumer().GetASTDeserializationListener()); 1310 getASTContext().setASTMutationListener( 1311 getASTConsumer().GetASTMutationListener()); 1312 } 1313 getASTContext().setExternalSource(ModuleManager); 1314 if (hasSema()) 1315 ModuleManager->InitializeSema(getSema()); 1316 if (hasASTConsumer()) 1317 ModuleManager->StartTranslationUnit(&getASTConsumer()); 1318 1319 if (TheDependencyFileGenerator) 1320 TheDependencyFileGenerator->AttachToASTReader(*ModuleManager); 1321 if (ModuleDepCollector) 1322 ModuleDepCollector->attachToASTReader(*ModuleManager); 1323 for (auto &Listener : DependencyCollectors) 1324 Listener->attachToASTReader(*ModuleManager); 1325 } 1326 } 1327 1328 bool CompilerInstance::loadModuleFile(StringRef FileName) { 1329 llvm::Timer Timer; 1330 if (FrontendTimerGroup) 1331 Timer.init("Preloading " + FileName.str(), *FrontendTimerGroup); 1332 llvm::TimeRegion TimeLoading(FrontendTimerGroup ? &Timer : nullptr); 1333 1334 // Helper to recursively read the module names for all modules we're adding. 1335 // We mark these as known and redirect any attempt to load that module to 1336 // the files we were handed. 1337 struct ReadModuleNames : ASTReaderListener { 1338 CompilerInstance &CI; 1339 llvm::SmallVector<IdentifierInfo*, 8> LoadedModules; 1340 1341 ReadModuleNames(CompilerInstance &CI) : CI(CI) {} 1342 1343 void ReadModuleName(StringRef ModuleName) override { 1344 LoadedModules.push_back( 1345 CI.getPreprocessor().getIdentifierInfo(ModuleName)); 1346 } 1347 1348 void registerAll() { 1349 for (auto *II : LoadedModules) { 1350 CI.KnownModules[II] = CI.getPreprocessor() 1351 .getHeaderSearchInfo() 1352 .getModuleMap() 1353 .findModule(II->getName()); 1354 } 1355 LoadedModules.clear(); 1356 } 1357 1358 void markAllUnavailable() { 1359 for (auto *II : LoadedModules) { 1360 if (Module *M = CI.getPreprocessor() 1361 .getHeaderSearchInfo() 1362 .getModuleMap() 1363 .findModule(II->getName())) 1364 M->HasIncompatibleModuleFile = true; 1365 } 1366 LoadedModules.clear(); 1367 } 1368 }; 1369 1370 // If we don't already have an ASTReader, create one now. 1371 if (!ModuleManager) 1372 createModuleManager(); 1373 1374 auto Listener = llvm::make_unique<ReadModuleNames>(*this); 1375 auto &ListenerRef = *Listener; 1376 ASTReader::ListenerScope ReadModuleNamesListener(*ModuleManager, 1377 std::move(Listener)); 1378 1379 // Try to load the module file. 1380 switch (ModuleManager->ReadAST(FileName, serialization::MK_ExplicitModule, 1381 SourceLocation(), 1382 ASTReader::ARR_ConfigurationMismatch)) { 1383 case ASTReader::Success: 1384 // We successfully loaded the module file; remember the set of provided 1385 // modules so that we don't try to load implicit modules for them. 1386 ListenerRef.registerAll(); 1387 return true; 1388 1389 case ASTReader::ConfigurationMismatch: 1390 // Ignore unusable module files. 1391 getDiagnostics().Report(SourceLocation(), diag::warn_module_config_mismatch) 1392 << FileName; 1393 // All modules provided by any files we tried and failed to load are now 1394 // unavailable; includes of those modules should now be handled textually. 1395 ListenerRef.markAllUnavailable(); 1396 return true; 1397 1398 default: 1399 return false; 1400 } 1401 } 1402 1403 ModuleLoadResult 1404 CompilerInstance::loadModule(SourceLocation ImportLoc, 1405 ModuleIdPath Path, 1406 Module::NameVisibilityKind Visibility, 1407 bool IsInclusionDirective) { 1408 // Determine what file we're searching from. 1409 StringRef ModuleName = Path[0].first->getName(); 1410 SourceLocation ModuleNameLoc = Path[0].second; 1411 1412 // If we've already handled this import, just return the cached result. 1413 // This one-element cache is important to eliminate redundant diagnostics 1414 // when both the preprocessor and parser see the same import declaration. 1415 if (ImportLoc.isValid() && LastModuleImportLoc == ImportLoc) { 1416 // Make the named module visible. 1417 if (LastModuleImportResult && ModuleName != getLangOpts().CurrentModule) 1418 ModuleManager->makeModuleVisible(LastModuleImportResult, Visibility, 1419 ImportLoc); 1420 return LastModuleImportResult; 1421 } 1422 1423 clang::Module *Module = nullptr; 1424 1425 // If we don't already have information on this module, load the module now. 1426 llvm::DenseMap<const IdentifierInfo *, clang::Module *>::iterator Known 1427 = KnownModules.find(Path[0].first); 1428 if (Known != KnownModules.end()) { 1429 // Retrieve the cached top-level module. 1430 Module = Known->second; 1431 } else if (ModuleName == getLangOpts().CurrentModule) { 1432 // This is the module we're building. 1433 Module = PP->getHeaderSearchInfo().lookupModule(ModuleName); 1434 Known = KnownModules.insert(std::make_pair(Path[0].first, Module)).first; 1435 } else { 1436 // Search for a module with the given name. 1437 Module = PP->getHeaderSearchInfo().lookupModule(ModuleName); 1438 if (!Module) { 1439 getDiagnostics().Report(ModuleNameLoc, diag::err_module_not_found) 1440 << ModuleName 1441 << SourceRange(ImportLoc, ModuleNameLoc); 1442 ModuleBuildFailed = true; 1443 return ModuleLoadResult(); 1444 } 1445 1446 std::string ModuleFileName = 1447 PP->getHeaderSearchInfo().getModuleFileName(Module); 1448 if (ModuleFileName.empty()) { 1449 if (Module->HasIncompatibleModuleFile) { 1450 // We tried and failed to load a module file for this module. Fall 1451 // back to textual inclusion for its headers. 1452 return ModuleLoadResult(nullptr, /*missingExpected*/true); 1453 } 1454 1455 getDiagnostics().Report(ModuleNameLoc, diag::err_module_build_disabled) 1456 << ModuleName; 1457 ModuleBuildFailed = true; 1458 return ModuleLoadResult(); 1459 } 1460 1461 // If we don't already have an ASTReader, create one now. 1462 if (!ModuleManager) 1463 createModuleManager(); 1464 1465 llvm::Timer Timer; 1466 if (FrontendTimerGroup) 1467 Timer.init("Loading " + ModuleFileName, *FrontendTimerGroup); 1468 llvm::TimeRegion TimeLoading(FrontendTimerGroup ? &Timer : nullptr); 1469 1470 // Try to load the module file. 1471 unsigned ARRFlags = ASTReader::ARR_OutOfDate | ASTReader::ARR_Missing; 1472 switch (ModuleManager->ReadAST(ModuleFileName, 1473 serialization::MK_ImplicitModule, 1474 ImportLoc, ARRFlags)) { 1475 case ASTReader::Success: 1476 break; 1477 1478 case ASTReader::OutOfDate: 1479 case ASTReader::Missing: { 1480 // The module file is missing or out-of-date. Build it. 1481 assert(Module && "missing module file"); 1482 // Check whether there is a cycle in the module graph. 1483 ModuleBuildStack ModPath = getSourceManager().getModuleBuildStack(); 1484 ModuleBuildStack::iterator Pos = ModPath.begin(), PosEnd = ModPath.end(); 1485 for (; Pos != PosEnd; ++Pos) { 1486 if (Pos->first == ModuleName) 1487 break; 1488 } 1489 1490 if (Pos != PosEnd) { 1491 SmallString<256> CyclePath; 1492 for (; Pos != PosEnd; ++Pos) { 1493 CyclePath += Pos->first; 1494 CyclePath += " -> "; 1495 } 1496 CyclePath += ModuleName; 1497 1498 getDiagnostics().Report(ModuleNameLoc, diag::err_module_cycle) 1499 << ModuleName << CyclePath; 1500 return ModuleLoadResult(); 1501 } 1502 1503 // Check whether we have already attempted to build this module (but 1504 // failed). 1505 if (getPreprocessorOpts().FailedModules && 1506 getPreprocessorOpts().FailedModules->hasAlreadyFailed(ModuleName)) { 1507 getDiagnostics().Report(ModuleNameLoc, diag::err_module_not_built) 1508 << ModuleName 1509 << SourceRange(ImportLoc, ModuleNameLoc); 1510 ModuleBuildFailed = true; 1511 return ModuleLoadResult(); 1512 } 1513 1514 // Try to compile and then load the module. 1515 if (!compileAndLoadModule(*this, ImportLoc, ModuleNameLoc, Module, 1516 ModuleFileName)) { 1517 assert(getDiagnostics().hasErrorOccurred() && 1518 "undiagnosed error in compileAndLoadModule"); 1519 if (getPreprocessorOpts().FailedModules) 1520 getPreprocessorOpts().FailedModules->addFailed(ModuleName); 1521 KnownModules[Path[0].first] = nullptr; 1522 ModuleBuildFailed = true; 1523 return ModuleLoadResult(); 1524 } 1525 1526 // Okay, we've rebuilt and now loaded the module. 1527 break; 1528 } 1529 1530 case ASTReader::VersionMismatch: 1531 case ASTReader::ConfigurationMismatch: 1532 case ASTReader::HadErrors: 1533 ModuleLoader::HadFatalFailure = true; 1534 // FIXME: The ASTReader will already have complained, but can we shoehorn 1535 // that diagnostic information into a more useful form? 1536 KnownModules[Path[0].first] = nullptr; 1537 return ModuleLoadResult(); 1538 1539 case ASTReader::Failure: 1540 ModuleLoader::HadFatalFailure = true; 1541 // Already complained, but note now that we failed. 1542 KnownModules[Path[0].first] = nullptr; 1543 ModuleBuildFailed = true; 1544 return ModuleLoadResult(); 1545 } 1546 1547 // Cache the result of this top-level module lookup for later. 1548 Known = KnownModules.insert(std::make_pair(Path[0].first, Module)).first; 1549 } 1550 1551 // If we never found the module, fail. 1552 if (!Module) 1553 return ModuleLoadResult(); 1554 1555 // Verify that the rest of the module path actually corresponds to 1556 // a submodule. 1557 if (Path.size() > 1) { 1558 for (unsigned I = 1, N = Path.size(); I != N; ++I) { 1559 StringRef Name = Path[I].first->getName(); 1560 clang::Module *Sub = Module->findSubmodule(Name); 1561 1562 if (!Sub) { 1563 // Attempt to perform typo correction to find a module name that works. 1564 SmallVector<StringRef, 2> Best; 1565 unsigned BestEditDistance = (std::numeric_limits<unsigned>::max)(); 1566 1567 for (clang::Module::submodule_iterator J = Module->submodule_begin(), 1568 JEnd = Module->submodule_end(); 1569 J != JEnd; ++J) { 1570 unsigned ED = Name.edit_distance((*J)->Name, 1571 /*AllowReplacements=*/true, 1572 BestEditDistance); 1573 if (ED <= BestEditDistance) { 1574 if (ED < BestEditDistance) { 1575 Best.clear(); 1576 BestEditDistance = ED; 1577 } 1578 1579 Best.push_back((*J)->Name); 1580 } 1581 } 1582 1583 // If there was a clear winner, user it. 1584 if (Best.size() == 1) { 1585 getDiagnostics().Report(Path[I].second, 1586 diag::err_no_submodule_suggest) 1587 << Path[I].first << Module->getFullModuleName() << Best[0] 1588 << SourceRange(Path[0].second, Path[I-1].second) 1589 << FixItHint::CreateReplacement(SourceRange(Path[I].second), 1590 Best[0]); 1591 1592 Sub = Module->findSubmodule(Best[0]); 1593 } 1594 } 1595 1596 if (!Sub) { 1597 // No submodule by this name. Complain, and don't look for further 1598 // submodules. 1599 getDiagnostics().Report(Path[I].second, diag::err_no_submodule) 1600 << Path[I].first << Module->getFullModuleName() 1601 << SourceRange(Path[0].second, Path[I-1].second); 1602 break; 1603 } 1604 1605 Module = Sub; 1606 } 1607 } 1608 1609 // Make the named module visible, if it's not already part of the module 1610 // we are parsing. 1611 if (ModuleName != getLangOpts().CurrentModule) { 1612 if (!Module->IsFromModuleFile) { 1613 // We have an umbrella header or directory that doesn't actually include 1614 // all of the headers within the directory it covers. Complain about 1615 // this missing submodule and recover by forgetting that we ever saw 1616 // this submodule. 1617 // FIXME: Should we detect this at module load time? It seems fairly 1618 // expensive (and rare). 1619 getDiagnostics().Report(ImportLoc, diag::warn_missing_submodule) 1620 << Module->getFullModuleName() 1621 << SourceRange(Path.front().second, Path.back().second); 1622 1623 return ModuleLoadResult(nullptr, true); 1624 } 1625 1626 // Check whether this module is available. 1627 clang::Module::Requirement Requirement; 1628 clang::Module::UnresolvedHeaderDirective MissingHeader; 1629 if (!Module->isAvailable(getLangOpts(), getTarget(), Requirement, 1630 MissingHeader)) { 1631 if (MissingHeader.FileNameLoc.isValid()) { 1632 getDiagnostics().Report(MissingHeader.FileNameLoc, 1633 diag::err_module_header_missing) 1634 << MissingHeader.IsUmbrella << MissingHeader.FileName; 1635 } else { 1636 getDiagnostics().Report(ImportLoc, diag::err_module_unavailable) 1637 << Module->getFullModuleName() 1638 << Requirement.second << Requirement.first 1639 << SourceRange(Path.front().second, Path.back().second); 1640 } 1641 LastModuleImportLoc = ImportLoc; 1642 LastModuleImportResult = ModuleLoadResult(); 1643 return ModuleLoadResult(); 1644 } 1645 1646 ModuleManager->makeModuleVisible(Module, Visibility, ImportLoc); 1647 } 1648 1649 // Check for any configuration macros that have changed. 1650 clang::Module *TopModule = Module->getTopLevelModule(); 1651 for (unsigned I = 0, N = TopModule->ConfigMacros.size(); I != N; ++I) { 1652 checkConfigMacro(getPreprocessor(), TopModule->ConfigMacros[I], 1653 Module, ImportLoc); 1654 } 1655 1656 LastModuleImportLoc = ImportLoc; 1657 LastModuleImportResult = ModuleLoadResult(Module, false); 1658 return LastModuleImportResult; 1659 } 1660 1661 void CompilerInstance::makeModuleVisible(Module *Mod, 1662 Module::NameVisibilityKind Visibility, 1663 SourceLocation ImportLoc) { 1664 if (!ModuleManager) 1665 createModuleManager(); 1666 if (!ModuleManager) 1667 return; 1668 1669 ModuleManager->makeModuleVisible(Mod, Visibility, ImportLoc); 1670 } 1671 1672 GlobalModuleIndex *CompilerInstance::loadGlobalModuleIndex( 1673 SourceLocation TriggerLoc) { 1674 if (getPreprocessor().getHeaderSearchInfo().getModuleCachePath().empty()) 1675 return nullptr; 1676 if (!ModuleManager) 1677 createModuleManager(); 1678 // Can't do anything if we don't have the module manager. 1679 if (!ModuleManager) 1680 return nullptr; 1681 // Get an existing global index. This loads it if not already 1682 // loaded. 1683 ModuleManager->loadGlobalIndex(); 1684 GlobalModuleIndex *GlobalIndex = ModuleManager->getGlobalIndex(); 1685 // If the global index doesn't exist, create it. 1686 if (!GlobalIndex && shouldBuildGlobalModuleIndex() && hasFileManager() && 1687 hasPreprocessor()) { 1688 llvm::sys::fs::create_directories( 1689 getPreprocessor().getHeaderSearchInfo().getModuleCachePath()); 1690 GlobalModuleIndex::writeIndex( 1691 getFileManager(), getPCHContainerReader(), 1692 getPreprocessor().getHeaderSearchInfo().getModuleCachePath()); 1693 ModuleManager->resetForReload(); 1694 ModuleManager->loadGlobalIndex(); 1695 GlobalIndex = ModuleManager->getGlobalIndex(); 1696 } 1697 // For finding modules needing to be imported for fixit messages, 1698 // we need to make the global index cover all modules, so we do that here. 1699 if (!HaveFullGlobalModuleIndex && GlobalIndex && !buildingModule()) { 1700 ModuleMap &MMap = getPreprocessor().getHeaderSearchInfo().getModuleMap(); 1701 bool RecreateIndex = false; 1702 for (ModuleMap::module_iterator I = MMap.module_begin(), 1703 E = MMap.module_end(); I != E; ++I) { 1704 Module *TheModule = I->second; 1705 const FileEntry *Entry = TheModule->getASTFile(); 1706 if (!Entry) { 1707 SmallVector<std::pair<IdentifierInfo *, SourceLocation>, 2> Path; 1708 Path.push_back(std::make_pair( 1709 getPreprocessor().getIdentifierInfo(TheModule->Name), TriggerLoc)); 1710 std::reverse(Path.begin(), Path.end()); 1711 // Load a module as hidden. This also adds it to the global index. 1712 loadModule(TheModule->DefinitionLoc, Path, Module::Hidden, false); 1713 RecreateIndex = true; 1714 } 1715 } 1716 if (RecreateIndex) { 1717 GlobalModuleIndex::writeIndex( 1718 getFileManager(), getPCHContainerReader(), 1719 getPreprocessor().getHeaderSearchInfo().getModuleCachePath()); 1720 ModuleManager->resetForReload(); 1721 ModuleManager->loadGlobalIndex(); 1722 GlobalIndex = ModuleManager->getGlobalIndex(); 1723 } 1724 HaveFullGlobalModuleIndex = true; 1725 } 1726 return GlobalIndex; 1727 } 1728 1729 // Check global module index for missing imports. 1730 bool 1731 CompilerInstance::lookupMissingImports(StringRef Name, 1732 SourceLocation TriggerLoc) { 1733 // Look for the symbol in non-imported modules, but only if an error 1734 // actually occurred. 1735 if (!buildingModule()) { 1736 // Load global module index, or retrieve a previously loaded one. 1737 GlobalModuleIndex *GlobalIndex = loadGlobalModuleIndex( 1738 TriggerLoc); 1739 1740 // Only if we have a global index. 1741 if (GlobalIndex) { 1742 GlobalModuleIndex::HitSet FoundModules; 1743 1744 // Find the modules that reference the identifier. 1745 // Note that this only finds top-level modules. 1746 // We'll let diagnoseTypo find the actual declaration module. 1747 if (GlobalIndex->lookupIdentifier(Name, FoundModules)) 1748 return true; 1749 } 1750 } 1751 1752 return false; 1753 } 1754 void CompilerInstance::resetAndLeakSema() { BuryPointer(takeSema()); } 1755