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 switch (Node->isNonOdrUse()) { 719 case NOUR_None: break; 720 case NOUR_Unevaluated: OS << " non_odr_use_unevaluated"; break; 721 case NOUR_Constant: OS << " non_odr_use_constant"; break; 722 case NOUR_Discarded: OS << " non_odr_use_discarded"; break; 723 } 724 } 725 726 void TextNodeDumper::VisitUnresolvedLookupExpr( 727 const UnresolvedLookupExpr *Node) { 728 OS << " ("; 729 if (!Node->requiresADL()) 730 OS << "no "; 731 OS << "ADL) = '" << Node->getName() << '\''; 732 733 UnresolvedLookupExpr::decls_iterator I = Node->decls_begin(), 734 E = Node->decls_end(); 735 if (I == E) 736 OS << " empty"; 737 for (; I != E; ++I) 738 dumpPointer(*I); 739 } 740 741 void TextNodeDumper::VisitObjCIvarRefExpr(const ObjCIvarRefExpr *Node) { 742 { 743 ColorScope Color(OS, ShowColors, DeclKindNameColor); 744 OS << " " << Node->getDecl()->getDeclKindName() << "Decl"; 745 } 746 OS << "='" << *Node->getDecl() << "'"; 747 dumpPointer(Node->getDecl()); 748 if (Node->isFreeIvar()) 749 OS << " isFreeIvar"; 750 } 751 752 void TextNodeDumper::VisitPredefinedExpr(const PredefinedExpr *Node) { 753 OS << " " << PredefinedExpr::getIdentKindName(Node->getIdentKind()); 754 } 755 756 void TextNodeDumper::VisitCharacterLiteral(const CharacterLiteral *Node) { 757 ColorScope Color(OS, ShowColors, ValueColor); 758 OS << " " << Node->getValue(); 759 } 760 761 void TextNodeDumper::VisitIntegerLiteral(const IntegerLiteral *Node) { 762 bool isSigned = Node->getType()->isSignedIntegerType(); 763 ColorScope Color(OS, ShowColors, ValueColor); 764 OS << " " << Node->getValue().toString(10, isSigned); 765 } 766 767 void TextNodeDumper::VisitFixedPointLiteral(const FixedPointLiteral *Node) { 768 ColorScope Color(OS, ShowColors, ValueColor); 769 OS << " " << Node->getValueAsString(/*Radix=*/10); 770 } 771 772 void TextNodeDumper::VisitFloatingLiteral(const FloatingLiteral *Node) { 773 ColorScope Color(OS, ShowColors, ValueColor); 774 OS << " " << Node->getValueAsApproximateDouble(); 775 } 776 777 void TextNodeDumper::VisitStringLiteral(const StringLiteral *Str) { 778 ColorScope Color(OS, ShowColors, ValueColor); 779 OS << " "; 780 Str->outputString(OS); 781 } 782 783 void TextNodeDumper::VisitInitListExpr(const InitListExpr *ILE) { 784 if (auto *Field = ILE->getInitializedFieldInUnion()) { 785 OS << " field "; 786 dumpBareDeclRef(Field); 787 } 788 } 789 790 void TextNodeDumper::VisitGenericSelectionExpr(const GenericSelectionExpr *E) { 791 if (E->isResultDependent()) 792 OS << " result_dependent"; 793 } 794 795 void TextNodeDumper::VisitUnaryOperator(const UnaryOperator *Node) { 796 OS << " " << (Node->isPostfix() ? "postfix" : "prefix") << " '" 797 << UnaryOperator::getOpcodeStr(Node->getOpcode()) << "'"; 798 if (!Node->canOverflow()) 799 OS << " cannot overflow"; 800 } 801 802 void TextNodeDumper::VisitUnaryExprOrTypeTraitExpr( 803 const UnaryExprOrTypeTraitExpr *Node) { 804 switch (Node->getKind()) { 805 case UETT_SizeOf: 806 OS << " sizeof"; 807 break; 808 case UETT_AlignOf: 809 OS << " alignof"; 810 break; 811 case UETT_VecStep: 812 OS << " vec_step"; 813 break; 814 case UETT_OpenMPRequiredSimdAlign: 815 OS << " __builtin_omp_required_simd_align"; 816 break; 817 case UETT_PreferredAlignOf: 818 OS << " __alignof"; 819 break; 820 } 821 if (Node->isArgumentType()) 822 dumpType(Node->getArgumentType()); 823 } 824 825 void TextNodeDumper::VisitMemberExpr(const MemberExpr *Node) { 826 OS << " " << (Node->isArrow() ? "->" : ".") << *Node->getMemberDecl(); 827 dumpPointer(Node->getMemberDecl()); 828 switch (Node->isNonOdrUse()) { 829 case NOUR_None: break; 830 case NOUR_Unevaluated: OS << " non_odr_use_unevaluated"; break; 831 case NOUR_Constant: OS << " non_odr_use_constant"; break; 832 case NOUR_Discarded: OS << " non_odr_use_discarded"; break; 833 } 834 } 835 836 void TextNodeDumper::VisitExtVectorElementExpr( 837 const ExtVectorElementExpr *Node) { 838 OS << " " << Node->getAccessor().getNameStart(); 839 } 840 841 void TextNodeDumper::VisitBinaryOperator(const BinaryOperator *Node) { 842 OS << " '" << BinaryOperator::getOpcodeStr(Node->getOpcode()) << "'"; 843 } 844 845 void TextNodeDumper::VisitCompoundAssignOperator( 846 const CompoundAssignOperator *Node) { 847 OS << " '" << BinaryOperator::getOpcodeStr(Node->getOpcode()) 848 << "' ComputeLHSTy="; 849 dumpBareType(Node->getComputationLHSType()); 850 OS << " ComputeResultTy="; 851 dumpBareType(Node->getComputationResultType()); 852 } 853 854 void TextNodeDumper::VisitAddrLabelExpr(const AddrLabelExpr *Node) { 855 OS << " " << Node->getLabel()->getName(); 856 dumpPointer(Node->getLabel()); 857 } 858 859 void TextNodeDumper::VisitCXXNamedCastExpr(const CXXNamedCastExpr *Node) { 860 OS << " " << Node->getCastName() << "<" 861 << Node->getTypeAsWritten().getAsString() << ">" 862 << " <" << Node->getCastKindName(); 863 dumpBasePath(OS, Node); 864 OS << ">"; 865 } 866 867 void TextNodeDumper::VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *Node) { 868 OS << " " << (Node->getValue() ? "true" : "false"); 869 } 870 871 void TextNodeDumper::VisitCXXThisExpr(const CXXThisExpr *Node) { 872 if (Node->isImplicit()) 873 OS << " implicit"; 874 OS << " this"; 875 } 876 877 void TextNodeDumper::VisitCXXFunctionalCastExpr( 878 const CXXFunctionalCastExpr *Node) { 879 OS << " functional cast to " << Node->getTypeAsWritten().getAsString() << " <" 880 << Node->getCastKindName() << ">"; 881 } 882 883 void TextNodeDumper::VisitCXXUnresolvedConstructExpr( 884 const CXXUnresolvedConstructExpr *Node) { 885 dumpType(Node->getTypeAsWritten()); 886 if (Node->isListInitialization()) 887 OS << " list"; 888 } 889 890 void TextNodeDumper::VisitCXXConstructExpr(const CXXConstructExpr *Node) { 891 CXXConstructorDecl *Ctor = Node->getConstructor(); 892 dumpType(Ctor->getType()); 893 if (Node->isElidable()) 894 OS << " elidable"; 895 if (Node->isListInitialization()) 896 OS << " list"; 897 if (Node->isStdInitListInitialization()) 898 OS << " std::initializer_list"; 899 if (Node->requiresZeroInitialization()) 900 OS << " zeroing"; 901 } 902 903 void TextNodeDumper::VisitCXXBindTemporaryExpr( 904 const CXXBindTemporaryExpr *Node) { 905 OS << " "; 906 dumpCXXTemporary(Node->getTemporary()); 907 } 908 909 void TextNodeDumper::VisitCXXNewExpr(const CXXNewExpr *Node) { 910 if (Node->isGlobalNew()) 911 OS << " global"; 912 if (Node->isArray()) 913 OS << " array"; 914 if (Node->getOperatorNew()) { 915 OS << ' '; 916 dumpBareDeclRef(Node->getOperatorNew()); 917 } 918 // We could dump the deallocation function used in case of error, but it's 919 // usually not that interesting. 920 } 921 922 void TextNodeDumper::VisitCXXDeleteExpr(const CXXDeleteExpr *Node) { 923 if (Node->isGlobalDelete()) 924 OS << " global"; 925 if (Node->isArrayForm()) 926 OS << " array"; 927 if (Node->getOperatorDelete()) { 928 OS << ' '; 929 dumpBareDeclRef(Node->getOperatorDelete()); 930 } 931 } 932 933 void TextNodeDumper::VisitMaterializeTemporaryExpr( 934 const MaterializeTemporaryExpr *Node) { 935 if (const ValueDecl *VD = Node->getExtendingDecl()) { 936 OS << " extended by "; 937 dumpBareDeclRef(VD); 938 } 939 } 940 941 void TextNodeDumper::VisitExprWithCleanups(const ExprWithCleanups *Node) { 942 for (unsigned i = 0, e = Node->getNumObjects(); i != e; ++i) 943 dumpDeclRef(Node->getObject(i), "cleanup"); 944 } 945 946 void TextNodeDumper::VisitSizeOfPackExpr(const SizeOfPackExpr *Node) { 947 dumpPointer(Node->getPack()); 948 dumpName(Node->getPack()); 949 } 950 951 void TextNodeDumper::VisitCXXDependentScopeMemberExpr( 952 const CXXDependentScopeMemberExpr *Node) { 953 OS << " " << (Node->isArrow() ? "->" : ".") << Node->getMember(); 954 } 955 956 void TextNodeDumper::VisitObjCMessageExpr(const ObjCMessageExpr *Node) { 957 OS << " selector="; 958 Node->getSelector().print(OS); 959 switch (Node->getReceiverKind()) { 960 case ObjCMessageExpr::Instance: 961 break; 962 963 case ObjCMessageExpr::Class: 964 OS << " class="; 965 dumpBareType(Node->getClassReceiver()); 966 break; 967 968 case ObjCMessageExpr::SuperInstance: 969 OS << " super (instance)"; 970 break; 971 972 case ObjCMessageExpr::SuperClass: 973 OS << " super (class)"; 974 break; 975 } 976 } 977 978 void TextNodeDumper::VisitObjCBoxedExpr(const ObjCBoxedExpr *Node) { 979 if (auto *BoxingMethod = Node->getBoxingMethod()) { 980 OS << " selector="; 981 BoxingMethod->getSelector().print(OS); 982 } 983 } 984 985 void TextNodeDumper::VisitObjCAtCatchStmt(const ObjCAtCatchStmt *Node) { 986 if (!Node->getCatchParamDecl()) 987 OS << " catch all"; 988 } 989 990 void TextNodeDumper::VisitObjCEncodeExpr(const ObjCEncodeExpr *Node) { 991 dumpType(Node->getEncodedType()); 992 } 993 994 void TextNodeDumper::VisitObjCSelectorExpr(const ObjCSelectorExpr *Node) { 995 OS << " "; 996 Node->getSelector().print(OS); 997 } 998 999 void TextNodeDumper::VisitObjCProtocolExpr(const ObjCProtocolExpr *Node) { 1000 OS << ' ' << *Node->getProtocol(); 1001 } 1002 1003 void TextNodeDumper::VisitObjCPropertyRefExpr(const ObjCPropertyRefExpr *Node) { 1004 if (Node->isImplicitProperty()) { 1005 OS << " Kind=MethodRef Getter=\""; 1006 if (Node->getImplicitPropertyGetter()) 1007 Node->getImplicitPropertyGetter()->getSelector().print(OS); 1008 else 1009 OS << "(null)"; 1010 1011 OS << "\" Setter=\""; 1012 if (ObjCMethodDecl *Setter = Node->getImplicitPropertySetter()) 1013 Setter->getSelector().print(OS); 1014 else 1015 OS << "(null)"; 1016 OS << "\""; 1017 } else { 1018 OS << " Kind=PropertyRef Property=\"" << *Node->getExplicitProperty() 1019 << '"'; 1020 } 1021 1022 if (Node->isSuperReceiver()) 1023 OS << " super"; 1024 1025 OS << " Messaging="; 1026 if (Node->isMessagingGetter() && Node->isMessagingSetter()) 1027 OS << "Getter&Setter"; 1028 else if (Node->isMessagingGetter()) 1029 OS << "Getter"; 1030 else if (Node->isMessagingSetter()) 1031 OS << "Setter"; 1032 } 1033 1034 void TextNodeDumper::VisitObjCSubscriptRefExpr( 1035 const ObjCSubscriptRefExpr *Node) { 1036 if (Node->isArraySubscriptRefExpr()) 1037 OS << " Kind=ArraySubscript GetterForArray=\""; 1038 else 1039 OS << " Kind=DictionarySubscript GetterForDictionary=\""; 1040 if (Node->getAtIndexMethodDecl()) 1041 Node->getAtIndexMethodDecl()->getSelector().print(OS); 1042 else 1043 OS << "(null)"; 1044 1045 if (Node->isArraySubscriptRefExpr()) 1046 OS << "\" SetterForArray=\""; 1047 else 1048 OS << "\" SetterForDictionary=\""; 1049 if (Node->setAtIndexMethodDecl()) 1050 Node->setAtIndexMethodDecl()->getSelector().print(OS); 1051 else 1052 OS << "(null)"; 1053 } 1054 1055 void TextNodeDumper::VisitObjCBoolLiteralExpr(const ObjCBoolLiteralExpr *Node) { 1056 OS << " " << (Node->getValue() ? "__objc_yes" : "__objc_no"); 1057 } 1058 1059 void TextNodeDumper::VisitRValueReferenceType(const ReferenceType *T) { 1060 if (T->isSpelledAsLValue()) 1061 OS << " written as lvalue reference"; 1062 } 1063 1064 void TextNodeDumper::VisitArrayType(const ArrayType *T) { 1065 switch (T->getSizeModifier()) { 1066 case ArrayType::Normal: 1067 break; 1068 case ArrayType::Static: 1069 OS << " static"; 1070 break; 1071 case ArrayType::Star: 1072 OS << " *"; 1073 break; 1074 } 1075 OS << " " << T->getIndexTypeQualifiers().getAsString(); 1076 } 1077 1078 void TextNodeDumper::VisitConstantArrayType(const ConstantArrayType *T) { 1079 OS << " " << T->getSize(); 1080 VisitArrayType(T); 1081 } 1082 1083 void TextNodeDumper::VisitVariableArrayType(const VariableArrayType *T) { 1084 OS << " "; 1085 dumpSourceRange(T->getBracketsRange()); 1086 VisitArrayType(T); 1087 } 1088 1089 void TextNodeDumper::VisitDependentSizedArrayType( 1090 const DependentSizedArrayType *T) { 1091 VisitArrayType(T); 1092 OS << " "; 1093 dumpSourceRange(T->getBracketsRange()); 1094 } 1095 1096 void TextNodeDumper::VisitDependentSizedExtVectorType( 1097 const DependentSizedExtVectorType *T) { 1098 OS << " "; 1099 dumpLocation(T->getAttributeLoc()); 1100 } 1101 1102 void TextNodeDumper::VisitVectorType(const VectorType *T) { 1103 switch (T->getVectorKind()) { 1104 case VectorType::GenericVector: 1105 break; 1106 case VectorType::AltiVecVector: 1107 OS << " altivec"; 1108 break; 1109 case VectorType::AltiVecPixel: 1110 OS << " altivec pixel"; 1111 break; 1112 case VectorType::AltiVecBool: 1113 OS << " altivec bool"; 1114 break; 1115 case VectorType::NeonVector: 1116 OS << " neon"; 1117 break; 1118 case VectorType::NeonPolyVector: 1119 OS << " neon poly"; 1120 break; 1121 } 1122 OS << " " << T->getNumElements(); 1123 } 1124 1125 void TextNodeDumper::VisitFunctionType(const FunctionType *T) { 1126 auto EI = T->getExtInfo(); 1127 if (EI.getNoReturn()) 1128 OS << " noreturn"; 1129 if (EI.getProducesResult()) 1130 OS << " produces_result"; 1131 if (EI.getHasRegParm()) 1132 OS << " regparm " << EI.getRegParm(); 1133 OS << " " << FunctionType::getNameForCallConv(EI.getCC()); 1134 } 1135 1136 void TextNodeDumper::VisitFunctionProtoType(const FunctionProtoType *T) { 1137 auto EPI = T->getExtProtoInfo(); 1138 if (EPI.HasTrailingReturn) 1139 OS << " trailing_return"; 1140 if (T->isConst()) 1141 OS << " const"; 1142 if (T->isVolatile()) 1143 OS << " volatile"; 1144 if (T->isRestrict()) 1145 OS << " restrict"; 1146 if (T->getExtProtoInfo().Variadic) 1147 OS << " variadic"; 1148 switch (EPI.RefQualifier) { 1149 case RQ_None: 1150 break; 1151 case RQ_LValue: 1152 OS << " &"; 1153 break; 1154 case RQ_RValue: 1155 OS << " &&"; 1156 break; 1157 } 1158 // FIXME: Exception specification. 1159 // FIXME: Consumed parameters. 1160 VisitFunctionType(T); 1161 } 1162 1163 void TextNodeDumper::VisitUnresolvedUsingType(const UnresolvedUsingType *T) { 1164 dumpDeclRef(T->getDecl()); 1165 } 1166 1167 void TextNodeDumper::VisitTypedefType(const TypedefType *T) { 1168 dumpDeclRef(T->getDecl()); 1169 } 1170 1171 void TextNodeDumper::VisitUnaryTransformType(const UnaryTransformType *T) { 1172 switch (T->getUTTKind()) { 1173 case UnaryTransformType::EnumUnderlyingType: 1174 OS << " underlying_type"; 1175 break; 1176 } 1177 } 1178 1179 void TextNodeDumper::VisitTagType(const TagType *T) { 1180 dumpDeclRef(T->getDecl()); 1181 } 1182 1183 void TextNodeDumper::VisitTemplateTypeParmType(const TemplateTypeParmType *T) { 1184 OS << " depth " << T->getDepth() << " index " << T->getIndex(); 1185 if (T->isParameterPack()) 1186 OS << " pack"; 1187 dumpDeclRef(T->getDecl()); 1188 } 1189 1190 void TextNodeDumper::VisitAutoType(const AutoType *T) { 1191 if (T->isDecltypeAuto()) 1192 OS << " decltype(auto)"; 1193 if (!T->isDeduced()) 1194 OS << " undeduced"; 1195 } 1196 1197 void TextNodeDumper::VisitTemplateSpecializationType( 1198 const TemplateSpecializationType *T) { 1199 if (T->isTypeAlias()) 1200 OS << " alias"; 1201 OS << " "; 1202 T->getTemplateName().dump(OS); 1203 } 1204 1205 void TextNodeDumper::VisitInjectedClassNameType( 1206 const InjectedClassNameType *T) { 1207 dumpDeclRef(T->getDecl()); 1208 } 1209 1210 void TextNodeDumper::VisitObjCInterfaceType(const ObjCInterfaceType *T) { 1211 dumpDeclRef(T->getDecl()); 1212 } 1213 1214 void TextNodeDumper::VisitPackExpansionType(const PackExpansionType *T) { 1215 if (auto N = T->getNumExpansions()) 1216 OS << " expansions " << *N; 1217 } 1218 1219 void TextNodeDumper::VisitLabelDecl(const LabelDecl *D) { dumpName(D); } 1220 1221 void TextNodeDumper::VisitTypedefDecl(const TypedefDecl *D) { 1222 dumpName(D); 1223 dumpType(D->getUnderlyingType()); 1224 if (D->isModulePrivate()) 1225 OS << " __module_private__"; 1226 } 1227 1228 void TextNodeDumper::VisitEnumDecl(const EnumDecl *D) { 1229 if (D->isScoped()) { 1230 if (D->isScopedUsingClassTag()) 1231 OS << " class"; 1232 else 1233 OS << " struct"; 1234 } 1235 dumpName(D); 1236 if (D->isModulePrivate()) 1237 OS << " __module_private__"; 1238 if (D->isFixed()) 1239 dumpType(D->getIntegerType()); 1240 } 1241 1242 void TextNodeDumper::VisitRecordDecl(const RecordDecl *D) { 1243 OS << ' ' << D->getKindName(); 1244 dumpName(D); 1245 if (D->isModulePrivate()) 1246 OS << " __module_private__"; 1247 if (D->isCompleteDefinition()) 1248 OS << " definition"; 1249 } 1250 1251 void TextNodeDumper::VisitEnumConstantDecl(const EnumConstantDecl *D) { 1252 dumpName(D); 1253 dumpType(D->getType()); 1254 } 1255 1256 void TextNodeDumper::VisitIndirectFieldDecl(const IndirectFieldDecl *D) { 1257 dumpName(D); 1258 dumpType(D->getType()); 1259 1260 for (const auto *Child : D->chain()) 1261 dumpDeclRef(Child); 1262 } 1263 1264 void TextNodeDumper::VisitFunctionDecl(const FunctionDecl *D) { 1265 dumpName(D); 1266 dumpType(D->getType()); 1267 1268 StorageClass SC = D->getStorageClass(); 1269 if (SC != SC_None) 1270 OS << ' ' << VarDecl::getStorageClassSpecifierString(SC); 1271 if (D->isInlineSpecified()) 1272 OS << " inline"; 1273 if (D->isVirtualAsWritten()) 1274 OS << " virtual"; 1275 if (D->isModulePrivate()) 1276 OS << " __module_private__"; 1277 1278 if (D->isPure()) 1279 OS << " pure"; 1280 if (D->isDefaulted()) { 1281 OS << " default"; 1282 if (D->isDeleted()) 1283 OS << "_delete"; 1284 } 1285 if (D->isDeletedAsWritten()) 1286 OS << " delete"; 1287 if (D->isTrivial()) 1288 OS << " trivial"; 1289 1290 if (const auto *FPT = D->getType()->getAs<FunctionProtoType>()) { 1291 FunctionProtoType::ExtProtoInfo EPI = FPT->getExtProtoInfo(); 1292 switch (EPI.ExceptionSpec.Type) { 1293 default: 1294 break; 1295 case EST_Unevaluated: 1296 OS << " noexcept-unevaluated " << EPI.ExceptionSpec.SourceDecl; 1297 break; 1298 case EST_Uninstantiated: 1299 OS << " noexcept-uninstantiated " << EPI.ExceptionSpec.SourceTemplate; 1300 break; 1301 } 1302 } 1303 1304 if (const auto *MD = dyn_cast<CXXMethodDecl>(D)) { 1305 if (MD->size_overridden_methods() != 0) { 1306 auto dumpOverride = [=](const CXXMethodDecl *D) { 1307 SplitQualType T_split = D->getType().split(); 1308 OS << D << " " << D->getParent()->getName() 1309 << "::" << D->getNameAsString() << " '" 1310 << QualType::getAsString(T_split, PrintPolicy) << "'"; 1311 }; 1312 1313 AddChild([=] { 1314 auto Overrides = MD->overridden_methods(); 1315 OS << "Overrides: [ "; 1316 dumpOverride(*Overrides.begin()); 1317 for (const auto *Override : 1318 llvm::make_range(Overrides.begin() + 1, Overrides.end())) { 1319 OS << ", "; 1320 dumpOverride(Override); 1321 } 1322 OS << " ]"; 1323 }); 1324 } 1325 } 1326 1327 // Since NumParams comes from the FunctionProtoType of the FunctionDecl and 1328 // the Params are set later, it is possible for a dump during debugging to 1329 // encounter a FunctionDecl that has been created but hasn't been assigned 1330 // ParmVarDecls yet. 1331 if (!D->param_empty() && !D->param_begin()) 1332 OS << " <<<NULL params x " << D->getNumParams() << ">>>"; 1333 } 1334 1335 void TextNodeDumper::VisitFieldDecl(const FieldDecl *D) { 1336 dumpName(D); 1337 dumpType(D->getType()); 1338 if (D->isMutable()) 1339 OS << " mutable"; 1340 if (D->isModulePrivate()) 1341 OS << " __module_private__"; 1342 } 1343 1344 void TextNodeDumper::VisitVarDecl(const VarDecl *D) { 1345 dumpName(D); 1346 dumpType(D->getType()); 1347 StorageClass SC = D->getStorageClass(); 1348 if (SC != SC_None) 1349 OS << ' ' << VarDecl::getStorageClassSpecifierString(SC); 1350 switch (D->getTLSKind()) { 1351 case VarDecl::TLS_None: 1352 break; 1353 case VarDecl::TLS_Static: 1354 OS << " tls"; 1355 break; 1356 case VarDecl::TLS_Dynamic: 1357 OS << " tls_dynamic"; 1358 break; 1359 } 1360 if (D->isModulePrivate()) 1361 OS << " __module_private__"; 1362 if (D->isNRVOVariable()) 1363 OS << " nrvo"; 1364 if (D->isInline()) 1365 OS << " inline"; 1366 if (D->isConstexpr()) 1367 OS << " constexpr"; 1368 if (D->hasInit()) { 1369 switch (D->getInitStyle()) { 1370 case VarDecl::CInit: 1371 OS << " cinit"; 1372 break; 1373 case VarDecl::CallInit: 1374 OS << " callinit"; 1375 break; 1376 case VarDecl::ListInit: 1377 OS << " listinit"; 1378 break; 1379 } 1380 } 1381 if (D->isParameterPack()) 1382 OS << " pack"; 1383 } 1384 1385 void TextNodeDumper::VisitBindingDecl(const BindingDecl *D) { 1386 dumpName(D); 1387 dumpType(D->getType()); 1388 } 1389 1390 void TextNodeDumper::VisitCapturedDecl(const CapturedDecl *D) { 1391 if (D->isNothrow()) 1392 OS << " nothrow"; 1393 } 1394 1395 void TextNodeDumper::VisitImportDecl(const ImportDecl *D) { 1396 OS << ' ' << D->getImportedModule()->getFullModuleName(); 1397 1398 for (Decl *InitD : 1399 D->getASTContext().getModuleInitializers(D->getImportedModule())) 1400 dumpDeclRef(InitD, "initializer"); 1401 } 1402 1403 void TextNodeDumper::VisitPragmaCommentDecl(const PragmaCommentDecl *D) { 1404 OS << ' '; 1405 switch (D->getCommentKind()) { 1406 case PCK_Unknown: 1407 llvm_unreachable("unexpected pragma comment kind"); 1408 case PCK_Compiler: 1409 OS << "compiler"; 1410 break; 1411 case PCK_ExeStr: 1412 OS << "exestr"; 1413 break; 1414 case PCK_Lib: 1415 OS << "lib"; 1416 break; 1417 case PCK_Linker: 1418 OS << "linker"; 1419 break; 1420 case PCK_User: 1421 OS << "user"; 1422 break; 1423 } 1424 StringRef Arg = D->getArg(); 1425 if (!Arg.empty()) 1426 OS << " \"" << Arg << "\""; 1427 } 1428 1429 void TextNodeDumper::VisitPragmaDetectMismatchDecl( 1430 const PragmaDetectMismatchDecl *D) { 1431 OS << " \"" << D->getName() << "\" \"" << D->getValue() << "\""; 1432 } 1433 1434 void TextNodeDumper::VisitOMPExecutableDirective( 1435 const OMPExecutableDirective *D) { 1436 if (D->isStandaloneDirective()) 1437 OS << " openmp_standalone_directive"; 1438 } 1439 1440 void TextNodeDumper::VisitOMPDeclareReductionDecl( 1441 const OMPDeclareReductionDecl *D) { 1442 dumpName(D); 1443 dumpType(D->getType()); 1444 OS << " combiner"; 1445 dumpPointer(D->getCombiner()); 1446 if (const auto *Initializer = D->getInitializer()) { 1447 OS << " initializer"; 1448 dumpPointer(Initializer); 1449 switch (D->getInitializerKind()) { 1450 case OMPDeclareReductionDecl::DirectInit: 1451 OS << " omp_priv = "; 1452 break; 1453 case OMPDeclareReductionDecl::CopyInit: 1454 OS << " omp_priv ()"; 1455 break; 1456 case OMPDeclareReductionDecl::CallInit: 1457 break; 1458 } 1459 } 1460 } 1461 1462 void TextNodeDumper::VisitOMPRequiresDecl(const OMPRequiresDecl *D) { 1463 for (const auto *C : D->clauselists()) { 1464 AddChild([=] { 1465 if (!C) { 1466 ColorScope Color(OS, ShowColors, NullColor); 1467 OS << "<<<NULL>>> OMPClause"; 1468 return; 1469 } 1470 { 1471 ColorScope Color(OS, ShowColors, AttrColor); 1472 StringRef ClauseName(getOpenMPClauseName(C->getClauseKind())); 1473 OS << "OMP" << ClauseName.substr(/*Start=*/0, /*N=*/1).upper() 1474 << ClauseName.drop_front() << "Clause"; 1475 } 1476 dumpPointer(C); 1477 dumpSourceRange(SourceRange(C->getBeginLoc(), C->getEndLoc())); 1478 }); 1479 } 1480 } 1481 1482 void TextNodeDumper::VisitOMPCapturedExprDecl(const OMPCapturedExprDecl *D) { 1483 dumpName(D); 1484 dumpType(D->getType()); 1485 } 1486 1487 void TextNodeDumper::VisitNamespaceDecl(const NamespaceDecl *D) { 1488 dumpName(D); 1489 if (D->isInline()) 1490 OS << " inline"; 1491 if (!D->isOriginalNamespace()) 1492 dumpDeclRef(D->getOriginalNamespace(), "original"); 1493 } 1494 1495 void TextNodeDumper::VisitUsingDirectiveDecl(const UsingDirectiveDecl *D) { 1496 OS << ' '; 1497 dumpBareDeclRef(D->getNominatedNamespace()); 1498 } 1499 1500 void TextNodeDumper::VisitNamespaceAliasDecl(const NamespaceAliasDecl *D) { 1501 dumpName(D); 1502 dumpDeclRef(D->getAliasedNamespace()); 1503 } 1504 1505 void TextNodeDumper::VisitTypeAliasDecl(const TypeAliasDecl *D) { 1506 dumpName(D); 1507 dumpType(D->getUnderlyingType()); 1508 } 1509 1510 void TextNodeDumper::VisitTypeAliasTemplateDecl( 1511 const TypeAliasTemplateDecl *D) { 1512 dumpName(D); 1513 } 1514 1515 void TextNodeDumper::VisitCXXRecordDecl(const CXXRecordDecl *D) { 1516 VisitRecordDecl(D); 1517 if (!D->isCompleteDefinition()) 1518 return; 1519 1520 AddChild([=] { 1521 { 1522 ColorScope Color(OS, ShowColors, DeclKindNameColor); 1523 OS << "DefinitionData"; 1524 } 1525 #define FLAG(fn, name) \ 1526 if (D->fn()) \ 1527 OS << " " #name; 1528 FLAG(isParsingBaseSpecifiers, parsing_base_specifiers); 1529 1530 FLAG(isGenericLambda, generic); 1531 FLAG(isLambda, lambda); 1532 1533 FLAG(canPassInRegisters, pass_in_registers); 1534 FLAG(isEmpty, empty); 1535 FLAG(isAggregate, aggregate); 1536 FLAG(isStandardLayout, standard_layout); 1537 FLAG(isTriviallyCopyable, trivially_copyable); 1538 FLAG(isPOD, pod); 1539 FLAG(isTrivial, trivial); 1540 FLAG(isPolymorphic, polymorphic); 1541 FLAG(isAbstract, abstract); 1542 FLAG(isLiteral, literal); 1543 1544 FLAG(hasUserDeclaredConstructor, has_user_declared_ctor); 1545 FLAG(hasConstexprNonCopyMoveConstructor, has_constexpr_non_copy_move_ctor); 1546 FLAG(hasMutableFields, has_mutable_fields); 1547 FLAG(hasVariantMembers, has_variant_members); 1548 FLAG(allowConstDefaultInit, can_const_default_init); 1549 1550 AddChild([=] { 1551 { 1552 ColorScope Color(OS, ShowColors, DeclKindNameColor); 1553 OS << "DefaultConstructor"; 1554 } 1555 FLAG(hasDefaultConstructor, exists); 1556 FLAG(hasTrivialDefaultConstructor, trivial); 1557 FLAG(hasNonTrivialDefaultConstructor, non_trivial); 1558 FLAG(hasUserProvidedDefaultConstructor, user_provided); 1559 FLAG(hasConstexprDefaultConstructor, constexpr); 1560 FLAG(needsImplicitDefaultConstructor, needs_implicit); 1561 FLAG(defaultedDefaultConstructorIsConstexpr, defaulted_is_constexpr); 1562 }); 1563 1564 AddChild([=] { 1565 { 1566 ColorScope Color(OS, ShowColors, DeclKindNameColor); 1567 OS << "CopyConstructor"; 1568 } 1569 FLAG(hasSimpleCopyConstructor, simple); 1570 FLAG(hasTrivialCopyConstructor, trivial); 1571 FLAG(hasNonTrivialCopyConstructor, non_trivial); 1572 FLAG(hasUserDeclaredCopyConstructor, user_declared); 1573 FLAG(hasCopyConstructorWithConstParam, has_const_param); 1574 FLAG(needsImplicitCopyConstructor, needs_implicit); 1575 FLAG(needsOverloadResolutionForCopyConstructor, 1576 needs_overload_resolution); 1577 if (!D->needsOverloadResolutionForCopyConstructor()) 1578 FLAG(defaultedCopyConstructorIsDeleted, defaulted_is_deleted); 1579 FLAG(implicitCopyConstructorHasConstParam, implicit_has_const_param); 1580 }); 1581 1582 AddChild([=] { 1583 { 1584 ColorScope Color(OS, ShowColors, DeclKindNameColor); 1585 OS << "MoveConstructor"; 1586 } 1587 FLAG(hasMoveConstructor, exists); 1588 FLAG(hasSimpleMoveConstructor, simple); 1589 FLAG(hasTrivialMoveConstructor, trivial); 1590 FLAG(hasNonTrivialMoveConstructor, non_trivial); 1591 FLAG(hasUserDeclaredMoveConstructor, user_declared); 1592 FLAG(needsImplicitMoveConstructor, needs_implicit); 1593 FLAG(needsOverloadResolutionForMoveConstructor, 1594 needs_overload_resolution); 1595 if (!D->needsOverloadResolutionForMoveConstructor()) 1596 FLAG(defaultedMoveConstructorIsDeleted, defaulted_is_deleted); 1597 }); 1598 1599 AddChild([=] { 1600 { 1601 ColorScope Color(OS, ShowColors, DeclKindNameColor); 1602 OS << "CopyAssignment"; 1603 } 1604 FLAG(hasTrivialCopyAssignment, trivial); 1605 FLAG(hasNonTrivialCopyAssignment, non_trivial); 1606 FLAG(hasCopyAssignmentWithConstParam, has_const_param); 1607 FLAG(hasUserDeclaredCopyAssignment, user_declared); 1608 FLAG(needsImplicitCopyAssignment, needs_implicit); 1609 FLAG(needsOverloadResolutionForCopyAssignment, needs_overload_resolution); 1610 FLAG(implicitCopyAssignmentHasConstParam, implicit_has_const_param); 1611 }); 1612 1613 AddChild([=] { 1614 { 1615 ColorScope Color(OS, ShowColors, DeclKindNameColor); 1616 OS << "MoveAssignment"; 1617 } 1618 FLAG(hasMoveAssignment, exists); 1619 FLAG(hasSimpleMoveAssignment, simple); 1620 FLAG(hasTrivialMoveAssignment, trivial); 1621 FLAG(hasNonTrivialMoveAssignment, non_trivial); 1622 FLAG(hasUserDeclaredMoveAssignment, user_declared); 1623 FLAG(needsImplicitMoveAssignment, needs_implicit); 1624 FLAG(needsOverloadResolutionForMoveAssignment, needs_overload_resolution); 1625 }); 1626 1627 AddChild([=] { 1628 { 1629 ColorScope Color(OS, ShowColors, DeclKindNameColor); 1630 OS << "Destructor"; 1631 } 1632 FLAG(hasSimpleDestructor, simple); 1633 FLAG(hasIrrelevantDestructor, irrelevant); 1634 FLAG(hasTrivialDestructor, trivial); 1635 FLAG(hasNonTrivialDestructor, non_trivial); 1636 FLAG(hasUserDeclaredDestructor, user_declared); 1637 FLAG(needsImplicitDestructor, needs_implicit); 1638 FLAG(needsOverloadResolutionForDestructor, needs_overload_resolution); 1639 if (!D->needsOverloadResolutionForDestructor()) 1640 FLAG(defaultedDestructorIsDeleted, defaulted_is_deleted); 1641 }); 1642 }); 1643 1644 for (const auto &I : D->bases()) { 1645 AddChild([=] { 1646 if (I.isVirtual()) 1647 OS << "virtual "; 1648 dumpAccessSpecifier(I.getAccessSpecifier()); 1649 dumpType(I.getType()); 1650 if (I.isPackExpansion()) 1651 OS << "..."; 1652 }); 1653 } 1654 } 1655 1656 void TextNodeDumper::VisitFunctionTemplateDecl(const FunctionTemplateDecl *D) { 1657 dumpName(D); 1658 } 1659 1660 void TextNodeDumper::VisitClassTemplateDecl(const ClassTemplateDecl *D) { 1661 dumpName(D); 1662 } 1663 1664 void TextNodeDumper::VisitVarTemplateDecl(const VarTemplateDecl *D) { 1665 dumpName(D); 1666 } 1667 1668 void TextNodeDumper::VisitBuiltinTemplateDecl(const BuiltinTemplateDecl *D) { 1669 dumpName(D); 1670 } 1671 1672 void TextNodeDumper::VisitTemplateTypeParmDecl(const TemplateTypeParmDecl *D) { 1673 if (D->wasDeclaredWithTypename()) 1674 OS << " typename"; 1675 else 1676 OS << " class"; 1677 OS << " depth " << D->getDepth() << " index " << D->getIndex(); 1678 if (D->isParameterPack()) 1679 OS << " ..."; 1680 dumpName(D); 1681 } 1682 1683 void TextNodeDumper::VisitNonTypeTemplateParmDecl( 1684 const NonTypeTemplateParmDecl *D) { 1685 dumpType(D->getType()); 1686 OS << " depth " << D->getDepth() << " index " << D->getIndex(); 1687 if (D->isParameterPack()) 1688 OS << " ..."; 1689 dumpName(D); 1690 } 1691 1692 void TextNodeDumper::VisitTemplateTemplateParmDecl( 1693 const TemplateTemplateParmDecl *D) { 1694 OS << " depth " << D->getDepth() << " index " << D->getIndex(); 1695 if (D->isParameterPack()) 1696 OS << " ..."; 1697 dumpName(D); 1698 } 1699 1700 void TextNodeDumper::VisitUsingDecl(const UsingDecl *D) { 1701 OS << ' '; 1702 if (D->getQualifier()) 1703 D->getQualifier()->print(OS, D->getASTContext().getPrintingPolicy()); 1704 OS << D->getNameAsString(); 1705 } 1706 1707 void TextNodeDumper::VisitUnresolvedUsingTypenameDecl( 1708 const UnresolvedUsingTypenameDecl *D) { 1709 OS << ' '; 1710 if (D->getQualifier()) 1711 D->getQualifier()->print(OS, D->getASTContext().getPrintingPolicy()); 1712 OS << D->getNameAsString(); 1713 } 1714 1715 void TextNodeDumper::VisitUnresolvedUsingValueDecl( 1716 const UnresolvedUsingValueDecl *D) { 1717 OS << ' '; 1718 if (D->getQualifier()) 1719 D->getQualifier()->print(OS, D->getASTContext().getPrintingPolicy()); 1720 OS << D->getNameAsString(); 1721 dumpType(D->getType()); 1722 } 1723 1724 void TextNodeDumper::VisitUsingShadowDecl(const UsingShadowDecl *D) { 1725 OS << ' '; 1726 dumpBareDeclRef(D->getTargetDecl()); 1727 } 1728 1729 void TextNodeDumper::VisitConstructorUsingShadowDecl( 1730 const ConstructorUsingShadowDecl *D) { 1731 if (D->constructsVirtualBase()) 1732 OS << " virtual"; 1733 1734 AddChild([=] { 1735 OS << "target "; 1736 dumpBareDeclRef(D->getTargetDecl()); 1737 }); 1738 1739 AddChild([=] { 1740 OS << "nominated "; 1741 dumpBareDeclRef(D->getNominatedBaseClass()); 1742 OS << ' '; 1743 dumpBareDeclRef(D->getNominatedBaseClassShadowDecl()); 1744 }); 1745 1746 AddChild([=] { 1747 OS << "constructed "; 1748 dumpBareDeclRef(D->getConstructedBaseClass()); 1749 OS << ' '; 1750 dumpBareDeclRef(D->getConstructedBaseClassShadowDecl()); 1751 }); 1752 } 1753 1754 void TextNodeDumper::VisitLinkageSpecDecl(const LinkageSpecDecl *D) { 1755 switch (D->getLanguage()) { 1756 case LinkageSpecDecl::lang_c: 1757 OS << " C"; 1758 break; 1759 case LinkageSpecDecl::lang_cxx: 1760 OS << " C++"; 1761 break; 1762 } 1763 } 1764 1765 void TextNodeDumper::VisitAccessSpecDecl(const AccessSpecDecl *D) { 1766 OS << ' '; 1767 dumpAccessSpecifier(D->getAccess()); 1768 } 1769 1770 void TextNodeDumper::VisitFriendDecl(const FriendDecl *D) { 1771 if (TypeSourceInfo *T = D->getFriendType()) 1772 dumpType(T->getType()); 1773 } 1774 1775 void TextNodeDumper::VisitObjCIvarDecl(const ObjCIvarDecl *D) { 1776 dumpName(D); 1777 dumpType(D->getType()); 1778 if (D->getSynthesize()) 1779 OS << " synthesize"; 1780 1781 switch (D->getAccessControl()) { 1782 case ObjCIvarDecl::None: 1783 OS << " none"; 1784 break; 1785 case ObjCIvarDecl::Private: 1786 OS << " private"; 1787 break; 1788 case ObjCIvarDecl::Protected: 1789 OS << " protected"; 1790 break; 1791 case ObjCIvarDecl::Public: 1792 OS << " public"; 1793 break; 1794 case ObjCIvarDecl::Package: 1795 OS << " package"; 1796 break; 1797 } 1798 } 1799 1800 void TextNodeDumper::VisitObjCMethodDecl(const ObjCMethodDecl *D) { 1801 if (D->isInstanceMethod()) 1802 OS << " -"; 1803 else 1804 OS << " +"; 1805 dumpName(D); 1806 dumpType(D->getReturnType()); 1807 1808 if (D->isVariadic()) 1809 OS << " variadic"; 1810 } 1811 1812 void TextNodeDumper::VisitObjCTypeParamDecl(const ObjCTypeParamDecl *D) { 1813 dumpName(D); 1814 switch (D->getVariance()) { 1815 case ObjCTypeParamVariance::Invariant: 1816 break; 1817 1818 case ObjCTypeParamVariance::Covariant: 1819 OS << " covariant"; 1820 break; 1821 1822 case ObjCTypeParamVariance::Contravariant: 1823 OS << " contravariant"; 1824 break; 1825 } 1826 1827 if (D->hasExplicitBound()) 1828 OS << " bounded"; 1829 dumpType(D->getUnderlyingType()); 1830 } 1831 1832 void TextNodeDumper::VisitObjCCategoryDecl(const ObjCCategoryDecl *D) { 1833 dumpName(D); 1834 dumpDeclRef(D->getClassInterface()); 1835 dumpDeclRef(D->getImplementation()); 1836 for (const auto *P : D->protocols()) 1837 dumpDeclRef(P); 1838 } 1839 1840 void TextNodeDumper::VisitObjCCategoryImplDecl(const ObjCCategoryImplDecl *D) { 1841 dumpName(D); 1842 dumpDeclRef(D->getClassInterface()); 1843 dumpDeclRef(D->getCategoryDecl()); 1844 } 1845 1846 void TextNodeDumper::VisitObjCProtocolDecl(const ObjCProtocolDecl *D) { 1847 dumpName(D); 1848 1849 for (const auto *Child : D->protocols()) 1850 dumpDeclRef(Child); 1851 } 1852 1853 void TextNodeDumper::VisitObjCInterfaceDecl(const ObjCInterfaceDecl *D) { 1854 dumpName(D); 1855 dumpDeclRef(D->getSuperClass(), "super"); 1856 1857 dumpDeclRef(D->getImplementation()); 1858 for (const auto *Child : D->protocols()) 1859 dumpDeclRef(Child); 1860 } 1861 1862 void TextNodeDumper::VisitObjCImplementationDecl( 1863 const ObjCImplementationDecl *D) { 1864 dumpName(D); 1865 dumpDeclRef(D->getSuperClass(), "super"); 1866 dumpDeclRef(D->getClassInterface()); 1867 } 1868 1869 void TextNodeDumper::VisitObjCCompatibleAliasDecl( 1870 const ObjCCompatibleAliasDecl *D) { 1871 dumpName(D); 1872 dumpDeclRef(D->getClassInterface()); 1873 } 1874 1875 void TextNodeDumper::VisitObjCPropertyDecl(const ObjCPropertyDecl *D) { 1876 dumpName(D); 1877 dumpType(D->getType()); 1878 1879 if (D->getPropertyImplementation() == ObjCPropertyDecl::Required) 1880 OS << " required"; 1881 else if (D->getPropertyImplementation() == ObjCPropertyDecl::Optional) 1882 OS << " optional"; 1883 1884 ObjCPropertyDecl::PropertyAttributeKind Attrs = D->getPropertyAttributes(); 1885 if (Attrs != ObjCPropertyDecl::OBJC_PR_noattr) { 1886 if (Attrs & ObjCPropertyDecl::OBJC_PR_readonly) 1887 OS << " readonly"; 1888 if (Attrs & ObjCPropertyDecl::OBJC_PR_assign) 1889 OS << " assign"; 1890 if (Attrs & ObjCPropertyDecl::OBJC_PR_readwrite) 1891 OS << " readwrite"; 1892 if (Attrs & ObjCPropertyDecl::OBJC_PR_retain) 1893 OS << " retain"; 1894 if (Attrs & ObjCPropertyDecl::OBJC_PR_copy) 1895 OS << " copy"; 1896 if (Attrs & ObjCPropertyDecl::OBJC_PR_nonatomic) 1897 OS << " nonatomic"; 1898 if (Attrs & ObjCPropertyDecl::OBJC_PR_atomic) 1899 OS << " atomic"; 1900 if (Attrs & ObjCPropertyDecl::OBJC_PR_weak) 1901 OS << " weak"; 1902 if (Attrs & ObjCPropertyDecl::OBJC_PR_strong) 1903 OS << " strong"; 1904 if (Attrs & ObjCPropertyDecl::OBJC_PR_unsafe_unretained) 1905 OS << " unsafe_unretained"; 1906 if (Attrs & ObjCPropertyDecl::OBJC_PR_class) 1907 OS << " class"; 1908 if (Attrs & ObjCPropertyDecl::OBJC_PR_getter) 1909 dumpDeclRef(D->getGetterMethodDecl(), "getter"); 1910 if (Attrs & ObjCPropertyDecl::OBJC_PR_setter) 1911 dumpDeclRef(D->getSetterMethodDecl(), "setter"); 1912 } 1913 } 1914 1915 void TextNodeDumper::VisitObjCPropertyImplDecl(const ObjCPropertyImplDecl *D) { 1916 dumpName(D->getPropertyDecl()); 1917 if (D->getPropertyImplementation() == ObjCPropertyImplDecl::Synthesize) 1918 OS << " synthesize"; 1919 else 1920 OS << " dynamic"; 1921 dumpDeclRef(D->getPropertyDecl()); 1922 dumpDeclRef(D->getPropertyIvarDecl()); 1923 } 1924 1925 void TextNodeDumper::VisitBlockDecl(const BlockDecl *D) { 1926 if (D->isVariadic()) 1927 OS << " variadic"; 1928 1929 if (D->capturesCXXThis()) 1930 OS << " captures_this"; 1931 } 1932