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