1 //===--- CrossTranslationUnit.cpp - -----------------------------*- C++ -*-===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 // 9 // This file implements the CrossTranslationUnit interface. 10 // 11 //===----------------------------------------------------------------------===// 12 #include "clang/CrossTU/CrossTranslationUnit.h" 13 #include "clang/AST/ASTImporter.h" 14 #include "clang/AST/Decl.h" 15 #include "clang/AST/ParentMapContext.h" 16 #include "clang/Basic/TargetInfo.h" 17 #include "clang/CrossTU/CrossTUDiagnostic.h" 18 #include "clang/Frontend/ASTUnit.h" 19 #include "clang/Frontend/CompilerInstance.h" 20 #include "clang/Frontend/TextDiagnosticPrinter.h" 21 #include "clang/Index/USRGeneration.h" 22 #include "llvm/ADT/Statistic.h" 23 #include "llvm/Option/ArgList.h" 24 #include "llvm/Support/ErrorHandling.h" 25 #include "llvm/Support/ManagedStatic.h" 26 #include "llvm/Support/Path.h" 27 #include "llvm/Support/YAMLParser.h" 28 #include "llvm/Support/raw_ostream.h" 29 #include "llvm/TargetParser/Triple.h" 30 #include <algorithm> 31 #include <fstream> 32 #include <optional> 33 #include <sstream> 34 #include <tuple> 35 36 namespace clang { 37 namespace cross_tu { 38 39 namespace { 40 41 #define DEBUG_TYPE "CrossTranslationUnit" 42 STATISTIC(NumGetCTUCalled, "The # of getCTUDefinition function called"); 43 STATISTIC( 44 NumNotInOtherTU, 45 "The # of getCTUDefinition called but the function is not in any other TU"); 46 STATISTIC(NumGetCTUSuccess, 47 "The # of getCTUDefinition successfully returned the " 48 "requested function's body"); 49 STATISTIC(NumUnsupportedNodeFound, "The # of imports when the ASTImporter " 50 "encountered an unsupported AST Node"); 51 STATISTIC(NumNameConflicts, "The # of imports when the ASTImporter " 52 "encountered an ODR error"); 53 STATISTIC(NumTripleMismatch, "The # of triple mismatches"); 54 STATISTIC(NumLangMismatch, "The # of language mismatches"); 55 STATISTIC(NumLangDialectMismatch, "The # of language dialect mismatches"); 56 STATISTIC(NumASTLoadThresholdReached, 57 "The # of ASTs not loaded because of threshold"); 58 59 // Same as Triple's equality operator, but we check a field only if that is 60 // known in both instances. 61 bool hasEqualKnownFields(const llvm::Triple &Lhs, const llvm::Triple &Rhs) { 62 using llvm::Triple; 63 if (Lhs.getArch() != Triple::UnknownArch && 64 Rhs.getArch() != Triple::UnknownArch && Lhs.getArch() != Rhs.getArch()) 65 return false; 66 if (Lhs.getSubArch() != Triple::NoSubArch && 67 Rhs.getSubArch() != Triple::NoSubArch && 68 Lhs.getSubArch() != Rhs.getSubArch()) 69 return false; 70 if (Lhs.getVendor() != Triple::UnknownVendor && 71 Rhs.getVendor() != Triple::UnknownVendor && 72 Lhs.getVendor() != Rhs.getVendor()) 73 return false; 74 if (!Lhs.isOSUnknown() && !Rhs.isOSUnknown() && 75 Lhs.getOS() != Rhs.getOS()) 76 return false; 77 if (Lhs.getEnvironment() != Triple::UnknownEnvironment && 78 Rhs.getEnvironment() != Triple::UnknownEnvironment && 79 Lhs.getEnvironment() != Rhs.getEnvironment()) 80 return false; 81 if (Lhs.getObjectFormat() != Triple::UnknownObjectFormat && 82 Rhs.getObjectFormat() != Triple::UnknownObjectFormat && 83 Lhs.getObjectFormat() != Rhs.getObjectFormat()) 84 return false; 85 return true; 86 } 87 88 // FIXME: This class is will be removed after the transition to llvm::Error. 89 class IndexErrorCategory : public std::error_category { 90 public: 91 const char *name() const noexcept override { return "clang.index"; } 92 93 std::string message(int Condition) const override { 94 switch (static_cast<index_error_code>(Condition)) { 95 case index_error_code::success: 96 // There should not be a success error. Jump to unreachable directly. 97 // Add this case to make the compiler stop complaining. 98 break; 99 case index_error_code::unspecified: 100 return "An unknown error has occurred."; 101 case index_error_code::missing_index_file: 102 return "The index file is missing."; 103 case index_error_code::invalid_index_format: 104 return "Invalid index file format."; 105 case index_error_code::multiple_definitions: 106 return "Multiple definitions in the index file."; 107 case index_error_code::missing_definition: 108 return "Missing definition from the index file."; 109 case index_error_code::failed_import: 110 return "Failed to import the definition."; 111 case index_error_code::failed_to_get_external_ast: 112 return "Failed to load external AST source."; 113 case index_error_code::failed_to_generate_usr: 114 return "Failed to generate USR."; 115 case index_error_code::triple_mismatch: 116 return "Triple mismatch"; 117 case index_error_code::lang_mismatch: 118 return "Language mismatch"; 119 case index_error_code::lang_dialect_mismatch: 120 return "Language dialect mismatch"; 121 case index_error_code::load_threshold_reached: 122 return "Load threshold reached"; 123 case index_error_code::invocation_list_ambiguous: 124 return "Invocation list file contains multiple references to the same " 125 "source file."; 126 case index_error_code::invocation_list_file_not_found: 127 return "Invocation list file is not found."; 128 case index_error_code::invocation_list_empty: 129 return "Invocation list file is empty."; 130 case index_error_code::invocation_list_wrong_format: 131 return "Invocation list file is in wrong format."; 132 case index_error_code::invocation_list_lookup_unsuccessful: 133 return "Invocation list file does not contain the requested source file."; 134 } 135 llvm_unreachable("Unrecognized index_error_code."); 136 } 137 }; 138 139 static llvm::ManagedStatic<IndexErrorCategory> Category; 140 } // end anonymous namespace 141 142 char IndexError::ID; 143 144 void IndexError::log(raw_ostream &OS) const { 145 OS << Category->message(static_cast<int>(Code)) << '\n'; 146 } 147 148 std::error_code IndexError::convertToErrorCode() const { 149 return std::error_code(static_cast<int>(Code), *Category); 150 } 151 152 /// Parse one line of the input CTU index file. 153 /// 154 /// @param[in] LineRef The input CTU index item in format 155 /// "<USR-Length>:<USR> <File-Path>". 156 /// @param[out] LookupName The lookup name in format "<USR-Length>:<USR>". 157 /// @param[out] FilePath The file path "<File-Path>". 158 static bool parseCrossTUIndexItem(StringRef LineRef, StringRef &LookupName, 159 StringRef &FilePath) { 160 // `LineRef` is "<USR-Length>:<USR> <File-Path>" now. 161 162 size_t USRLength = 0; 163 if (LineRef.consumeInteger(10, USRLength)) 164 return false; 165 assert(USRLength && "USRLength should be greater than zero."); 166 167 if (!LineRef.consume_front(":")) 168 return false; 169 170 // `LineRef` is now just "<USR> <File-Path>". 171 172 // Check LookupName length out of bound and incorrect delimiter. 173 if (USRLength >= LineRef.size() || ' ' != LineRef[USRLength]) 174 return false; 175 176 LookupName = LineRef.substr(0, USRLength); 177 FilePath = LineRef.substr(USRLength + 1); 178 return true; 179 } 180 181 llvm::Expected<llvm::StringMap<std::string>> 182 parseCrossTUIndex(StringRef IndexPath) { 183 std::ifstream ExternalMapFile{std::string(IndexPath)}; 184 if (!ExternalMapFile) 185 return llvm::make_error<IndexError>(index_error_code::missing_index_file, 186 IndexPath.str()); 187 188 llvm::StringMap<std::string> Result; 189 std::string Line; 190 unsigned LineNo = 1; 191 while (std::getline(ExternalMapFile, Line)) { 192 // Split lookup name and file path 193 StringRef LookupName, FilePathInIndex; 194 if (!parseCrossTUIndexItem(Line, LookupName, FilePathInIndex)) 195 return llvm::make_error<IndexError>( 196 index_error_code::invalid_index_format, IndexPath.str(), LineNo); 197 198 // Store paths with posix-style directory separator. 199 SmallString<32> FilePath(FilePathInIndex); 200 llvm::sys::path::native(FilePath, llvm::sys::path::Style::posix); 201 202 bool InsertionOccured; 203 std::tie(std::ignore, InsertionOccured) = 204 Result.try_emplace(LookupName, FilePath.begin(), FilePath.end()); 205 if (!InsertionOccured) 206 return llvm::make_error<IndexError>( 207 index_error_code::multiple_definitions, IndexPath.str(), LineNo); 208 209 ++LineNo; 210 } 211 return Result; 212 } 213 214 std::string 215 createCrossTUIndexString(const llvm::StringMap<std::string> &Index) { 216 std::ostringstream Result; 217 for (const auto &E : Index) 218 Result << E.getKey().size() << ':' << E.getKey().str() << ' ' 219 << E.getValue() << '\n'; 220 return Result.str(); 221 } 222 223 bool shouldImport(const VarDecl *VD, const ASTContext &ACtx) { 224 CanQualType CT = ACtx.getCanonicalType(VD->getType()); 225 return CT.isConstQualified() && VD->getType().isTrivialType(ACtx); 226 } 227 228 static bool hasBodyOrInit(const FunctionDecl *D, const FunctionDecl *&DefD) { 229 return D->hasBody(DefD); 230 } 231 static bool hasBodyOrInit(const VarDecl *D, const VarDecl *&DefD) { 232 return D->getAnyInitializer(DefD); 233 } 234 template <typename T> static bool hasBodyOrInit(const T *D) { 235 const T *Unused; 236 return hasBodyOrInit(D, Unused); 237 } 238 239 CrossTranslationUnitContext::CrossTranslationUnitContext(CompilerInstance &CI) 240 : Context(CI.getASTContext()), ASTStorage(CI) {} 241 242 CrossTranslationUnitContext::~CrossTranslationUnitContext() {} 243 244 std::optional<std::string> 245 CrossTranslationUnitContext::getLookupName(const NamedDecl *ND) { 246 SmallString<128> DeclUSR; 247 bool Ret = index::generateUSRForDecl(ND, DeclUSR); 248 if (Ret) 249 return {}; 250 return std::string(DeclUSR.str()); 251 } 252 253 /// Recursively visits the decls of a DeclContext, and returns one with the 254 /// given USR. 255 template <typename T> 256 const T * 257 CrossTranslationUnitContext::findDefInDeclContext(const DeclContext *DC, 258 StringRef LookupName) { 259 assert(DC && "Declaration Context must not be null"); 260 for (const Decl *D : DC->decls()) { 261 const auto *SubDC = dyn_cast<DeclContext>(D); 262 if (SubDC) 263 if (const auto *ND = findDefInDeclContext<T>(SubDC, LookupName)) 264 return ND; 265 266 const auto *ND = dyn_cast<T>(D); 267 const T *ResultDecl; 268 if (!ND || !hasBodyOrInit(ND, ResultDecl)) 269 continue; 270 std::optional<std::string> ResultLookupName = getLookupName(ResultDecl); 271 if (!ResultLookupName || *ResultLookupName != LookupName) 272 continue; 273 return ResultDecl; 274 } 275 return nullptr; 276 } 277 278 template <typename T> 279 llvm::Expected<const T *> CrossTranslationUnitContext::getCrossTUDefinitionImpl( 280 const T *D, StringRef CrossTUDir, StringRef IndexName, 281 bool DisplayCTUProgress) { 282 assert(D && "D is missing, bad call to this function!"); 283 assert(!hasBodyOrInit(D) && 284 "D has a body or init in current translation unit!"); 285 ++NumGetCTUCalled; 286 const std::optional<std::string> LookupName = getLookupName(D); 287 if (!LookupName) 288 return llvm::make_error<IndexError>( 289 index_error_code::failed_to_generate_usr); 290 llvm::Expected<ASTUnit *> ASTUnitOrError = 291 loadExternalAST(*LookupName, CrossTUDir, IndexName, DisplayCTUProgress); 292 if (!ASTUnitOrError) 293 return ASTUnitOrError.takeError(); 294 ASTUnit *Unit = *ASTUnitOrError; 295 assert(&Unit->getFileManager() == 296 &Unit->getASTContext().getSourceManager().getFileManager()); 297 298 const llvm::Triple &TripleTo = Context.getTargetInfo().getTriple(); 299 const llvm::Triple &TripleFrom = 300 Unit->getASTContext().getTargetInfo().getTriple(); 301 // The imported AST had been generated for a different target. 302 // Some parts of the triple in the loaded ASTContext can be unknown while the 303 // very same parts in the target ASTContext are known. Thus we check for the 304 // known parts only. 305 if (!hasEqualKnownFields(TripleTo, TripleFrom)) { 306 // TODO: Pass the SourceLocation of the CallExpression for more precise 307 // diagnostics. 308 ++NumTripleMismatch; 309 return llvm::make_error<IndexError>(index_error_code::triple_mismatch, 310 std::string(Unit->getMainFileName()), 311 TripleTo.str(), TripleFrom.str()); 312 } 313 314 const auto &LangTo = Context.getLangOpts(); 315 const auto &LangFrom = Unit->getASTContext().getLangOpts(); 316 317 // FIXME: Currenty we do not support CTU across C++ and C and across 318 // different dialects of C++. 319 if (LangTo.CPlusPlus != LangFrom.CPlusPlus) { 320 ++NumLangMismatch; 321 return llvm::make_error<IndexError>(index_error_code::lang_mismatch); 322 } 323 324 // If CPP dialects are different then return with error. 325 // 326 // Consider this STL code: 327 // template<typename _Alloc> 328 // struct __alloc_traits 329 // #if __cplusplus >= 201103L 330 // : std::allocator_traits<_Alloc> 331 // #endif 332 // { // ... 333 // }; 334 // This class template would create ODR errors during merging the two units, 335 // since in one translation unit the class template has a base class, however 336 // in the other unit it has none. 337 if (LangTo.CPlusPlus11 != LangFrom.CPlusPlus11 || 338 LangTo.CPlusPlus14 != LangFrom.CPlusPlus14 || 339 LangTo.CPlusPlus17 != LangFrom.CPlusPlus17 || 340 LangTo.CPlusPlus20 != LangFrom.CPlusPlus20) { 341 ++NumLangDialectMismatch; 342 return llvm::make_error<IndexError>( 343 index_error_code::lang_dialect_mismatch); 344 } 345 346 TranslationUnitDecl *TU = Unit->getASTContext().getTranslationUnitDecl(); 347 if (const T *ResultDecl = findDefInDeclContext<T>(TU, *LookupName)) 348 return importDefinition(ResultDecl, Unit); 349 return llvm::make_error<IndexError>(index_error_code::failed_import); 350 } 351 352 llvm::Expected<const FunctionDecl *> 353 CrossTranslationUnitContext::getCrossTUDefinition(const FunctionDecl *FD, 354 StringRef CrossTUDir, 355 StringRef IndexName, 356 bool DisplayCTUProgress) { 357 return getCrossTUDefinitionImpl(FD, CrossTUDir, IndexName, 358 DisplayCTUProgress); 359 } 360 361 llvm::Expected<const VarDecl *> 362 CrossTranslationUnitContext::getCrossTUDefinition(const VarDecl *VD, 363 StringRef CrossTUDir, 364 StringRef IndexName, 365 bool DisplayCTUProgress) { 366 return getCrossTUDefinitionImpl(VD, CrossTUDir, IndexName, 367 DisplayCTUProgress); 368 } 369 370 void CrossTranslationUnitContext::emitCrossTUDiagnostics(const IndexError &IE) { 371 switch (IE.getCode()) { 372 case index_error_code::missing_index_file: 373 Context.getDiagnostics().Report(diag::err_ctu_error_opening) 374 << IE.getFileName(); 375 break; 376 case index_error_code::invalid_index_format: 377 Context.getDiagnostics().Report(diag::err_extdefmap_parsing) 378 << IE.getFileName() << IE.getLineNum(); 379 break; 380 case index_error_code::multiple_definitions: 381 Context.getDiagnostics().Report(diag::err_multiple_def_index) 382 << IE.getLineNum(); 383 break; 384 case index_error_code::triple_mismatch: 385 Context.getDiagnostics().Report(diag::warn_ctu_incompat_triple) 386 << IE.getFileName() << IE.getTripleToName() << IE.getTripleFromName(); 387 break; 388 default: 389 break; 390 } 391 } 392 393 CrossTranslationUnitContext::ASTUnitStorage::ASTUnitStorage( 394 CompilerInstance &CI) 395 : Loader(CI, CI.getAnalyzerOpts()->CTUDir, 396 CI.getAnalyzerOpts()->CTUInvocationList), 397 LoadGuard(CI.getASTContext().getLangOpts().CPlusPlus 398 ? CI.getAnalyzerOpts()->CTUImportCppThreshold 399 : CI.getAnalyzerOpts()->CTUImportThreshold) {} 400 401 llvm::Expected<ASTUnit *> 402 CrossTranslationUnitContext::ASTUnitStorage::getASTUnitForFile( 403 StringRef FileName, bool DisplayCTUProgress) { 404 // Try the cache first. 405 auto ASTCacheEntry = FileASTUnitMap.find(FileName); 406 if (ASTCacheEntry == FileASTUnitMap.end()) { 407 408 // Do not load if the limit is reached. 409 if (!LoadGuard) { 410 ++NumASTLoadThresholdReached; 411 return llvm::make_error<IndexError>( 412 index_error_code::load_threshold_reached); 413 } 414 415 auto LoadAttempt = Loader.load(FileName); 416 417 if (!LoadAttempt) 418 return LoadAttempt.takeError(); 419 420 std::unique_ptr<ASTUnit> LoadedUnit = std::move(LoadAttempt.get()); 421 422 // Need the raw pointer and the unique_ptr as well. 423 ASTUnit *Unit = LoadedUnit.get(); 424 425 // Update the cache. 426 FileASTUnitMap[FileName] = std::move(LoadedUnit); 427 428 LoadGuard.indicateLoadSuccess(); 429 430 if (DisplayCTUProgress) 431 llvm::errs() << "CTU loaded AST file: " << FileName << "\n"; 432 433 return Unit; 434 435 } else { 436 // Found in the cache. 437 return ASTCacheEntry->second.get(); 438 } 439 } 440 441 llvm::Expected<ASTUnit *> 442 CrossTranslationUnitContext::ASTUnitStorage::getASTUnitForFunction( 443 StringRef FunctionName, StringRef CrossTUDir, StringRef IndexName, 444 bool DisplayCTUProgress) { 445 // Try the cache first. 446 auto ASTCacheEntry = NameASTUnitMap.find(FunctionName); 447 if (ASTCacheEntry == NameASTUnitMap.end()) { 448 // Load the ASTUnit from the pre-dumped AST file specified by ASTFileName. 449 450 // Ensure that the Index is loaded, as we need to search in it. 451 if (llvm::Error IndexLoadError = 452 ensureCTUIndexLoaded(CrossTUDir, IndexName)) 453 return std::move(IndexLoadError); 454 455 // Check if there is an entry in the index for the function. 456 if (!NameFileMap.count(FunctionName)) { 457 ++NumNotInOtherTU; 458 return llvm::make_error<IndexError>(index_error_code::missing_definition); 459 } 460 461 // Search in the index for the filename where the definition of FunctionName 462 // resides. 463 if (llvm::Expected<ASTUnit *> FoundForFile = 464 getASTUnitForFile(NameFileMap[FunctionName], DisplayCTUProgress)) { 465 466 // Update the cache. 467 NameASTUnitMap[FunctionName] = *FoundForFile; 468 return *FoundForFile; 469 470 } else { 471 return FoundForFile.takeError(); 472 } 473 } else { 474 // Found in the cache. 475 return ASTCacheEntry->second; 476 } 477 } 478 479 llvm::Expected<std::string> 480 CrossTranslationUnitContext::ASTUnitStorage::getFileForFunction( 481 StringRef FunctionName, StringRef CrossTUDir, StringRef IndexName) { 482 if (llvm::Error IndexLoadError = ensureCTUIndexLoaded(CrossTUDir, IndexName)) 483 return std::move(IndexLoadError); 484 return NameFileMap[FunctionName]; 485 } 486 487 llvm::Error CrossTranslationUnitContext::ASTUnitStorage::ensureCTUIndexLoaded( 488 StringRef CrossTUDir, StringRef IndexName) { 489 // Dont initialize if the map is filled. 490 if (!NameFileMap.empty()) 491 return llvm::Error::success(); 492 493 // Get the absolute path to the index file. 494 SmallString<256> IndexFile = CrossTUDir; 495 if (llvm::sys::path::is_absolute(IndexName)) 496 IndexFile = IndexName; 497 else 498 llvm::sys::path::append(IndexFile, IndexName); 499 500 if (auto IndexMapping = parseCrossTUIndex(IndexFile)) { 501 // Initialize member map. 502 NameFileMap = *IndexMapping; 503 return llvm::Error::success(); 504 } else { 505 // Error while parsing CrossTU index file. 506 return IndexMapping.takeError(); 507 }; 508 } 509 510 llvm::Expected<ASTUnit *> CrossTranslationUnitContext::loadExternalAST( 511 StringRef LookupName, StringRef CrossTUDir, StringRef IndexName, 512 bool DisplayCTUProgress) { 513 // FIXME: The current implementation only supports loading decls with 514 // a lookup name from a single translation unit. If multiple 515 // translation units contains decls with the same lookup name an 516 // error will be returned. 517 518 // Try to get the value from the heavily cached storage. 519 llvm::Expected<ASTUnit *> Unit = ASTStorage.getASTUnitForFunction( 520 LookupName, CrossTUDir, IndexName, DisplayCTUProgress); 521 522 if (!Unit) 523 return Unit.takeError(); 524 525 // Check whether the backing pointer of the Expected is a nullptr. 526 if (!*Unit) 527 return llvm::make_error<IndexError>( 528 index_error_code::failed_to_get_external_ast); 529 530 return Unit; 531 } 532 533 CrossTranslationUnitContext::ASTLoader::ASTLoader( 534 CompilerInstance &CI, StringRef CTUDir, StringRef InvocationListFilePath) 535 : CI(CI), CTUDir(CTUDir), InvocationListFilePath(InvocationListFilePath) {} 536 537 CrossTranslationUnitContext::LoadResultTy 538 CrossTranslationUnitContext::ASTLoader::load(StringRef Identifier) { 539 llvm::SmallString<256> Path; 540 if (llvm::sys::path::is_absolute(Identifier, PathStyle)) { 541 Path = Identifier; 542 } else { 543 Path = CTUDir; 544 llvm::sys::path::append(Path, PathStyle, Identifier); 545 } 546 547 // The path is stored in the InvocationList member in posix style. To 548 // successfully lookup an entry based on filepath, it must be converted. 549 llvm::sys::path::native(Path, PathStyle); 550 551 // Normalize by removing relative path components. 552 llvm::sys::path::remove_dots(Path, /*remove_dot_dot*/ true, PathStyle); 553 554 if (Path.endswith(".ast")) 555 return loadFromDump(Path); 556 else 557 return loadFromSource(Path); 558 } 559 560 CrossTranslationUnitContext::LoadResultTy 561 CrossTranslationUnitContext::ASTLoader::loadFromDump(StringRef ASTDumpPath) { 562 IntrusiveRefCntPtr<DiagnosticOptions> DiagOpts = new DiagnosticOptions(); 563 TextDiagnosticPrinter *DiagClient = 564 new TextDiagnosticPrinter(llvm::errs(), &*DiagOpts); 565 IntrusiveRefCntPtr<DiagnosticIDs> DiagID(new DiagnosticIDs()); 566 IntrusiveRefCntPtr<DiagnosticsEngine> Diags( 567 new DiagnosticsEngine(DiagID, &*DiagOpts, DiagClient)); 568 return ASTUnit::LoadFromASTFile( 569 std::string(ASTDumpPath.str()), 570 CI.getPCHContainerOperations()->getRawReader(), ASTUnit::LoadEverything, 571 Diags, CI.getFileSystemOpts(), CI.getHeaderSearchOptsPtr()); 572 } 573 574 /// Load the AST from a source-file, which is supposed to be located inside the 575 /// YAML formatted invocation list file under the filesystem path specified by 576 /// \p InvocationList. The invocation list should contain absolute paths. 577 /// \p SourceFilePath is the absolute path of the source file that contains the 578 /// function definition the analysis is looking for. The Index is built by the 579 /// \p clang-extdef-mapping tool, which is also supposed to be generating 580 /// absolute paths. 581 /// 582 /// Proper diagnostic emission requires absolute paths, so even if a future 583 /// change introduces the handling of relative paths, this must be taken into 584 /// consideration. 585 CrossTranslationUnitContext::LoadResultTy 586 CrossTranslationUnitContext::ASTLoader::loadFromSource( 587 StringRef SourceFilePath) { 588 589 if (llvm::Error InitError = lazyInitInvocationList()) 590 return std::move(InitError); 591 assert(InvocationList); 592 593 auto Invocation = InvocationList->find(SourceFilePath); 594 if (Invocation == InvocationList->end()) 595 return llvm::make_error<IndexError>( 596 index_error_code::invocation_list_lookup_unsuccessful); 597 598 const InvocationListTy::mapped_type &InvocationCommand = Invocation->second; 599 600 SmallVector<const char *, 32> CommandLineArgs(InvocationCommand.size()); 601 std::transform(InvocationCommand.begin(), InvocationCommand.end(), 602 CommandLineArgs.begin(), 603 [](auto &&CmdPart) { return CmdPart.c_str(); }); 604 605 IntrusiveRefCntPtr<DiagnosticOptions> DiagOpts{&CI.getDiagnosticOpts()}; 606 auto *DiagClient = new ForwardingDiagnosticConsumer{CI.getDiagnosticClient()}; 607 IntrusiveRefCntPtr<DiagnosticIDs> DiagID{ 608 CI.getDiagnostics().getDiagnosticIDs()}; 609 IntrusiveRefCntPtr<DiagnosticsEngine> Diags( 610 new DiagnosticsEngine{DiagID, &*DiagOpts, DiagClient}); 611 612 return ASTUnit::LoadFromCommandLine(CommandLineArgs.begin(), 613 (CommandLineArgs.end()), 614 CI.getPCHContainerOperations(), Diags, 615 CI.getHeaderSearchOpts().ResourceDir); 616 } 617 618 llvm::Expected<InvocationListTy> 619 parseInvocationList(StringRef FileContent, llvm::sys::path::Style PathStyle) { 620 InvocationListTy InvocationList; 621 622 /// LLVM YAML parser is used to extract information from invocation list file. 623 llvm::SourceMgr SM; 624 llvm::yaml::Stream InvocationFile(FileContent, SM); 625 626 /// Only the first document is processed. 627 llvm::yaml::document_iterator FirstInvocationFile = InvocationFile.begin(); 628 629 /// There has to be at least one document available. 630 if (FirstInvocationFile == InvocationFile.end()) 631 return llvm::make_error<IndexError>( 632 index_error_code::invocation_list_empty); 633 634 llvm::yaml::Node *DocumentRoot = FirstInvocationFile->getRoot(); 635 if (!DocumentRoot) 636 return llvm::make_error<IndexError>( 637 index_error_code::invocation_list_wrong_format); 638 639 /// According to the format specified the document must be a mapping, where 640 /// the keys are paths to source files, and values are sequences of invocation 641 /// parts. 642 auto *Mappings = dyn_cast<llvm::yaml::MappingNode>(DocumentRoot); 643 if (!Mappings) 644 return llvm::make_error<IndexError>( 645 index_error_code::invocation_list_wrong_format); 646 647 for (auto &NextMapping : *Mappings) { 648 /// The keys should be strings, which represent a source-file path. 649 auto *Key = dyn_cast<llvm::yaml::ScalarNode>(NextMapping.getKey()); 650 if (!Key) 651 return llvm::make_error<IndexError>( 652 index_error_code::invocation_list_wrong_format); 653 654 SmallString<32> ValueStorage; 655 StringRef SourcePath = Key->getValue(ValueStorage); 656 657 // Store paths with PathStyle directory separator. 658 SmallString<32> NativeSourcePath(SourcePath); 659 llvm::sys::path::native(NativeSourcePath, PathStyle); 660 661 StringRef InvocationKey = NativeSourcePath; 662 663 if (InvocationList.contains(InvocationKey)) 664 return llvm::make_error<IndexError>( 665 index_error_code::invocation_list_ambiguous); 666 667 /// The values should be sequences of strings, each representing a part of 668 /// the invocation. 669 auto *Args = dyn_cast<llvm::yaml::SequenceNode>(NextMapping.getValue()); 670 if (!Args) 671 return llvm::make_error<IndexError>( 672 index_error_code::invocation_list_wrong_format); 673 674 for (auto &Arg : *Args) { 675 auto *CmdString = dyn_cast<llvm::yaml::ScalarNode>(&Arg); 676 if (!CmdString) 677 return llvm::make_error<IndexError>( 678 index_error_code::invocation_list_wrong_format); 679 /// Every conversion starts with an empty working storage, as it is not 680 /// clear if this is a requirement of the YAML parser. 681 ValueStorage.clear(); 682 InvocationList[InvocationKey].emplace_back( 683 CmdString->getValue(ValueStorage)); 684 } 685 686 if (InvocationList[InvocationKey].empty()) 687 return llvm::make_error<IndexError>( 688 index_error_code::invocation_list_wrong_format); 689 } 690 691 return InvocationList; 692 } 693 694 llvm::Error CrossTranslationUnitContext::ASTLoader::lazyInitInvocationList() { 695 /// Lazily initialize the invocation list member used for on-demand parsing. 696 if (InvocationList) 697 return llvm::Error::success(); 698 if (index_error_code::success != PreviousParsingResult) 699 return llvm::make_error<IndexError>(PreviousParsingResult); 700 701 llvm::ErrorOr<std::unique_ptr<llvm::MemoryBuffer>> FileContent = 702 llvm::MemoryBuffer::getFile(InvocationListFilePath); 703 if (!FileContent) { 704 PreviousParsingResult = index_error_code::invocation_list_file_not_found; 705 return llvm::make_error<IndexError>(PreviousParsingResult); 706 } 707 std::unique_ptr<llvm::MemoryBuffer> ContentBuffer = std::move(*FileContent); 708 assert(ContentBuffer && "If no error was produced after loading, the pointer " 709 "should not be nullptr."); 710 711 llvm::Expected<InvocationListTy> ExpectedInvocationList = 712 parseInvocationList(ContentBuffer->getBuffer(), PathStyle); 713 714 // Handle the error to store the code for next call to this function. 715 if (!ExpectedInvocationList) { 716 llvm::handleAllErrors( 717 ExpectedInvocationList.takeError(), 718 [&](const IndexError &E) { PreviousParsingResult = E.getCode(); }); 719 return llvm::make_error<IndexError>(PreviousParsingResult); 720 } 721 722 InvocationList = *ExpectedInvocationList; 723 724 return llvm::Error::success(); 725 } 726 727 template <typename T> 728 llvm::Expected<const T *> 729 CrossTranslationUnitContext::importDefinitionImpl(const T *D, ASTUnit *Unit) { 730 assert(hasBodyOrInit(D) && "Decls to be imported should have body or init."); 731 732 assert(&D->getASTContext() == &Unit->getASTContext() && 733 "ASTContext of Decl and the unit should match."); 734 ASTImporter &Importer = getOrCreateASTImporter(Unit); 735 736 auto ToDeclOrError = Importer.Import(D); 737 if (!ToDeclOrError) { 738 handleAllErrors(ToDeclOrError.takeError(), [&](const ASTImportError &IE) { 739 switch (IE.Error) { 740 case ASTImportError::NameConflict: 741 ++NumNameConflicts; 742 break; 743 case ASTImportError::UnsupportedConstruct: 744 ++NumUnsupportedNodeFound; 745 break; 746 case ASTImportError::Unknown: 747 llvm_unreachable("Unknown import error happened."); 748 break; 749 } 750 }); 751 return llvm::make_error<IndexError>(index_error_code::failed_import); 752 } 753 auto *ToDecl = cast<T>(*ToDeclOrError); 754 assert(hasBodyOrInit(ToDecl) && "Imported Decl should have body or init."); 755 ++NumGetCTUSuccess; 756 757 // Parent map is invalidated after changing the AST. 758 ToDecl->getASTContext().getParentMapContext().clear(); 759 760 return ToDecl; 761 } 762 763 llvm::Expected<const FunctionDecl *> 764 CrossTranslationUnitContext::importDefinition(const FunctionDecl *FD, 765 ASTUnit *Unit) { 766 return importDefinitionImpl(FD, Unit); 767 } 768 769 llvm::Expected<const VarDecl *> 770 CrossTranslationUnitContext::importDefinition(const VarDecl *VD, 771 ASTUnit *Unit) { 772 return importDefinitionImpl(VD, Unit); 773 } 774 775 void CrossTranslationUnitContext::lazyInitImporterSharedSt( 776 TranslationUnitDecl *ToTU) { 777 if (!ImporterSharedSt) 778 ImporterSharedSt = std::make_shared<ASTImporterSharedState>(*ToTU); 779 } 780 781 ASTImporter & 782 CrossTranslationUnitContext::getOrCreateASTImporter(ASTUnit *Unit) { 783 ASTContext &From = Unit->getASTContext(); 784 785 auto I = ASTUnitImporterMap.find(From.getTranslationUnitDecl()); 786 if (I != ASTUnitImporterMap.end()) 787 return *I->second; 788 lazyInitImporterSharedSt(Context.getTranslationUnitDecl()); 789 ASTImporter *NewImporter = new ASTImporter( 790 Context, Context.getSourceManager().getFileManager(), From, 791 From.getSourceManager().getFileManager(), false, ImporterSharedSt); 792 ASTUnitImporterMap[From.getTranslationUnitDecl()].reset(NewImporter); 793 return *NewImporter; 794 } 795 796 std::optional<clang::MacroExpansionContext> 797 CrossTranslationUnitContext::getMacroExpansionContextForSourceLocation( 798 const clang::SourceLocation &ToLoc) const { 799 // FIXME: Implement: Record such a context for every imported ASTUnit; lookup. 800 return std::nullopt; 801 } 802 803 bool CrossTranslationUnitContext::isImportedAsNew(const Decl *ToDecl) const { 804 if (!ImporterSharedSt) 805 return false; 806 return ImporterSharedSt->isNewDecl(const_cast<Decl *>(ToDecl)); 807 } 808 809 bool CrossTranslationUnitContext::hasError(const Decl *ToDecl) const { 810 if (!ImporterSharedSt) 811 return false; 812 return static_cast<bool>( 813 ImporterSharedSt->getImportDeclErrorIfAny(const_cast<Decl *>(ToDecl))); 814 } 815 816 } // namespace cross_tu 817 } // namespace clang 818