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