blob: 91b984820cd22133f3b414610dc82c472cd1e03c [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"
Bruno Riccif63e3ea2020-07-06 21:50:23 +010014#include "clang/AST/APValue.h"
Stephen Kellyd83fe892019-01-15 09:35:52 +000015#include "clang/AST/DeclFriend.h"
16#include "clang/AST/DeclOpenMP.h"
Stephen Kellyf08ca202019-01-15 09:30:00 +000017#include "clang/AST/DeclTemplate.h"
Stephen Kelly449fa762019-01-14 20:11:02 +000018#include "clang/AST/LocInfoType.h"
Bruno Riccif63e3ea2020-07-06 21:50:23 +010019#include "clang/AST/Type.h"
Reid Klecknerc915cb92020-02-27 18:13:54 -080020#include "clang/Basic/Module.h"
Reid Kleckner86565c12020-02-27 11:01:58 -080021#include "clang/Basic/SourceManager.h"
Daniel Martín6407aa92020-05-27 18:17:07 +020022#include "clang/Basic/Specifiers.h"
Bruno Ricci78e636b2020-06-11 14:08:27 +010023#include "clang/Basic/TypeTraits.h"
Stephen Kellyd8744a72018-12-05 21:12:39 +000024
Bruno Riccif63e3ea2020-07-06 21:50:23 +010025#include <algorithm>
26#include <utility>
27
Stephen Kellyd8744a72018-12-05 21:12:39 +000028using namespace clang;
29
Stephen Kellyd83fe892019-01-15 09:35:52 +000030static void dumpPreviousDeclImpl(raw_ostream &OS, ...) {}
31
32template <typename T>
33static void dumpPreviousDeclImpl(raw_ostream &OS, const Mergeable<T> *D) {
34 const T *First = D->getFirstDecl();
35 if (First != D)
36 OS << " first " << First;
37}
38
39template <typename T>
40static void dumpPreviousDeclImpl(raw_ostream &OS, const Redeclarable<T> *D) {
41 const T *Prev = D->getPreviousDecl();
42 if (Prev)
43 OS << " prev " << Prev;
44}
45
46/// Dump the previous declaration in the redeclaration chain for a declaration,
47/// if any.
48static void dumpPreviousDecl(raw_ostream &OS, const Decl *D) {
49 switch (D->getKind()) {
50#define DECL(DERIVED, BASE) \
51 case Decl::DERIVED: \
52 return dumpPreviousDeclImpl(OS, cast<DERIVED##Decl>(D));
53#define ABSTRACT_DECL(DECL)
54#include "clang/AST/DeclNodes.inc"
55 }
56 llvm_unreachable("Decl that isn't part of DeclNodes.inc!");
57}
58
Bruno Ricci473fbc92020-07-03 13:54:10 +010059TextNodeDumper::TextNodeDumper(raw_ostream &OS, const ASTContext &Context,
60 bool ShowColors)
61 : TextTreeStructure(OS, ShowColors), OS(OS), ShowColors(ShowColors),
62 Context(&Context), SM(&Context.getSourceManager()),
63 PrintPolicy(Context.getPrintingPolicy()),
64 Traits(&Context.getCommentCommandTraits()) {}
65
66TextNodeDumper::TextNodeDumper(raw_ostream &OS, bool ShowColors)
67 : TextTreeStructure(OS, ShowColors), OS(OS), ShowColors(ShowColors) {}
Stephen Kellye26a88a2018-12-09 13:30:17 +000068
69void TextNodeDumper::Visit(const comments::Comment *C,
70 const comments::FullComment *FC) {
71 if (!C) {
72 ColorScope Color(OS, ShowColors, NullColor);
73 OS << "<<<NULL>>>";
74 return;
75 }
76
77 {
78 ColorScope Color(OS, ShowColors, CommentColor);
79 OS << C->getCommentKindName();
80 }
81 dumpPointer(C);
82 dumpSourceRange(C->getSourceRange());
83
84 ConstCommentVisitor<TextNodeDumper, void,
85 const comments::FullComment *>::visit(C, FC);
86}
Stephen Kellyd8744a72018-12-05 21:12:39 +000087
Stephen Kellydb8fac12019-01-11 19:16:01 +000088void TextNodeDumper::Visit(const Attr *A) {
89 {
90 ColorScope Color(OS, ShowColors, AttrColor);
91
92 switch (A->getKind()) {
93#define ATTR(X) \
94 case attr::X: \
95 OS << #X; \
96 break;
97#include "clang/Basic/AttrList.inc"
98 }
99 OS << "Attr";
100 }
101 dumpPointer(A);
102 dumpSourceRange(A->getRange());
103 if (A->isInherited())
104 OS << " Inherited";
105 if (A->isImplicit())
106 OS << " Implicit";
107
108 ConstAttrVisitor<TextNodeDumper>::Visit(A);
109}
110
Stephen Kelly63a6f3a2019-01-12 16:35:37 +0000111void TextNodeDumper::Visit(const TemplateArgument &TA, SourceRange R,
112 const Decl *From, StringRef Label) {
113 OS << "TemplateArgument";
114 if (R.isValid())
115 dumpSourceRange(R);
116
Stephen Kelly4b5e7cd2019-01-14 19:50:34 +0000117 if (From)
Stephen Kelly63a6f3a2019-01-12 16:35:37 +0000118 dumpDeclRef(From, Label);
Stephen Kelly63a6f3a2019-01-12 16:35:37 +0000119
120 ConstTemplateArgumentVisitor<TextNodeDumper>::Visit(TA);
121}
122
Stephen Kelly07b76d22019-01-12 16:53:27 +0000123void TextNodeDumper::Visit(const Stmt *Node) {
124 if (!Node) {
125 ColorScope Color(OS, ShowColors, NullColor);
126 OS << "<<<NULL>>>";
127 return;
128 }
129 {
130 ColorScope Color(OS, ShowColors, StmtColor);
131 OS << Node->getStmtClassName();
132 }
133 dumpPointer(Node);
134 dumpSourceRange(Node->getSourceRange());
135
136 if (const auto *E = dyn_cast<Expr>(Node)) {
137 dumpType(E->getType());
138
Haojian Wu4b0f1e12020-03-17 10:36:19 +0100139 if (E->containsErrors()) {
140 ColorScope Color(OS, ShowColors, ErrorsColor);
141 OS << " contains-errors";
142 }
143
Stephen Kelly07b76d22019-01-12 16:53:27 +0000144 {
145 ColorScope Color(OS, ShowColors, ValueKindColor);
146 switch (E->getValueKind()) {
147 case VK_RValue:
148 break;
149 case VK_LValue:
150 OS << " lvalue";
151 break;
152 case VK_XValue:
153 OS << " xvalue";
154 break;
155 }
156 }
157
158 {
159 ColorScope Color(OS, ShowColors, ObjectKindColor);
160 switch (E->getObjectKind()) {
161 case OK_Ordinary:
162 break;
163 case OK_BitField:
164 OS << " bitfield";
165 break;
166 case OK_ObjCProperty:
167 OS << " objcproperty";
168 break;
169 case OK_ObjCSubscript:
170 OS << " objcsubscript";
171 break;
172 case OK_VectorComponent:
173 OS << " vectorcomponent";
174 break;
Florian Hahn8f3f88d2020-06-01 19:42:03 +0100175 case OK_MatrixComponent:
176 OS << " matrixcomponent";
177 break;
Stephen Kelly07b76d22019-01-12 16:53:27 +0000178 }
179 }
180 }
181
182 ConstStmtVisitor<TextNodeDumper>::Visit(Node);
183}
184
Stephen Kelly449fa762019-01-14 20:11:02 +0000185void TextNodeDumper::Visit(const Type *T) {
186 if (!T) {
187 ColorScope Color(OS, ShowColors, NullColor);
188 OS << "<<<NULL>>>";
189 return;
190 }
191 if (isa<LocInfoType>(T)) {
192 {
193 ColorScope Color(OS, ShowColors, TypeColor);
194 OS << "LocInfo Type";
195 }
196 dumpPointer(T);
197 return;
198 }
199
200 {
201 ColorScope Color(OS, ShowColors, TypeColor);
202 OS << T->getTypeClassName() << "Type";
203 }
204 dumpPointer(T);
205 OS << " ";
206 dumpBareType(QualType(T, 0), false);
207
208 QualType SingleStepDesugar =
209 T->getLocallyUnqualifiedSingleStepDesugaredType();
210 if (SingleStepDesugar != QualType(T, 0))
211 OS << " sugar";
212
Haojian Wu493d8052020-06-16 09:08:02 +0200213 if (T->containsErrors()) {
214 ColorScope Color(OS, ShowColors, ErrorsColor);
215 OS << " contains-errors";
216 }
217
Stephen Kelly449fa762019-01-14 20:11:02 +0000218 if (T->isDependentType())
219 OS << " dependent";
220 else if (T->isInstantiationDependentType())
221 OS << " instantiation_dependent";
222
223 if (T->isVariablyModifiedType())
224 OS << " variably_modified";
225 if (T->containsUnexpandedParameterPack())
226 OS << " contains_unexpanded_pack";
227 if (T->isFromAST())
228 OS << " imported";
Stephen Kellyf08ca202019-01-15 09:30:00 +0000229
230 TypeVisitor<TextNodeDumper>::Visit(T);
Stephen Kelly449fa762019-01-14 20:11:02 +0000231}
232
Stephen Kelly58c65042019-01-14 20:15:29 +0000233void TextNodeDumper::Visit(QualType T) {
234 OS << "QualType";
235 dumpPointer(T.getAsOpaquePtr());
236 OS << " ";
237 dumpBareType(T, false);
238 OS << " " << T.split().Quals.getAsString();
239}
240
Stephen Kellyd83fe892019-01-15 09:35:52 +0000241void TextNodeDumper::Visit(const Decl *D) {
242 if (!D) {
243 ColorScope Color(OS, ShowColors, NullColor);
244 OS << "<<<NULL>>>";
245 return;
246 }
247
248 {
249 ColorScope Color(OS, ShowColors, DeclKindNameColor);
250 OS << D->getDeclKindName() << "Decl";
251 }
252 dumpPointer(D);
253 if (D->getLexicalDeclContext() != D->getDeclContext())
254 OS << " parent " << cast<Decl>(D->getDeclContext());
255 dumpPreviousDecl(OS, D);
256 dumpSourceRange(D->getSourceRange());
257 OS << ' ';
258 dumpLocation(D->getLocation());
259 if (D->isFromASTFile())
260 OS << " imported";
261 if (Module *M = D->getOwningModule())
262 OS << " in " << M->getFullModuleName();
263 if (auto *ND = dyn_cast<NamedDecl>(D))
264 for (Module *M : D->getASTContext().getModulesWithMergedDefinition(
265 const_cast<NamedDecl *>(ND)))
266 AddChild([=] { OS << "also in " << M->getFullModuleName(); });
267 if (const NamedDecl *ND = dyn_cast<NamedDecl>(D))
Martin Boehme2e92b392020-06-08 15:37:44 +0200268 if (!ND->isUnconditionallyVisible())
Stephen Kellyd83fe892019-01-15 09:35:52 +0000269 OS << " hidden";
270 if (D->isImplicit())
271 OS << " implicit";
272
273 if (D->isUsed())
274 OS << " used";
275 else if (D->isThisDeclarationReferenced())
276 OS << " referenced";
277
278 if (D->isInvalidDecl())
279 OS << " invalid";
Gauthier Harnisch796ed032019-06-14 08:56:20 +0000280 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
281 if (FD->isConstexprSpecified())
Stephen Kellyd83fe892019-01-15 09:35:52 +0000282 OS << " constexpr";
Gauthier Harnisch796ed032019-06-14 08:56:20 +0000283 if (FD->isConsteval())
284 OS << " consteval";
285 }
Stephen Kelly25f18bf2019-01-19 09:05:55 +0000286
287 if (!isa<FunctionDecl>(*D)) {
288 const auto *MD = dyn_cast<ObjCMethodDecl>(D);
289 if (!MD || !MD->isThisDeclarationADefinition()) {
290 const auto *DC = dyn_cast<DeclContext>(D);
291 if (DC && DC->hasExternalLexicalStorage()) {
292 ColorScope Color(OS, ShowColors, UndeserializedColor);
293 OS << " <undeserialized declarations>";
294 }
295 }
296 }
Stephen Kellyb6318c92019-01-30 19:32:48 +0000297
298 ConstDeclVisitor<TextNodeDumper>::Visit(D);
Stephen Kellyd83fe892019-01-15 09:35:52 +0000299}
300
Stephen Kelly0e050fa2019-01-15 20:17:33 +0000301void TextNodeDumper::Visit(const CXXCtorInitializer *Init) {
302 OS << "CXXCtorInitializer";
303 if (Init->isAnyMemberInitializer()) {
304 OS << ' ';
305 dumpBareDeclRef(Init->getAnyMember());
306 } else if (Init->isBaseInitializer()) {
307 dumpType(QualType(Init->getBaseClass(), 0));
308 } else if (Init->isDelegatingInitializer()) {
309 dumpType(Init->getTypeSourceInfo()->getType());
310 } else {
311 llvm_unreachable("Unknown initializer type");
312 }
313}
314
Stephen Kellyfbf424e2019-01-15 20:41:37 +0000315void TextNodeDumper::Visit(const BlockDecl::Capture &C) {
316 OS << "capture";
317 if (C.isByRef())
318 OS << " byref";
319 if (C.isNested())
320 OS << " nested";
321 if (C.getVariable()) {
322 OS << ' ';
323 dumpBareDeclRef(C.getVariable());
324 }
325}
326
Stephen Kelly3cdd1a72019-01-15 20:31:31 +0000327void TextNodeDumper::Visit(const OMPClause *C) {
328 if (!C) {
329 ColorScope Color(OS, ShowColors, NullColor);
330 OS << "<<<NULL>>> OMPClause";
331 return;
332 }
333 {
334 ColorScope Color(OS, ShowColors, AttrColor);
Johannes Doerfert419a5592020-03-30 19:58:40 -0500335 StringRef ClauseName(llvm::omp::getOpenMPClauseName(C->getClauseKind()));
Stephen Kelly3cdd1a72019-01-15 20:31:31 +0000336 OS << "OMP" << ClauseName.substr(/*Start=*/0, /*N=*/1).upper()
337 << ClauseName.drop_front() << "Clause";
338 }
339 dumpPointer(C);
340 dumpSourceRange(SourceRange(C->getBeginLoc(), C->getEndLoc()));
341 if (C->isImplicit())
342 OS << " <implicit>";
343}
344
Stephen Kellyfbf40f42019-01-29 22:22:55 +0000345void TextNodeDumper::Visit(const GenericSelectionExpr::ConstAssociation &A) {
346 const TypeSourceInfo *TSI = A.getTypeSourceInfo();
347 if (TSI) {
348 OS << "case ";
349 dumpType(TSI->getType());
350 } else {
351 OS << "default";
352 }
353
354 if (A.isSelected())
355 OS << " selected";
356}
357
Bruno Riccif63e3ea2020-07-06 21:50:23 +0100358static double GetApproxValue(const llvm::APFloat &F) {
359 llvm::APFloat V = F;
360 bool ignored;
361 V.convert(llvm::APFloat::IEEEdouble(), llvm::APFloat::rmNearestTiesToEven,
362 &ignored);
363 return V.convertToDouble();
364}
365
366/// True if the \p APValue \p Value can be folded onto the current line.
367static bool isSimpleAPValue(const APValue &Value) {
368 switch (Value.getKind()) {
369 case APValue::None:
370 case APValue::Indeterminate:
371 case APValue::Int:
372 case APValue::Float:
373 case APValue::FixedPoint:
374 case APValue::ComplexInt:
375 case APValue::ComplexFloat:
376 case APValue::LValue:
377 case APValue::MemberPointer:
378 case APValue::AddrLabelDiff:
379 return true;
380 case APValue::Vector:
381 case APValue::Array:
382 case APValue::Struct:
383 return false;
384 case APValue::Union:
385 return isSimpleAPValue(Value.getUnionValue());
386 }
387 llvm_unreachable("unexpected APValue kind!");
388}
389
390/// Dump the children of the \p APValue \p Value.
391///
392/// \param[in] Value The \p APValue to visit
393/// \param[in] Ty The \p QualType passed to \p Visit
394///
395/// \param[in] IdxToChildFun A function mapping an \p APValue and an index
396/// to one of the child of the \p APValue
397///
398/// \param[in] NumChildren \p IdxToChildFun will be called on \p Value with
399/// the indices in the range \p [0,NumChildren(
400///
401/// \param[in] LabelSingular The label to use on a line with a single child
402/// \param[in] LabelPlurial The label to use on a line with multiple children
403void TextNodeDumper::dumpAPValueChildren(
404 const APValue &Value, QualType Ty,
405 const APValue &(*IdxToChildFun)(const APValue &, unsigned),
406 unsigned NumChildren, StringRef LabelSingular, StringRef LabelPlurial) {
407 // To save some vertical space we print up to MaxChildrenPerLine APValues
408 // considered to be simple (by isSimpleAPValue) on a single line.
409 constexpr unsigned MaxChildrenPerLine = 4;
410 unsigned I = 0;
411 while (I < NumChildren) {
412 unsigned J = I;
413 while (J < NumChildren) {
414 if (isSimpleAPValue(IdxToChildFun(Value, J)) &&
415 (J - I < MaxChildrenPerLine)) {
416 ++J;
417 continue;
418 }
419 break;
420 }
421
422 J = std::max(I + 1, J);
423
424 // Print [I,J) on a single line.
425 AddChild(J - I > 1 ? LabelPlurial : LabelSingular, [=]() {
426 for (unsigned X = I; X < J; ++X) {
427 Visit(IdxToChildFun(Value, X), Ty);
428 if (X + 1 != J)
429 OS << ", ";
430 }
431 });
432 I = J;
433 }
434}
435
436void TextNodeDumper::Visit(const APValue &Value, QualType Ty) {
437 ColorScope Color(OS, ShowColors, ValueKindColor);
438 switch (Value.getKind()) {
439 case APValue::None:
440 OS << "None";
441 return;
442 case APValue::Indeterminate:
443 OS << "Indeterminate";
444 return;
445 case APValue::Int:
446 OS << "Int ";
447 {
448 ColorScope Color(OS, ShowColors, ValueColor);
449 OS << Value.getInt();
450 }
451 return;
452 case APValue::Float:
453 OS << "Float ";
454 {
455 ColorScope Color(OS, ShowColors, ValueColor);
456 OS << GetApproxValue(Value.getFloat());
457 }
458 return;
459 case APValue::FixedPoint:
460 OS << "FixedPoint ";
461 {
462 ColorScope Color(OS, ShowColors, ValueColor);
463 OS << Value.getFixedPoint();
464 }
465 return;
466 case APValue::Vector: {
467 unsigned VectorLength = Value.getVectorLength();
468 OS << "Vector length=" << VectorLength;
469
470 dumpAPValueChildren(
471 Value, Ty,
472 [](const APValue &Value, unsigned Index) -> const APValue & {
473 return Value.getVectorElt(Index);
474 },
475 VectorLength, "element", "elements");
476 return;
477 }
478 case APValue::ComplexInt:
479 OS << "ComplexInt ";
480 {
481 ColorScope Color(OS, ShowColors, ValueColor);
482 OS << Value.getComplexIntReal() << " + " << Value.getComplexIntImag()
483 << 'i';
484 }
485 return;
486 case APValue::ComplexFloat:
487 OS << "ComplexFloat ";
488 {
489 ColorScope Color(OS, ShowColors, ValueColor);
490 OS << GetApproxValue(Value.getComplexFloatReal()) << " + "
491 << GetApproxValue(Value.getComplexFloatImag()) << 'i';
492 }
493 return;
494 case APValue::LValue:
495 (void)Context;
496 OS << "LValue <todo>";
497 return;
498 case APValue::Array: {
499 unsigned ArraySize = Value.getArraySize();
500 unsigned NumInitializedElements = Value.getArrayInitializedElts();
501 OS << "Array size=" << ArraySize;
502
503 dumpAPValueChildren(
504 Value, Ty,
505 [](const APValue &Value, unsigned Index) -> const APValue & {
506 return Value.getArrayInitializedElt(Index);
507 },
508 NumInitializedElements, "element", "elements");
509
510 if (Value.hasArrayFiller()) {
511 AddChild("filler", [=] {
512 {
513 ColorScope Color(OS, ShowColors, ValueColor);
514 OS << ArraySize - NumInitializedElements << " x ";
515 }
516 Visit(Value.getArrayFiller(), Ty);
517 });
518 }
519
520 return;
521 }
522 case APValue::Struct: {
523 OS << "Struct";
524
525 dumpAPValueChildren(
526 Value, Ty,
527 [](const APValue &Value, unsigned Index) -> const APValue & {
528 return Value.getStructBase(Index);
529 },
530 Value.getStructNumBases(), "base", "bases");
531
532 dumpAPValueChildren(
533 Value, Ty,
534 [](const APValue &Value, unsigned Index) -> const APValue & {
535 return Value.getStructField(Index);
536 },
537 Value.getStructNumFields(), "field", "fields");
538
539 return;
540 }
541 case APValue::Union: {
542 OS << "Union";
543 {
544 ColorScope Color(OS, ShowColors, ValueColor);
545 if (const FieldDecl *FD = Value.getUnionField())
546 OS << " ." << *cast<NamedDecl>(FD);
547 }
548 // If the union value is considered to be simple, fold it into the
549 // current line to save some vertical space.
550 const APValue &UnionValue = Value.getUnionValue();
551 if (isSimpleAPValue(UnionValue)) {
552 OS << ' ';
553 Visit(UnionValue, Ty);
554 } else {
555 AddChild([=] { Visit(UnionValue, Ty); });
556 }
557
558 return;
559 }
560 case APValue::MemberPointer:
561 OS << "MemberPointer <todo>";
562 return;
563 case APValue::AddrLabelDiff:
564 OS << "AddrLabelDiff <todo>";
565 return;
566 }
567 llvm_unreachable("Unknown APValue kind!");
568}
569
Stephen Kellyd8744a72018-12-05 21:12:39 +0000570void TextNodeDumper::dumpPointer(const void *Ptr) {
571 ColorScope Color(OS, ShowColors, AddressColor);
572 OS << ' ' << Ptr;
573}
574
575void TextNodeDumper::dumpLocation(SourceLocation Loc) {
576 if (!SM)
577 return;
578
579 ColorScope Color(OS, ShowColors, LocationColor);
580 SourceLocation SpellingLoc = SM->getSpellingLoc(Loc);
581
582 // The general format we print out is filename:line:col, but we drop pieces
583 // that haven't changed since the last loc printed.
584 PresumedLoc PLoc = SM->getPresumedLoc(SpellingLoc);
585
586 if (PLoc.isInvalid()) {
587 OS << "<invalid sloc>";
588 return;
589 }
590
591 if (strcmp(PLoc.getFilename(), LastLocFilename) != 0) {
592 OS << PLoc.getFilename() << ':' << PLoc.getLine() << ':'
593 << PLoc.getColumn();
594 LastLocFilename = PLoc.getFilename();
595 LastLocLine = PLoc.getLine();
596 } else if (PLoc.getLine() != LastLocLine) {
597 OS << "line" << ':' << PLoc.getLine() << ':' << PLoc.getColumn();
598 LastLocLine = PLoc.getLine();
599 } else {
600 OS << "col" << ':' << PLoc.getColumn();
601 }
602}
603
604void TextNodeDumper::dumpSourceRange(SourceRange R) {
605 // Can't translate locations if a SourceManager isn't available.
606 if (!SM)
607 return;
608
609 OS << " <";
610 dumpLocation(R.getBegin());
611 if (R.getBegin() != R.getEnd()) {
612 OS << ", ";
613 dumpLocation(R.getEnd());
614 }
615 OS << ">";
616
617 // <t2.c:123:421[blah], t2.c:412:321>
618}
619
620void TextNodeDumper::dumpBareType(QualType T, bool Desugar) {
621 ColorScope Color(OS, ShowColors, TypeColor);
622
623 SplitQualType T_split = T.split();
624 OS << "'" << QualType::getAsString(T_split, PrintPolicy) << "'";
625
626 if (Desugar && !T.isNull()) {
627 // If the type is sugared, also dump a (shallow) desugared type.
628 SplitQualType D_split = T.getSplitDesugaredType();
629 if (T_split != D_split)
630 OS << ":'" << QualType::getAsString(D_split, PrintPolicy) << "'";
631 }
632}
633
634void TextNodeDumper::dumpType(QualType T) {
635 OS << ' ';
636 dumpBareType(T);
637}
638
639void TextNodeDumper::dumpBareDeclRef(const Decl *D) {
640 if (!D) {
641 ColorScope Color(OS, ShowColors, NullColor);
642 OS << "<<<NULL>>>";
643 return;
644 }
645
646 {
647 ColorScope Color(OS, ShowColors, DeclKindNameColor);
648 OS << D->getDeclKindName();
649 }
650 dumpPointer(D);
651
652 if (const NamedDecl *ND = dyn_cast<NamedDecl>(D)) {
653 ColorScope Color(OS, ShowColors, DeclNameColor);
654 OS << " '" << ND->getDeclName() << '\'';
655 }
656
657 if (const ValueDecl *VD = dyn_cast<ValueDecl>(D))
658 dumpType(VD->getType());
659}
660
661void TextNodeDumper::dumpName(const NamedDecl *ND) {
662 if (ND->getDeclName()) {
663 ColorScope Color(OS, ShowColors, DeclNameColor);
664 OS << ' ' << ND->getNameAsString();
665 }
666}
667
668void TextNodeDumper::dumpAccessSpecifier(AccessSpecifier AS) {
Daniel Martín6407aa92020-05-27 18:17:07 +0200669 const auto AccessSpelling = getAccessSpelling(AS);
670 if (AccessSpelling.empty())
671 return;
672 OS << AccessSpelling;
Stephen Kellyd8744a72018-12-05 21:12:39 +0000673}
674
Akira Hatanaka40568fe2020-03-10 14:06:25 -0700675void TextNodeDumper::dumpCleanupObject(
676 const ExprWithCleanups::CleanupObject &C) {
677 if (auto *BD = C.dyn_cast<BlockDecl *>())
678 dumpDeclRef(BD, "cleanup");
679 else if (auto *CLE = C.dyn_cast<CompoundLiteralExpr *>())
680 AddChild([=] {
681 OS << "cleanup ";
682 {
683 ColorScope Color(OS, ShowColors, StmtColor);
684 OS << CLE->getStmtClassName();
685 }
686 dumpPointer(CLE);
687 });
688 else
689 llvm_unreachable("unexpected cleanup type");
690}
691
Stephen Kelly9bc90a22019-01-12 15:45:05 +0000692void TextNodeDumper::dumpDeclRef(const Decl *D, StringRef Label) {
Stephen Kellyd186dbc2019-01-08 23:11:24 +0000693 if (!D)
694 return;
695
Stephen Kelly12243212019-01-10 20:58:21 +0000696 AddChild([=] {
Stephen Kelly9bc90a22019-01-12 15:45:05 +0000697 if (!Label.empty())
Stephen Kellyd186dbc2019-01-08 23:11:24 +0000698 OS << Label << ' ';
699 dumpBareDeclRef(D);
700 });
701}
702
Stephen Kellye26a88a2018-12-09 13:30:17 +0000703const char *TextNodeDumper::getCommandName(unsigned CommandID) {
704 if (Traits)
705 return Traits->getCommandInfo(CommandID)->Name;
706 const comments::CommandInfo *Info =
707 comments::CommandTraits::getBuiltinCommandInfo(CommandID);
708 if (Info)
709 return Info->Name;
710 return "<not a builtin command>";
711}
712
Serge Pavlov70e7aa42020-07-24 12:04:19 +0700713void TextNodeDumper::printFPOptions(FPOptionsOverride FPO) {
714#define OPTION(NAME, TYPE, WIDTH, PREVIOUS) \
715 if (FPO.has##NAME##Override()) \
716 OS << " " #NAME "=" << FPO.get##NAME##Override();
717#include "clang/Basic/FPOptions.def"
718}
719
Stephen Kellye26a88a2018-12-09 13:30:17 +0000720void TextNodeDumper::visitTextComment(const comments::TextComment *C,
721 const comments::FullComment *) {
722 OS << " Text=\"" << C->getText() << "\"";
723}
724
725void TextNodeDumper::visitInlineCommandComment(
726 const comments::InlineCommandComment *C, const comments::FullComment *) {
727 OS << " Name=\"" << getCommandName(C->getCommandID()) << "\"";
728 switch (C->getRenderKind()) {
729 case comments::InlineCommandComment::RenderNormal:
730 OS << " RenderNormal";
731 break;
732 case comments::InlineCommandComment::RenderBold:
733 OS << " RenderBold";
734 break;
735 case comments::InlineCommandComment::RenderMonospaced:
736 OS << " RenderMonospaced";
737 break;
738 case comments::InlineCommandComment::RenderEmphasized:
739 OS << " RenderEmphasized";
740 break;
Mark de Weverbe1a9b32019-12-21 14:47:52 +0100741 case comments::InlineCommandComment::RenderAnchor:
742 OS << " RenderAnchor";
743 break;
Stephen Kellye26a88a2018-12-09 13:30:17 +0000744 }
745
746 for (unsigned i = 0, e = C->getNumArgs(); i != e; ++i)
747 OS << " Arg[" << i << "]=\"" << C->getArgText(i) << "\"";
748}
749
750void TextNodeDumper::visitHTMLStartTagComment(
751 const comments::HTMLStartTagComment *C, const comments::FullComment *) {
752 OS << " Name=\"" << C->getTagName() << "\"";
753 if (C->getNumAttrs() != 0) {
754 OS << " Attrs: ";
755 for (unsigned i = 0, e = C->getNumAttrs(); i != e; ++i) {
756 const comments::HTMLStartTagComment::Attribute &Attr = C->getAttr(i);
757 OS << " \"" << Attr.Name << "=\"" << Attr.Value << "\"";
758 }
759 }
760 if (C->isSelfClosing())
761 OS << " SelfClosing";
762}
763
764void TextNodeDumper::visitHTMLEndTagComment(
765 const comments::HTMLEndTagComment *C, const comments::FullComment *) {
766 OS << " Name=\"" << C->getTagName() << "\"";
767}
768
769void TextNodeDumper::visitBlockCommandComment(
770 const comments::BlockCommandComment *C, const comments::FullComment *) {
771 OS << " Name=\"" << getCommandName(C->getCommandID()) << "\"";
772 for (unsigned i = 0, e = C->getNumArgs(); i != e; ++i)
773 OS << " Arg[" << i << "]=\"" << C->getArgText(i) << "\"";
774}
775
776void TextNodeDumper::visitParamCommandComment(
777 const comments::ParamCommandComment *C, const comments::FullComment *FC) {
778 OS << " "
779 << comments::ParamCommandComment::getDirectionAsString(C->getDirection());
780
781 if (C->isDirectionExplicit())
782 OS << " explicitly";
783 else
784 OS << " implicitly";
785
786 if (C->hasParamName()) {
787 if (C->isParamIndexValid())
788 OS << " Param=\"" << C->getParamName(FC) << "\"";
789 else
790 OS << " Param=\"" << C->getParamNameAsWritten() << "\"";
791 }
792
793 if (C->isParamIndexValid() && !C->isVarArgParam())
794 OS << " ParamIndex=" << C->getParamIndex();
795}
796
797void TextNodeDumper::visitTParamCommandComment(
798 const comments::TParamCommandComment *C, const comments::FullComment *FC) {
799 if (C->hasParamName()) {
800 if (C->isPositionValid())
801 OS << " Param=\"" << C->getParamName(FC) << "\"";
802 else
803 OS << " Param=\"" << C->getParamNameAsWritten() << "\"";
804 }
805
806 if (C->isPositionValid()) {
807 OS << " Position=<";
808 for (unsigned i = 0, e = C->getDepth(); i != e; ++i) {
809 OS << C->getIndex(i);
810 if (i != e - 1)
811 OS << ", ";
812 }
813 OS << ">";
814 }
815}
816
817void TextNodeDumper::visitVerbatimBlockComment(
818 const comments::VerbatimBlockComment *C, const comments::FullComment *) {
819 OS << " Name=\"" << getCommandName(C->getCommandID())
820 << "\""
821 " CloseName=\""
822 << C->getCloseName() << "\"";
823}
824
825void TextNodeDumper::visitVerbatimBlockLineComment(
826 const comments::VerbatimBlockLineComment *C,
827 const comments::FullComment *) {
828 OS << " Text=\"" << C->getText() << "\"";
829}
830
831void TextNodeDumper::visitVerbatimLineComment(
832 const comments::VerbatimLineComment *C, const comments::FullComment *) {
833 OS << " Text=\"" << C->getText() << "\"";
834}
Stephen Kelly63a6f3a2019-01-12 16:35:37 +0000835
836void TextNodeDumper::VisitNullTemplateArgument(const TemplateArgument &) {
837 OS << " null";
838}
839
840void TextNodeDumper::VisitTypeTemplateArgument(const TemplateArgument &TA) {
841 OS << " type";
842 dumpType(TA.getAsType());
843}
844
845void TextNodeDumper::VisitDeclarationTemplateArgument(
846 const TemplateArgument &TA) {
847 OS << " decl";
848 dumpDeclRef(TA.getAsDecl());
849}
850
851void TextNodeDumper::VisitNullPtrTemplateArgument(const TemplateArgument &) {
852 OS << " nullptr";
853}
854
855void TextNodeDumper::VisitIntegralTemplateArgument(const TemplateArgument &TA) {
856 OS << " integral " << TA.getAsIntegral();
857}
858
859void TextNodeDumper::VisitTemplateTemplateArgument(const TemplateArgument &TA) {
860 OS << " template ";
861 TA.getAsTemplate().dump(OS);
862}
863
864void TextNodeDumper::VisitTemplateExpansionTemplateArgument(
865 const TemplateArgument &TA) {
866 OS << " template expansion ";
867 TA.getAsTemplateOrTemplatePattern().dump(OS);
868}
869
870void TextNodeDumper::VisitExpressionTemplateArgument(const TemplateArgument &) {
871 OS << " expr";
872}
873
874void TextNodeDumper::VisitPackTemplateArgument(const TemplateArgument &) {
875 OS << " pack";
876}
Stephen Kelly07b76d22019-01-12 16:53:27 +0000877
878static void dumpBasePath(raw_ostream &OS, const CastExpr *Node) {
879 if (Node->path_empty())
880 return;
881
882 OS << " (";
883 bool First = true;
884 for (CastExpr::path_const_iterator I = Node->path_begin(),
885 E = Node->path_end();
886 I != E; ++I) {
887 const CXXBaseSpecifier *Base = *I;
888 if (!First)
889 OS << " -> ";
890
Simon Pilgrim1cd399c2019-10-03 11:22:48 +0000891 const auto *RD =
892 cast<CXXRecordDecl>(Base->getType()->castAs<RecordType>()->getDecl());
Stephen Kelly07b76d22019-01-12 16:53:27 +0000893
894 if (Base->isVirtual())
895 OS << "virtual ";
896 OS << RD->getName();
897 First = false;
898 }
899
900 OS << ')';
901}
902
903void TextNodeDumper::VisitIfStmt(const IfStmt *Node) {
904 if (Node->hasInitStorage())
905 OS << " has_init";
906 if (Node->hasVarStorage())
907 OS << " has_var";
908 if (Node->hasElseStorage())
909 OS << " has_else";
910}
911
912void TextNodeDumper::VisitSwitchStmt(const SwitchStmt *Node) {
913 if (Node->hasInitStorage())
914 OS << " has_init";
915 if (Node->hasVarStorage())
916 OS << " has_var";
917}
918
919void TextNodeDumper::VisitWhileStmt(const WhileStmt *Node) {
920 if (Node->hasVarStorage())
921 OS << " has_var";
922}
923
924void TextNodeDumper::VisitLabelStmt(const LabelStmt *Node) {
925 OS << " '" << Node->getName() << "'";
926}
927
928void TextNodeDumper::VisitGotoStmt(const GotoStmt *Node) {
929 OS << " '" << Node->getLabel()->getName() << "'";
930 dumpPointer(Node->getLabel());
931}
932
933void TextNodeDumper::VisitCaseStmt(const CaseStmt *Node) {
934 if (Node->caseStmtIsGNURange())
935 OS << " gnu_range";
936}
937
Gauthier Harnisch83c7b612019-06-15 10:24:47 +0000938void TextNodeDumper::VisitConstantExpr(const ConstantExpr *Node) {
Bruno Riccif63e3ea2020-07-06 21:50:23 +0100939 if (Node->hasAPValueResult())
940 AddChild("value",
941 [=] { Visit(Node->getAPValueResult(), Node->getType()); });
Gauthier Harnisch83c7b612019-06-15 10:24:47 +0000942}
943
Stephen Kelly07b76d22019-01-12 16:53:27 +0000944void TextNodeDumper::VisitCallExpr(const CallExpr *Node) {
945 if (Node->usesADL())
946 OS << " adl";
Serge Pavlov70e7aa42020-07-24 12:04:19 +0700947 if (Node->hasStoredFPFeatures())
948 printFPOptions(Node->getFPFeatures());
Stephen Kelly07b76d22019-01-12 16:53:27 +0000949}
950
Bruno Ricci6d0f8342020-06-09 15:03:22 +0100951void TextNodeDumper::VisitCXXOperatorCallExpr(const CXXOperatorCallExpr *Node) {
952 const char *OperatorSpelling = clang::getOperatorSpelling(Node->getOperator());
953 if (OperatorSpelling)
954 OS << " '" << OperatorSpelling << "'";
955
956 VisitCallExpr(Node);
957}
958
Stephen Kelly07b76d22019-01-12 16:53:27 +0000959void TextNodeDumper::VisitCastExpr(const CastExpr *Node) {
960 OS << " <";
961 {
962 ColorScope Color(OS, ShowColors, CastColor);
963 OS << Node->getCastKindName();
964 }
965 dumpBasePath(OS, Node);
966 OS << ">";
967}
968
969void TextNodeDumper::VisitImplicitCastExpr(const ImplicitCastExpr *Node) {
970 VisitCastExpr(Node);
971 if (Node->isPartOfExplicitCast())
972 OS << " part_of_explicit_cast";
973}
974
975void TextNodeDumper::VisitDeclRefExpr(const DeclRefExpr *Node) {
976 OS << " ";
977 dumpBareDeclRef(Node->getDecl());
978 if (Node->getDecl() != Node->getFoundDecl()) {
979 OS << " (";
980 dumpBareDeclRef(Node->getFoundDecl());
981 OS << ")";
982 }
Richard Smith715f7a12019-06-11 17:50:32 +0000983 switch (Node->isNonOdrUse()) {
984 case NOUR_None: break;
985 case NOUR_Unevaluated: OS << " non_odr_use_unevaluated"; break;
986 case NOUR_Constant: OS << " non_odr_use_constant"; break;
987 case NOUR_Discarded: OS << " non_odr_use_discarded"; break;
988 }
Stephen Kelly07b76d22019-01-12 16:53:27 +0000989}
990
991void TextNodeDumper::VisitUnresolvedLookupExpr(
992 const UnresolvedLookupExpr *Node) {
993 OS << " (";
994 if (!Node->requiresADL())
995 OS << "no ";
996 OS << "ADL) = '" << Node->getName() << '\'';
997
998 UnresolvedLookupExpr::decls_iterator I = Node->decls_begin(),
999 E = Node->decls_end();
1000 if (I == E)
1001 OS << " empty";
1002 for (; I != E; ++I)
1003 dumpPointer(*I);
1004}
1005
1006void TextNodeDumper::VisitObjCIvarRefExpr(const ObjCIvarRefExpr *Node) {
1007 {
1008 ColorScope Color(OS, ShowColors, DeclKindNameColor);
1009 OS << " " << Node->getDecl()->getDeclKindName() << "Decl";
1010 }
1011 OS << "='" << *Node->getDecl() << "'";
1012 dumpPointer(Node->getDecl());
1013 if (Node->isFreeIvar())
1014 OS << " isFreeIvar";
1015}
1016
1017void TextNodeDumper::VisitPredefinedExpr(const PredefinedExpr *Node) {
1018 OS << " " << PredefinedExpr::getIdentKindName(Node->getIdentKind());
1019}
1020
1021void TextNodeDumper::VisitCharacterLiteral(const CharacterLiteral *Node) {
1022 ColorScope Color(OS, ShowColors, ValueColor);
1023 OS << " " << Node->getValue();
1024}
1025
1026void TextNodeDumper::VisitIntegerLiteral(const IntegerLiteral *Node) {
1027 bool isSigned = Node->getType()->isSignedIntegerType();
1028 ColorScope Color(OS, ShowColors, ValueColor);
1029 OS << " " << Node->getValue().toString(10, isSigned);
1030}
1031
1032void TextNodeDumper::VisitFixedPointLiteral(const FixedPointLiteral *Node) {
1033 ColorScope Color(OS, ShowColors, ValueColor);
1034 OS << " " << Node->getValueAsString(/*Radix=*/10);
1035}
1036
1037void TextNodeDumper::VisitFloatingLiteral(const FloatingLiteral *Node) {
1038 ColorScope Color(OS, ShowColors, ValueColor);
1039 OS << " " << Node->getValueAsApproximateDouble();
1040}
1041
1042void TextNodeDumper::VisitStringLiteral(const StringLiteral *Str) {
1043 ColorScope Color(OS, ShowColors, ValueColor);
1044 OS << " ";
1045 Str->outputString(OS);
1046}
1047
1048void TextNodeDumper::VisitInitListExpr(const InitListExpr *ILE) {
1049 if (auto *Field = ILE->getInitializedFieldInUnion()) {
1050 OS << " field ";
1051 dumpBareDeclRef(Field);
1052 }
1053}
1054
Stephen Kellyaecce852019-01-29 22:58:28 +00001055void TextNodeDumper::VisitGenericSelectionExpr(const GenericSelectionExpr *E) {
1056 if (E->isResultDependent())
1057 OS << " result_dependent";
1058}
1059
Stephen Kelly07b76d22019-01-12 16:53:27 +00001060void TextNodeDumper::VisitUnaryOperator(const UnaryOperator *Node) {
1061 OS << " " << (Node->isPostfix() ? "postfix" : "prefix") << " '"
1062 << UnaryOperator::getOpcodeStr(Node->getOpcode()) << "'";
1063 if (!Node->canOverflow())
1064 OS << " cannot overflow";
Serge Pavlov70e7aa42020-07-24 12:04:19 +07001065 if (Node->hasStoredFPFeatures())
1066 printFPOptions(Node->getStoredFPFeatures());
Stephen Kelly07b76d22019-01-12 16:53:27 +00001067}
1068
1069void TextNodeDumper::VisitUnaryExprOrTypeTraitExpr(
1070 const UnaryExprOrTypeTraitExpr *Node) {
Bruno Ricci78e636b2020-06-11 14:08:27 +01001071 OS << " " << getTraitSpelling(Node->getKind());
1072
Stephen Kelly07b76d22019-01-12 16:53:27 +00001073 if (Node->isArgumentType())
1074 dumpType(Node->getArgumentType());
1075}
1076
1077void TextNodeDumper::VisitMemberExpr(const MemberExpr *Node) {
1078 OS << " " << (Node->isArrow() ? "->" : ".") << *Node->getMemberDecl();
1079 dumpPointer(Node->getMemberDecl());
Richard Smith1bbad592019-06-11 17:50:36 +00001080 switch (Node->isNonOdrUse()) {
1081 case NOUR_None: break;
1082 case NOUR_Unevaluated: OS << " non_odr_use_unevaluated"; break;
1083 case NOUR_Constant: OS << " non_odr_use_constant"; break;
1084 case NOUR_Discarded: OS << " non_odr_use_discarded"; break;
1085 }
Stephen Kelly07b76d22019-01-12 16:53:27 +00001086}
1087
1088void TextNodeDumper::VisitExtVectorElementExpr(
1089 const ExtVectorElementExpr *Node) {
1090 OS << " " << Node->getAccessor().getNameStart();
1091}
1092
1093void TextNodeDumper::VisitBinaryOperator(const BinaryOperator *Node) {
1094 OS << " '" << BinaryOperator::getOpcodeStr(Node->getOpcode()) << "'";
Serge Pavlov70e7aa42020-07-24 12:04:19 +07001095 if (Node->hasStoredFPFeatures())
1096 printFPOptions(Node->getStoredFPFeatures());
Stephen Kelly07b76d22019-01-12 16:53:27 +00001097}
1098
1099void TextNodeDumper::VisitCompoundAssignOperator(
1100 const CompoundAssignOperator *Node) {
1101 OS << " '" << BinaryOperator::getOpcodeStr(Node->getOpcode())
1102 << "' ComputeLHSTy=";
1103 dumpBareType(Node->getComputationLHSType());
1104 OS << " ComputeResultTy=";
1105 dumpBareType(Node->getComputationResultType());
1106}
1107
1108void TextNodeDumper::VisitAddrLabelExpr(const AddrLabelExpr *Node) {
1109 OS << " " << Node->getLabel()->getName();
1110 dumpPointer(Node->getLabel());
1111}
1112
1113void TextNodeDumper::VisitCXXNamedCastExpr(const CXXNamedCastExpr *Node) {
1114 OS << " " << Node->getCastName() << "<"
1115 << Node->getTypeAsWritten().getAsString() << ">"
1116 << " <" << Node->getCastKindName();
1117 dumpBasePath(OS, Node);
1118 OS << ">";
1119}
1120
1121void TextNodeDumper::VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *Node) {
1122 OS << " " << (Node->getValue() ? "true" : "false");
1123}
1124
1125void TextNodeDumper::VisitCXXThisExpr(const CXXThisExpr *Node) {
Bruno Ricci64bebe92019-02-03 18:20:27 +00001126 if (Node->isImplicit())
1127 OS << " implicit";
Stephen Kelly07b76d22019-01-12 16:53:27 +00001128 OS << " this";
1129}
1130
1131void TextNodeDumper::VisitCXXFunctionalCastExpr(
1132 const CXXFunctionalCastExpr *Node) {
1133 OS << " functional cast to " << Node->getTypeAsWritten().getAsString() << " <"
1134 << Node->getCastKindName() << ">";
1135}
1136
1137void TextNodeDumper::VisitCXXUnresolvedConstructExpr(
1138 const CXXUnresolvedConstructExpr *Node) {
1139 dumpType(Node->getTypeAsWritten());
1140 if (Node->isListInitialization())
1141 OS << " list";
1142}
1143
1144void TextNodeDumper::VisitCXXConstructExpr(const CXXConstructExpr *Node) {
1145 CXXConstructorDecl *Ctor = Node->getConstructor();
1146 dumpType(Ctor->getType());
1147 if (Node->isElidable())
1148 OS << " elidable";
1149 if (Node->isListInitialization())
1150 OS << " list";
1151 if (Node->isStdInitListInitialization())
1152 OS << " std::initializer_list";
1153 if (Node->requiresZeroInitialization())
1154 OS << " zeroing";
1155}
1156
1157void TextNodeDumper::VisitCXXBindTemporaryExpr(
1158 const CXXBindTemporaryExpr *Node) {
Aaron Ballman0ac17be2019-06-20 15:10:45 +00001159 OS << " (CXXTemporary";
1160 dumpPointer(Node);
1161 OS << ")";
Stephen Kelly07b76d22019-01-12 16:53:27 +00001162}
1163
1164void TextNodeDumper::VisitCXXNewExpr(const CXXNewExpr *Node) {
1165 if (Node->isGlobalNew())
1166 OS << " global";
1167 if (Node->isArray())
1168 OS << " array";
1169 if (Node->getOperatorNew()) {
1170 OS << ' ';
1171 dumpBareDeclRef(Node->getOperatorNew());
1172 }
1173 // We could dump the deallocation function used in case of error, but it's
1174 // usually not that interesting.
1175}
1176
1177void TextNodeDumper::VisitCXXDeleteExpr(const CXXDeleteExpr *Node) {
1178 if (Node->isGlobalDelete())
1179 OS << " global";
1180 if (Node->isArrayForm())
1181 OS << " array";
1182 if (Node->getOperatorDelete()) {
1183 OS << ' ';
1184 dumpBareDeclRef(Node->getOperatorDelete());
1185 }
1186}
1187
Bruno Riccia9250c22020-06-11 17:36:28 +01001188void TextNodeDumper::VisitTypeTraitExpr(const TypeTraitExpr *Node) {
1189 OS << " " << getTraitSpelling(Node->getTrait());
1190}
1191
1192void TextNodeDumper::VisitArrayTypeTraitExpr(const ArrayTypeTraitExpr *Node) {
1193 OS << " " << getTraitSpelling(Node->getTrait());
1194}
1195
1196void TextNodeDumper::VisitExpressionTraitExpr(const ExpressionTraitExpr *Node) {
1197 OS << " " << getTraitSpelling(Node->getTrait());
1198}
1199
Stephen Kelly07b76d22019-01-12 16:53:27 +00001200void TextNodeDumper::VisitMaterializeTemporaryExpr(
1201 const MaterializeTemporaryExpr *Node) {
1202 if (const ValueDecl *VD = Node->getExtendingDecl()) {
1203 OS << " extended by ";
1204 dumpBareDeclRef(VD);
1205 }
1206}
1207
1208void TextNodeDumper::VisitExprWithCleanups(const ExprWithCleanups *Node) {
1209 for (unsigned i = 0, e = Node->getNumObjects(); i != e; ++i)
Akira Hatanaka40568fe2020-03-10 14:06:25 -07001210 dumpCleanupObject(Node->getObject(i));
Stephen Kelly07b76d22019-01-12 16:53:27 +00001211}
1212
1213void TextNodeDumper::VisitSizeOfPackExpr(const SizeOfPackExpr *Node) {
1214 dumpPointer(Node->getPack());
1215 dumpName(Node->getPack());
1216}
1217
1218void TextNodeDumper::VisitCXXDependentScopeMemberExpr(
1219 const CXXDependentScopeMemberExpr *Node) {
1220 OS << " " << (Node->isArrow() ? "->" : ".") << Node->getMember();
1221}
1222
1223void TextNodeDumper::VisitObjCMessageExpr(const ObjCMessageExpr *Node) {
1224 OS << " selector=";
1225 Node->getSelector().print(OS);
1226 switch (Node->getReceiverKind()) {
1227 case ObjCMessageExpr::Instance:
1228 break;
1229
1230 case ObjCMessageExpr::Class:
1231 OS << " class=";
1232 dumpBareType(Node->getClassReceiver());
1233 break;
1234
1235 case ObjCMessageExpr::SuperInstance:
1236 OS << " super (instance)";
1237 break;
1238
1239 case ObjCMessageExpr::SuperClass:
1240 OS << " super (class)";
1241 break;
1242 }
1243}
1244
1245void TextNodeDumper::VisitObjCBoxedExpr(const ObjCBoxedExpr *Node) {
1246 if (auto *BoxingMethod = Node->getBoxingMethod()) {
1247 OS << " selector=";
1248 BoxingMethod->getSelector().print(OS);
1249 }
1250}
1251
1252void TextNodeDumper::VisitObjCAtCatchStmt(const ObjCAtCatchStmt *Node) {
1253 if (!Node->getCatchParamDecl())
1254 OS << " catch all";
1255}
1256
1257void TextNodeDumper::VisitObjCEncodeExpr(const ObjCEncodeExpr *Node) {
1258 dumpType(Node->getEncodedType());
1259}
1260
1261void TextNodeDumper::VisitObjCSelectorExpr(const ObjCSelectorExpr *Node) {
1262 OS << " ";
1263 Node->getSelector().print(OS);
1264}
1265
1266void TextNodeDumper::VisitObjCProtocolExpr(const ObjCProtocolExpr *Node) {
1267 OS << ' ' << *Node->getProtocol();
1268}
1269
1270void TextNodeDumper::VisitObjCPropertyRefExpr(const ObjCPropertyRefExpr *Node) {
1271 if (Node->isImplicitProperty()) {
1272 OS << " Kind=MethodRef Getter=\"";
1273 if (Node->getImplicitPropertyGetter())
1274 Node->getImplicitPropertyGetter()->getSelector().print(OS);
1275 else
1276 OS << "(null)";
1277
1278 OS << "\" Setter=\"";
1279 if (ObjCMethodDecl *Setter = Node->getImplicitPropertySetter())
1280 Setter->getSelector().print(OS);
1281 else
1282 OS << "(null)";
1283 OS << "\"";
1284 } else {
1285 OS << " Kind=PropertyRef Property=\"" << *Node->getExplicitProperty()
1286 << '"';
1287 }
1288
1289 if (Node->isSuperReceiver())
1290 OS << " super";
1291
1292 OS << " Messaging=";
1293 if (Node->isMessagingGetter() && Node->isMessagingSetter())
1294 OS << "Getter&Setter";
1295 else if (Node->isMessagingGetter())
1296 OS << "Getter";
1297 else if (Node->isMessagingSetter())
1298 OS << "Setter";
1299}
1300
1301void TextNodeDumper::VisitObjCSubscriptRefExpr(
1302 const ObjCSubscriptRefExpr *Node) {
1303 if (Node->isArraySubscriptRefExpr())
1304 OS << " Kind=ArraySubscript GetterForArray=\"";
1305 else
1306 OS << " Kind=DictionarySubscript GetterForDictionary=\"";
1307 if (Node->getAtIndexMethodDecl())
1308 Node->getAtIndexMethodDecl()->getSelector().print(OS);
1309 else
1310 OS << "(null)";
1311
1312 if (Node->isArraySubscriptRefExpr())
1313 OS << "\" SetterForArray=\"";
1314 else
1315 OS << "\" SetterForDictionary=\"";
1316 if (Node->setAtIndexMethodDecl())
1317 Node->setAtIndexMethodDecl()->getSelector().print(OS);
1318 else
1319 OS << "(null)";
1320}
1321
1322void TextNodeDumper::VisitObjCBoolLiteralExpr(const ObjCBoolLiteralExpr *Node) {
1323 OS << " " << (Node->getValue() ? "__objc_yes" : "__objc_no");
1324}
Stephen Kellyf08ca202019-01-15 09:30:00 +00001325
Alexey Bataev13a15042020-04-01 15:06:38 -04001326void TextNodeDumper::VisitOMPIteratorExpr(const OMPIteratorExpr *Node) {
1327 OS << " ";
1328 for (unsigned I = 0, E = Node->numOfIterators(); I < E; ++I) {
1329 Visit(Node->getIteratorDecl(I));
1330 OS << " = ";
1331 const OMPIteratorExpr::IteratorRange Range = Node->getIteratorRange(I);
1332 OS << " begin ";
1333 Visit(Range.Begin);
1334 OS << " end ";
1335 Visit(Range.End);
1336 if (Range.Step) {
1337 OS << " step ";
1338 Visit(Range.Step);
1339 }
1340 }
1341}
1342
Stephen Kellyf08ca202019-01-15 09:30:00 +00001343void TextNodeDumper::VisitRValueReferenceType(const ReferenceType *T) {
1344 if (T->isSpelledAsLValue())
1345 OS << " written as lvalue reference";
1346}
1347
1348void TextNodeDumper::VisitArrayType(const ArrayType *T) {
1349 switch (T->getSizeModifier()) {
1350 case ArrayType::Normal:
1351 break;
1352 case ArrayType::Static:
1353 OS << " static";
1354 break;
1355 case ArrayType::Star:
1356 OS << " *";
1357 break;
1358 }
1359 OS << " " << T->getIndexTypeQualifiers().getAsString();
1360}
1361
1362void TextNodeDumper::VisitConstantArrayType(const ConstantArrayType *T) {
1363 OS << " " << T->getSize();
1364 VisitArrayType(T);
1365}
1366
1367void TextNodeDumper::VisitVariableArrayType(const VariableArrayType *T) {
1368 OS << " ";
1369 dumpSourceRange(T->getBracketsRange());
1370 VisitArrayType(T);
1371}
1372
1373void TextNodeDumper::VisitDependentSizedArrayType(
1374 const DependentSizedArrayType *T) {
1375 VisitArrayType(T);
1376 OS << " ";
1377 dumpSourceRange(T->getBracketsRange());
1378}
1379
1380void TextNodeDumper::VisitDependentSizedExtVectorType(
1381 const DependentSizedExtVectorType *T) {
1382 OS << " ";
1383 dumpLocation(T->getAttributeLoc());
1384}
1385
1386void TextNodeDumper::VisitVectorType(const VectorType *T) {
1387 switch (T->getVectorKind()) {
1388 case VectorType::GenericVector:
1389 break;
1390 case VectorType::AltiVecVector:
1391 OS << " altivec";
1392 break;
1393 case VectorType::AltiVecPixel:
1394 OS << " altivec pixel";
1395 break;
1396 case VectorType::AltiVecBool:
1397 OS << " altivec bool";
1398 break;
1399 case VectorType::NeonVector:
1400 OS << " neon";
1401 break;
1402 case VectorType::NeonPolyVector:
1403 OS << " neon poly";
1404 break;
1405 }
1406 OS << " " << T->getNumElements();
1407}
1408
1409void TextNodeDumper::VisitFunctionType(const FunctionType *T) {
1410 auto EI = T->getExtInfo();
1411 if (EI.getNoReturn())
1412 OS << " noreturn";
1413 if (EI.getProducesResult())
1414 OS << " produces_result";
1415 if (EI.getHasRegParm())
1416 OS << " regparm " << EI.getRegParm();
1417 OS << " " << FunctionType::getNameForCallConv(EI.getCC());
1418}
1419
1420void TextNodeDumper::VisitFunctionProtoType(const FunctionProtoType *T) {
1421 auto EPI = T->getExtProtoInfo();
1422 if (EPI.HasTrailingReturn)
1423 OS << " trailing_return";
1424 if (T->isConst())
1425 OS << " const";
1426 if (T->isVolatile())
1427 OS << " volatile";
1428 if (T->isRestrict())
1429 OS << " restrict";
Stephen Kelly149119d2019-01-18 21:38:30 +00001430 if (T->getExtProtoInfo().Variadic)
1431 OS << " variadic";
Stephen Kellyf08ca202019-01-15 09:30:00 +00001432 switch (EPI.RefQualifier) {
1433 case RQ_None:
1434 break;
1435 case RQ_LValue:
1436 OS << " &";
1437 break;
1438 case RQ_RValue:
1439 OS << " &&";
1440 break;
1441 }
1442 // FIXME: Exception specification.
1443 // FIXME: Consumed parameters.
1444 VisitFunctionType(T);
1445}
1446
1447void TextNodeDumper::VisitUnresolvedUsingType(const UnresolvedUsingType *T) {
1448 dumpDeclRef(T->getDecl());
1449}
1450
1451void TextNodeDumper::VisitTypedefType(const TypedefType *T) {
1452 dumpDeclRef(T->getDecl());
1453}
1454
1455void TextNodeDumper::VisitUnaryTransformType(const UnaryTransformType *T) {
1456 switch (T->getUTTKind()) {
1457 case UnaryTransformType::EnumUnderlyingType:
1458 OS << " underlying_type";
1459 break;
1460 }
1461}
1462
1463void TextNodeDumper::VisitTagType(const TagType *T) {
1464 dumpDeclRef(T->getDecl());
1465}
1466
1467void TextNodeDumper::VisitTemplateTypeParmType(const TemplateTypeParmType *T) {
1468 OS << " depth " << T->getDepth() << " index " << T->getIndex();
1469 if (T->isParameterPack())
1470 OS << " pack";
1471 dumpDeclRef(T->getDecl());
1472}
1473
1474void TextNodeDumper::VisitAutoType(const AutoType *T) {
1475 if (T->isDecltypeAuto())
1476 OS << " decltype(auto)";
1477 if (!T->isDeduced())
1478 OS << " undeduced";
Saar Razb481f022020-01-22 02:03:05 +02001479 if (T->isConstrained()) {
1480 dumpDeclRef(T->getTypeConstraintConcept());
1481 for (const auto &Arg : T->getTypeConstraintArguments())
1482 VisitTemplateArgument(Arg);
1483 }
Stephen Kellyf08ca202019-01-15 09:30:00 +00001484}
1485
1486void TextNodeDumper::VisitTemplateSpecializationType(
1487 const TemplateSpecializationType *T) {
1488 if (T->isTypeAlias())
1489 OS << " alias";
1490 OS << " ";
1491 T->getTemplateName().dump(OS);
1492}
1493
1494void TextNodeDumper::VisitInjectedClassNameType(
1495 const InjectedClassNameType *T) {
1496 dumpDeclRef(T->getDecl());
1497}
1498
1499void TextNodeDumper::VisitObjCInterfaceType(const ObjCInterfaceType *T) {
1500 dumpDeclRef(T->getDecl());
1501}
1502
1503void TextNodeDumper::VisitPackExpansionType(const PackExpansionType *T) {
1504 if (auto N = T->getNumExpansions())
1505 OS << " expansions " << *N;
1506}
Stephen Kellyb6318c92019-01-30 19:32:48 +00001507
1508void TextNodeDumper::VisitLabelDecl(const LabelDecl *D) { dumpName(D); }
1509
1510void TextNodeDumper::VisitTypedefDecl(const TypedefDecl *D) {
1511 dumpName(D);
1512 dumpType(D->getUnderlyingType());
1513 if (D->isModulePrivate())
1514 OS << " __module_private__";
1515}
1516
1517void TextNodeDumper::VisitEnumDecl(const EnumDecl *D) {
1518 if (D->isScoped()) {
1519 if (D->isScopedUsingClassTag())
1520 OS << " class";
1521 else
1522 OS << " struct";
1523 }
1524 dumpName(D);
1525 if (D->isModulePrivate())
1526 OS << " __module_private__";
1527 if (D->isFixed())
1528 dumpType(D->getIntegerType());
1529}
1530
1531void TextNodeDumper::VisitRecordDecl(const RecordDecl *D) {
1532 OS << ' ' << D->getKindName();
1533 dumpName(D);
1534 if (D->isModulePrivate())
1535 OS << " __module_private__";
1536 if (D->isCompleteDefinition())
1537 OS << " definition";
1538}
1539
1540void TextNodeDumper::VisitEnumConstantDecl(const EnumConstantDecl *D) {
1541 dumpName(D);
1542 dumpType(D->getType());
1543}
1544
1545void TextNodeDumper::VisitIndirectFieldDecl(const IndirectFieldDecl *D) {
1546 dumpName(D);
1547 dumpType(D->getType());
1548
1549 for (const auto *Child : D->chain())
1550 dumpDeclRef(Child);
1551}
1552
1553void TextNodeDumper::VisitFunctionDecl(const FunctionDecl *D) {
1554 dumpName(D);
1555 dumpType(D->getType());
1556
1557 StorageClass SC = D->getStorageClass();
1558 if (SC != SC_None)
1559 OS << ' ' << VarDecl::getStorageClassSpecifierString(SC);
1560 if (D->isInlineSpecified())
1561 OS << " inline";
1562 if (D->isVirtualAsWritten())
1563 OS << " virtual";
1564 if (D->isModulePrivate())
1565 OS << " __module_private__";
1566
1567 if (D->isPure())
1568 OS << " pure";
1569 if (D->isDefaulted()) {
1570 OS << " default";
1571 if (D->isDeleted())
1572 OS << "_delete";
1573 }
1574 if (D->isDeletedAsWritten())
1575 OS << " delete";
1576 if (D->isTrivial())
1577 OS << " trivial";
1578
1579 if (const auto *FPT = D->getType()->getAs<FunctionProtoType>()) {
1580 FunctionProtoType::ExtProtoInfo EPI = FPT->getExtProtoInfo();
1581 switch (EPI.ExceptionSpec.Type) {
1582 default:
1583 break;
1584 case EST_Unevaluated:
1585 OS << " noexcept-unevaluated " << EPI.ExceptionSpec.SourceDecl;
1586 break;
1587 case EST_Uninstantiated:
1588 OS << " noexcept-uninstantiated " << EPI.ExceptionSpec.SourceTemplate;
1589 break;
1590 }
1591 }
1592
1593 if (const auto *MD = dyn_cast<CXXMethodDecl>(D)) {
1594 if (MD->size_overridden_methods() != 0) {
1595 auto dumpOverride = [=](const CXXMethodDecl *D) {
1596 SplitQualType T_split = D->getType().split();
1597 OS << D << " " << D->getParent()->getName()
1598 << "::" << D->getNameAsString() << " '"
1599 << QualType::getAsString(T_split, PrintPolicy) << "'";
1600 };
1601
1602 AddChild([=] {
1603 auto Overrides = MD->overridden_methods();
1604 OS << "Overrides: [ ";
1605 dumpOverride(*Overrides.begin());
1606 for (const auto *Override :
1607 llvm::make_range(Overrides.begin() + 1, Overrides.end())) {
1608 OS << ", ";
1609 dumpOverride(Override);
1610 }
1611 OS << " ]";
1612 });
1613 }
1614 }
1615
1616 // Since NumParams comes from the FunctionProtoType of the FunctionDecl and
1617 // the Params are set later, it is possible for a dump during debugging to
1618 // encounter a FunctionDecl that has been created but hasn't been assigned
1619 // ParmVarDecls yet.
1620 if (!D->param_empty() && !D->param_begin())
1621 OS << " <<<NULL params x " << D->getNumParams() << ">>>";
1622}
1623
Tyker9ec6d712019-11-30 16:42:33 +01001624void TextNodeDumper::VisitLifetimeExtendedTemporaryDecl(
1625 const LifetimeExtendedTemporaryDecl *D) {
1626 OS << " extended by ";
1627 dumpBareDeclRef(D->getExtendingDecl());
1628 OS << " mangling ";
1629 {
1630 ColorScope Color(OS, ShowColors, ValueColor);
1631 OS << D->getManglingNumber();
1632 }
1633}
1634
Stephen Kellyb6318c92019-01-30 19:32:48 +00001635void TextNodeDumper::VisitFieldDecl(const FieldDecl *D) {
1636 dumpName(D);
1637 dumpType(D->getType());
1638 if (D->isMutable())
1639 OS << " mutable";
1640 if (D->isModulePrivate())
1641 OS << " __module_private__";
1642}
1643
1644void TextNodeDumper::VisitVarDecl(const VarDecl *D) {
1645 dumpName(D);
1646 dumpType(D->getType());
1647 StorageClass SC = D->getStorageClass();
1648 if (SC != SC_None)
1649 OS << ' ' << VarDecl::getStorageClassSpecifierString(SC);
1650 switch (D->getTLSKind()) {
1651 case VarDecl::TLS_None:
1652 break;
1653 case VarDecl::TLS_Static:
1654 OS << " tls";
1655 break;
1656 case VarDecl::TLS_Dynamic:
1657 OS << " tls_dynamic";
1658 break;
1659 }
1660 if (D->isModulePrivate())
1661 OS << " __module_private__";
1662 if (D->isNRVOVariable())
1663 OS << " nrvo";
1664 if (D->isInline())
1665 OS << " inline";
1666 if (D->isConstexpr())
1667 OS << " constexpr";
1668 if (D->hasInit()) {
1669 switch (D->getInitStyle()) {
1670 case VarDecl::CInit:
1671 OS << " cinit";
1672 break;
1673 case VarDecl::CallInit:
1674 OS << " callinit";
1675 break;
1676 case VarDecl::ListInit:
1677 OS << " listinit";
1678 break;
1679 }
1680 }
Richard Smith2b4fa532019-09-29 05:08:46 +00001681 if (D->needsDestruction(D->getASTContext()))
1682 OS << " destroyed";
Richard Smithb2997f52019-05-21 20:10:50 +00001683 if (D->isParameterPack())
1684 OS << " pack";
Bruno Riccif63e3ea2020-07-06 21:50:23 +01001685
1686 if (D->hasInit()) {
1687 const Expr *E = D->getInit();
1688 // Only dump the value of constexpr VarDecls for now.
1689 if (E && !E->isValueDependent() && D->isConstexpr()) {
1690 const APValue *Value = D->evaluateValue();
1691 if (Value)
1692 AddChild("value", [=] { Visit(*Value, E->getType()); });
1693 }
1694 }
Stephen Kellyb6318c92019-01-30 19:32:48 +00001695}
1696
1697void TextNodeDumper::VisitBindingDecl(const BindingDecl *D) {
1698 dumpName(D);
1699 dumpType(D->getType());
1700}
1701
1702void TextNodeDumper::VisitCapturedDecl(const CapturedDecl *D) {
1703 if (D->isNothrow())
1704 OS << " nothrow";
1705}
1706
1707void TextNodeDumper::VisitImportDecl(const ImportDecl *D) {
1708 OS << ' ' << D->getImportedModule()->getFullModuleName();
Richard Smith520a37f2019-02-05 23:37:13 +00001709
1710 for (Decl *InitD :
1711 D->getASTContext().getModuleInitializers(D->getImportedModule()))
1712 dumpDeclRef(InitD, "initializer");
Stephen Kellyb6318c92019-01-30 19:32:48 +00001713}
1714
1715void TextNodeDumper::VisitPragmaCommentDecl(const PragmaCommentDecl *D) {
1716 OS << ' ';
1717 switch (D->getCommentKind()) {
1718 case PCK_Unknown:
1719 llvm_unreachable("unexpected pragma comment kind");
1720 case PCK_Compiler:
1721 OS << "compiler";
1722 break;
1723 case PCK_ExeStr:
1724 OS << "exestr";
1725 break;
1726 case PCK_Lib:
1727 OS << "lib";
1728 break;
1729 case PCK_Linker:
1730 OS << "linker";
1731 break;
1732 case PCK_User:
1733 OS << "user";
1734 break;
1735 }
1736 StringRef Arg = D->getArg();
1737 if (!Arg.empty())
1738 OS << " \"" << Arg << "\"";
1739}
1740
1741void TextNodeDumper::VisitPragmaDetectMismatchDecl(
1742 const PragmaDetectMismatchDecl *D) {
1743 OS << " \"" << D->getName() << "\" \"" << D->getValue() << "\"";
1744}
1745
Roman Lebedevb5700602019-03-20 16:32:36 +00001746void TextNodeDumper::VisitOMPExecutableDirective(
1747 const OMPExecutableDirective *D) {
1748 if (D->isStandaloneDirective())
1749 OS << " openmp_standalone_directive";
1750}
1751
Stephen Kellyb6318c92019-01-30 19:32:48 +00001752void TextNodeDumper::VisitOMPDeclareReductionDecl(
1753 const OMPDeclareReductionDecl *D) {
1754 dumpName(D);
1755 dumpType(D->getType());
1756 OS << " combiner";
1757 dumpPointer(D->getCombiner());
1758 if (const auto *Initializer = D->getInitializer()) {
1759 OS << " initializer";
1760 dumpPointer(Initializer);
1761 switch (D->getInitializerKind()) {
1762 case OMPDeclareReductionDecl::DirectInit:
1763 OS << " omp_priv = ";
1764 break;
1765 case OMPDeclareReductionDecl::CopyInit:
1766 OS << " omp_priv ()";
1767 break;
1768 case OMPDeclareReductionDecl::CallInit:
1769 break;
1770 }
1771 }
1772}
1773
1774void TextNodeDumper::VisitOMPRequiresDecl(const OMPRequiresDecl *D) {
1775 for (const auto *C : D->clauselists()) {
1776 AddChild([=] {
1777 if (!C) {
1778 ColorScope Color(OS, ShowColors, NullColor);
1779 OS << "<<<NULL>>> OMPClause";
1780 return;
1781 }
1782 {
1783 ColorScope Color(OS, ShowColors, AttrColor);
Johannes Doerfert419a5592020-03-30 19:58:40 -05001784 StringRef ClauseName(
1785 llvm::omp::getOpenMPClauseName(C->getClauseKind()));
Stephen Kellyb6318c92019-01-30 19:32:48 +00001786 OS << "OMP" << ClauseName.substr(/*Start=*/0, /*N=*/1).upper()
1787 << ClauseName.drop_front() << "Clause";
1788 }
1789 dumpPointer(C);
1790 dumpSourceRange(SourceRange(C->getBeginLoc(), C->getEndLoc()));
1791 });
1792 }
1793}
1794
1795void TextNodeDumper::VisitOMPCapturedExprDecl(const OMPCapturedExprDecl *D) {
1796 dumpName(D);
1797 dumpType(D->getType());
1798}
1799
1800void TextNodeDumper::VisitNamespaceDecl(const NamespaceDecl *D) {
1801 dumpName(D);
1802 if (D->isInline())
1803 OS << " inline";
1804 if (!D->isOriginalNamespace())
1805 dumpDeclRef(D->getOriginalNamespace(), "original");
1806}
1807
1808void TextNodeDumper::VisitUsingDirectiveDecl(const UsingDirectiveDecl *D) {
1809 OS << ' ';
1810 dumpBareDeclRef(D->getNominatedNamespace());
1811}
1812
1813void TextNodeDumper::VisitNamespaceAliasDecl(const NamespaceAliasDecl *D) {
1814 dumpName(D);
1815 dumpDeclRef(D->getAliasedNamespace());
1816}
1817
1818void TextNodeDumper::VisitTypeAliasDecl(const TypeAliasDecl *D) {
1819 dumpName(D);
1820 dumpType(D->getUnderlyingType());
1821}
1822
1823void TextNodeDumper::VisitTypeAliasTemplateDecl(
1824 const TypeAliasTemplateDecl *D) {
1825 dumpName(D);
1826}
1827
1828void TextNodeDumper::VisitCXXRecordDecl(const CXXRecordDecl *D) {
1829 VisitRecordDecl(D);
1830 if (!D->isCompleteDefinition())
1831 return;
1832
1833 AddChild([=] {
1834 {
1835 ColorScope Color(OS, ShowColors, DeclKindNameColor);
1836 OS << "DefinitionData";
1837 }
1838#define FLAG(fn, name) \
1839 if (D->fn()) \
1840 OS << " " #name;
1841 FLAG(isParsingBaseSpecifiers, parsing_base_specifiers);
1842
1843 FLAG(isGenericLambda, generic);
1844 FLAG(isLambda, lambda);
1845
Shafik Yaghmourcb282b42019-08-12 17:07:49 +00001846 FLAG(isAnonymousStructOrUnion, is_anonymous);
Stephen Kellyb6318c92019-01-30 19:32:48 +00001847 FLAG(canPassInRegisters, pass_in_registers);
1848 FLAG(isEmpty, empty);
1849 FLAG(isAggregate, aggregate);
1850 FLAG(isStandardLayout, standard_layout);
1851 FLAG(isTriviallyCopyable, trivially_copyable);
1852 FLAG(isPOD, pod);
1853 FLAG(isTrivial, trivial);
1854 FLAG(isPolymorphic, polymorphic);
1855 FLAG(isAbstract, abstract);
1856 FLAG(isLiteral, literal);
1857
1858 FLAG(hasUserDeclaredConstructor, has_user_declared_ctor);
1859 FLAG(hasConstexprNonCopyMoveConstructor, has_constexpr_non_copy_move_ctor);
1860 FLAG(hasMutableFields, has_mutable_fields);
1861 FLAG(hasVariantMembers, has_variant_members);
1862 FLAG(allowConstDefaultInit, can_const_default_init);
1863
1864 AddChild([=] {
1865 {
1866 ColorScope Color(OS, ShowColors, DeclKindNameColor);
1867 OS << "DefaultConstructor";
1868 }
1869 FLAG(hasDefaultConstructor, exists);
1870 FLAG(hasTrivialDefaultConstructor, trivial);
1871 FLAG(hasNonTrivialDefaultConstructor, non_trivial);
1872 FLAG(hasUserProvidedDefaultConstructor, user_provided);
1873 FLAG(hasConstexprDefaultConstructor, constexpr);
1874 FLAG(needsImplicitDefaultConstructor, needs_implicit);
1875 FLAG(defaultedDefaultConstructorIsConstexpr, defaulted_is_constexpr);
1876 });
1877
1878 AddChild([=] {
1879 {
1880 ColorScope Color(OS, ShowColors, DeclKindNameColor);
1881 OS << "CopyConstructor";
1882 }
1883 FLAG(hasSimpleCopyConstructor, simple);
1884 FLAG(hasTrivialCopyConstructor, trivial);
1885 FLAG(hasNonTrivialCopyConstructor, non_trivial);
1886 FLAG(hasUserDeclaredCopyConstructor, user_declared);
1887 FLAG(hasCopyConstructorWithConstParam, has_const_param);
1888 FLAG(needsImplicitCopyConstructor, needs_implicit);
1889 FLAG(needsOverloadResolutionForCopyConstructor,
1890 needs_overload_resolution);
1891 if (!D->needsOverloadResolutionForCopyConstructor())
1892 FLAG(defaultedCopyConstructorIsDeleted, defaulted_is_deleted);
1893 FLAG(implicitCopyConstructorHasConstParam, implicit_has_const_param);
1894 });
1895
1896 AddChild([=] {
1897 {
1898 ColorScope Color(OS, ShowColors, DeclKindNameColor);
1899 OS << "MoveConstructor";
1900 }
1901 FLAG(hasMoveConstructor, exists);
1902 FLAG(hasSimpleMoveConstructor, simple);
1903 FLAG(hasTrivialMoveConstructor, trivial);
1904 FLAG(hasNonTrivialMoveConstructor, non_trivial);
1905 FLAG(hasUserDeclaredMoveConstructor, user_declared);
1906 FLAG(needsImplicitMoveConstructor, needs_implicit);
1907 FLAG(needsOverloadResolutionForMoveConstructor,
1908 needs_overload_resolution);
1909 if (!D->needsOverloadResolutionForMoveConstructor())
1910 FLAG(defaultedMoveConstructorIsDeleted, defaulted_is_deleted);
1911 });
1912
1913 AddChild([=] {
1914 {
1915 ColorScope Color(OS, ShowColors, DeclKindNameColor);
1916 OS << "CopyAssignment";
1917 }
Richard Smith825e3bb2020-06-04 19:16:05 -07001918 FLAG(hasSimpleCopyAssignment, simple);
Stephen Kellyb6318c92019-01-30 19:32:48 +00001919 FLAG(hasTrivialCopyAssignment, trivial);
1920 FLAG(hasNonTrivialCopyAssignment, non_trivial);
1921 FLAG(hasCopyAssignmentWithConstParam, has_const_param);
1922 FLAG(hasUserDeclaredCopyAssignment, user_declared);
1923 FLAG(needsImplicitCopyAssignment, needs_implicit);
1924 FLAG(needsOverloadResolutionForCopyAssignment, needs_overload_resolution);
1925 FLAG(implicitCopyAssignmentHasConstParam, implicit_has_const_param);
1926 });
1927
1928 AddChild([=] {
1929 {
1930 ColorScope Color(OS, ShowColors, DeclKindNameColor);
1931 OS << "MoveAssignment";
1932 }
1933 FLAG(hasMoveAssignment, exists);
1934 FLAG(hasSimpleMoveAssignment, simple);
1935 FLAG(hasTrivialMoveAssignment, trivial);
1936 FLAG(hasNonTrivialMoveAssignment, non_trivial);
1937 FLAG(hasUserDeclaredMoveAssignment, user_declared);
1938 FLAG(needsImplicitMoveAssignment, needs_implicit);
1939 FLAG(needsOverloadResolutionForMoveAssignment, needs_overload_resolution);
1940 });
1941
1942 AddChild([=] {
1943 {
1944 ColorScope Color(OS, ShowColors, DeclKindNameColor);
1945 OS << "Destructor";
1946 }
1947 FLAG(hasSimpleDestructor, simple);
1948 FLAG(hasIrrelevantDestructor, irrelevant);
1949 FLAG(hasTrivialDestructor, trivial);
1950 FLAG(hasNonTrivialDestructor, non_trivial);
1951 FLAG(hasUserDeclaredDestructor, user_declared);
Richard Smith63835f32019-10-11 00:40:08 +00001952 FLAG(hasConstexprDestructor, constexpr);
Stephen Kellyb6318c92019-01-30 19:32:48 +00001953 FLAG(needsImplicitDestructor, needs_implicit);
1954 FLAG(needsOverloadResolutionForDestructor, needs_overload_resolution);
1955 if (!D->needsOverloadResolutionForDestructor())
1956 FLAG(defaultedDestructorIsDeleted, defaulted_is_deleted);
1957 });
1958 });
1959
1960 for (const auto &I : D->bases()) {
1961 AddChild([=] {
1962 if (I.isVirtual())
1963 OS << "virtual ";
1964 dumpAccessSpecifier(I.getAccessSpecifier());
1965 dumpType(I.getType());
1966 if (I.isPackExpansion())
1967 OS << "...";
1968 });
1969 }
1970}
1971
1972void TextNodeDumper::VisitFunctionTemplateDecl(const FunctionTemplateDecl *D) {
1973 dumpName(D);
1974}
1975
1976void TextNodeDumper::VisitClassTemplateDecl(const ClassTemplateDecl *D) {
1977 dumpName(D);
1978}
1979
1980void TextNodeDumper::VisitVarTemplateDecl(const VarTemplateDecl *D) {
1981 dumpName(D);
1982}
1983
1984void TextNodeDumper::VisitBuiltinTemplateDecl(const BuiltinTemplateDecl *D) {
1985 dumpName(D);
1986}
1987
1988void TextNodeDumper::VisitTemplateTypeParmDecl(const TemplateTypeParmDecl *D) {
Saar Razff1e0fc2020-01-15 02:48:42 +02001989 if (const auto *TC = D->getTypeConstraint()) {
1990 OS << " ";
1991 dumpBareDeclRef(TC->getNamedConcept());
1992 if (TC->getNamedConcept() != TC->getFoundDecl()) {
1993 OS << " (";
1994 dumpBareDeclRef(TC->getFoundDecl());
1995 OS << ")";
1996 }
1997 Visit(TC->getImmediatelyDeclaredConstraint());
1998 } else if (D->wasDeclaredWithTypename())
Stephen Kellyb6318c92019-01-30 19:32:48 +00001999 OS << " typename";
2000 else
2001 OS << " class";
2002 OS << " depth " << D->getDepth() << " index " << D->getIndex();
2003 if (D->isParameterPack())
2004 OS << " ...";
2005 dumpName(D);
2006}
2007
2008void TextNodeDumper::VisitNonTypeTemplateParmDecl(
2009 const NonTypeTemplateParmDecl *D) {
2010 dumpType(D->getType());
2011 OS << " depth " << D->getDepth() << " index " << D->getIndex();
2012 if (D->isParameterPack())
2013 OS << " ...";
2014 dumpName(D);
2015}
2016
2017void TextNodeDumper::VisitTemplateTemplateParmDecl(
2018 const TemplateTemplateParmDecl *D) {
2019 OS << " depth " << D->getDepth() << " index " << D->getIndex();
2020 if (D->isParameterPack())
2021 OS << " ...";
2022 dumpName(D);
2023}
2024
2025void TextNodeDumper::VisitUsingDecl(const UsingDecl *D) {
2026 OS << ' ';
2027 if (D->getQualifier())
2028 D->getQualifier()->print(OS, D->getASTContext().getPrintingPolicy());
2029 OS << D->getNameAsString();
2030}
2031
2032void TextNodeDumper::VisitUnresolvedUsingTypenameDecl(
2033 const UnresolvedUsingTypenameDecl *D) {
2034 OS << ' ';
2035 if (D->getQualifier())
2036 D->getQualifier()->print(OS, D->getASTContext().getPrintingPolicy());
2037 OS << D->getNameAsString();
2038}
2039
2040void TextNodeDumper::VisitUnresolvedUsingValueDecl(
2041 const UnresolvedUsingValueDecl *D) {
2042 OS << ' ';
2043 if (D->getQualifier())
2044 D->getQualifier()->print(OS, D->getASTContext().getPrintingPolicy());
2045 OS << D->getNameAsString();
2046 dumpType(D->getType());
2047}
2048
2049void TextNodeDumper::VisitUsingShadowDecl(const UsingShadowDecl *D) {
2050 OS << ' ';
2051 dumpBareDeclRef(D->getTargetDecl());
2052}
2053
2054void TextNodeDumper::VisitConstructorUsingShadowDecl(
2055 const ConstructorUsingShadowDecl *D) {
2056 if (D->constructsVirtualBase())
2057 OS << " virtual";
2058
2059 AddChild([=] {
2060 OS << "target ";
2061 dumpBareDeclRef(D->getTargetDecl());
2062 });
2063
2064 AddChild([=] {
2065 OS << "nominated ";
2066 dumpBareDeclRef(D->getNominatedBaseClass());
2067 OS << ' ';
2068 dumpBareDeclRef(D->getNominatedBaseClassShadowDecl());
2069 });
2070
2071 AddChild([=] {
2072 OS << "constructed ";
2073 dumpBareDeclRef(D->getConstructedBaseClass());
2074 OS << ' ';
2075 dumpBareDeclRef(D->getConstructedBaseClassShadowDecl());
2076 });
2077}
2078
2079void TextNodeDumper::VisitLinkageSpecDecl(const LinkageSpecDecl *D) {
2080 switch (D->getLanguage()) {
2081 case LinkageSpecDecl::lang_c:
2082 OS << " C";
2083 break;
2084 case LinkageSpecDecl::lang_cxx:
2085 OS << " C++";
2086 break;
2087 }
2088}
2089
2090void TextNodeDumper::VisitAccessSpecDecl(const AccessSpecDecl *D) {
2091 OS << ' ';
2092 dumpAccessSpecifier(D->getAccess());
2093}
2094
2095void TextNodeDumper::VisitFriendDecl(const FriendDecl *D) {
2096 if (TypeSourceInfo *T = D->getFriendType())
2097 dumpType(T->getType());
2098}
2099
2100void TextNodeDumper::VisitObjCIvarDecl(const ObjCIvarDecl *D) {
2101 dumpName(D);
2102 dumpType(D->getType());
2103 if (D->getSynthesize())
2104 OS << " synthesize";
2105
2106 switch (D->getAccessControl()) {
2107 case ObjCIvarDecl::None:
2108 OS << " none";
2109 break;
2110 case ObjCIvarDecl::Private:
2111 OS << " private";
2112 break;
2113 case ObjCIvarDecl::Protected:
2114 OS << " protected";
2115 break;
2116 case ObjCIvarDecl::Public:
2117 OS << " public";
2118 break;
2119 case ObjCIvarDecl::Package:
2120 OS << " package";
2121 break;
2122 }
2123}
2124
2125void TextNodeDumper::VisitObjCMethodDecl(const ObjCMethodDecl *D) {
2126 if (D->isInstanceMethod())
2127 OS << " -";
2128 else
2129 OS << " +";
2130 dumpName(D);
2131 dumpType(D->getReturnType());
2132
2133 if (D->isVariadic())
2134 OS << " variadic";
2135}
2136
2137void TextNodeDumper::VisitObjCTypeParamDecl(const ObjCTypeParamDecl *D) {
2138 dumpName(D);
2139 switch (D->getVariance()) {
2140 case ObjCTypeParamVariance::Invariant:
2141 break;
2142
2143 case ObjCTypeParamVariance::Covariant:
2144 OS << " covariant";
2145 break;
2146
2147 case ObjCTypeParamVariance::Contravariant:
2148 OS << " contravariant";
2149 break;
2150 }
2151
2152 if (D->hasExplicitBound())
2153 OS << " bounded";
2154 dumpType(D->getUnderlyingType());
2155}
2156
2157void TextNodeDumper::VisitObjCCategoryDecl(const ObjCCategoryDecl *D) {
2158 dumpName(D);
2159 dumpDeclRef(D->getClassInterface());
2160 dumpDeclRef(D->getImplementation());
2161 for (const auto *P : D->protocols())
2162 dumpDeclRef(P);
2163}
2164
2165void TextNodeDumper::VisitObjCCategoryImplDecl(const ObjCCategoryImplDecl *D) {
2166 dumpName(D);
2167 dumpDeclRef(D->getClassInterface());
2168 dumpDeclRef(D->getCategoryDecl());
2169}
2170
2171void TextNodeDumper::VisitObjCProtocolDecl(const ObjCProtocolDecl *D) {
2172 dumpName(D);
2173
2174 for (const auto *Child : D->protocols())
2175 dumpDeclRef(Child);
2176}
2177
2178void TextNodeDumper::VisitObjCInterfaceDecl(const ObjCInterfaceDecl *D) {
2179 dumpName(D);
2180 dumpDeclRef(D->getSuperClass(), "super");
2181
2182 dumpDeclRef(D->getImplementation());
2183 for (const auto *Child : D->protocols())
2184 dumpDeclRef(Child);
2185}
2186
2187void TextNodeDumper::VisitObjCImplementationDecl(
2188 const ObjCImplementationDecl *D) {
2189 dumpName(D);
2190 dumpDeclRef(D->getSuperClass(), "super");
2191 dumpDeclRef(D->getClassInterface());
2192}
2193
2194void TextNodeDumper::VisitObjCCompatibleAliasDecl(
2195 const ObjCCompatibleAliasDecl *D) {
2196 dumpName(D);
2197 dumpDeclRef(D->getClassInterface());
2198}
2199
2200void TextNodeDumper::VisitObjCPropertyDecl(const ObjCPropertyDecl *D) {
2201 dumpName(D);
2202 dumpType(D->getType());
2203
2204 if (D->getPropertyImplementation() == ObjCPropertyDecl::Required)
2205 OS << " required";
2206 else if (D->getPropertyImplementation() == ObjCPropertyDecl::Optional)
2207 OS << " optional";
2208
Puyan Lotfi9721fbf2020-04-23 02:20:56 -04002209 ObjCPropertyAttribute::Kind Attrs = D->getPropertyAttributes();
2210 if (Attrs != ObjCPropertyAttribute::kind_noattr) {
2211 if (Attrs & ObjCPropertyAttribute::kind_readonly)
Stephen Kellyb6318c92019-01-30 19:32:48 +00002212 OS << " readonly";
Puyan Lotfi9721fbf2020-04-23 02:20:56 -04002213 if (Attrs & ObjCPropertyAttribute::kind_assign)
Stephen Kellyb6318c92019-01-30 19:32:48 +00002214 OS << " assign";
Puyan Lotfi9721fbf2020-04-23 02:20:56 -04002215 if (Attrs & ObjCPropertyAttribute::kind_readwrite)
Stephen Kellyb6318c92019-01-30 19:32:48 +00002216 OS << " readwrite";
Puyan Lotfi9721fbf2020-04-23 02:20:56 -04002217 if (Attrs & ObjCPropertyAttribute::kind_retain)
Stephen Kellyb6318c92019-01-30 19:32:48 +00002218 OS << " retain";
Puyan Lotfi9721fbf2020-04-23 02:20:56 -04002219 if (Attrs & ObjCPropertyAttribute::kind_copy)
Stephen Kellyb6318c92019-01-30 19:32:48 +00002220 OS << " copy";
Puyan Lotfi9721fbf2020-04-23 02:20:56 -04002221 if (Attrs & ObjCPropertyAttribute::kind_nonatomic)
Stephen Kellyb6318c92019-01-30 19:32:48 +00002222 OS << " nonatomic";
Puyan Lotfi9721fbf2020-04-23 02:20:56 -04002223 if (Attrs & ObjCPropertyAttribute::kind_atomic)
Stephen Kellyb6318c92019-01-30 19:32:48 +00002224 OS << " atomic";
Puyan Lotfi9721fbf2020-04-23 02:20:56 -04002225 if (Attrs & ObjCPropertyAttribute::kind_weak)
Stephen Kellyb6318c92019-01-30 19:32:48 +00002226 OS << " weak";
Puyan Lotfi9721fbf2020-04-23 02:20:56 -04002227 if (Attrs & ObjCPropertyAttribute::kind_strong)
Stephen Kellyb6318c92019-01-30 19:32:48 +00002228 OS << " strong";
Puyan Lotfi9721fbf2020-04-23 02:20:56 -04002229 if (Attrs & ObjCPropertyAttribute::kind_unsafe_unretained)
Stephen Kellyb6318c92019-01-30 19:32:48 +00002230 OS << " unsafe_unretained";
Puyan Lotfi9721fbf2020-04-23 02:20:56 -04002231 if (Attrs & ObjCPropertyAttribute::kind_class)
Stephen Kellyb6318c92019-01-30 19:32:48 +00002232 OS << " class";
Puyan Lotfi9721fbf2020-04-23 02:20:56 -04002233 if (Attrs & ObjCPropertyAttribute::kind_direct)
Pierre Habouzitd4e1ba32019-11-07 23:14:58 -08002234 OS << " direct";
Puyan Lotfi9721fbf2020-04-23 02:20:56 -04002235 if (Attrs & ObjCPropertyAttribute::kind_getter)
Stephen Kellyb6318c92019-01-30 19:32:48 +00002236 dumpDeclRef(D->getGetterMethodDecl(), "getter");
Puyan Lotfi9721fbf2020-04-23 02:20:56 -04002237 if (Attrs & ObjCPropertyAttribute::kind_setter)
Stephen Kellyb6318c92019-01-30 19:32:48 +00002238 dumpDeclRef(D->getSetterMethodDecl(), "setter");
2239 }
2240}
2241
2242void TextNodeDumper::VisitObjCPropertyImplDecl(const ObjCPropertyImplDecl *D) {
2243 dumpName(D->getPropertyDecl());
2244 if (D->getPropertyImplementation() == ObjCPropertyImplDecl::Synthesize)
2245 OS << " synthesize";
2246 else
2247 OS << " dynamic";
2248 dumpDeclRef(D->getPropertyDecl());
2249 dumpDeclRef(D->getPropertyIvarDecl());
2250}
2251
2252void TextNodeDumper::VisitBlockDecl(const BlockDecl *D) {
2253 if (D->isVariadic())
2254 OS << " variadic";
2255
2256 if (D->capturesCXXThis())
2257 OS << " captures_this";
2258}
Saar Razd7aae332019-07-10 21:25:49 +00002259
2260void TextNodeDumper::VisitConceptDecl(const ConceptDecl *D) {
2261 dumpName(D);
Nico Weber96dff912019-07-11 15:26:45 +00002262}