1 //===--- TextNodeDumper.cpp - Printing of AST nodes -----------------------===// 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 AST dumping of components of individual AST nodes. 10 // 11 //===----------------------------------------------------------------------===// 12 13 #include "clang/AST/TextNodeDumper.h" 14 #include "clang/AST/DeclFriend.h" 15 #include "clang/AST/DeclOpenMP.h" 16 #include "clang/AST/DeclTemplate.h" 17 #include "clang/AST/LocInfoType.h" 18 19 using namespace clang; 20 21 static void dumpPreviousDeclImpl(raw_ostream &OS, ...) {} 22 23 template <typename T> 24 static void dumpPreviousDeclImpl(raw_ostream &OS, const Mergeable<T> *D) { 25 const T *First = D->getFirstDecl(); 26 if (First != D) 27 OS << " first " << First; 28 } 29 30 template <typename T> 31 static void dumpPreviousDeclImpl(raw_ostream &OS, const Redeclarable<T> *D) { 32 const T *Prev = D->getPreviousDecl(); 33 if (Prev) 34 OS << " prev " << Prev; 35 } 36 37 /// Dump the previous declaration in the redeclaration chain for a declaration, 38 /// if any. 39 static void dumpPreviousDecl(raw_ostream &OS, const Decl *D) { 40 switch (D->getKind()) { 41 #define DECL(DERIVED, BASE) \ 42 case Decl::DERIVED: \ 43 return dumpPreviousDeclImpl(OS, cast<DERIVED##Decl>(D)); 44 #define ABSTRACT_DECL(DECL) 45 #include "clang/AST/DeclNodes.inc" 46 } 47 llvm_unreachable("Decl that isn't part of DeclNodes.inc!"); 48 } 49 50 TextNodeDumper::TextNodeDumper(raw_ostream &OS, bool ShowColors, 51 const SourceManager *SM, 52 const PrintingPolicy &PrintPolicy, 53 const comments::CommandTraits *Traits) 54 : TextTreeStructure(OS, ShowColors), OS(OS), ShowColors(ShowColors), SM(SM), 55 PrintPolicy(PrintPolicy), Traits(Traits) {} 56 57 void TextNodeDumper::Visit(const comments::Comment *C, 58 const comments::FullComment *FC) { 59 if (!C) { 60 ColorScope Color(OS, ShowColors, NullColor); 61 OS << "<<<NULL>>>"; 62 return; 63 } 64 65 { 66 ColorScope Color(OS, ShowColors, CommentColor); 67 OS << C->getCommentKindName(); 68 } 69 dumpPointer(C); 70 dumpSourceRange(C->getSourceRange()); 71 72 ConstCommentVisitor<TextNodeDumper, void, 73 const comments::FullComment *>::visit(C, FC); 74 } 75 76 void TextNodeDumper::Visit(const Attr *A) { 77 { 78 ColorScope Color(OS, ShowColors, AttrColor); 79 80 switch (A->getKind()) { 81 #define ATTR(X) \ 82 case attr::X: \ 83 OS << #X; \ 84 break; 85 #include "clang/Basic/AttrList.inc" 86 } 87 OS << "Attr"; 88 } 89 dumpPointer(A); 90 dumpSourceRange(A->getRange()); 91 if (A->isInherited()) 92 OS << " Inherited"; 93 if (A->isImplicit()) 94 OS << " Implicit"; 95 96 ConstAttrVisitor<TextNodeDumper>::Visit(A); 97 } 98 99 void TextNodeDumper::Visit(const TemplateArgument &TA, SourceRange R, 100 const Decl *From, StringRef Label) { 101 OS << "TemplateArgument"; 102 if (R.isValid()) 103 dumpSourceRange(R); 104 105 if (From) 106 dumpDeclRef(From, Label); 107 108 ConstTemplateArgumentVisitor<TextNodeDumper>::Visit(TA); 109 } 110 111 void TextNodeDumper::Visit(const Stmt *Node) { 112 if (!Node) { 113 ColorScope Color(OS, ShowColors, NullColor); 114 OS << "<<<NULL>>>"; 115 return; 116 } 117 { 118 ColorScope Color(OS, ShowColors, StmtColor); 119 OS << Node->getStmtClassName(); 120 } 121 dumpPointer(Node); 122 dumpSourceRange(Node->getSourceRange()); 123 124 if (Node->isOMPStructuredBlock()) 125 OS << " openmp_structured_block"; 126 127 if (const auto *E = dyn_cast<Expr>(Node)) { 128 dumpType(E->getType()); 129 130 { 131 ColorScope Color(OS, ShowColors, ValueKindColor); 132 switch (E->getValueKind()) { 133 case VK_RValue: 134 break; 135 case VK_LValue: 136 OS << " lvalue"; 137 break; 138 case VK_XValue: 139 OS << " xvalue"; 140 break; 141 } 142 } 143 144 { 145 ColorScope Color(OS, ShowColors, ObjectKindColor); 146 switch (E->getObjectKind()) { 147 case OK_Ordinary: 148 break; 149 case OK_BitField: 150 OS << " bitfield"; 151 break; 152 case OK_ObjCProperty: 153 OS << " objcproperty"; 154 break; 155 case OK_ObjCSubscript: 156 OS << " objcsubscript"; 157 break; 158 case OK_VectorComponent: 159 OS << " vectorcomponent"; 160 break; 161 } 162 } 163 } 164 165 ConstStmtVisitor<TextNodeDumper>::Visit(Node); 166 } 167 168 void TextNodeDumper::Visit(const Type *T) { 169 if (!T) { 170 ColorScope Color(OS, ShowColors, NullColor); 171 OS << "<<<NULL>>>"; 172 return; 173 } 174 if (isa<LocInfoType>(T)) { 175 { 176 ColorScope Color(OS, ShowColors, TypeColor); 177 OS << "LocInfo Type"; 178 } 179 dumpPointer(T); 180 return; 181 } 182 183 { 184 ColorScope Color(OS, ShowColors, TypeColor); 185 OS << T->getTypeClassName() << "Type"; 186 } 187 dumpPointer(T); 188 OS << " "; 189 dumpBareType(QualType(T, 0), false); 190 191 QualType SingleStepDesugar = 192 T->getLocallyUnqualifiedSingleStepDesugaredType(); 193 if (SingleStepDesugar != QualType(T, 0)) 194 OS << " sugar"; 195 196 if (T->isDependentType()) 197 OS << " dependent"; 198 else if (T->isInstantiationDependentType()) 199 OS << " instantiation_dependent"; 200 201 if (T->isVariablyModifiedType()) 202 OS << " variably_modified"; 203 if (T->containsUnexpandedParameterPack()) 204 OS << " contains_unexpanded_pack"; 205 if (T->isFromAST()) 206 OS << " imported"; 207 208 TypeVisitor<TextNodeDumper>::Visit(T); 209 } 210 211 void TextNodeDumper::Visit(QualType T) { 212 OS << "QualType"; 213 dumpPointer(T.getAsOpaquePtr()); 214 OS << " "; 215 dumpBareType(T, false); 216 OS << " " << T.split().Quals.getAsString(); 217 } 218 219 void TextNodeDumper::Visit(const Decl *D) { 220 if (!D) { 221 ColorScope Color(OS, ShowColors, NullColor); 222 OS << "<<<NULL>>>"; 223 return; 224 } 225 226 { 227 ColorScope Color(OS, ShowColors, DeclKindNameColor); 228 OS << D->getDeclKindName() << "Decl"; 229 } 230 dumpPointer(D); 231 if (D->getLexicalDeclContext() != D->getDeclContext()) 232 OS << " parent " << cast<Decl>(D->getDeclContext()); 233 dumpPreviousDecl(OS, D); 234 dumpSourceRange(D->getSourceRange()); 235 OS << ' '; 236 dumpLocation(D->getLocation()); 237 if (D->isFromASTFile()) 238 OS << " imported"; 239 if (Module *M = D->getOwningModule()) 240 OS << " in " << M->getFullModuleName(); 241 if (auto *ND = dyn_cast<NamedDecl>(D)) 242 for (Module *M : D->getASTContext().getModulesWithMergedDefinition( 243 const_cast<NamedDecl *>(ND))) 244 AddChild([=] { OS << "also in " << M->getFullModuleName(); }); 245 if (const NamedDecl *ND = dyn_cast<NamedDecl>(D)) 246 if (ND->isHidden()) 247 OS << " hidden"; 248 if (D->isImplicit()) 249 OS << " implicit"; 250 251 if (D->isUsed()) 252 OS << " used"; 253 else if (D->isThisDeclarationReferenced()) 254 OS << " referenced"; 255 256 if (D->isInvalidDecl()) 257 OS << " invalid"; 258 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) 259 if (FD->isConstexpr()) 260 OS << " constexpr"; 261 262 if (!isa<FunctionDecl>(*D)) { 263 const auto *MD = dyn_cast<ObjCMethodDecl>(D); 264 if (!MD || !MD->isThisDeclarationADefinition()) { 265 const auto *DC = dyn_cast<DeclContext>(D); 266 if (DC && DC->hasExternalLexicalStorage()) { 267 ColorScope Color(OS, ShowColors, UndeserializedColor); 268 OS << " <undeserialized declarations>"; 269 } 270 } 271 } 272 273 ConstDeclVisitor<TextNodeDumper>::Visit(D); 274 } 275 276 void TextNodeDumper::Visit(const CXXCtorInitializer *Init) { 277 OS << "CXXCtorInitializer"; 278 if (Init->isAnyMemberInitializer()) { 279 OS << ' '; 280 dumpBareDeclRef(Init->getAnyMember()); 281 } else if (Init->isBaseInitializer()) { 282 dumpType(QualType(Init->getBaseClass(), 0)); 283 } else if (Init->isDelegatingInitializer()) { 284 dumpType(Init->getTypeSourceInfo()->getType()); 285 } else { 286 llvm_unreachable("Unknown initializer type"); 287 } 288 } 289 290 void TextNodeDumper::Visit(const BlockDecl::Capture &C) { 291 OS << "capture"; 292 if (C.isByRef()) 293 OS << " byref"; 294 if (C.isNested()) 295 OS << " nested"; 296 if (C.getVariable()) { 297 OS << ' '; 298 dumpBareDeclRef(C.getVariable()); 299 } 300 } 301 302 void TextNodeDumper::Visit(const OMPClause *C) { 303 if (!C) { 304 ColorScope Color(OS, ShowColors, NullColor); 305 OS << "<<<NULL>>> OMPClause"; 306 return; 307 } 308 { 309 ColorScope Color(OS, ShowColors, AttrColor); 310 StringRef ClauseName(getOpenMPClauseName(C->getClauseKind())); 311 OS << "OMP" << ClauseName.substr(/*Start=*/0, /*N=*/1).upper() 312 << ClauseName.drop_front() << "Clause"; 313 } 314 dumpPointer(C); 315 dumpSourceRange(SourceRange(C->getBeginLoc(), C->getEndLoc())); 316 if (C->isImplicit()) 317 OS << " <implicit>"; 318 } 319 320 void TextNodeDumper::Visit(const GenericSelectionExpr::ConstAssociation &A) { 321 const TypeSourceInfo *TSI = A.getTypeSourceInfo(); 322 if (TSI) { 323 OS << "case "; 324 dumpType(TSI->getType()); 325 } else { 326 OS << "default"; 327 } 328 329 if (A.isSelected()) 330 OS << " selected"; 331 } 332 333 void TextNodeDumper::dumpPointer(const void *Ptr) { 334 ColorScope Color(OS, ShowColors, AddressColor); 335 OS << ' ' << Ptr; 336 } 337 338 void TextNodeDumper::dumpLocation(SourceLocation Loc) { 339 if (!SM) 340 return; 341 342 ColorScope Color(OS, ShowColors, LocationColor); 343 SourceLocation SpellingLoc = SM->getSpellingLoc(Loc); 344 345 // The general format we print out is filename:line:col, but we drop pieces 346 // that haven't changed since the last loc printed. 347 PresumedLoc PLoc = SM->getPresumedLoc(SpellingLoc); 348 349 if (PLoc.isInvalid()) { 350 OS << "<invalid sloc>"; 351 return; 352 } 353 354 if (strcmp(PLoc.getFilename(), LastLocFilename) != 0) { 355 OS << PLoc.getFilename() << ':' << PLoc.getLine() << ':' 356 << PLoc.getColumn(); 357 LastLocFilename = PLoc.getFilename(); 358 LastLocLine = PLoc.getLine(); 359 } else if (PLoc.getLine() != LastLocLine) { 360 OS << "line" << ':' << PLoc.getLine() << ':' << PLoc.getColumn(); 361 LastLocLine = PLoc.getLine(); 362 } else { 363 OS << "col" << ':' << PLoc.getColumn(); 364 } 365 } 366 367 void TextNodeDumper::dumpSourceRange(SourceRange R) { 368 // Can't translate locations if a SourceManager isn't available. 369 if (!SM) 370 return; 371 372 OS << " <"; 373 dumpLocation(R.getBegin()); 374 if (R.getBegin() != R.getEnd()) { 375 OS << ", "; 376 dumpLocation(R.getEnd()); 377 } 378 OS << ">"; 379 380 // <t2.c:123:421[blah], t2.c:412:321> 381 } 382 383 void TextNodeDumper::dumpBareType(QualType T, bool Desugar) { 384 ColorScope Color(OS, ShowColors, TypeColor); 385 386 SplitQualType T_split = T.split(); 387 OS << "'" << QualType::getAsString(T_split, PrintPolicy) << "'"; 388 389 if (Desugar && !T.isNull()) { 390 // If the type is sugared, also dump a (shallow) desugared type. 391 SplitQualType D_split = T.getSplitDesugaredType(); 392 if (T_split != D_split) 393 OS << ":'" << QualType::getAsString(D_split, PrintPolicy) << "'"; 394 } 395 } 396 397 void TextNodeDumper::dumpType(QualType T) { 398 OS << ' '; 399 dumpBareType(T); 400 } 401 402 void TextNodeDumper::dumpBareDeclRef(const Decl *D) { 403 if (!D) { 404 ColorScope Color(OS, ShowColors, NullColor); 405 OS << "<<<NULL>>>"; 406 return; 407 } 408 409 { 410 ColorScope Color(OS, ShowColors, DeclKindNameColor); 411 OS << D->getDeclKindName(); 412 } 413 dumpPointer(D); 414 415 if (const NamedDecl *ND = dyn_cast<NamedDecl>(D)) { 416 ColorScope Color(OS, ShowColors, DeclNameColor); 417 OS << " '" << ND->getDeclName() << '\''; 418 } 419 420 if (const ValueDecl *VD = dyn_cast<ValueDecl>(D)) 421 dumpType(VD->getType()); 422 } 423 424 void TextNodeDumper::dumpName(const NamedDecl *ND) { 425 if (ND->getDeclName()) { 426 ColorScope Color(OS, ShowColors, DeclNameColor); 427 OS << ' ' << ND->getNameAsString(); 428 } 429 } 430 431 void TextNodeDumper::dumpAccessSpecifier(AccessSpecifier AS) { 432 switch (AS) { 433 case AS_none: 434 break; 435 case AS_public: 436 OS << "public"; 437 break; 438 case AS_protected: 439 OS << "protected"; 440 break; 441 case AS_private: 442 OS << "private"; 443 break; 444 } 445 } 446 447 void TextNodeDumper::dumpCXXTemporary(const CXXTemporary *Temporary) { 448 OS << "(CXXTemporary"; 449 dumpPointer(Temporary); 450 OS << ")"; 451 } 452 453 void TextNodeDumper::dumpDeclRef(const Decl *D, StringRef Label) { 454 if (!D) 455 return; 456 457 AddChild([=] { 458 if (!Label.empty()) 459 OS << Label << ' '; 460 dumpBareDeclRef(D); 461 }); 462 } 463 464 const char *TextNodeDumper::getCommandName(unsigned CommandID) { 465 if (Traits) 466 return Traits->getCommandInfo(CommandID)->Name; 467 const comments::CommandInfo *Info = 468 comments::CommandTraits::getBuiltinCommandInfo(CommandID); 469 if (Info) 470 return Info->Name; 471 return "<not a builtin command>"; 472 } 473 474 void TextNodeDumper::visitTextComment(const comments::TextComment *C, 475 const comments::FullComment *) { 476 OS << " Text=\"" << C->getText() << "\""; 477 } 478 479 void TextNodeDumper::visitInlineCommandComment( 480 const comments::InlineCommandComment *C, const comments::FullComment *) { 481 OS << " Name=\"" << getCommandName(C->getCommandID()) << "\""; 482 switch (C->getRenderKind()) { 483 case comments::InlineCommandComment::RenderNormal: 484 OS << " RenderNormal"; 485 break; 486 case comments::InlineCommandComment::RenderBold: 487 OS << " RenderBold"; 488 break; 489 case comments::InlineCommandComment::RenderMonospaced: 490 OS << " RenderMonospaced"; 491 break; 492 case comments::InlineCommandComment::RenderEmphasized: 493 OS << " RenderEmphasized"; 494 break; 495 } 496 497 for (unsigned i = 0, e = C->getNumArgs(); i != e; ++i) 498 OS << " Arg[" << i << "]=\"" << C->getArgText(i) << "\""; 499 } 500 501 void TextNodeDumper::visitHTMLStartTagComment( 502 const comments::HTMLStartTagComment *C, const comments::FullComment *) { 503 OS << " Name=\"" << C->getTagName() << "\""; 504 if (C->getNumAttrs() != 0) { 505 OS << " Attrs: "; 506 for (unsigned i = 0, e = C->getNumAttrs(); i != e; ++i) { 507 const comments::HTMLStartTagComment::Attribute &Attr = C->getAttr(i); 508 OS << " \"" << Attr.Name << "=\"" << Attr.Value << "\""; 509 } 510 } 511 if (C->isSelfClosing()) 512 OS << " SelfClosing"; 513 } 514 515 void TextNodeDumper::visitHTMLEndTagComment( 516 const comments::HTMLEndTagComment *C, const comments::FullComment *) { 517 OS << " Name=\"" << C->getTagName() << "\""; 518 } 519 520 void TextNodeDumper::visitBlockCommandComment( 521 const comments::BlockCommandComment *C, const comments::FullComment *) { 522 OS << " Name=\"" << getCommandName(C->getCommandID()) << "\""; 523 for (unsigned i = 0, e = C->getNumArgs(); i != e; ++i) 524 OS << " Arg[" << i << "]=\"" << C->getArgText(i) << "\""; 525 } 526 527 void TextNodeDumper::visitParamCommandComment( 528 const comments::ParamCommandComment *C, const comments::FullComment *FC) { 529 OS << " " 530 << comments::ParamCommandComment::getDirectionAsString(C->getDirection()); 531 532 if (C->isDirectionExplicit()) 533 OS << " explicitly"; 534 else 535 OS << " implicitly"; 536 537 if (C->hasParamName()) { 538 if (C->isParamIndexValid()) 539 OS << " Param=\"" << C->getParamName(FC) << "\""; 540 else 541 OS << " Param=\"" << C->getParamNameAsWritten() << "\""; 542 } 543 544 if (C->isParamIndexValid() && !C->isVarArgParam()) 545 OS << " ParamIndex=" << C->getParamIndex(); 546 } 547 548 void TextNodeDumper::visitTParamCommandComment( 549 const comments::TParamCommandComment *C, const comments::FullComment *FC) { 550 if (C->hasParamName()) { 551 if (C->isPositionValid()) 552 OS << " Param=\"" << C->getParamName(FC) << "\""; 553 else 554 OS << " Param=\"" << C->getParamNameAsWritten() << "\""; 555 } 556 557 if (C->isPositionValid()) { 558 OS << " Position=<"; 559 for (unsigned i = 0, e = C->getDepth(); i != e; ++i) { 560 OS << C->getIndex(i); 561 if (i != e - 1) 562 OS << ", "; 563 } 564 OS << ">"; 565 } 566 } 567 568 void TextNodeDumper::visitVerbatimBlockComment( 569 const comments::VerbatimBlockComment *C, const comments::FullComment *) { 570 OS << " Name=\"" << getCommandName(C->getCommandID()) 571 << "\"" 572 " CloseName=\"" 573 << C->getCloseName() << "\""; 574 } 575 576 void TextNodeDumper::visitVerbatimBlockLineComment( 577 const comments::VerbatimBlockLineComment *C, 578 const comments::FullComment *) { 579 OS << " Text=\"" << C->getText() << "\""; 580 } 581 582 void TextNodeDumper::visitVerbatimLineComment( 583 const comments::VerbatimLineComment *C, const comments::FullComment *) { 584 OS << " Text=\"" << C->getText() << "\""; 585 } 586 587 void TextNodeDumper::VisitNullTemplateArgument(const TemplateArgument &) { 588 OS << " null"; 589 } 590 591 void TextNodeDumper::VisitTypeTemplateArgument(const TemplateArgument &TA) { 592 OS << " type"; 593 dumpType(TA.getAsType()); 594 } 595 596 void TextNodeDumper::VisitDeclarationTemplateArgument( 597 const TemplateArgument &TA) { 598 OS << " decl"; 599 dumpDeclRef(TA.getAsDecl()); 600 } 601 602 void TextNodeDumper::VisitNullPtrTemplateArgument(const TemplateArgument &) { 603 OS << " nullptr"; 604 } 605 606 void TextNodeDumper::VisitIntegralTemplateArgument(const TemplateArgument &TA) { 607 OS << " integral " << TA.getAsIntegral(); 608 } 609 610 void TextNodeDumper::VisitTemplateTemplateArgument(const TemplateArgument &TA) { 611 OS << " template "; 612 TA.getAsTemplate().dump(OS); 613 } 614 615 void TextNodeDumper::VisitTemplateExpansionTemplateArgument( 616 const TemplateArgument &TA) { 617 OS << " template expansion "; 618 TA.getAsTemplateOrTemplatePattern().dump(OS); 619 } 620 621 void TextNodeDumper::VisitExpressionTemplateArgument(const TemplateArgument &) { 622 OS << " expr"; 623 } 624 625 void TextNodeDumper::VisitPackTemplateArgument(const TemplateArgument &) { 626 OS << " pack"; 627 } 628 629 static void dumpBasePath(raw_ostream &OS, const CastExpr *Node) { 630 if (Node->path_empty()) 631 return; 632 633 OS << " ("; 634 bool First = true; 635 for (CastExpr::path_const_iterator I = Node->path_begin(), 636 E = Node->path_end(); 637 I != E; ++I) { 638 const CXXBaseSpecifier *Base = *I; 639 if (!First) 640 OS << " -> "; 641 642 const CXXRecordDecl *RD = 643 cast<CXXRecordDecl>(Base->getType()->getAs<RecordType>()->getDecl()); 644 645 if (Base->isVirtual()) 646 OS << "virtual "; 647 OS << RD->getName(); 648 First = false; 649 } 650 651 OS << ')'; 652 } 653 654 void TextNodeDumper::VisitIfStmt(const IfStmt *Node) { 655 if (Node->hasInitStorage()) 656 OS << " has_init"; 657 if (Node->hasVarStorage()) 658 OS << " has_var"; 659 if (Node->hasElseStorage()) 660 OS << " has_else"; 661 } 662 663 void TextNodeDumper::VisitSwitchStmt(const SwitchStmt *Node) { 664 if (Node->hasInitStorage()) 665 OS << " has_init"; 666 if (Node->hasVarStorage()) 667 OS << " has_var"; 668 } 669 670 void TextNodeDumper::VisitWhileStmt(const WhileStmt *Node) { 671 if (Node->hasVarStorage()) 672 OS << " has_var"; 673 } 674 675 void TextNodeDumper::VisitLabelStmt(const LabelStmt *Node) { 676 OS << " '" << Node->getName() << "'"; 677 } 678 679 void TextNodeDumper::VisitGotoStmt(const GotoStmt *Node) { 680 OS << " '" << Node->getLabel()->getName() << "'"; 681 dumpPointer(Node->getLabel()); 682 } 683 684 void TextNodeDumper::VisitCaseStmt(const CaseStmt *Node) { 685 if (Node->caseStmtIsGNURange()) 686 OS << " gnu_range"; 687 } 688 689 void TextNodeDumper::VisitCallExpr(const CallExpr *Node) { 690 if (Node->usesADL()) 691 OS << " adl"; 692 } 693 694 void TextNodeDumper::VisitCastExpr(const CastExpr *Node) { 695 OS << " <"; 696 { 697 ColorScope Color(OS, ShowColors, CastColor); 698 OS << Node->getCastKindName(); 699 } 700 dumpBasePath(OS, Node); 701 OS << ">"; 702 } 703 704 void TextNodeDumper::VisitImplicitCastExpr(const ImplicitCastExpr *Node) { 705 VisitCastExpr(Node); 706 if (Node->isPartOfExplicitCast()) 707 OS << " part_of_explicit_cast"; 708 } 709 710 void TextNodeDumper::VisitDeclRefExpr(const DeclRefExpr *Node) { 711 OS << " "; 712 dumpBareDeclRef(Node->getDecl()); 713 if (Node->getDecl() != Node->getFoundDecl()) { 714 OS << " ("; 715 dumpBareDeclRef(Node->getFoundDecl()); 716 OS << ")"; 717 } 718 } 719 720 void TextNodeDumper::VisitUnresolvedLookupExpr( 721 const UnresolvedLookupExpr *Node) { 722 OS << " ("; 723 if (!Node->requiresADL()) 724 OS << "no "; 725 OS << "ADL) = '" << Node->getName() << '\''; 726 727 UnresolvedLookupExpr::decls_iterator I = Node->decls_begin(), 728 E = Node->decls_end(); 729 if (I == E) 730 OS << " empty"; 731 for (; I != E; ++I) 732 dumpPointer(*I); 733 } 734 735 void TextNodeDumper::VisitObjCIvarRefExpr(const ObjCIvarRefExpr *Node) { 736 { 737 ColorScope Color(OS, ShowColors, DeclKindNameColor); 738 OS << " " << Node->getDecl()->getDeclKindName() << "Decl"; 739 } 740 OS << "='" << *Node->getDecl() << "'"; 741 dumpPointer(Node->getDecl()); 742 if (Node->isFreeIvar()) 743 OS << " isFreeIvar"; 744 } 745 746 void TextNodeDumper::VisitPredefinedExpr(const PredefinedExpr *Node) { 747 OS << " " << PredefinedExpr::getIdentKindName(Node->getIdentKind()); 748 } 749 750 void TextNodeDumper::VisitCharacterLiteral(const CharacterLiteral *Node) { 751 ColorScope Color(OS, ShowColors, ValueColor); 752 OS << " " << Node->getValue(); 753 } 754 755 void TextNodeDumper::VisitIntegerLiteral(const IntegerLiteral *Node) { 756 bool isSigned = Node->getType()->isSignedIntegerType(); 757 ColorScope Color(OS, ShowColors, ValueColor); 758 OS << " " << Node->getValue().toString(10, isSigned); 759 } 760 761 void TextNodeDumper::VisitFixedPointLiteral(const FixedPointLiteral *Node) { 762 ColorScope Color(OS, ShowColors, ValueColor); 763 OS << " " << Node->getValueAsString(/*Radix=*/10); 764 } 765 766 void TextNodeDumper::VisitFloatingLiteral(const FloatingLiteral *Node) { 767 ColorScope Color(OS, ShowColors, ValueColor); 768 OS << " " << Node->getValueAsApproximateDouble(); 769 } 770 771 void TextNodeDumper::VisitStringLiteral(const StringLiteral *Str) { 772 ColorScope Color(OS, ShowColors, ValueColor); 773 OS << " "; 774 Str->outputString(OS); 775 } 776 777 void TextNodeDumper::VisitInitListExpr(const InitListExpr *ILE) { 778 if (auto *Field = ILE->getInitializedFieldInUnion()) { 779 OS << " field "; 780 dumpBareDeclRef(Field); 781 } 782 } 783 784 void TextNodeDumper::VisitGenericSelectionExpr(const GenericSelectionExpr *E) { 785 if (E->isResultDependent()) 786 OS << " result_dependent"; 787 } 788 789 void TextNodeDumper::VisitUnaryOperator(const UnaryOperator *Node) { 790 OS << " " << (Node->isPostfix() ? "postfix" : "prefix") << " '" 791 << UnaryOperator::getOpcodeStr(Node->getOpcode()) << "'"; 792 if (!Node->canOverflow()) 793 OS << " cannot overflow"; 794 } 795 796 void TextNodeDumper::VisitUnaryExprOrTypeTraitExpr( 797 const UnaryExprOrTypeTraitExpr *Node) { 798 switch (Node->getKind()) { 799 case UETT_SizeOf: 800 OS << " sizeof"; 801 break; 802 case UETT_AlignOf: 803 OS << " alignof"; 804 break; 805 case UETT_VecStep: 806 OS << " vec_step"; 807 break; 808 case UETT_OpenMPRequiredSimdAlign: 809 OS << " __builtin_omp_required_simd_align"; 810 break; 811 case UETT_PreferredAlignOf: 812 OS << " __alignof"; 813 break; 814 } 815 if (Node->isArgumentType()) 816 dumpType(Node->getArgumentType()); 817 } 818 819 void TextNodeDumper::VisitMemberExpr(const MemberExpr *Node) { 820 OS << " " << (Node->isArrow() ? "->" : ".") << *Node->getMemberDecl(); 821 dumpPointer(Node->getMemberDecl()); 822 } 823 824 void TextNodeDumper::VisitExtVectorElementExpr( 825 const ExtVectorElementExpr *Node) { 826 OS << " " << Node->getAccessor().getNameStart(); 827 } 828 829 void TextNodeDumper::VisitBinaryOperator(const BinaryOperator *Node) { 830 OS << " '" << BinaryOperator::getOpcodeStr(Node->getOpcode()) << "'"; 831 } 832 833 void TextNodeDumper::VisitCompoundAssignOperator( 834 const CompoundAssignOperator *Node) { 835 OS << " '" << BinaryOperator::getOpcodeStr(Node->getOpcode()) 836 << "' ComputeLHSTy="; 837 dumpBareType(Node->getComputationLHSType()); 838 OS << " ComputeResultTy="; 839 dumpBareType(Node->getComputationResultType()); 840 } 841 842 void TextNodeDumper::VisitAddrLabelExpr(const AddrLabelExpr *Node) { 843 OS << " " << Node->getLabel()->getName(); 844 dumpPointer(Node->getLabel()); 845 } 846 847 void TextNodeDumper::VisitCXXNamedCastExpr(const CXXNamedCastExpr *Node) { 848 OS << " " << Node->getCastName() << "<" 849 << Node->getTypeAsWritten().getAsString() << ">" 850 << " <" << Node->getCastKindName(); 851 dumpBasePath(OS, Node); 852 OS << ">"; 853 } 854 855 void TextNodeDumper::VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *Node) { 856 OS << " " << (Node->getValue() ? "true" : "false"); 857 } 858 859 void TextNodeDumper::VisitCXXThisExpr(const CXXThisExpr *Node) { 860 if (Node->isImplicit()) 861 OS << " implicit"; 862 OS << " this"; 863 } 864 865 void TextNodeDumper::VisitCXXFunctionalCastExpr( 866 const CXXFunctionalCastExpr *Node) { 867 OS << " functional cast to " << Node->getTypeAsWritten().getAsString() << " <" 868 << Node->getCastKindName() << ">"; 869 } 870 871 void TextNodeDumper::VisitCXXUnresolvedConstructExpr( 872 const CXXUnresolvedConstructExpr *Node) { 873 dumpType(Node->getTypeAsWritten()); 874 if (Node->isListInitialization()) 875 OS << " list"; 876 } 877 878 void TextNodeDumper::VisitCXXConstructExpr(const CXXConstructExpr *Node) { 879 CXXConstructorDecl *Ctor = Node->getConstructor(); 880 dumpType(Ctor->getType()); 881 if (Node->isElidable()) 882 OS << " elidable"; 883 if (Node->isListInitialization()) 884 OS << " list"; 885 if (Node->isStdInitListInitialization()) 886 OS << " std::initializer_list"; 887 if (Node->requiresZeroInitialization()) 888 OS << " zeroing"; 889 } 890 891 void TextNodeDumper::VisitCXXBindTemporaryExpr( 892 const CXXBindTemporaryExpr *Node) { 893 OS << " "; 894 dumpCXXTemporary(Node->getTemporary()); 895 } 896 897 void TextNodeDumper::VisitCXXNewExpr(const CXXNewExpr *Node) { 898 if (Node->isGlobalNew()) 899 OS << " global"; 900 if (Node->isArray()) 901 OS << " array"; 902 if (Node->getOperatorNew()) { 903 OS << ' '; 904 dumpBareDeclRef(Node->getOperatorNew()); 905 } 906 // We could dump the deallocation function used in case of error, but it's 907 // usually not that interesting. 908 } 909 910 void TextNodeDumper::VisitCXXDeleteExpr(const CXXDeleteExpr *Node) { 911 if (Node->isGlobalDelete()) 912 OS << " global"; 913 if (Node->isArrayForm()) 914 OS << " array"; 915 if (Node->getOperatorDelete()) { 916 OS << ' '; 917 dumpBareDeclRef(Node->getOperatorDelete()); 918 } 919 } 920 921 void TextNodeDumper::VisitMaterializeTemporaryExpr( 922 const MaterializeTemporaryExpr *Node) { 923 if (const ValueDecl *VD = Node->getExtendingDecl()) { 924 OS << " extended by "; 925 dumpBareDeclRef(VD); 926 } 927 } 928 929 void TextNodeDumper::VisitExprWithCleanups(const ExprWithCleanups *Node) { 930 for (unsigned i = 0, e = Node->getNumObjects(); i != e; ++i) 931 dumpDeclRef(Node->getObject(i), "cleanup"); 932 } 933 934 void TextNodeDumper::VisitSizeOfPackExpr(const SizeOfPackExpr *Node) { 935 dumpPointer(Node->getPack()); 936 dumpName(Node->getPack()); 937 } 938 939 void TextNodeDumper::VisitCXXDependentScopeMemberExpr( 940 const CXXDependentScopeMemberExpr *Node) { 941 OS << " " << (Node->isArrow() ? "->" : ".") << Node->getMember(); 942 } 943 944 void TextNodeDumper::VisitObjCMessageExpr(const ObjCMessageExpr *Node) { 945 OS << " selector="; 946 Node->getSelector().print(OS); 947 switch (Node->getReceiverKind()) { 948 case ObjCMessageExpr::Instance: 949 break; 950 951 case ObjCMessageExpr::Class: 952 OS << " class="; 953 dumpBareType(Node->getClassReceiver()); 954 break; 955 956 case ObjCMessageExpr::SuperInstance: 957 OS << " super (instance)"; 958 break; 959 960 case ObjCMessageExpr::SuperClass: 961 OS << " super (class)"; 962 break; 963 } 964 } 965 966 void TextNodeDumper::VisitObjCBoxedExpr(const ObjCBoxedExpr *Node) { 967 if (auto *BoxingMethod = Node->getBoxingMethod()) { 968 OS << " selector="; 969 BoxingMethod->getSelector().print(OS); 970 } 971 } 972 973 void TextNodeDumper::VisitObjCAtCatchStmt(const ObjCAtCatchStmt *Node) { 974 if (!Node->getCatchParamDecl()) 975 OS << " catch all"; 976 } 977 978 void TextNodeDumper::VisitObjCEncodeExpr(const ObjCEncodeExpr *Node) { 979 dumpType(Node->getEncodedType()); 980 } 981 982 void TextNodeDumper::VisitObjCSelectorExpr(const ObjCSelectorExpr *Node) { 983 OS << " "; 984 Node->getSelector().print(OS); 985 } 986 987 void TextNodeDumper::VisitObjCProtocolExpr(const ObjCProtocolExpr *Node) { 988 OS << ' ' << *Node->getProtocol(); 989 } 990 991 void TextNodeDumper::VisitObjCPropertyRefExpr(const ObjCPropertyRefExpr *Node) { 992 if (Node->isImplicitProperty()) { 993 OS << " Kind=MethodRef Getter=\""; 994 if (Node->getImplicitPropertyGetter()) 995 Node->getImplicitPropertyGetter()->getSelector().print(OS); 996 else 997 OS << "(null)"; 998 999 OS << "\" Setter=\""; 1000 if (ObjCMethodDecl *Setter = Node->getImplicitPropertySetter()) 1001 Setter->getSelector().print(OS); 1002 else 1003 OS << "(null)"; 1004 OS << "\""; 1005 } else { 1006 OS << " Kind=PropertyRef Property=\"" << *Node->getExplicitProperty() 1007 << '"'; 1008 } 1009 1010 if (Node->isSuperReceiver()) 1011 OS << " super"; 1012 1013 OS << " Messaging="; 1014 if (Node->isMessagingGetter() && Node->isMessagingSetter()) 1015 OS << "Getter&Setter"; 1016 else if (Node->isMessagingGetter()) 1017 OS << "Getter"; 1018 else if (Node->isMessagingSetter()) 1019 OS << "Setter"; 1020 } 1021 1022 void TextNodeDumper::VisitObjCSubscriptRefExpr( 1023 const ObjCSubscriptRefExpr *Node) { 1024 if (Node->isArraySubscriptRefExpr()) 1025 OS << " Kind=ArraySubscript GetterForArray=\""; 1026 else 1027 OS << " Kind=DictionarySubscript GetterForDictionary=\""; 1028 if (Node->getAtIndexMethodDecl()) 1029 Node->getAtIndexMethodDecl()->getSelector().print(OS); 1030 else 1031 OS << "(null)"; 1032 1033 if (Node->isArraySubscriptRefExpr()) 1034 OS << "\" SetterForArray=\""; 1035 else 1036 OS << "\" SetterForDictionary=\""; 1037 if (Node->setAtIndexMethodDecl()) 1038 Node->setAtIndexMethodDecl()->getSelector().print(OS); 1039 else 1040 OS << "(null)"; 1041 } 1042 1043 void TextNodeDumper::VisitObjCBoolLiteralExpr(const ObjCBoolLiteralExpr *Node) { 1044 OS << " " << (Node->getValue() ? "__objc_yes" : "__objc_no"); 1045 } 1046 1047 void TextNodeDumper::VisitRValueReferenceType(const ReferenceType *T) { 1048 if (T->isSpelledAsLValue()) 1049 OS << " written as lvalue reference"; 1050 } 1051 1052 void TextNodeDumper::VisitArrayType(const ArrayType *T) { 1053 switch (T->getSizeModifier()) { 1054 case ArrayType::Normal: 1055 break; 1056 case ArrayType::Static: 1057 OS << " static"; 1058 break; 1059 case ArrayType::Star: 1060 OS << " *"; 1061 break; 1062 } 1063 OS << " " << T->getIndexTypeQualifiers().getAsString(); 1064 } 1065 1066 void TextNodeDumper::VisitConstantArrayType(const ConstantArrayType *T) { 1067 OS << " " << T->getSize(); 1068 VisitArrayType(T); 1069 } 1070 1071 void TextNodeDumper::VisitVariableArrayType(const VariableArrayType *T) { 1072 OS << " "; 1073 dumpSourceRange(T->getBracketsRange()); 1074 VisitArrayType(T); 1075 } 1076 1077 void TextNodeDumper::VisitDependentSizedArrayType( 1078 const DependentSizedArrayType *T) { 1079 VisitArrayType(T); 1080 OS << " "; 1081 dumpSourceRange(T->getBracketsRange()); 1082 } 1083 1084 void TextNodeDumper::VisitDependentSizedExtVectorType( 1085 const DependentSizedExtVectorType *T) { 1086 OS << " "; 1087 dumpLocation(T->getAttributeLoc()); 1088 } 1089 1090 void TextNodeDumper::VisitVectorType(const VectorType *T) { 1091 switch (T->getVectorKind()) { 1092 case VectorType::GenericVector: 1093 break; 1094 case VectorType::AltiVecVector: 1095 OS << " altivec"; 1096 break; 1097 case VectorType::AltiVecPixel: 1098 OS << " altivec pixel"; 1099 break; 1100 case VectorType::AltiVecBool: 1101 OS << " altivec bool"; 1102 break; 1103 case VectorType::NeonVector: 1104 OS << " neon"; 1105 break; 1106 case VectorType::NeonPolyVector: 1107 OS << " neon poly"; 1108 break; 1109 } 1110 OS << " " << T->getNumElements(); 1111 } 1112 1113 void TextNodeDumper::VisitFunctionType(const FunctionType *T) { 1114 auto EI = T->getExtInfo(); 1115 if (EI.getNoReturn()) 1116 OS << " noreturn"; 1117 if (EI.getProducesResult()) 1118 OS << " produces_result"; 1119 if (EI.getHasRegParm()) 1120 OS << " regparm " << EI.getRegParm(); 1121 OS << " " << FunctionType::getNameForCallConv(EI.getCC()); 1122 } 1123 1124 void TextNodeDumper::VisitFunctionProtoType(const FunctionProtoType *T) { 1125 auto EPI = T->getExtProtoInfo(); 1126 if (EPI.HasTrailingReturn) 1127 OS << " trailing_return"; 1128 if (T->isConst()) 1129 OS << " const"; 1130 if (T->isVolatile()) 1131 OS << " volatile"; 1132 if (T->isRestrict()) 1133 OS << " restrict"; 1134 if (T->getExtProtoInfo().Variadic) 1135 OS << " variadic"; 1136 switch (EPI.RefQualifier) { 1137 case RQ_None: 1138 break; 1139 case RQ_LValue: 1140 OS << " &"; 1141 break; 1142 case RQ_RValue: 1143 OS << " &&"; 1144 break; 1145 } 1146 // FIXME: Exception specification. 1147 // FIXME: Consumed parameters. 1148 VisitFunctionType(T); 1149 } 1150 1151 void TextNodeDumper::VisitUnresolvedUsingType(const UnresolvedUsingType *T) { 1152 dumpDeclRef(T->getDecl()); 1153 } 1154 1155 void TextNodeDumper::VisitTypedefType(const TypedefType *T) { 1156 dumpDeclRef(T->getDecl()); 1157 } 1158 1159 void TextNodeDumper::VisitUnaryTransformType(const UnaryTransformType *T) { 1160 switch (T->getUTTKind()) { 1161 case UnaryTransformType::EnumUnderlyingType: 1162 OS << " underlying_type"; 1163 break; 1164 } 1165 } 1166 1167 void TextNodeDumper::VisitTagType(const TagType *T) { 1168 dumpDeclRef(T->getDecl()); 1169 } 1170 1171 void TextNodeDumper::VisitTemplateTypeParmType(const TemplateTypeParmType *T) { 1172 OS << " depth " << T->getDepth() << " index " << T->getIndex(); 1173 if (T->isParameterPack()) 1174 OS << " pack"; 1175 dumpDeclRef(T->getDecl()); 1176 } 1177 1178 void TextNodeDumper::VisitAutoType(const AutoType *T) { 1179 if (T->isDecltypeAuto()) 1180 OS << " decltype(auto)"; 1181 if (!T->isDeduced()) 1182 OS << " undeduced"; 1183 } 1184 1185 void TextNodeDumper::VisitTemplateSpecializationType( 1186 const TemplateSpecializationType *T) { 1187 if (T->isTypeAlias()) 1188 OS << " alias"; 1189 OS << " "; 1190 T->getTemplateName().dump(OS); 1191 } 1192 1193 void TextNodeDumper::VisitInjectedClassNameType( 1194 const InjectedClassNameType *T) { 1195 dumpDeclRef(T->getDecl()); 1196 } 1197 1198 void TextNodeDumper::VisitObjCInterfaceType(const ObjCInterfaceType *T) { 1199 dumpDeclRef(T->getDecl()); 1200 } 1201 1202 void TextNodeDumper::VisitPackExpansionType(const PackExpansionType *T) { 1203 if (auto N = T->getNumExpansions()) 1204 OS << " expansions " << *N; 1205 } 1206 1207 void TextNodeDumper::VisitLabelDecl(const LabelDecl *D) { dumpName(D); } 1208 1209 void TextNodeDumper::VisitTypedefDecl(const TypedefDecl *D) { 1210 dumpName(D); 1211 dumpType(D->getUnderlyingType()); 1212 if (D->isModulePrivate()) 1213 OS << " __module_private__"; 1214 } 1215 1216 void TextNodeDumper::VisitEnumDecl(const EnumDecl *D) { 1217 if (D->isScoped()) { 1218 if (D->isScopedUsingClassTag()) 1219 OS << " class"; 1220 else 1221 OS << " struct"; 1222 } 1223 dumpName(D); 1224 if (D->isModulePrivate()) 1225 OS << " __module_private__"; 1226 if (D->isFixed()) 1227 dumpType(D->getIntegerType()); 1228 } 1229 1230 void TextNodeDumper::VisitRecordDecl(const RecordDecl *D) { 1231 OS << ' ' << D->getKindName(); 1232 dumpName(D); 1233 if (D->isModulePrivate()) 1234 OS << " __module_private__"; 1235 if (D->isCompleteDefinition()) 1236 OS << " definition"; 1237 } 1238 1239 void TextNodeDumper::VisitEnumConstantDecl(const EnumConstantDecl *D) { 1240 dumpName(D); 1241 dumpType(D->getType()); 1242 } 1243 1244 void TextNodeDumper::VisitIndirectFieldDecl(const IndirectFieldDecl *D) { 1245 dumpName(D); 1246 dumpType(D->getType()); 1247 1248 for (const auto *Child : D->chain()) 1249 dumpDeclRef(Child); 1250 } 1251 1252 void TextNodeDumper::VisitFunctionDecl(const FunctionDecl *D) { 1253 dumpName(D); 1254 dumpType(D->getType()); 1255 1256 StorageClass SC = D->getStorageClass(); 1257 if (SC != SC_None) 1258 OS << ' ' << VarDecl::getStorageClassSpecifierString(SC); 1259 if (D->isInlineSpecified()) 1260 OS << " inline"; 1261 if (D->isVirtualAsWritten()) 1262 OS << " virtual"; 1263 if (D->isModulePrivate()) 1264 OS << " __module_private__"; 1265 1266 if (D->isPure()) 1267 OS << " pure"; 1268 if (D->isDefaulted()) { 1269 OS << " default"; 1270 if (D->isDeleted()) 1271 OS << "_delete"; 1272 } 1273 if (D->isDeletedAsWritten()) 1274 OS << " delete"; 1275 if (D->isTrivial()) 1276 OS << " trivial"; 1277 1278 if (const auto *FPT = D->getType()->getAs<FunctionProtoType>()) { 1279 FunctionProtoType::ExtProtoInfo EPI = FPT->getExtProtoInfo(); 1280 switch (EPI.ExceptionSpec.Type) { 1281 default: 1282 break; 1283 case EST_Unevaluated: 1284 OS << " noexcept-unevaluated " << EPI.ExceptionSpec.SourceDecl; 1285 break; 1286 case EST_Uninstantiated: 1287 OS << " noexcept-uninstantiated " << EPI.ExceptionSpec.SourceTemplate; 1288 break; 1289 } 1290 } 1291 1292 if (const auto *MD = dyn_cast<CXXMethodDecl>(D)) { 1293 if (MD->size_overridden_methods() != 0) { 1294 auto dumpOverride = [=](const CXXMethodDecl *D) { 1295 SplitQualType T_split = D->getType().split(); 1296 OS << D << " " << D->getParent()->getName() 1297 << "::" << D->getNameAsString() << " '" 1298 << QualType::getAsString(T_split, PrintPolicy) << "'"; 1299 }; 1300 1301 AddChild([=] { 1302 auto Overrides = MD->overridden_methods(); 1303 OS << "Overrides: [ "; 1304 dumpOverride(*Overrides.begin()); 1305 for (const auto *Override : 1306 llvm::make_range(Overrides.begin() + 1, Overrides.end())) { 1307 OS << ", "; 1308 dumpOverride(Override); 1309 } 1310 OS << " ]"; 1311 }); 1312 } 1313 } 1314 1315 // Since NumParams comes from the FunctionProtoType of the FunctionDecl and 1316 // the Params are set later, it is possible for a dump during debugging to 1317 // encounter a FunctionDecl that has been created but hasn't been assigned 1318 // ParmVarDecls yet. 1319 if (!D->param_empty() && !D->param_begin()) 1320 OS << " <<<NULL params x " << D->getNumParams() << ">>>"; 1321 } 1322 1323 void TextNodeDumper::VisitFieldDecl(const FieldDecl *D) { 1324 dumpName(D); 1325 dumpType(D->getType()); 1326 if (D->isMutable()) 1327 OS << " mutable"; 1328 if (D->isModulePrivate()) 1329 OS << " __module_private__"; 1330 } 1331 1332 void TextNodeDumper::VisitVarDecl(const VarDecl *D) { 1333 dumpName(D); 1334 dumpType(D->getType()); 1335 StorageClass SC = D->getStorageClass(); 1336 if (SC != SC_None) 1337 OS << ' ' << VarDecl::getStorageClassSpecifierString(SC); 1338 switch (D->getTLSKind()) { 1339 case VarDecl::TLS_None: 1340 break; 1341 case VarDecl::TLS_Static: 1342 OS << " tls"; 1343 break; 1344 case VarDecl::TLS_Dynamic: 1345 OS << " tls_dynamic"; 1346 break; 1347 } 1348 if (D->isModulePrivate()) 1349 OS << " __module_private__"; 1350 if (D->isNRVOVariable()) 1351 OS << " nrvo"; 1352 if (D->isInline()) 1353 OS << " inline"; 1354 if (D->isConstexpr()) 1355 OS << " constexpr"; 1356 if (D->hasInit()) { 1357 switch (D->getInitStyle()) { 1358 case VarDecl::CInit: 1359 OS << " cinit"; 1360 break; 1361 case VarDecl::CallInit: 1362 OS << " callinit"; 1363 break; 1364 case VarDecl::ListInit: 1365 OS << " listinit"; 1366 break; 1367 } 1368 } 1369 if (D->isParameterPack()) 1370 OS << " pack"; 1371 } 1372 1373 void TextNodeDumper::VisitBindingDecl(const BindingDecl *D) { 1374 dumpName(D); 1375 dumpType(D->getType()); 1376 } 1377 1378 void TextNodeDumper::VisitCapturedDecl(const CapturedDecl *D) { 1379 if (D->isNothrow()) 1380 OS << " nothrow"; 1381 } 1382 1383 void TextNodeDumper::VisitImportDecl(const ImportDecl *D) { 1384 OS << ' ' << D->getImportedModule()->getFullModuleName(); 1385 1386 for (Decl *InitD : 1387 D->getASTContext().getModuleInitializers(D->getImportedModule())) 1388 dumpDeclRef(InitD, "initializer"); 1389 } 1390 1391 void TextNodeDumper::VisitPragmaCommentDecl(const PragmaCommentDecl *D) { 1392 OS << ' '; 1393 switch (D->getCommentKind()) { 1394 case PCK_Unknown: 1395 llvm_unreachable("unexpected pragma comment kind"); 1396 case PCK_Compiler: 1397 OS << "compiler"; 1398 break; 1399 case PCK_ExeStr: 1400 OS << "exestr"; 1401 break; 1402 case PCK_Lib: 1403 OS << "lib"; 1404 break; 1405 case PCK_Linker: 1406 OS << "linker"; 1407 break; 1408 case PCK_User: 1409 OS << "user"; 1410 break; 1411 } 1412 StringRef Arg = D->getArg(); 1413 if (!Arg.empty()) 1414 OS << " \"" << Arg << "\""; 1415 } 1416 1417 void TextNodeDumper::VisitPragmaDetectMismatchDecl( 1418 const PragmaDetectMismatchDecl *D) { 1419 OS << " \"" << D->getName() << "\" \"" << D->getValue() << "\""; 1420 } 1421 1422 void TextNodeDumper::VisitOMPExecutableDirective( 1423 const OMPExecutableDirective *D) { 1424 if (D->isStandaloneDirective()) 1425 OS << " openmp_standalone_directive"; 1426 } 1427 1428 void TextNodeDumper::VisitOMPDeclareReductionDecl( 1429 const OMPDeclareReductionDecl *D) { 1430 dumpName(D); 1431 dumpType(D->getType()); 1432 OS << " combiner"; 1433 dumpPointer(D->getCombiner()); 1434 if (const auto *Initializer = D->getInitializer()) { 1435 OS << " initializer"; 1436 dumpPointer(Initializer); 1437 switch (D->getInitializerKind()) { 1438 case OMPDeclareReductionDecl::DirectInit: 1439 OS << " omp_priv = "; 1440 break; 1441 case OMPDeclareReductionDecl::CopyInit: 1442 OS << " omp_priv ()"; 1443 break; 1444 case OMPDeclareReductionDecl::CallInit: 1445 break; 1446 } 1447 } 1448 } 1449 1450 void TextNodeDumper::VisitOMPRequiresDecl(const OMPRequiresDecl *D) { 1451 for (const auto *C : D->clauselists()) { 1452 AddChild([=] { 1453 if (!C) { 1454 ColorScope Color(OS, ShowColors, NullColor); 1455 OS << "<<<NULL>>> OMPClause"; 1456 return; 1457 } 1458 { 1459 ColorScope Color(OS, ShowColors, AttrColor); 1460 StringRef ClauseName(getOpenMPClauseName(C->getClauseKind())); 1461 OS << "OMP" << ClauseName.substr(/*Start=*/0, /*N=*/1).upper() 1462 << ClauseName.drop_front() << "Clause"; 1463 } 1464 dumpPointer(C); 1465 dumpSourceRange(SourceRange(C->getBeginLoc(), C->getEndLoc())); 1466 }); 1467 } 1468 } 1469 1470 void TextNodeDumper::VisitOMPCapturedExprDecl(const OMPCapturedExprDecl *D) { 1471 dumpName(D); 1472 dumpType(D->getType()); 1473 } 1474 1475 void TextNodeDumper::VisitNamespaceDecl(const NamespaceDecl *D) { 1476 dumpName(D); 1477 if (D->isInline()) 1478 OS << " inline"; 1479 if (!D->isOriginalNamespace()) 1480 dumpDeclRef(D->getOriginalNamespace(), "original"); 1481 } 1482 1483 void TextNodeDumper::VisitUsingDirectiveDecl(const UsingDirectiveDecl *D) { 1484 OS << ' '; 1485 dumpBareDeclRef(D->getNominatedNamespace()); 1486 } 1487 1488 void TextNodeDumper::VisitNamespaceAliasDecl(const NamespaceAliasDecl *D) { 1489 dumpName(D); 1490 dumpDeclRef(D->getAliasedNamespace()); 1491 } 1492 1493 void TextNodeDumper::VisitTypeAliasDecl(const TypeAliasDecl *D) { 1494 dumpName(D); 1495 dumpType(D->getUnderlyingType()); 1496 } 1497 1498 void TextNodeDumper::VisitTypeAliasTemplateDecl( 1499 const TypeAliasTemplateDecl *D) { 1500 dumpName(D); 1501 } 1502 1503 void TextNodeDumper::VisitCXXRecordDecl(const CXXRecordDecl *D) { 1504 VisitRecordDecl(D); 1505 if (!D->isCompleteDefinition()) 1506 return; 1507 1508 AddChild([=] { 1509 { 1510 ColorScope Color(OS, ShowColors, DeclKindNameColor); 1511 OS << "DefinitionData"; 1512 } 1513 #define FLAG(fn, name) \ 1514 if (D->fn()) \ 1515 OS << " " #name; 1516 FLAG(isParsingBaseSpecifiers, parsing_base_specifiers); 1517 1518 FLAG(isGenericLambda, generic); 1519 FLAG(isLambda, lambda); 1520 1521 FLAG(canPassInRegisters, pass_in_registers); 1522 FLAG(isEmpty, empty); 1523 FLAG(isAggregate, aggregate); 1524 FLAG(isStandardLayout, standard_layout); 1525 FLAG(isTriviallyCopyable, trivially_copyable); 1526 FLAG(isPOD, pod); 1527 FLAG(isTrivial, trivial); 1528 FLAG(isPolymorphic, polymorphic); 1529 FLAG(isAbstract, abstract); 1530 FLAG(isLiteral, literal); 1531 1532 FLAG(hasUserDeclaredConstructor, has_user_declared_ctor); 1533 FLAG(hasConstexprNonCopyMoveConstructor, has_constexpr_non_copy_move_ctor); 1534 FLAG(hasMutableFields, has_mutable_fields); 1535 FLAG(hasVariantMembers, has_variant_members); 1536 FLAG(allowConstDefaultInit, can_const_default_init); 1537 1538 AddChild([=] { 1539 { 1540 ColorScope Color(OS, ShowColors, DeclKindNameColor); 1541 OS << "DefaultConstructor"; 1542 } 1543 FLAG(hasDefaultConstructor, exists); 1544 FLAG(hasTrivialDefaultConstructor, trivial); 1545 FLAG(hasNonTrivialDefaultConstructor, non_trivial); 1546 FLAG(hasUserProvidedDefaultConstructor, user_provided); 1547 FLAG(hasConstexprDefaultConstructor, constexpr); 1548 FLAG(needsImplicitDefaultConstructor, needs_implicit); 1549 FLAG(defaultedDefaultConstructorIsConstexpr, defaulted_is_constexpr); 1550 }); 1551 1552 AddChild([=] { 1553 { 1554 ColorScope Color(OS, ShowColors, DeclKindNameColor); 1555 OS << "CopyConstructor"; 1556 } 1557 FLAG(hasSimpleCopyConstructor, simple); 1558 FLAG(hasTrivialCopyConstructor, trivial); 1559 FLAG(hasNonTrivialCopyConstructor, non_trivial); 1560 FLAG(hasUserDeclaredCopyConstructor, user_declared); 1561 FLAG(hasCopyConstructorWithConstParam, has_const_param); 1562 FLAG(needsImplicitCopyConstructor, needs_implicit); 1563 FLAG(needsOverloadResolutionForCopyConstructor, 1564 needs_overload_resolution); 1565 if (!D->needsOverloadResolutionForCopyConstructor()) 1566 FLAG(defaultedCopyConstructorIsDeleted, defaulted_is_deleted); 1567 FLAG(implicitCopyConstructorHasConstParam, implicit_has_const_param); 1568 }); 1569 1570 AddChild([=] { 1571 { 1572 ColorScope Color(OS, ShowColors, DeclKindNameColor); 1573 OS << "MoveConstructor"; 1574 } 1575 FLAG(hasMoveConstructor, exists); 1576 FLAG(hasSimpleMoveConstructor, simple); 1577 FLAG(hasTrivialMoveConstructor, trivial); 1578 FLAG(hasNonTrivialMoveConstructor, non_trivial); 1579 FLAG(hasUserDeclaredMoveConstructor, user_declared); 1580 FLAG(needsImplicitMoveConstructor, needs_implicit); 1581 FLAG(needsOverloadResolutionForMoveConstructor, 1582 needs_overload_resolution); 1583 if (!D->needsOverloadResolutionForMoveConstructor()) 1584 FLAG(defaultedMoveConstructorIsDeleted, defaulted_is_deleted); 1585 }); 1586 1587 AddChild([=] { 1588 { 1589 ColorScope Color(OS, ShowColors, DeclKindNameColor); 1590 OS << "CopyAssignment"; 1591 } 1592 FLAG(hasTrivialCopyAssignment, trivial); 1593 FLAG(hasNonTrivialCopyAssignment, non_trivial); 1594 FLAG(hasCopyAssignmentWithConstParam, has_const_param); 1595 FLAG(hasUserDeclaredCopyAssignment, user_declared); 1596 FLAG(needsImplicitCopyAssignment, needs_implicit); 1597 FLAG(needsOverloadResolutionForCopyAssignment, needs_overload_resolution); 1598 FLAG(implicitCopyAssignmentHasConstParam, implicit_has_const_param); 1599 }); 1600 1601 AddChild([=] { 1602 { 1603 ColorScope Color(OS, ShowColors, DeclKindNameColor); 1604 OS << "MoveAssignment"; 1605 } 1606 FLAG(hasMoveAssignment, exists); 1607 FLAG(hasSimpleMoveAssignment, simple); 1608 FLAG(hasTrivialMoveAssignment, trivial); 1609 FLAG(hasNonTrivialMoveAssignment, non_trivial); 1610 FLAG(hasUserDeclaredMoveAssignment, user_declared); 1611 FLAG(needsImplicitMoveAssignment, needs_implicit); 1612 FLAG(needsOverloadResolutionForMoveAssignment, needs_overload_resolution); 1613 }); 1614 1615 AddChild([=] { 1616 { 1617 ColorScope Color(OS, ShowColors, DeclKindNameColor); 1618 OS << "Destructor"; 1619 } 1620 FLAG(hasSimpleDestructor, simple); 1621 FLAG(hasIrrelevantDestructor, irrelevant); 1622 FLAG(hasTrivialDestructor, trivial); 1623 FLAG(hasNonTrivialDestructor, non_trivial); 1624 FLAG(hasUserDeclaredDestructor, user_declared); 1625 FLAG(needsImplicitDestructor, needs_implicit); 1626 FLAG(needsOverloadResolutionForDestructor, needs_overload_resolution); 1627 if (!D->needsOverloadResolutionForDestructor()) 1628 FLAG(defaultedDestructorIsDeleted, defaulted_is_deleted); 1629 }); 1630 }); 1631 1632 for (const auto &I : D->bases()) { 1633 AddChild([=] { 1634 if (I.isVirtual()) 1635 OS << "virtual "; 1636 dumpAccessSpecifier(I.getAccessSpecifier()); 1637 dumpType(I.getType()); 1638 if (I.isPackExpansion()) 1639 OS << "..."; 1640 }); 1641 } 1642 } 1643 1644 void TextNodeDumper::VisitFunctionTemplateDecl(const FunctionTemplateDecl *D) { 1645 dumpName(D); 1646 } 1647 1648 void TextNodeDumper::VisitClassTemplateDecl(const ClassTemplateDecl *D) { 1649 dumpName(D); 1650 } 1651 1652 void TextNodeDumper::VisitVarTemplateDecl(const VarTemplateDecl *D) { 1653 dumpName(D); 1654 } 1655 1656 void TextNodeDumper::VisitBuiltinTemplateDecl(const BuiltinTemplateDecl *D) { 1657 dumpName(D); 1658 } 1659 1660 void TextNodeDumper::VisitTemplateTypeParmDecl(const TemplateTypeParmDecl *D) { 1661 if (D->wasDeclaredWithTypename()) 1662 OS << " typename"; 1663 else 1664 OS << " class"; 1665 OS << " depth " << D->getDepth() << " index " << D->getIndex(); 1666 if (D->isParameterPack()) 1667 OS << " ..."; 1668 dumpName(D); 1669 } 1670 1671 void TextNodeDumper::VisitNonTypeTemplateParmDecl( 1672 const NonTypeTemplateParmDecl *D) { 1673 dumpType(D->getType()); 1674 OS << " depth " << D->getDepth() << " index " << D->getIndex(); 1675 if (D->isParameterPack()) 1676 OS << " ..."; 1677 dumpName(D); 1678 } 1679 1680 void TextNodeDumper::VisitTemplateTemplateParmDecl( 1681 const TemplateTemplateParmDecl *D) { 1682 OS << " depth " << D->getDepth() << " index " << D->getIndex(); 1683 if (D->isParameterPack()) 1684 OS << " ..."; 1685 dumpName(D); 1686 } 1687 1688 void TextNodeDumper::VisitUsingDecl(const UsingDecl *D) { 1689 OS << ' '; 1690 if (D->getQualifier()) 1691 D->getQualifier()->print(OS, D->getASTContext().getPrintingPolicy()); 1692 OS << D->getNameAsString(); 1693 } 1694 1695 void TextNodeDumper::VisitUnresolvedUsingTypenameDecl( 1696 const UnresolvedUsingTypenameDecl *D) { 1697 OS << ' '; 1698 if (D->getQualifier()) 1699 D->getQualifier()->print(OS, D->getASTContext().getPrintingPolicy()); 1700 OS << D->getNameAsString(); 1701 } 1702 1703 void TextNodeDumper::VisitUnresolvedUsingValueDecl( 1704 const UnresolvedUsingValueDecl *D) { 1705 OS << ' '; 1706 if (D->getQualifier()) 1707 D->getQualifier()->print(OS, D->getASTContext().getPrintingPolicy()); 1708 OS << D->getNameAsString(); 1709 dumpType(D->getType()); 1710 } 1711 1712 void TextNodeDumper::VisitUsingShadowDecl(const UsingShadowDecl *D) { 1713 OS << ' '; 1714 dumpBareDeclRef(D->getTargetDecl()); 1715 } 1716 1717 void TextNodeDumper::VisitConstructorUsingShadowDecl( 1718 const ConstructorUsingShadowDecl *D) { 1719 if (D->constructsVirtualBase()) 1720 OS << " virtual"; 1721 1722 AddChild([=] { 1723 OS << "target "; 1724 dumpBareDeclRef(D->getTargetDecl()); 1725 }); 1726 1727 AddChild([=] { 1728 OS << "nominated "; 1729 dumpBareDeclRef(D->getNominatedBaseClass()); 1730 OS << ' '; 1731 dumpBareDeclRef(D->getNominatedBaseClassShadowDecl()); 1732 }); 1733 1734 AddChild([=] { 1735 OS << "constructed "; 1736 dumpBareDeclRef(D->getConstructedBaseClass()); 1737 OS << ' '; 1738 dumpBareDeclRef(D->getConstructedBaseClassShadowDecl()); 1739 }); 1740 } 1741 1742 void TextNodeDumper::VisitLinkageSpecDecl(const LinkageSpecDecl *D) { 1743 switch (D->getLanguage()) { 1744 case LinkageSpecDecl::lang_c: 1745 OS << " C"; 1746 break; 1747 case LinkageSpecDecl::lang_cxx: 1748 OS << " C++"; 1749 break; 1750 } 1751 } 1752 1753 void TextNodeDumper::VisitAccessSpecDecl(const AccessSpecDecl *D) { 1754 OS << ' '; 1755 dumpAccessSpecifier(D->getAccess()); 1756 } 1757 1758 void TextNodeDumper::VisitFriendDecl(const FriendDecl *D) { 1759 if (TypeSourceInfo *T = D->getFriendType()) 1760 dumpType(T->getType()); 1761 } 1762 1763 void TextNodeDumper::VisitObjCIvarDecl(const ObjCIvarDecl *D) { 1764 dumpName(D); 1765 dumpType(D->getType()); 1766 if (D->getSynthesize()) 1767 OS << " synthesize"; 1768 1769 switch (D->getAccessControl()) { 1770 case ObjCIvarDecl::None: 1771 OS << " none"; 1772 break; 1773 case ObjCIvarDecl::Private: 1774 OS << " private"; 1775 break; 1776 case ObjCIvarDecl::Protected: 1777 OS << " protected"; 1778 break; 1779 case ObjCIvarDecl::Public: 1780 OS << " public"; 1781 break; 1782 case ObjCIvarDecl::Package: 1783 OS << " package"; 1784 break; 1785 } 1786 } 1787 1788 void TextNodeDumper::VisitObjCMethodDecl(const ObjCMethodDecl *D) { 1789 if (D->isInstanceMethod()) 1790 OS << " -"; 1791 else 1792 OS << " +"; 1793 dumpName(D); 1794 dumpType(D->getReturnType()); 1795 1796 if (D->isVariadic()) 1797 OS << " variadic"; 1798 } 1799 1800 void TextNodeDumper::VisitObjCTypeParamDecl(const ObjCTypeParamDecl *D) { 1801 dumpName(D); 1802 switch (D->getVariance()) { 1803 case ObjCTypeParamVariance::Invariant: 1804 break; 1805 1806 case ObjCTypeParamVariance::Covariant: 1807 OS << " covariant"; 1808 break; 1809 1810 case ObjCTypeParamVariance::Contravariant: 1811 OS << " contravariant"; 1812 break; 1813 } 1814 1815 if (D->hasExplicitBound()) 1816 OS << " bounded"; 1817 dumpType(D->getUnderlyingType()); 1818 } 1819 1820 void TextNodeDumper::VisitObjCCategoryDecl(const ObjCCategoryDecl *D) { 1821 dumpName(D); 1822 dumpDeclRef(D->getClassInterface()); 1823 dumpDeclRef(D->getImplementation()); 1824 for (const auto *P : D->protocols()) 1825 dumpDeclRef(P); 1826 } 1827 1828 void TextNodeDumper::VisitObjCCategoryImplDecl(const ObjCCategoryImplDecl *D) { 1829 dumpName(D); 1830 dumpDeclRef(D->getClassInterface()); 1831 dumpDeclRef(D->getCategoryDecl()); 1832 } 1833 1834 void TextNodeDumper::VisitObjCProtocolDecl(const ObjCProtocolDecl *D) { 1835 dumpName(D); 1836 1837 for (const auto *Child : D->protocols()) 1838 dumpDeclRef(Child); 1839 } 1840 1841 void TextNodeDumper::VisitObjCInterfaceDecl(const ObjCInterfaceDecl *D) { 1842 dumpName(D); 1843 dumpDeclRef(D->getSuperClass(), "super"); 1844 1845 dumpDeclRef(D->getImplementation()); 1846 for (const auto *Child : D->protocols()) 1847 dumpDeclRef(Child); 1848 } 1849 1850 void TextNodeDumper::VisitObjCImplementationDecl( 1851 const ObjCImplementationDecl *D) { 1852 dumpName(D); 1853 dumpDeclRef(D->getSuperClass(), "super"); 1854 dumpDeclRef(D->getClassInterface()); 1855 } 1856 1857 void TextNodeDumper::VisitObjCCompatibleAliasDecl( 1858 const ObjCCompatibleAliasDecl *D) { 1859 dumpName(D); 1860 dumpDeclRef(D->getClassInterface()); 1861 } 1862 1863 void TextNodeDumper::VisitObjCPropertyDecl(const ObjCPropertyDecl *D) { 1864 dumpName(D); 1865 dumpType(D->getType()); 1866 1867 if (D->getPropertyImplementation() == ObjCPropertyDecl::Required) 1868 OS << " required"; 1869 else if (D->getPropertyImplementation() == ObjCPropertyDecl::Optional) 1870 OS << " optional"; 1871 1872 ObjCPropertyDecl::PropertyAttributeKind Attrs = D->getPropertyAttributes(); 1873 if (Attrs != ObjCPropertyDecl::OBJC_PR_noattr) { 1874 if (Attrs & ObjCPropertyDecl::OBJC_PR_readonly) 1875 OS << " readonly"; 1876 if (Attrs & ObjCPropertyDecl::OBJC_PR_assign) 1877 OS << " assign"; 1878 if (Attrs & ObjCPropertyDecl::OBJC_PR_readwrite) 1879 OS << " readwrite"; 1880 if (Attrs & ObjCPropertyDecl::OBJC_PR_retain) 1881 OS << " retain"; 1882 if (Attrs & ObjCPropertyDecl::OBJC_PR_copy) 1883 OS << " copy"; 1884 if (Attrs & ObjCPropertyDecl::OBJC_PR_nonatomic) 1885 OS << " nonatomic"; 1886 if (Attrs & ObjCPropertyDecl::OBJC_PR_atomic) 1887 OS << " atomic"; 1888 if (Attrs & ObjCPropertyDecl::OBJC_PR_weak) 1889 OS << " weak"; 1890 if (Attrs & ObjCPropertyDecl::OBJC_PR_strong) 1891 OS << " strong"; 1892 if (Attrs & ObjCPropertyDecl::OBJC_PR_unsafe_unretained) 1893 OS << " unsafe_unretained"; 1894 if (Attrs & ObjCPropertyDecl::OBJC_PR_class) 1895 OS << " class"; 1896 if (Attrs & ObjCPropertyDecl::OBJC_PR_getter) 1897 dumpDeclRef(D->getGetterMethodDecl(), "getter"); 1898 if (Attrs & ObjCPropertyDecl::OBJC_PR_setter) 1899 dumpDeclRef(D->getSetterMethodDecl(), "setter"); 1900 } 1901 } 1902 1903 void TextNodeDumper::VisitObjCPropertyImplDecl(const ObjCPropertyImplDecl *D) { 1904 dumpName(D->getPropertyDecl()); 1905 if (D->getPropertyImplementation() == ObjCPropertyImplDecl::Synthesize) 1906 OS << " synthesize"; 1907 else 1908 OS << " dynamic"; 1909 dumpDeclRef(D->getPropertyDecl()); 1910 dumpDeclRef(D->getPropertyIvarDecl()); 1911 } 1912 1913 void TextNodeDumper::VisitBlockDecl(const BlockDecl *D) { 1914 if (D->isVariadic()) 1915 OS << " variadic"; 1916 1917 if (D->capturesCXXThis()) 1918 OS << " captures_this"; 1919 } 1920