clang 23.0.0git
TextNodeDumper.cpp
Go to the documentation of this file.
1//===--- TextNodeDumper.cpp - Printing of AST nodes -----------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file implements AST dumping of components of individual AST nodes.
10//
11//===----------------------------------------------------------------------===//
12
14#include "clang/AST/APValue.h"
20#include "clang/AST/Type.h"
22#include "clang/Basic/Module.h"
26#include "llvm/ADT/StringExtras.h"
27#include "llvm/Frontend/HLSL/HLSLRootSignature.h"
28
29#include <algorithm>
30#include <utility>
31
32using namespace clang;
33
34static void dumpPreviousDeclImpl(raw_ostream &OS, ...) {}
35
36template <typename T>
37static void dumpPreviousDeclImpl(raw_ostream &OS, const Mergeable<T> *D) {
38 const T *First = D->getFirstDecl();
39 if (First != D)
40 OS << " first " << First;
41}
42
43template <typename T>
44static void dumpPreviousDeclImpl(raw_ostream &OS, const Redeclarable<T> *D) {
45 const T *Prev = D->getPreviousDecl();
46 if (Prev)
47 OS << " prev " << Prev;
48}
49
50/// Dump the previous declaration in the redeclaration chain for a declaration,
51/// if any.
52static void dumpPreviousDecl(raw_ostream &OS, const Decl *D) {
53 switch (D->getKind()) {
54#define DECL(DERIVED, BASE) \
55 case Decl::DERIVED: \
56 return dumpPreviousDeclImpl(OS, cast<DERIVED##Decl>(D));
57#define ABSTRACT_DECL(DECL)
58#include "clang/AST/DeclNodes.inc"
59 }
60 llvm_unreachable("Decl that isn't part of DeclNodes.inc!");
61}
62
63TextNodeDumper::TextNodeDumper(raw_ostream &OS, const ASTContext &Context,
64 bool ShowColors)
65 : TextTreeStructure(OS, ShowColors), OS(OS), ShowColors(ShowColors),
66 Context(&Context), SM(&Context.getSourceManager()),
67 PrintPolicy(Context.getPrintingPolicy()),
68 Traits(&Context.getCommentCommandTraits()) {}
69
70TextNodeDumper::TextNodeDumper(raw_ostream &OS, bool ShowColors)
71 : TextTreeStructure(OS, ShowColors), OS(OS), ShowColors(ShowColors) {}
72
74 const comments::FullComment *FC) {
75 if (!C) {
76 ColorScope Color(OS, ShowColors, ASTDumpColor::Null);
77 OS << "<<<NULL>>>";
78 return;
79 }
80
81 {
82 ColorScope Color(OS, ShowColors, ASTDumpColor::Comment);
83 OS << C->getCommentKindName();
84 }
86 dumpSourceRange(C->getSourceRange());
87
88 ConstCommentVisitor<TextNodeDumper, void,
89 const comments::FullComment *>::visit(C, FC);
90}
91
93 {
94 ColorScope Color(OS, ShowColors, ASTDumpColor::Attr);
95
96 switch (A->getKind()) {
97#define ATTR(X) \
98 case attr::X: \
99 OS << #X; \
100 break;
101#include "clang/Basic/AttrList.inc"
102 }
103 OS << "Attr";
104 }
105 dumpPointer(A);
107 if (A->isInherited())
108 OS << " Inherited";
109 if (A->isImplicit())
110 OS << " Implicit";
111
113}
114
116 const Decl *From, StringRef Label) {
117 OS << "TemplateArgument";
118 if (R.isValid())
120
121 if (From)
122 dumpDeclRef(From, Label);
123
125}
126
127void TextNodeDumper::Visit(const Stmt *Node) {
128 if (!Node) {
129 ColorScope Color(OS, ShowColors, ASTDumpColor::Null);
130 OS << "<<<NULL>>>";
131 return;
132 }
133 {
134 ColorScope Color(OS, ShowColors, ASTDumpColor::Stmt);
135 OS << Node->getStmtClassName();
136 }
137 dumpPointer(Node);
139
140 if (const auto *E = dyn_cast<Expr>(Node)) {
141 dumpType(E->getType());
142
143 if (E->containsErrors()) {
144 ColorScope Color(OS, ShowColors, ASTDumpColor::Errors);
145 OS << " contains-errors";
146 }
147
148 {
149 ColorScope Color(OS, ShowColors, ASTDumpColor::ValueKind);
150 switch (E->getValueKind()) {
151 case VK_PRValue:
152 break;
153 case VK_LValue:
154 OS << " lvalue";
155 break;
156 case VK_XValue:
157 OS << " xvalue";
158 break;
159 }
160 }
161
162 {
163 ColorScope Color(OS, ShowColors, ASTDumpColor::ObjectKind);
164 switch (E->getObjectKind()) {
165 case OK_Ordinary:
166 break;
167 case OK_BitField:
168 OS << " bitfield";
169 break;
170 case OK_ObjCProperty:
171 OS << " objcproperty";
172 break;
173 case OK_ObjCSubscript:
174 OS << " objcsubscript";
175 break;
177 OS << " vectorcomponent";
178 break;
180 OS << " matrixcomponent";
181 break;
182 }
183 }
184 }
185
187}
188
190 if (!T) {
191 ColorScope Color(OS, ShowColors, ASTDumpColor::Null);
192 OS << "<<<NULL>>>";
193 return;
194 }
195 if (isa<LocInfoType>(T)) {
196 {
197 ColorScope Color(OS, ShowColors, ASTDumpColor::Type);
198 OS << "LocInfo Type";
199 }
200 dumpPointer(T);
201 return;
202 }
203
204 {
205 ColorScope Color(OS, ShowColors, ASTDumpColor::Type);
206 OS << T->getTypeClassName() << "Type";
207 }
208 dumpPointer(T);
209 OS << " ";
210 dumpBareType(QualType(T, 0), false);
211
212 QualType SingleStepDesugar =
214 if (SingleStepDesugar != QualType(T, 0))
215 OS << " sugar";
216
217 if (T->containsErrors()) {
218 ColorScope Color(OS, ShowColors, ASTDumpColor::Errors);
219 OS << " contains-errors";
220 }
221
222 if (T->isDependentType())
223 OS << " dependent";
224 else if (T->isInstantiationDependentType())
225 OS << " instantiation_dependent";
226
227 if (T->isVariablyModifiedType())
228 OS << " variably_modified";
229 if (T->containsUnexpandedParameterPack())
230 OS << " contains_unexpanded_pack";
231 if (T->isFromAST())
232 OS << " imported";
233
235}
236
238 OS << "QualType";
239 dumpPointer(T.getAsOpaquePtr());
240 OS << " ";
241 dumpBareType(T, false);
242 OS << " " << T.split().Quals.getAsString();
243}
244
246 if (!TL) {
247 ColorScope Color(OS, ShowColors, ASTDumpColor::Null);
248 OS << "<<<NULL>>>";
249 return;
250 }
251
252 {
253 ColorScope Color(OS, ShowColors, ASTDumpColor::Type);
255 ? "Qualified"
256 : TL.getType()->getTypeClassName())
257 << "TypeLoc";
258 }
260 OS << ' ';
261 dumpBareType(TL.getType(), /*Desugar=*/false);
262
264}
265
267 if (!D) {
268 ColorScope Color(OS, ShowColors, ASTDumpColor::Null);
269 OS << "<<<NULL>>>";
270 return;
271 }
272
273 {
274 ColorScope Color(OS, ShowColors, ASTDumpColor::DeclKindName);
275 OS << D->getDeclKindName() << "Decl";
276 }
277 dumpPointer(D);
278 if (D->getLexicalDeclContext() != D->getDeclContext())
279 OS << " parent " << cast<Decl>(D->getDeclContext());
280 dumpPreviousDecl(OS, D);
282 OS << ' ';
284 if (D->isFromASTFile())
285 OS << " imported";
286 if (Module *M = D->getOwningModule())
287 OS << " in " << M->getFullModuleName();
288 if (auto *ND = dyn_cast<NamedDecl>(D))
290 const_cast<NamedDecl *>(ND)))
291 AddChild([=] { OS << "also in " << M->getFullModuleName(); });
292 if (const NamedDecl *ND = dyn_cast<NamedDecl>(D))
293 if (!ND->isUnconditionallyVisible())
294 OS << " hidden";
295 if (D->isImplicit())
296 OS << " implicit";
297
298 if (D->isUsed())
299 OS << " used";
300 else if (D->isThisDeclarationReferenced())
301 OS << " referenced";
302
303 if (D->isInvalidDecl())
304 OS << " invalid";
305 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
306 if (FD->isConstexprSpecified())
307 OS << " constexpr";
308 if (FD->isConsteval())
309 OS << " consteval";
310 else if (FD->isImmediateFunction())
311 OS << " immediate";
312 if (FD->isMultiVersion())
313 OS << " multiversion";
314 }
315
316 if (!isa<FunctionDecl>(*D)) {
317 const auto *MD = dyn_cast<ObjCMethodDecl>(D);
318 if (!MD || !MD->isThisDeclarationADefinition()) {
319 const auto *DC = dyn_cast<DeclContext>(D);
320 if (DC && DC->hasExternalLexicalStorage()) {
321 ColorScope Color(OS, ShowColors, ASTDumpColor::Undeserialized);
322 OS << " <undeserialized declarations>";
323 }
324 }
325 }
326
327 switch (D->getFriendObjectKind()) {
328 case Decl::FOK_None:
329 break;
331 OS << " friend";
332 break;
334 OS << " friend_undeclared";
335 break;
336 }
337
339}
340
342 OS << "CXXCtorInitializer";
343 if (Init->isAnyMemberInitializer()) {
344 OS << ' ';
345 dumpBareDeclRef(Init->getAnyMember());
346 } else if (Init->isBaseInitializer()) {
347 dumpType(QualType(Init->getBaseClass(), 0));
348 } else if (Init->isDelegatingInitializer()) {
349 dumpType(Init->getTypeSourceInfo()->getType());
350 } else {
351 llvm_unreachable("Unknown initializer type");
352 }
353}
354
356 OS << "capture";
357 if (C.isByRef())
358 OS << " byref";
359 if (C.isNested())
360 OS << " nested";
361 if (C.getVariable()) {
362 OS << ' ';
363 dumpBareDeclRef(C.getVariable());
364 }
365}
366
368 if (!C) {
369 ColorScope Color(OS, ShowColors, ASTDumpColor::Null);
370 OS << "<<<NULL>>> OMPClause";
371 return;
372 }
373 {
374 ColorScope Color(OS, ShowColors, ASTDumpColor::Attr);
375 StringRef ClauseName(llvm::omp::getOpenMPClauseName(C->getClauseKind()));
376 OS << "OMP" << ClauseName.substr(/*Start=*/0, /*N=*/1).upper()
377 << ClauseName.drop_front() << "Clause";
378 }
379 dumpPointer(C);
380 dumpSourceRange(SourceRange(C->getBeginLoc(), C->getEndLoc()));
381 if (C->isImplicit())
382 OS << " <implicit>";
383}
384
386 const OpenACCAsteriskSizeExpr *E) {
387 // Nothing to do here, only location exists, and that is printed elsewhere.
388}
389
391 if (!C) {
392 ColorScope Color(OS, ShowColors, ASTDumpColor::Null);
393 OS << "<<<NULL>>> OpenACCClause";
394 return;
395 }
396 {
397 ColorScope Color(OS, ShowColors, ASTDumpColor::Attr);
398 OS << C->getClauseKind();
399
400 // Handle clauses with parens for types that have no children, likely
401 // because there is no sub expression.
402 switch (C->getClauseKind()) {
404 OS << '(' << cast<OpenACCDefaultClause>(C)->getDefaultClauseKind() << ')';
405 break;
438 // The condition expression will be printed as a part of the 'children',
439 // but print 'clause' here so it is clear what is happening from the dump.
440 OS << " clause";
441 break;
443 OS << " clause";
444 // print the list of all GangKinds, so that there is some sort of
445 // relationship to the expressions listed afterwards.
446 auto *GC = cast<OpenACCGangClause>(C);
447
448 for (unsigned I = 0; I < GC->getNumExprs(); ++I) {
449 OS << " " << GC->getExpr(I).first;
450 }
451 break;
452 }
454 OS << " clause";
455 if (cast<OpenACCCollapseClause>(C)->hasForce())
456 OS << ": force";
457 break;
458
462 OS << " clause";
463 if (cast<OpenACCCopyClause>(C)->getModifierList() !=
465 OS << " modifiers: " << cast<OpenACCCopyClause>(C)->getModifierList();
466 break;
470 OS << " clause";
471 if (cast<OpenACCCopyInClause>(C)->getModifierList() !=
473 OS << " modifiers: " << cast<OpenACCCopyInClause>(C)->getModifierList();
474 break;
478 OS << " clause";
479 if (cast<OpenACCCopyOutClause>(C)->getModifierList() !=
481 OS << " modifiers: "
482 << cast<OpenACCCopyOutClause>(C)->getModifierList();
483 break;
487 OS << " clause";
488 if (cast<OpenACCCreateClause>(C)->getModifierList() !=
490 OS << " modifiers: " << cast<OpenACCCreateClause>(C)->getModifierList();
491 break;
493 OS << " clause";
494 if (cast<OpenACCWaitClause>(C)->hasDevNumExpr())
495 OS << " has devnum";
496 if (cast<OpenACCWaitClause>(C)->hasQueuesTag())
497 OS << " has queues tag";
498 break;
501 OS << "(";
502 llvm::interleaveComma(
503 cast<OpenACCDeviceTypeClause>(C)->getArchitectures(), OS,
504 [&](const DeviceTypeArgument &Arch) {
505 if (Arch.getIdentifierInfo() == nullptr)
506 OS << "*";
507 else
508 OS << Arch.getIdentifierInfo()->getName();
509 });
510 OS << ")";
511 break;
513 OS << " clause Operator: "
514 << cast<OpenACCReductionClause>(C)->getReductionOp();
515 break;
517 OS << " clause";
518 if (cast<OpenACCBindClause>(C)->isIdentifierArgument())
519 OS << " identifier '"
520 << cast<OpenACCBindClause>(C)->getIdentifierArgument()->getName()
521 << "'";
522 else
523 AddChild(
524 [=] { Visit(cast<OpenACCBindClause>(C)->getStringArgument()); });
525 }
526 }
527 dumpPointer(C);
528 dumpSourceRange(SourceRange(C->getBeginLoc(), C->getEndLoc()));
529}
530
532 const TypeSourceInfo *TSI = A.getTypeSourceInfo();
533 if (TSI) {
534 OS << "case ";
535 dumpType(TSI->getType());
536 } else {
537 OS << "default";
538 }
539
540 if (A.isSelected())
541 OS << " selected";
542}
543
545 if (!R) {
546 ColorScope Color(OS, ShowColors, ASTDumpColor::Null);
547 OS << "<<<NULL>>> ConceptReference";
548 return;
549 }
550
551 OS << "ConceptReference";
552 dumpPointer(R);
553 dumpSourceRange(R->getSourceRange());
554 OS << ' ';
555 dumpBareDeclRef(R->getNamedConcept());
556}
557
559 if (!R) {
560 ColorScope Color(OS, ShowColors, ASTDumpColor::Null);
561 OS << "<<<NULL>>> Requirement";
562 return;
563 }
564
565 {
566 ColorScope Color(OS, ShowColors, ASTDumpColor::Stmt);
567 switch (R->getKind()) {
569 OS << "TypeRequirement";
570 break;
572 OS << "SimpleRequirement";
573 break;
575 OS << "CompoundRequirement";
576 break;
578 OS << "NestedRequirement";
579 break;
580 }
581 }
582
583 dumpPointer(R);
584
585 if (auto *ER = dyn_cast<concepts::ExprRequirement>(R)) {
586 if (ER->hasNoexceptRequirement())
587 OS << " noexcept";
588 }
589
590 if (R->isDependent())
591 OS << " dependent";
592 else
593 OS << (R->isSatisfied() ? " satisfied" : " unsatisfied");
594 if (R->containsUnexpandedParameterPack())
595 OS << " contains_unexpanded_pack";
596}
597
598static double GetApproxValue(const llvm::APFloat &F) {
599 llvm::APFloat V = F;
600 bool ignored;
601 V.convert(llvm::APFloat::IEEEdouble(), llvm::APFloat::rmNearestTiesToEven,
602 &ignored);
603 return V.convertToDouble();
604}
605
606/// True if the \p APValue \p Value can be folded onto the current line.
607static bool isSimpleAPValue(const APValue &Value) {
608 switch (Value.getKind()) {
609 case APValue::None:
611 case APValue::Int:
612 case APValue::Float:
616 case APValue::LValue:
619 return true;
620 case APValue::Vector:
621 case APValue::Array:
622 case APValue::Struct:
623 case APValue::Matrix:
624 return false;
625 case APValue::Union:
626 return isSimpleAPValue(Value.getUnionValue());
627 }
628 llvm_unreachable("unexpected APValue kind!");
629}
630
631/// Dump the children of the \p APValue \p Value.
632///
633/// \param[in] Value The \p APValue to visit
634/// \param[in] Ty The \p QualType passed to \p Visit
635///
636/// \param[in] IdxToChildFun A function mapping an \p APValue and an index
637/// to one of the child of the \p APValue
638///
639/// \param[in] NumChildren \p IdxToChildFun will be called on \p Value with
640/// the indices in the range \p [0,NumChildren(
641///
642/// \param[in] LabelSingular The label to use on a line with a single child
643/// \param[in] LabelPlurial The label to use on a line with multiple children
644void TextNodeDumper::dumpAPValueChildren(
645 const APValue &Value, QualType Ty,
646 const APValue &(*IdxToChildFun)(const APValue &, unsigned),
647 unsigned NumChildren, StringRef LabelSingular, StringRef LabelPlurial) {
648 // To save some vertical space we print up to MaxChildrenPerLine APValues
649 // considered to be simple (by isSimpleAPValue) on a single line.
650 constexpr unsigned MaxChildrenPerLine = 4;
651 unsigned I = 0;
652 while (I < NumChildren) {
653 unsigned J = I;
654 while (J < NumChildren) {
655 if (isSimpleAPValue(IdxToChildFun(Value, J)) &&
656 (J - I < MaxChildrenPerLine)) {
657 ++J;
658 continue;
659 }
660 break;
661 }
662
663 J = std::max(I + 1, J);
664
665 // Print [I,J) on a single line.
666 AddChild(J - I > 1 ? LabelPlurial : LabelSingular, [=]() {
667 for (unsigned X = I; X < J; ++X) {
668 Visit(IdxToChildFun(Value, X), Ty);
669 if (X + 1 != J)
670 OS << ", ";
671 }
672 });
673 I = J;
674 }
675}
676
678 ColorScope Color(OS, ShowColors, ASTDumpColor::ValueKind);
679 switch (Value.getKind()) {
680 case APValue::None:
681 OS << "None";
682 return;
684 OS << "Indeterminate";
685 return;
686 case APValue::Int:
687 OS << "Int ";
688 {
689 ColorScope Color(OS, ShowColors, ASTDumpColor::Value);
690 OS << Value.getInt();
691 }
692 return;
693 case APValue::Float:
694 OS << "Float ";
695 {
696 ColorScope Color(OS, ShowColors, ASTDumpColor::Value);
697 OS << GetApproxValue(Value.getFloat());
698 }
699 return;
701 OS << "FixedPoint ";
702 {
703 ColorScope Color(OS, ShowColors, ASTDumpColor::Value);
704 OS << Value.getFixedPoint();
705 }
706 return;
707 case APValue::Vector: {
708 unsigned VectorLength = Value.getVectorLength();
709 OS << "Vector length=" << VectorLength;
710
711 dumpAPValueChildren(
712 Value, Ty,
713 [](const APValue &Value, unsigned Index) -> const APValue & {
714 return Value.getVectorElt(Index);
715 },
716 VectorLength, "element", "elements");
717 return;
718 }
720 OS << "ComplexInt ";
721 {
722 ColorScope Color(OS, ShowColors, ASTDumpColor::Value);
723 OS << Value.getComplexIntReal() << " + " << Value.getComplexIntImag()
724 << 'i';
725 }
726 return;
728 OS << "ComplexFloat ";
729 {
730 ColorScope Color(OS, ShowColors, ASTDumpColor::Value);
731 OS << GetApproxValue(Value.getComplexFloatReal()) << " + "
732 << GetApproxValue(Value.getComplexFloatImag()) << 'i';
733 }
734 return;
735 case APValue::LValue: {
736 (void)Context;
737 OS << "LValue Base=";
738 APValue::LValueBase B = Value.getLValueBase();
739 if (B.isNull())
740 OS << "null";
741 else if (const auto *BE = B.dyn_cast<const Expr *>()) {
742 OS << BE->getStmtClassName() << ' ';
743 dumpPointer(BE);
744 } else if (const auto BTI = B.dyn_cast<TypeInfoLValue>()) {
745 OS << "TypeInfoLValue ";
746 ColorScope Color(OS, ShowColors, ASTDumpColor::Type);
747 BTI.print(OS, PrintPolicy);
748 } else if (B.is<DynamicAllocLValue>()) {
749 OS << "DynamicAllocLValue";
750 auto BDA = B.getDynamicAllocType();
751 dumpType(BDA);
752 } else {
753 const auto *VDB = B.get<const ValueDecl *>();
754 OS << VDB->getDeclKindName() << "Decl";
755 dumpPointer(VDB);
756 }
757 OS << ", Null=" << Value.isNullPointer()
758 << ", Offset=" << Value.getLValueOffset().getQuantity()
759 << ", HasPath=" << Value.hasLValuePath();
760 if (Value.hasLValuePath()) {
761 OS << ", PathLength=" << Value.getLValuePath().size();
762 OS << ", Path=(";
763 llvm::ListSeparator Sep;
764 for (const auto &PathEntry : Value.getLValuePath()) {
765 // We're printing all entries as array indices because don't have the
766 // type information here to do anything else.
767 OS << Sep << PathEntry.getAsArrayIndex();
768 }
769 OS << ")";
770 }
771 return;
772 }
773 case APValue::Array: {
774 unsigned ArraySize = Value.getArraySize();
775 unsigned NumInitializedElements = Value.getArrayInitializedElts();
776 OS << "Array size=" << ArraySize;
777
778 dumpAPValueChildren(
779 Value, Ty,
780 [](const APValue &Value, unsigned Index) -> const APValue & {
781 return Value.getArrayInitializedElt(Index);
782 },
783 NumInitializedElements, "element", "elements");
784
785 if (Value.hasArrayFiller()) {
786 AddChild("filler", [=] {
787 {
788 ColorScope Color(OS, ShowColors, ASTDumpColor::Value);
789 OS << ArraySize - NumInitializedElements << " x ";
790 }
791 Visit(Value.getArrayFiller(), Ty);
792 });
793 }
794
795 return;
796 }
797 case APValue::Struct: {
798 OS << "Struct";
799
800 dumpAPValueChildren(
801 Value, Ty,
802 [](const APValue &Value, unsigned Index) -> const APValue & {
803 return Value.getStructBase(Index);
804 },
805 Value.getStructNumBases(), "base", "bases");
806
807 dumpAPValueChildren(
808 Value, Ty,
809 [](const APValue &Value, unsigned Index) -> const APValue & {
810 return Value.getStructField(Index);
811 },
812 Value.getStructNumFields(), "field", "fields");
813
814 return;
815 }
816 case APValue::Matrix: {
817 unsigned NumRows = Value.getMatrixNumRows();
818 unsigned NumCols = Value.getMatrixNumColumns();
819 OS << "Matrix " << NumRows << "x" << NumCols;
820
821 dumpAPValueChildren(
822 Value, Ty,
823 [](const APValue &Value, unsigned Index) -> const APValue & {
824 return Value.getMatrixElt(Index);
825 },
826 Value.getMatrixNumElements(), "element", "elements");
827 return;
828 }
829 case APValue::Union: {
830 OS << "Union";
831 {
832 ColorScope Color(OS, ShowColors, ASTDumpColor::Value);
833 if (const FieldDecl *FD = Value.getUnionField())
834 OS << " ." << *cast<NamedDecl>(FD);
835 }
836 // If the union value is considered to be simple, fold it into the
837 // current line to save some vertical space.
838 const APValue &UnionValue = Value.getUnionValue();
839 if (isSimpleAPValue(UnionValue)) {
840 OS << ' ';
841 Visit(UnionValue, Ty);
842 } else {
843 AddChild([=] { Visit(UnionValue, Ty); });
844 }
845
846 return;
847 }
849 OS << "MemberPointer ";
850 auto Path = Value.getMemberPointerPath();
851 for (const CXXRecordDecl *D : Path) {
852 {
853 ColorScope Color(OS, ShowColors, ASTDumpColor::DeclName);
854 OS << D->getDeclName();
855 }
856 OS << "::";
857 }
858
859 ColorScope Color(OS, ShowColors, ASTDumpColor::DeclName);
860 if (const ValueDecl *MemDecl = Value.getMemberPointerDecl())
861 OS << MemDecl->getDeclName();
862 else
863 OS << "null";
864 return;
865 }
867 OS << "AddrLabelDiff ";
868 OS << "&&" << Value.getAddrLabelDiffLHS()->getLabel()->getName();
869 OS << " - ";
870 OS << "&&" << Value.getAddrLabelDiffRHS()->getLabel()->getName();
871 return;
872 }
873 llvm_unreachable("Unknown APValue kind!");
874}
875
876void TextNodeDumper::dumpPointer(const void *Ptr) {
877 ColorScope Color(OS, ShowColors, ASTDumpColor::Address);
878 OS << ' ' << Ptr;
879}
880
882 if (!SM)
883 return;
884
885 ColorScope Color(OS, ShowColors, ASTDumpColor::Location);
886 SourceLocation SpellingLoc = SM->getSpellingLoc(Loc);
887
888 // The general format we print out is filename:line:col, but we drop pieces
889 // that haven't changed since the last loc printed.
890 PresumedLoc PLoc = SM->getPresumedLoc(SpellingLoc);
891
892 if (PLoc.isInvalid()) {
893 OS << "<invalid sloc>";
894 return;
895 }
896
897 if (strcmp(PLoc.getFilename(), LastLocFilename) != 0) {
898 OS << PLoc.getFilename() << ':' << PLoc.getLine() << ':'
899 << PLoc.getColumn();
900 LastLocFilename = PLoc.getFilename();
901 LastLocLine = PLoc.getLine();
902 } else if (PLoc.getLine() != LastLocLine) {
903 OS << "line" << ':' << PLoc.getLine() << ':' << PLoc.getColumn();
904 LastLocLine = PLoc.getLine();
905 } else {
906 OS << "col" << ':' << PLoc.getColumn();
907 }
908}
909
911 // Can't translate locations if a SourceManager isn't available.
912 if (!SM)
913 return;
914
915 OS << " <";
916 dumpLocation(R.getBegin());
917 if (R.getBegin() != R.getEnd()) {
918 OS << ", ";
919 dumpLocation(R.getEnd());
920 }
921 OS << ">";
922
923 // <t2.c:123:421[blah], t2.c:412:321>
924}
925
927 ColorScope Color(OS, ShowColors, ASTDumpColor::Type);
928
929 SplitQualType T_split = T.split();
930 std::string T_str = QualType::getAsString(T_split, PrintPolicy);
931 OS << "'" << T_str << "'";
932
933 if (Desugar && !T.isNull()) {
934 // If the type is sugared, also dump a (shallow) desugared type when
935 // it is visibly different.
936 SplitQualType D_split = T.getSplitDesugaredType();
937 if (T_split != D_split) {
938 std::string D_str = QualType::getAsString(D_split, PrintPolicy);
939 if (T_str != D_str)
940 OS << ":'" << QualType::getAsString(D_split, PrintPolicy) << "'";
941 }
942 }
943}
944
946 OS << ' ';
947 dumpBareType(T);
948}
949
951 if (!D) {
952 ColorScope Color(OS, ShowColors, ASTDumpColor::Null);
953 OS << "<<<NULL>>>";
954 return;
955 }
956
957 {
958 ColorScope Color(OS, ShowColors, ASTDumpColor::DeclKindName);
959 OS << D->getDeclKindName();
960 }
961 dumpPointer(D);
962
963 if (const NamedDecl *ND = dyn_cast<NamedDecl>(D)) {
964 ColorScope Color(OS, ShowColors, ASTDumpColor::DeclName);
965 if (DeclarationName Name = ND->getDeclName())
966 OS << " '" << Name << '\'';
967 else
968 switch (ND->getKind()) {
969 case Decl::Decomposition: {
970 auto *DD = cast<DecompositionDecl>(ND);
971 OS << " first_binding '" << DD->bindings()[0]->getDeclName() << '\'';
972 break;
973 }
974 case Decl::Field: {
975 auto *FD = cast<FieldDecl>(ND);
976 OS << " field_index " << FD->getFieldIndex();
977 break;
978 }
979 case Decl::ParmVar: {
980 auto *PD = cast<ParmVarDecl>(ND);
981 OS << " depth " << PD->getFunctionScopeDepth() << " index "
982 << PD->getFunctionScopeIndex();
983 break;
984 }
985 case Decl::TemplateTypeParm: {
986 auto *TD = cast<TemplateTypeParmDecl>(ND);
987 OS << " depth " << TD->getDepth() << " index " << TD->getIndex();
988 break;
989 }
990 case Decl::NonTypeTemplateParm: {
991 auto *TD = cast<NonTypeTemplateParmDecl>(ND);
992 OS << " depth " << TD->getDepth() << " index " << TD->getIndex();
993 break;
994 }
995 default:
996 // Var, Namespace, (CXX)Record: Nothing else besides source location.
997 dumpSourceRange(ND->getSourceRange());
998 break;
999 }
1000 }
1001
1002 if (const ValueDecl *VD = dyn_cast<ValueDecl>(D))
1003 dumpType(VD->getType());
1004}
1005
1007 if (ND->getDeclName()) {
1008 ColorScope Color(OS, ShowColors, ASTDumpColor::DeclName);
1009 OS << ' ' << ND->getDeclName();
1010 }
1011}
1012
1014 const auto AccessSpelling = getAccessSpelling(AS);
1015 if (AccessSpelling.empty())
1016 return;
1017 OS << AccessSpelling;
1018}
1019
1022 if (auto *BD = dyn_cast<BlockDecl *>(C))
1023 dumpDeclRef(BD, "cleanup");
1024 else if (auto *CLE = dyn_cast<CompoundLiteralExpr *>(C))
1025 AddChild([=] {
1026 OS << "cleanup ";
1027 {
1028 ColorScope Color(OS, ShowColors, ASTDumpColor::Stmt);
1029 OS << CLE->getStmtClassName();
1030 }
1031 dumpPointer(CLE);
1032 });
1033 else
1034 llvm_unreachable("unexpected cleanup type");
1035}
1036
1039 switch (TSK) {
1040 case TSK_Undeclared:
1041 break;
1043 OS << " implicit_instantiation";
1044 break;
1046 OS << " explicit_specialization";
1047 break;
1049 OS << " explicit_instantiation_declaration";
1050 break;
1052 OS << " explicit_instantiation_definition";
1053 break;
1054 }
1055}
1056
1058 if (!NNS)
1059 return;
1060
1061 AddChild([=] {
1062 OS << "NestedNameSpecifier";
1063
1064 switch (NNS.getKind()) {
1066 auto [Namespace, Prefix] = NNS.getAsNamespaceAndPrefix();
1067 OS << " "; // "Namespace" is printed as the decl kind.
1068 dumpBareDeclRef(Namespace);
1070 break;
1071 }
1073 OS << " TypeSpec";
1074 dumpType(QualType(NNS.getAsType(), 0));
1075 break;
1077 OS << " Global";
1078 break;
1080 OS << " Super";
1081 break;
1083 llvm_unreachable("unexpected null nested name specifier");
1084 }
1085 });
1086}
1087
1088void TextNodeDumper::dumpDeclRef(const Decl *D, StringRef Label) {
1089 if (!D)
1090 return;
1091
1092 AddChild([=] {
1093 if (!Label.empty())
1094 OS << Label << ' ';
1095 dumpBareDeclRef(D);
1096 });
1097}
1098
1101 {
1102 llvm::raw_svector_ostream SS(Str);
1103 TA.print(PrintPolicy, SS, /*IncludeType=*/true);
1104 }
1105 OS << " '" << Str << "'";
1106
1107 if (!Context)
1108 return;
1109
1110 if (TemplateArgument CanonTA = Context->getCanonicalTemplateArgument(TA);
1111 !CanonTA.structurallyEquals(TA)) {
1112 llvm::SmallString<128> CanonStr;
1113 {
1114 llvm::raw_svector_ostream SS(CanonStr);
1115 CanonTA.print(PrintPolicy, SS, /*IncludeType=*/true);
1116 }
1117 if (CanonStr != Str)
1118 OS << ":'" << CanonStr << "'";
1119 }
1120}
1121
1122const char *TextNodeDumper::getCommandName(unsigned CommandID) {
1123 if (Traits)
1124 return Traits->getCommandInfo(CommandID)->Name;
1125 const comments::CommandInfo *Info =
1127 if (Info)
1128 return Info->Name;
1129 return "<not a builtin command>";
1130}
1131
1132void TextNodeDumper::printFPOptions(FPOptionsOverride FPO) {
1133#define FP_OPTION(NAME, TYPE, WIDTH, PREVIOUS) \
1134 if (FPO.has##NAME##Override()) \
1135 OS << " " #NAME "=" << FPO.get##NAME##Override();
1136#include "clang/Basic/FPOptions.def"
1137}
1138
1140 const comments::FullComment *) {
1141 OS << " Text=\"" << C->getText() << "\"";
1142}
1143
1146 OS << " Name=\"" << getCommandName(C->getCommandID()) << "\"";
1147 switch (C->getRenderKind()) {
1149 OS << " RenderNormal";
1150 break;
1152 OS << " RenderBold";
1153 break;
1155 OS << " RenderMonospaced";
1156 break;
1158 OS << " RenderEmphasized";
1159 break;
1161 OS << " RenderAnchor";
1162 break;
1163 }
1164
1165 for (unsigned i = 0, e = C->getNumArgs(); i != e; ++i)
1166 OS << " Arg[" << i << "]=\"" << C->getArgText(i) << "\"";
1167}
1168
1171 OS << " Name=\"" << C->getTagName() << "\"";
1172 if (C->getNumAttrs() != 0) {
1173 OS << " Attrs: ";
1174 for (unsigned i = 0, e = C->getNumAttrs(); i != e; ++i) {
1175 const comments::HTMLStartTagComment::Attribute &Attr = C->getAttr(i);
1176 OS << " \"" << Attr.Name << "=\"" << Attr.Value << "\"";
1177 }
1178 }
1179 if (C->isSelfClosing())
1180 OS << " SelfClosing";
1181}
1182
1185 OS << " Name=\"" << C->getTagName() << "\"";
1186}
1187
1190 OS << " Name=\"" << getCommandName(C->getCommandID()) << "\"";
1191 for (unsigned i = 0, e = C->getNumArgs(); i != e; ++i)
1192 OS << " Arg[" << i << "]=\"" << C->getArgText(i) << "\"";
1193}
1194
1197 OS << " "
1199
1200 if (C->isDirectionExplicit())
1201 OS << " explicitly";
1202 else
1203 OS << " implicitly";
1204
1205 if (C->hasParamName()) {
1206 if (C->isParamIndexValid())
1207 OS << " Param=\"" << C->getParamName(FC) << "\"";
1208 else
1209 OS << " Param=\"" << C->getParamNameAsWritten() << "\"";
1210 }
1211
1212 if (C->isParamIndexValid() && !C->isVarArgParam())
1213 OS << " ParamIndex=" << C->getParamIndex();
1214}
1215
1218 if (C->hasParamName()) {
1219 if (C->isPositionValid())
1220 OS << " Param=\"" << C->getParamName(FC) << "\"";
1221 else
1222 OS << " Param=\"" << C->getParamNameAsWritten() << "\"";
1223 }
1224
1225 if (C->isPositionValid()) {
1226 OS << " Position=<";
1227 for (unsigned i = 0, e = C->getDepth(); i != e; ++i) {
1228 OS << C->getIndex(i);
1229 if (i != e - 1)
1230 OS << ", ";
1231 }
1232 OS << ">";
1233 }
1234}
1235
1238 OS << " Name=\"" << getCommandName(C->getCommandID())
1239 << "\""
1240 " CloseName=\""
1241 << C->getCloseName() << "\"";
1242}
1243
1246 const comments::FullComment *) {
1247 OS << " Text=\"" << C->getText() << "\"";
1248}
1249
1252 OS << " Text=\"" << C->getText() << "\"";
1253}
1254
1256 OS << " null";
1257}
1258
1260 OS << " type";
1262}
1263
1265 const TemplateArgument &TA) {
1266 OS << " decl";
1268 dumpDeclRef(TA.getAsDecl());
1269}
1270
1272 OS << " nullptr";
1274}
1275
1277 OS << " integral";
1279}
1280
1282 const TemplateArgument &TA) {
1283 OS << " structural value";
1285}
1286
1288 AddChild(Label, [=] {
1289 {
1291 {
1292 llvm::raw_svector_ostream SS(Str);
1293 TN.print(SS, PrintPolicy);
1294 }
1295 OS << "'" << Str << "'";
1296
1297 if (Context) {
1298 if (TemplateName CanonTN = Context->getCanonicalTemplateName(TN);
1299 CanonTN != TN) {
1300 llvm::SmallString<128> CanonStr;
1301 {
1302 llvm::raw_svector_ostream SS(CanonStr);
1303 CanonTN.print(SS, PrintPolicy);
1304 }
1305 if (CanonStr != Str)
1306 OS << ":'" << CanonStr << "'";
1307 }
1308 }
1309 }
1311 });
1312}
1313
1315 switch (TN.getKind()) {
1317 AddChild([=] { Visit(TN.getAsTemplateDecl()); });
1318 return;
1320 const UsingShadowDecl *USD = TN.getAsUsingShadowDecl();
1321 AddChild([=] { Visit(USD); });
1322 AddChild("target", [=] { Visit(USD->getTargetDecl()); });
1323 return;
1324 }
1326 OS << " qualified";
1328 if (QTN->hasTemplateKeyword())
1329 OS << " keyword";
1332 return;
1333 }
1335 OS << " dependent";
1338 return;
1339 }
1341 OS << " subst";
1344 OS << " index " << STS->getIndex();
1345 if (UnsignedOrNone PackIndex = STS->getPackIndex())
1346 OS << " pack_index " << *PackIndex;
1347 if (STS->getFinal())
1348 OS << " final";
1349 if (const TemplateTemplateParmDecl *P = STS->getParameter())
1350 AddChild("parameter", [=] { Visit(P); });
1351 dumpDeclRef(STS->getAssociatedDecl(), "associated");
1352 dumpTemplateName(STS->getReplacement(), "replacement");
1353 return;
1354 }
1356 OS << " deduced";
1358 dumpTemplateName(DTS->getUnderlying(), "underlying");
1359 AddChild("defaults", [=] {
1360 auto [StartPos, Args] = DTS->getDefaultArguments();
1361 OS << " start " << StartPos;
1362 for (const TemplateArgument &Arg : Args)
1363 AddChild([=] { Visit(Arg, SourceRange()); });
1364 });
1365 return;
1366 }
1367 // FIXME: Implement these.
1369 OS << " overloaded";
1370 return;
1372 OS << " assumed";
1373 return;
1375 OS << " subst_pack";
1376 return;
1377 }
1378 llvm_unreachable("Unexpected TemplateName Kind");
1379}
1380
1386
1393
1395 const TemplateArgument &TA) {
1396 OS << " expr";
1397 if (TA.isCanonicalExpr())
1398 OS << " canonical";
1400}
1401
1403 OS << " pack";
1405}
1406
1407static void dumpBasePath(raw_ostream &OS, const CastExpr *Node) {
1408 if (Node->path_empty())
1409 return;
1410
1411 OS << " (";
1412 bool First = true;
1414 E = Node->path_end();
1415 I != E; ++I) {
1416 const CXXBaseSpecifier *Base = *I;
1417 if (!First)
1418 OS << " -> ";
1419
1420 const auto *RD = cast<CXXRecordDecl>(
1421 Base->getType()->castAsCanonical<RecordType>()->getDecl());
1422
1423 if (Base->isVirtual())
1424 OS << "virtual ";
1425 OS << RD->getName();
1426 First = false;
1427 }
1428
1429 OS << ')';
1430}
1431
1433 switch (ND->getFormalLinkage()) {
1434 case Linkage::None:
1435 // A lot of declarations have no linkage, so we only dump linkage if there
1436 // is one.
1437 break;
1438 case Linkage::Internal:
1439 OS << " internal-linkage";
1440 break;
1441 case Linkage::External:
1442 OS << " external-linkage";
1443 break;
1444 case Linkage::Module:
1445 OS << " module-linkage";
1446 break;
1447 case Linkage::Invalid:
1448 llvm_unreachable("Linkage hasn't been computed!");
1451 llvm_unreachable("Not a formal linkage!");
1452 }
1453}
1454
1456 if (!Node->hasLabelTarget())
1457 return;
1458
1459 OS << " '" << Node->getLabelDecl()->getIdentifier()->getName() << "' (";
1460
1461 auto *Target = Node->getNamedLoopOrSwitch();
1462 if (!Target) {
1463 ColorScope Color(OS, ShowColors, ASTDumpColor::Null);
1464 OS << "<<<NULL>>>";
1465 } else {
1466 {
1467 ColorScope Color(OS, ShowColors, ASTDumpColor::Stmt);
1468 OS << Target->getStmtClassName();
1469 }
1471 }
1472 OS << ")";
1473}
1474
1476 if (Node->hasInitStorage())
1477 OS << " has_init";
1478 if (Node->hasVarStorage())
1479 OS << " has_var";
1480 if (Node->hasElseStorage())
1481 OS << " has_else";
1482 if (Node->isConstexpr())
1483 OS << " constexpr";
1484 if (Node->isConsteval()) {
1485 OS << " ";
1486 if (Node->isNegatedConsteval())
1487 OS << "!";
1488 OS << "consteval";
1489 }
1490}
1491
1493 if (Node->hasInitStorage())
1494 OS << " has_init";
1495 if (Node->hasVarStorage())
1496 OS << " has_var";
1497}
1498
1500 if (Node->hasVarStorage())
1501 OS << " has_var";
1502}
1503
1505 OS << " '" << Node->getName() << "'";
1506 if (Node->isSideEntry())
1507 OS << " side_entry";
1508}
1509
1511 OS << " '" << Node->getLabel()->getName() << "'";
1512 dumpPointer(Node->getLabel());
1513}
1514
1516 if (Node->caseStmtIsGNURange())
1517 OS << " gnu_range";
1518}
1519
1521 if (const VarDecl *Cand = Node->getNRVOCandidate()) {
1522 OS << " nrvo_candidate(";
1523 dumpBareDeclRef(Cand);
1524 OS << ")";
1525 }
1526}
1527
1529 if (Node->isImplicit())
1530 OS << " implicit";
1531}
1532
1534 if (Node->isImplicit())
1535 OS << " implicit";
1536}
1537
1539 if (Node->hasAPValueResult())
1540 AddChild("value",
1541 [=] { Visit(Node->getAPValueResult(), Node->getType()); });
1542}
1543
1545 if (Node->usesADL())
1546 OS << " adl";
1547 if (Node->hasStoredFPFeatures())
1548 printFPOptions(Node->getFPFeatures());
1549}
1550
1552 const char *OperatorSpelling = clang::getOperatorSpelling(Node->getOperator());
1553 if (OperatorSpelling)
1554 OS << " '" << OperatorSpelling << "'";
1555
1556 VisitCallExpr(Node);
1557}
1558
1560 OS << " <";
1561 {
1562 ColorScope Color(OS, ShowColors, ASTDumpColor::Cast);
1563 OS << Node->getCastKindName();
1564 }
1565 dumpBasePath(OS, Node);
1566 OS << ">";
1567 if (Node->hasStoredFPFeatures())
1568 printFPOptions(Node->getFPFeatures());
1569}
1570
1572 VisitCastExpr(Node);
1573 if (Node->isPartOfExplicitCast())
1574 OS << " part_of_explicit_cast";
1575}
1576
1578 OS << " ";
1579 dumpBareDeclRef(Node->getDecl());
1581 if (Node->getDecl() != Node->getFoundDecl()) {
1582 OS << " (";
1584 OS << ")";
1585 }
1586 switch (Node->isNonOdrUse()) {
1587 case NOUR_None: break;
1588 case NOUR_Unevaluated: OS << " non_odr_use_unevaluated"; break;
1589 case NOUR_Constant: OS << " non_odr_use_constant"; break;
1590 case NOUR_Discarded: OS << " non_odr_use_discarded"; break;
1591 }
1593 OS << " dependent_capture";
1594 else if (Node->refersToEnclosingVariableOrCapture())
1595 OS << " refers_to_enclosing_variable_or_capture";
1596
1597 if (Node->isImmediateEscalating())
1598 OS << " immediate-escalating";
1599}
1600
1606
1608 const UnresolvedLookupExpr *Node) {
1609 OS << " (";
1610 if (!Node->requiresADL())
1611 OS << "no ";
1612 OS << "ADL) = '" << Node->getName() << '\'';
1613
1615 E = Node->decls_end();
1616 if (I == E)
1617 OS << " empty";
1618 for (; I != E; ++I)
1619 dumpPointer(*I);
1620}
1621
1623 {
1624 ColorScope Color(OS, ShowColors, ASTDumpColor::DeclKindName);
1625 OS << " " << Node->getDecl()->getDeclKindName() << "Decl";
1626 }
1627 OS << "='" << *Node->getDecl() << "'";
1628 dumpPointer(Node->getDecl());
1629 if (Node->isFreeIvar())
1630 OS << " isFreeIvar";
1631}
1632
1637
1641
1643 ColorScope Color(OS, ShowColors, ASTDumpColor::Value);
1644 OS << " " << Node->getValue();
1645}
1646
1648 bool isSigned = Node->getType()->isSignedIntegerType();
1649 ColorScope Color(OS, ShowColors, ASTDumpColor::Value);
1650 OS << " " << toString(Node->getValue(), 10, isSigned);
1651}
1652
1654 ColorScope Color(OS, ShowColors, ASTDumpColor::Value);
1655 OS << " " << Node->getValueAsString(/*Radix=*/10);
1656}
1657
1659 ColorScope Color(OS, ShowColors, ASTDumpColor::Value);
1660 OS << " " << Node->getValueAsApproximateDouble();
1661}
1662
1664 ColorScope Color(OS, ShowColors, ASTDumpColor::Value);
1665 OS << " ";
1666 Str->outputString(OS);
1667}
1668
1670 if (auto *Field = ILE->getInitializedFieldInUnion()) {
1671 OS << " field ";
1672 dumpBareDeclRef(Field);
1673 }
1674}
1675
1677 if (E->isResultDependent())
1678 OS << " result_dependent";
1679}
1680
1682 OS << " " << (Node->isPostfix() ? "postfix" : "prefix") << " '"
1683 << UnaryOperator::getOpcodeStr(Node->getOpcode()) << "'";
1684 if (!Node->canOverflow())
1685 OS << " cannot overflow";
1686 if (Node->hasStoredFPFeatures())
1687 printFPOptions(Node->getStoredFPFeatures());
1688}
1689
1691 const UnaryExprOrTypeTraitExpr *Node) {
1692 OS << " " << getTraitSpelling(Node->getKind());
1693
1694 if (Node->isArgumentType())
1695 dumpType(Node->getArgumentType());
1696}
1697
1699 OS << " " << (Node->isArrow() ? "->" : ".") << *Node->getMemberDecl();
1700 dumpPointer(Node->getMemberDecl());
1702 switch (Node->isNonOdrUse()) {
1703 case NOUR_None: break;
1704 case NOUR_Unevaluated: OS << " non_odr_use_unevaluated"; break;
1705 case NOUR_Constant: OS << " non_odr_use_constant"; break;
1706 case NOUR_Discarded: OS << " non_odr_use_discarded"; break;
1707 }
1708}
1709
1711 const ExtVectorElementExpr *Node) {
1712 OS << " " << Node->getAccessor().getNameStart();
1713}
1714
1716 OS << " " << Node->getAccessor().getNameStart();
1717}
1718
1720 OS << " '" << BinaryOperator::getOpcodeStr(Node->getOpcode()) << "'";
1721 if (Node->hasStoredFPFeatures())
1722 printFPOptions(Node->getStoredFPFeatures());
1723}
1724
1726 const CompoundAssignOperator *Node) {
1727 OS << " '" << BinaryOperator::getOpcodeStr(Node->getOpcode())
1728 << "' ComputeLHSTy=";
1730 OS << " ComputeResultTy=";
1732 if (Node->hasStoredFPFeatures())
1733 printFPOptions(Node->getStoredFPFeatures());
1734}
1735
1737 OS << " " << Node->getLabel()->getName();
1738 dumpPointer(Node->getLabel());
1739}
1740
1742 OS << " " << Node->getCastName() << "<"
1743 << Node->getTypeAsWritten().getAsString() << ">"
1744 << " <" << Node->getCastKindName();
1745 dumpBasePath(OS, Node);
1746 OS << ">";
1747}
1748
1750 OS << " " << (Node->getValue() ? "true" : "false");
1751}
1752
1754 if (Node->isImplicit())
1755 OS << " implicit";
1757 OS << " dependent_capture";
1758 OS << " this";
1759}
1760
1762 const CXXFunctionalCastExpr *Node) {
1763 OS << " functional cast to " << Node->getTypeAsWritten().getAsString() << " <"
1764 << Node->getCastKindName() << ">";
1765 if (Node->hasStoredFPFeatures())
1766 printFPOptions(Node->getFPFeatures());
1767}
1768
1771 if (Node->hasStoredFPFeatures())
1772 printFPOptions(Node->getFPFeatures());
1773}
1774
1776 const CXXUnresolvedConstructExpr *Node) {
1777 dumpType(Node->getTypeAsWritten());
1778 if (Node->isListInitialization())
1779 OS << " list";
1780}
1781
1783 CXXConstructorDecl *Ctor = Node->getConstructor();
1784 dumpType(Ctor->getType());
1785 if (Node->isElidable())
1786 OS << " elidable";
1787 if (Node->isListInitialization())
1788 OS << " list";
1789 if (Node->isStdInitListInitialization())
1790 OS << " std::initializer_list";
1791 if (Node->requiresZeroInitialization())
1792 OS << " zeroing";
1793 if (Node->isImmediateEscalating())
1794 OS << " immediate-escalating";
1795}
1796
1798 const CXXBindTemporaryExpr *Node) {
1799 OS << " (CXXTemporary";
1800 dumpPointer(Node);
1801 OS << ")";
1802}
1803
1805 if (Node->isGlobalNew())
1806 OS << " global";
1807 if (Node->isArray())
1808 OS << " array";
1809 if (Node->getOperatorNew()) {
1810 OS << ' ';
1812 }
1813 // We could dump the deallocation function used in case of error, but it's
1814 // usually not that interesting.
1815}
1816
1818 if (Node->isGlobalDelete())
1819 OS << " global";
1820 if (Node->isArrayForm())
1821 OS << " array";
1822 if (Node->getOperatorDelete()) {
1823 OS << ' ';
1825 }
1826}
1827
1829 OS << " " << getTraitSpelling(Node->getTrait());
1830}
1831
1833 OS << " " << getTraitSpelling(Node->getTrait());
1834}
1835
1839
1841 if (Node->hasRewrittenInit())
1842 OS << " has rewritten init";
1843}
1844
1846 if (Node->hasRewrittenInit())
1847 OS << " has rewritten init";
1848}
1849
1851 const MaterializeTemporaryExpr *Node) {
1852 if (const ValueDecl *VD = Node->getExtendingDecl()) {
1853 OS << " extended by ";
1854 dumpBareDeclRef(VD);
1855 }
1856}
1857
1859 for (unsigned i = 0, e = Node->getNumObjects(); i != e; ++i)
1860 dumpCleanupObject(Node->getObject(i));
1861}
1862
1864 dumpPointer(Node->getPack());
1865 dumpName(Node->getPack());
1866}
1867
1869 const CXXDependentScopeMemberExpr *Node) {
1870 OS << " " << (Node->isArrow() ? "->" : ".") << Node->getMember();
1871}
1872
1874 OS << " selector=";
1875 Node->getSelector().print(OS);
1876 switch (Node->getReceiverKind()) {
1878 break;
1879
1881 OS << " class=";
1883 break;
1884
1886 OS << " super (instance)";
1887 break;
1888
1890 OS << " super (class)";
1891 break;
1892 }
1893}
1894
1896 if (auto *BoxingMethod = Node->getBoxingMethod()) {
1897 OS << " selector=";
1898 BoxingMethod->getSelector().print(OS);
1899 }
1900}
1901
1903 if (!Node->getCatchParamDecl())
1904 OS << " catch all";
1905}
1906
1910
1912 OS << " ";
1913 Node->getSelector().print(OS);
1914}
1915
1917 OS << ' ' << *Node->getProtocol();
1918}
1919
1921 if (Node->isImplicitProperty()) {
1922 OS << " Kind=MethodRef Getter=\"";
1923 if (Node->getImplicitPropertyGetter())
1925 else
1926 OS << "(null)";
1927
1928 OS << "\" Setter=\"";
1929 if (ObjCMethodDecl *Setter = Node->getImplicitPropertySetter())
1930 Setter->getSelector().print(OS);
1931 else
1932 OS << "(null)";
1933 OS << "\"";
1934 } else {
1935 OS << " Kind=PropertyRef Property=\"" << *Node->getExplicitProperty()
1936 << '"';
1937 }
1938
1939 if (Node->isSuperReceiver())
1940 OS << " super";
1941
1942 OS << " Messaging=";
1943 if (Node->isMessagingGetter() && Node->isMessagingSetter())
1944 OS << "Getter&Setter";
1945 else if (Node->isMessagingGetter())
1946 OS << "Getter";
1947 else if (Node->isMessagingSetter())
1948 OS << "Setter";
1949}
1950
1952 const ObjCSubscriptRefExpr *Node) {
1953 if (Node->isArraySubscriptRefExpr())
1954 OS << " Kind=ArraySubscript GetterForArray=\"";
1955 else
1956 OS << " Kind=DictionarySubscript GetterForDictionary=\"";
1957 if (Node->getAtIndexMethodDecl())
1958 Node->getAtIndexMethodDecl()->getSelector().print(OS);
1959 else
1960 OS << "(null)";
1961
1962 if (Node->isArraySubscriptRefExpr())
1963 OS << "\" SetterForArray=\"";
1964 else
1965 OS << "\" SetterForDictionary=\"";
1966 if (Node->setAtIndexMethodDecl())
1967 Node->setAtIndexMethodDecl()->getSelector().print(OS);
1968 else
1969 OS << "(null)";
1970}
1971
1973 OS << " " << (Node->getValue() ? "__objc_yes" : "__objc_no");
1974}
1975
1977 OS << " ";
1978 for (unsigned I = 0, E = Node->numOfIterators(); I < E; ++I) {
1979 Visit(Node->getIteratorDecl(I));
1980 OS << " = ";
1981 const OMPIteratorExpr::IteratorRange Range = Node->getIteratorRange(I);
1982 OS << " begin ";
1983 Visit(Range.Begin);
1984 OS << " end ";
1985 Visit(Range.End);
1986 if (Range.Step) {
1987 OS << " step ";
1988 Visit(Range.Step);
1989 }
1990 }
1991}
1992
1998
2000 const RequiresExpr *Node) {
2001 if (!Node->isValueDependent())
2002 OS << (Node->isSatisfied() ? " satisfied" : " unsatisfied");
2003}
2004
2006 if (T->isSpelledAsLValue())
2007 OS << " written as lvalue reference";
2008}
2009
2011 switch (T->getSizeModifier()) {
2013 break;
2015 OS << " static";
2016 break;
2018 OS << " *";
2019 break;
2020 }
2021 OS << " " << T->getIndexTypeQualifiers().getAsString();
2022}
2023
2025 OS << " " << T->getSize();
2026 VisitArrayType(T);
2027}
2028
2032
2037
2039 const DependentSizedExtVectorType *T) {
2040 OS << " ";
2041 dumpLocation(T->getAttributeLoc());
2042}
2043
2045 switch (T->getVectorKind()) {
2047 break;
2049 OS << " altivec";
2050 break;
2052 OS << " altivec pixel";
2053 break;
2055 OS << " altivec bool";
2056 break;
2057 case VectorKind::Neon:
2058 OS << " neon";
2059 break;
2061 OS << " neon poly";
2062 break;
2064 OS << " fixed-length sve data vector";
2065 break;
2067 OS << " fixed-length sve predicate vector";
2068 break;
2070 OS << " fixed-length rvv data vector";
2071 break;
2076 OS << " fixed-length rvv mask vector";
2077 break;
2078 }
2079 OS << " " << T->getNumElements();
2080}
2081
2083 auto EI = T->getExtInfo();
2084 if (EI.getNoReturn())
2085 OS << " noreturn";
2086 if (EI.getProducesResult())
2087 OS << " produces_result";
2088 if (EI.getHasRegParm())
2089 OS << " regparm " << EI.getRegParm();
2090 OS << " " << FunctionType::getNameForCallConv(EI.getCC());
2091}
2092
2094 auto EPI = T->getExtProtoInfo();
2095 if (EPI.HasTrailingReturn)
2096 OS << " trailing_return";
2097 if (T->isConst())
2098 OS << " const";
2099 if (T->isVolatile())
2100 OS << " volatile";
2101 if (T->isRestrict())
2102 OS << " restrict";
2103 if (T->getExtProtoInfo().Variadic)
2104 OS << " variadic";
2105 switch (EPI.RefQualifier) {
2106 case RQ_None:
2107 break;
2108 case RQ_LValue:
2109 OS << " &";
2110 break;
2111 case RQ_RValue:
2112 OS << " &&";
2113 break;
2114 }
2115
2116 switch (EPI.ExceptionSpec.Type) {
2117 case EST_None:
2118 break;
2119 case EST_DynamicNone:
2120 OS << " exceptionspec_dynamic_none";
2121 break;
2122 case EST_Dynamic:
2123 OS << " exceptionspec_dynamic";
2124 break;
2125 case EST_MSAny:
2126 OS << " exceptionspec_ms_any";
2127 break;
2128 case EST_NoThrow:
2129 OS << " exceptionspec_nothrow";
2130 break;
2131 case EST_BasicNoexcept:
2132 OS << " exceptionspec_basic_noexcept";
2133 break;
2135 OS << " exceptionspec_dependent_noexcept";
2136 break;
2137 case EST_NoexceptFalse:
2138 OS << " exceptionspec_noexcept_false";
2139 break;
2140 case EST_NoexceptTrue:
2141 OS << " exceptionspec_noexcept_true";
2142 break;
2143 case EST_Unevaluated:
2144 OS << " exceptionspec_unevaluated";
2145 break;
2146 case EST_Uninstantiated:
2147 OS << " exceptionspec_uninstantiated";
2148 break;
2149 case EST_Unparsed:
2150 OS << " exceptionspec_unparsed";
2151 break;
2152 }
2153 if (!EPI.ExceptionSpec.Exceptions.empty()) {
2154 AddChild([=] {
2155 OS << "Exceptions:";
2156 for (unsigned I = 0, N = EPI.ExceptionSpec.Exceptions.size(); I != N;
2157 ++I) {
2158 if (I)
2159 OS << ",";
2160 dumpType(EPI.ExceptionSpec.Exceptions[I]);
2161 }
2162 });
2163 }
2164 if (EPI.ExceptionSpec.NoexceptExpr) {
2165 AddChild([=] {
2166 OS << "NoexceptExpr: ";
2167 Visit(EPI.ExceptionSpec.NoexceptExpr);
2168 });
2169 }
2170 dumpDeclRef(EPI.ExceptionSpec.SourceDecl, "ExceptionSourceDecl");
2171 dumpDeclRef(EPI.ExceptionSpec.SourceTemplate, "ExceptionSourceTemplate");
2172
2173 // FIXME: Consumed parameters.
2175}
2176
2178 if (ElaboratedTypeKeyword K = T->getKeyword();
2180 OS << ' ' << TypeWithKeyword::getKeywordName(K);
2181 dumpNestedNameSpecifier(T->getQualifier());
2182 dumpDeclRef(T->getDecl());
2183}
2184
2186 if (ElaboratedTypeKeyword K = T->getKeyword();
2188 OS << ' ' << TypeWithKeyword::getKeywordName(K);
2189 dumpNestedNameSpecifier(T->getQualifier());
2190 dumpDeclRef(T->getDecl());
2191 dumpType(T->desugar());
2192}
2193
2195 if (ElaboratedTypeKeyword K = T->getKeyword();
2197 OS << ' ' << TypeWithKeyword::getKeywordName(K);
2198 dumpNestedNameSpecifier(T->getQualifier());
2199 dumpDeclRef(T->getDecl());
2200 if (!T->typeMatchesDecl()) {
2201 OS << " divergent";
2202 dumpType(T->desugar());
2203 }
2204}
2205
2206void TextNodeDumper::VisitUnaryTransformType(const UnaryTransformType *T) {
2207 switch (T->getUTTKind()) {
2208#define TRANSFORM_TYPE_TRAIT_DEF(Enum, Trait) \
2209 case UnaryTransformType::Enum: \
2210 OS << " " #Trait; \
2211 break;
2212#include "clang/Basic/TransformTypeTraits.def"
2213 }
2214}
2215
2216void TextNodeDumper::VisitTagType(const TagType *T) {
2217 if (T->isCanonicalUnqualified())
2218 OS << " canonical";
2219 if (T->isTagOwned())
2220 OS << " owns_tag";
2221 if (T->isInjected())
2222 OS << " injected";
2223 if (ElaboratedTypeKeyword K = T->getKeyword();
2225 OS << ' ' << TypeWithKeyword::getKeywordName(K);
2226 dumpNestedNameSpecifier(T->getQualifier());
2227 dumpDeclRef(T->getDecl());
2228}
2229
2230void TextNodeDumper::VisitTemplateTypeParmType(const TemplateTypeParmType *T) {
2231 OS << " depth " << T->getDepth() << " index " << T->getIndex();
2232 if (T->isParameterPack())
2233 OS << " pack";
2234 dumpDeclRef(T->getDecl());
2235}
2236
2238 const SubstTemplateTypeParmType *T) {
2239 dumpDeclRef(T->getAssociatedDecl());
2240 VisitTemplateTypeParmDecl(T->getReplacedParameter());
2241 if (auto PackIndex = T->getPackIndex())
2242 OS << " pack_index " << *PackIndex;
2243 if (T->getFinal())
2244 OS << " final";
2245}
2246
2248 const SubstTemplateTypeParmPackType *T) {
2249 dumpDeclRef(T->getAssociatedDecl());
2250 VisitTemplateTypeParmDecl(T->getReplacedParameter());
2251}
2252
2253void TextNodeDumper::VisitDeducedType(const DeducedType *T) {
2254 switch (T->getDeducedKind()) {
2256 OS << " undeduced";
2257 break;
2259 break;
2261 OS << " deduced-as-dependent";
2262 break;
2264 OS << " deduced-as-pack";
2265 break;
2266 }
2267}
2268
2269void TextNodeDumper::VisitAutoType(const AutoType *T) {
2271 // Not necessary to dump the keyword since it's spelled plainly in the printed
2272 // type anyway.
2273 if (T->isConstrained())
2274 dumpDeclRef(T->getTypeConstraintConcept());
2275}
2276
2278 const DeducedTemplateSpecializationType *T) {
2280 dumpTemplateName(T->getTemplateName(), "name");
2281}
2282
2284 const TemplateSpecializationType *T) {
2285 if (T->isTypeAlias())
2286 OS << " alias";
2287 if (ElaboratedTypeKeyword K = T->getKeyword();
2289 OS << ' ' << TypeWithKeyword::getKeywordName(K);
2290 dumpTemplateName(T->getTemplateName(), "name");
2291}
2292
2294 const InjectedClassNameType *T) {
2295 dumpDeclRef(T->getDecl());
2296}
2297
2301
2302void TextNodeDumper::VisitPackExpansionType(const PackExpansionType *T) {
2303 if (auto N = T->getNumExpansions())
2304 OS << " expansions " << *N;
2305}
2306
2308 // By default, add extra Type details with no extra loc info.
2310}
2311// FIXME: override behavior for TypeLocs that have interesting location
2312// information, such as the qualifier in ElaboratedTypeLoc.
2313
2315
2317 dumpName(D);
2319 if (D->isModulePrivate())
2320 OS << " __module_private__";
2321
2322 const TagDecl *TD = D->getUnderlyingType()->getAsTagDecl();
2323 if (TD && TD->getTypedefNameForAnonDecl()) {
2325 }
2326}
2327
2329 if (D->isScoped()) {
2330 if (D->isScopedUsingClassTag())
2331 OS << " class";
2332 else
2333 OS << " struct";
2334 }
2335 dumpName(D);
2336 if (D->isModulePrivate())
2337 OS << " __module_private__";
2338 if (D->isFixed())
2340
2341 if (const auto *Instance = D->getTemplateInstantiationPattern()) {
2342 OS << " instantiated_from";
2343 dumpPointer(Instance);
2344 }
2345
2347}
2348
2350 OS << ' ' << D->getKindName();
2351 dumpName(D);
2352 if (D->isModulePrivate())
2353 OS << " __module_private__";
2354 if (D->isCompleteDefinition())
2355 OS << " definition";
2356
2357 if (!D->isImplicit() && !D->getDescribedTemplate()) {
2359 }
2360}
2361
2366
2368 dumpName(D);
2369 dumpType(D->getType());
2370
2371 for (const auto *Child : D->chain())
2372 dumpDeclRef(Child);
2373}
2374
2376 dumpName(D);
2377 dumpType(D->getType());
2379
2380 StorageClass SC = D->getStorageClass();
2381 if (SC != SC_None)
2383 if (D->isInlineSpecified())
2384 OS << " inline";
2385 if (D->isVirtualAsWritten())
2386 OS << " virtual";
2387 if (D->isModulePrivate())
2388 OS << " __module_private__";
2389
2390 if (D->isPureVirtual())
2391 OS << " pure";
2392 if (D->isDefaulted()) {
2393 OS << " default";
2394 if (D->isDeleted())
2395 OS << "_delete";
2396 }
2397 if (D->isDeletedAsWritten())
2398 OS << " delete";
2399 if (D->isTrivial())
2400 OS << " trivial";
2401
2402 if (const StringLiteral *M = D->getDeletedMessage())
2403 AddChild("delete message", [=] { Visit(M); });
2404
2406 OS << (isa<CXXDestructorDecl>(D) ? " not_selected" : " ineligible");
2407
2408 if (const auto *FPT = D->getType()->getAs<FunctionProtoType>()) {
2409 FunctionProtoType::ExtProtoInfo EPI = FPT->getExtProtoInfo();
2410 switch (EPI.ExceptionSpec.Type) {
2411 default:
2412 break;
2413 case EST_Unevaluated:
2414 OS << " noexcept-unevaluated " << EPI.ExceptionSpec.SourceDecl;
2415 break;
2416 case EST_Uninstantiated:
2417 OS << " noexcept-uninstantiated " << EPI.ExceptionSpec.SourceTemplate;
2418 break;
2419 }
2420 }
2421
2422 if (const auto *MD = dyn_cast<CXXMethodDecl>(D)) {
2423 if (MD->size_overridden_methods() != 0) {
2424 auto dumpOverride = [=](const CXXMethodDecl *D) {
2425 SplitQualType T_split = D->getType().split();
2426 OS << D << " " << D->getParent()->getName() << "::" << D->getDeclName()
2427 << " '" << QualType::getAsString(T_split, PrintPolicy) << "'";
2428 };
2429
2430 AddChild([=] {
2431 auto Overrides = MD->overridden_methods();
2432 OS << "Overrides: [ ";
2433 dumpOverride(*Overrides.begin());
2434 for (const auto *Override : llvm::drop_begin(Overrides)) {
2435 OS << ", ";
2436 dumpOverride(Override);
2437 }
2438 OS << " ]";
2439 });
2440 }
2441 }
2442
2443 if (!D->isInlineSpecified() && D->isInlined()) {
2444 OS << " implicit-inline";
2445 }
2446 // Since NumParams comes from the FunctionProtoType of the FunctionDecl and
2447 // the Params are set later, it is possible for a dump during debugging to
2448 // encounter a FunctionDecl that has been created but hasn't been assigned
2449 // ParmVarDecls yet.
2450 if (!D->param_empty() && !D->param_begin())
2451 OS << " <<<NULL params x " << D->getNumParams() << ">>>";
2452
2453 if (const auto *Instance = D->getTemplateInstantiationPattern()) {
2454 OS << " instantiated_from";
2455 dumpPointer(Instance);
2456 }
2457
2460 }
2461}
2462
2464 const CXXDeductionGuideDecl *D) {
2466 switch (D->getDeductionCandidateKind()) {
2469 return;
2471 OS << " aggregate ";
2472 break;
2473 }
2474}
2475
2478 OS << " extended by ";
2480 OS << " mangling ";
2481 {
2482 ColorScope Color(OS, ShowColors, ASTDumpColor::Value);
2483 OS << D->getManglingNumber();
2484 }
2485}
2486
2488 dumpName(D);
2489 dumpType(D->getType());
2490 if (D->isMutable())
2491 OS << " mutable";
2492 if (D->isModulePrivate())
2493 OS << " __module_private__";
2494}
2495
2498 dumpName(D);
2499 if (const auto *P = dyn_cast<ParmVarDecl>(D);
2500 P && P->isExplicitObjectParameter())
2501 OS << " this";
2502
2503 dumpType(D->getType());
2505 StorageClass SC = D->getStorageClass();
2506 if (SC != SC_None)
2508 switch (D->getTLSKind()) {
2509 case VarDecl::TLS_None:
2510 break;
2512 OS << " tls";
2513 break;
2515 OS << " tls_dynamic";
2516 break;
2517 }
2518 if (D->isModulePrivate())
2519 OS << " __module_private__";
2520 if (D->isNRVOVariable())
2521 OS << " nrvo";
2522 if (D->isInline())
2523 OS << " inline";
2524 if (D->isConstexpr())
2525 OS << " constexpr";
2526 if (D->hasInit()) {
2527 switch (D->getInitStyle()) {
2528 case VarDecl::CInit:
2529 OS << " cinit";
2530 break;
2531 case VarDecl::CallInit:
2532 OS << " callinit";
2533 break;
2534 case VarDecl::ListInit:
2535 OS << " listinit";
2536 break;
2538 OS << " parenlistinit";
2539 }
2540 }
2541 if (D->needsDestruction(D->getASTContext()))
2542 OS << " destroyed";
2543 if (D->isParameterPack())
2544 OS << " pack";
2545
2546 if (const auto *Instance = D->getTemplateInstantiationPattern()) {
2547 OS << " instantiated_from";
2548 dumpPointer(Instance);
2549 }
2550
2551 if (D->hasInit()) {
2552 const Expr *E = D->getInit();
2553 // Only dump the value of constexpr VarDecls for now.
2554 if (E && !E->isValueDependent() && D->isConstexpr() &&
2555 !D->getType()->isDependentType()) {
2556 const APValue *Value = D->evaluateValue();
2557 if (Value)
2558 AddChild("value", [=] { Visit(*Value, E->getType()); });
2559 }
2560 }
2561
2562 if (!D->getDescribedVarTemplate()) {
2564 }
2565}
2566
2568 dumpName(D);
2569 dumpType(D->getType());
2570}
2571
2573 if (D->isNothrow())
2574 OS << " nothrow";
2575}
2576
2578 OS << ' ' << D->getImportedModule()->getFullModuleName();
2579
2580 for (Decl *InitD :
2582 dumpDeclRef(InitD, "initializer");
2583}
2584
2586 OS << ' ';
2587 switch (D->getCommentKind()) {
2588 case PCK_Unknown:
2589 llvm_unreachable("unexpected pragma comment kind");
2590 case PCK_Compiler:
2591 OS << "compiler";
2592 break;
2593 case PCK_ExeStr:
2594 OS << "exestr";
2595 break;
2596 case PCK_Lib:
2597 OS << "lib";
2598 break;
2599 case PCK_Linker:
2600 OS << "linker";
2601 break;
2602 case PCK_User:
2603 OS << "user";
2604 break;
2605 }
2606 StringRef Arg = D->getArg();
2607 if (!Arg.empty())
2608 OS << " \"" << Arg << "\"";
2609}
2610
2612 const PragmaDetectMismatchDecl *D) {
2613 OS << " \"" << D->getName() << "\" \"" << D->getValue() << "\"";
2614}
2615
2617 const OMPExecutableDirective *D) {
2618 if (D->isStandaloneDirective())
2619 OS << " openmp_standalone_directive";
2620}
2621
2623 const OMPDeclareReductionDecl *D) {
2624 dumpName(D);
2625 dumpType(D->getType());
2626 OS << " combiner";
2628 if (const auto *Initializer = D->getInitializer()) {
2629 OS << " initializer";
2631 switch (D->getInitializerKind()) {
2633 OS << " omp_priv = ";
2634 break;
2636 OS << " omp_priv ()";
2637 break;
2639 break;
2640 }
2641 }
2642}
2643
2645 for (const auto *C : D->clauselists()) {
2646 AddChild([=] {
2647 if (!C) {
2648 ColorScope Color(OS, ShowColors, ASTDumpColor::Null);
2649 OS << "<<<NULL>>> OMPClause";
2650 return;
2651 }
2652 {
2653 ColorScope Color(OS, ShowColors, ASTDumpColor::Attr);
2654 StringRef ClauseName(
2655 llvm::omp::getOpenMPClauseName(C->getClauseKind()));
2656 OS << "OMP" << ClauseName.substr(/*Start=*/0, /*N=*/1).upper()
2657 << ClauseName.drop_front() << "Clause";
2658 }
2659 dumpPointer(C);
2660 dumpSourceRange(SourceRange(C->getBeginLoc(), C->getEndLoc()));
2661 });
2662 }
2663}
2664
2669
2671 dumpName(D);
2672 if (D->isInline())
2673 OS << " inline";
2674 if (D->isNested())
2675 OS << " nested";
2676 if (!D->isFirstDecl())
2677 dumpDeclRef(D->getFirstDecl(), "original");
2678
2680}
2681
2686
2691
2693 dumpName(D);
2695
2696 const TagDecl *TD = D->getUnderlyingType()->getAsTagDecl();
2697 if (TD && TD->getTypedefNameForAnonDecl()) {
2699 }
2700}
2701
2707
2709 VisitRecordDecl(D);
2710 if (const auto *Instance = D->getTemplateInstantiationPattern()) {
2711 OS << " instantiated_from";
2712 dumpPointer(Instance);
2713 }
2714 if (const auto *CTSD = dyn_cast<ClassTemplateSpecializationDecl>(D)) {
2715 dumpTemplateSpecializationKind(CTSD->getSpecializationKind());
2716 if (CTSD->hasStrictPackMatch())
2717 OS << " strict-pack-match";
2718 }
2719
2721
2722 if (!D->isCompleteDefinition())
2723 return;
2724
2725 AddChild([=] {
2726 {
2727 ColorScope Color(OS, ShowColors, ASTDumpColor::DeclKindName);
2728 OS << "DefinitionData";
2729 }
2730#define FLAG(fn, name) \
2731 if (D->fn()) \
2732 OS << " " #name;
2733 FLAG(isParsingBaseSpecifiers, parsing_base_specifiers);
2734
2735 FLAG(isGenericLambda, generic);
2736 FLAG(isLambda, lambda);
2737
2738 FLAG(isAnonymousStructOrUnion, is_anonymous);
2739 FLAG(canPassInRegisters, pass_in_registers);
2740 FLAG(isEmpty, empty);
2741 FLAG(isAggregate, aggregate);
2742 FLAG(isStandardLayout, standard_layout);
2743 FLAG(isTriviallyCopyable, trivially_copyable);
2744 FLAG(isPOD, pod);
2745 FLAG(isTrivial, trivial);
2746 FLAG(isPolymorphic, polymorphic);
2747 FLAG(isAbstract, abstract);
2748 FLAG(isLiteral, literal);
2749
2750 FLAG(hasUserDeclaredConstructor, has_user_declared_ctor);
2751 FLAG(hasConstexprNonCopyMoveConstructor, has_constexpr_non_copy_move_ctor);
2752 FLAG(hasMutableFields, has_mutable_fields);
2753 FLAG(hasVariantMembers, has_variant_members);
2754 FLAG(allowConstDefaultInit, can_const_default_init);
2755
2756 AddChild([=] {
2757 {
2758 ColorScope Color(OS, ShowColors, ASTDumpColor::DeclKindName);
2759 OS << "DefaultConstructor";
2760 }
2761 FLAG(hasDefaultConstructor, exists);
2762 FLAG(hasTrivialDefaultConstructor, trivial);
2763 FLAG(hasNonTrivialDefaultConstructor, non_trivial);
2764 FLAG(hasUserProvidedDefaultConstructor, user_provided);
2765 FLAG(hasConstexprDefaultConstructor, constexpr);
2766 FLAG(needsImplicitDefaultConstructor, needs_implicit);
2767 FLAG(defaultedDefaultConstructorIsConstexpr, defaulted_is_constexpr);
2768 });
2769
2770 AddChild([=] {
2771 {
2772 ColorScope Color(OS, ShowColors, ASTDumpColor::DeclKindName);
2773 OS << "CopyConstructor";
2774 }
2775 FLAG(hasSimpleCopyConstructor, simple);
2776 FLAG(hasTrivialCopyConstructor, trivial);
2777 FLAG(hasNonTrivialCopyConstructor, non_trivial);
2778 FLAG(hasUserDeclaredCopyConstructor, user_declared);
2779 FLAG(hasCopyConstructorWithConstParam, has_const_param);
2780 FLAG(needsImplicitCopyConstructor, needs_implicit);
2781 FLAG(needsOverloadResolutionForCopyConstructor,
2782 needs_overload_resolution);
2784 FLAG(defaultedCopyConstructorIsDeleted, defaulted_is_deleted);
2785 FLAG(implicitCopyConstructorHasConstParam, implicit_has_const_param);
2786 });
2787
2788 AddChild([=] {
2789 {
2790 ColorScope Color(OS, ShowColors, ASTDumpColor::DeclKindName);
2791 OS << "MoveConstructor";
2792 }
2793 FLAG(hasMoveConstructor, exists);
2794 FLAG(hasSimpleMoveConstructor, simple);
2795 FLAG(hasTrivialMoveConstructor, trivial);
2796 FLAG(hasNonTrivialMoveConstructor, non_trivial);
2797 FLAG(hasUserDeclaredMoveConstructor, user_declared);
2798 FLAG(needsImplicitMoveConstructor, needs_implicit);
2799 FLAG(needsOverloadResolutionForMoveConstructor,
2800 needs_overload_resolution);
2802 FLAG(defaultedMoveConstructorIsDeleted, defaulted_is_deleted);
2803 });
2804
2805 AddChild([=] {
2806 {
2807 ColorScope Color(OS, ShowColors, ASTDumpColor::DeclKindName);
2808 OS << "CopyAssignment";
2809 }
2810 FLAG(hasSimpleCopyAssignment, simple);
2811 FLAG(hasTrivialCopyAssignment, trivial);
2812 FLAG(hasNonTrivialCopyAssignment, non_trivial);
2813 FLAG(hasCopyAssignmentWithConstParam, has_const_param);
2814 FLAG(hasUserDeclaredCopyAssignment, user_declared);
2815 FLAG(needsImplicitCopyAssignment, needs_implicit);
2816 FLAG(needsOverloadResolutionForCopyAssignment, needs_overload_resolution);
2817 FLAG(implicitCopyAssignmentHasConstParam, implicit_has_const_param);
2818 });
2819
2820 AddChild([=] {
2821 {
2822 ColorScope Color(OS, ShowColors, ASTDumpColor::DeclKindName);
2823 OS << "MoveAssignment";
2824 }
2825 FLAG(hasMoveAssignment, exists);
2826 FLAG(hasSimpleMoveAssignment, simple);
2827 FLAG(hasTrivialMoveAssignment, trivial);
2828 FLAG(hasNonTrivialMoveAssignment, non_trivial);
2829 FLAG(hasUserDeclaredMoveAssignment, user_declared);
2830 FLAG(needsImplicitMoveAssignment, needs_implicit);
2831 FLAG(needsOverloadResolutionForMoveAssignment, needs_overload_resolution);
2832 });
2833
2834 AddChild([=] {
2835 {
2836 ColorScope Color(OS, ShowColors, ASTDumpColor::DeclKindName);
2837 OS << "Destructor";
2838 }
2839 FLAG(hasSimpleDestructor, simple);
2840 FLAG(hasIrrelevantDestructor, irrelevant);
2841 FLAG(hasTrivialDestructor, trivial);
2842 FLAG(hasNonTrivialDestructor, non_trivial);
2843 FLAG(hasUserDeclaredDestructor, user_declared);
2844 FLAG(hasConstexprDestructor, constexpr);
2845 FLAG(needsImplicitDestructor, needs_implicit);
2846 FLAG(needsOverloadResolutionForDestructor, needs_overload_resolution);
2848 FLAG(defaultedDestructorIsDeleted, defaulted_is_deleted);
2849 });
2850 });
2851
2852 for (const auto &I : D->bases()) {
2853 AddChild([=] {
2854 if (I.isVirtual())
2855 OS << "virtual ";
2856 dumpAccessSpecifier(I.getAccessSpecifier());
2857 dumpType(I.getType());
2858 if (I.isPackExpansion())
2859 OS << "...";
2860 });
2861 }
2862}
2863
2868
2873
2878
2882
2884 if (const auto *TC = D->getTypeConstraint()) {
2885 OS << " ";
2886 dumpBareDeclRef(TC->getNamedConcept());
2887 if (TC->getNamedConcept() != TC->getFoundDecl()) {
2888 OS << " (";
2889 dumpBareDeclRef(TC->getFoundDecl());
2890 OS << ")";
2891 }
2892 } else if (D->wasDeclaredWithTypename())
2893 OS << " typename";
2894 else
2895 OS << " class";
2896 OS << " depth " << D->getDepth() << " index " << D->getIndex();
2897 if (D->isParameterPack())
2898 OS << " ...";
2899 dumpName(D);
2900}
2901
2903 const NonTypeTemplateParmDecl *D) {
2904 dumpType(D->getType());
2905 OS << " depth " << D->getDepth() << " index " << D->getIndex();
2906 if (D->isParameterPack())
2907 OS << " ...";
2908 dumpName(D);
2909}
2910
2912 const TemplateTemplateParmDecl *D) {
2913 OS << " depth " << D->getDepth() << " index " << D->getIndex();
2914 if (D->isParameterPack())
2915 OS << " ...";
2916 dumpName(D);
2917}
2918
2920 OS << ' ';
2922 OS << D->getDeclName();
2924}
2925
2927 OS << ' ';
2929}
2930
2932 const UnresolvedUsingTypenameDecl *D) {
2933 OS << ' ';
2935 OS << D->getDeclName();
2936}
2937
2939 const UnresolvedUsingValueDecl *D) {
2940 OS << ' ';
2942 OS << D->getDeclName();
2943 dumpType(D->getType());
2944}
2945
2950
2952 const ConstructorUsingShadowDecl *D) {
2953 if (D->constructsVirtualBase())
2954 OS << " virtual";
2955
2956 AddChild([=] {
2957 OS << "target ";
2959 });
2960
2961 AddChild([=] {
2962 OS << "nominated ";
2964 OS << ' ';
2966 });
2967
2968 AddChild([=] {
2969 OS << "constructed ";
2971 OS << ' ';
2973 });
2974}
2975
2977 switch (D->getLanguage()) {
2979 OS << " C";
2980 break;
2982 OS << " C++";
2983 break;
2984 }
2985}
2986
2988 OS << ' ';
2990}
2991
2993 const ExplicitInstantiationDecl *D) {
2995 if (D->isExternTemplate())
2996 OS << " extern";
2997 if (D->getQualifierLoc())
2999 if (const NamedDecl *Spec = D->getSpecialization()) {
3000 OS << " '" << Spec->getDeclName() << "'";
3001 dumpDeclRef(Spec);
3002 }
3003}
3004
3006 if (TypeSourceInfo *T = D->getFriendType())
3007 dumpType(T->getType());
3008 if (D->isPackExpansion())
3009 OS << "...";
3010}
3011
3013 dumpName(D);
3014 dumpType(D->getType());
3015 if (D->getSynthesize())
3016 OS << " synthesize";
3017
3018 switch (D->getAccessControl()) {
3019 case ObjCIvarDecl::None:
3020 OS << " none";
3021 break;
3023 OS << " private";
3024 break;
3026 OS << " protected";
3027 break;
3029 OS << " public";
3030 break;
3032 OS << " package";
3033 break;
3034 }
3035}
3036
3038 if (D->isInstanceMethod())
3039 OS << " -";
3040 else
3041 OS << " +";
3042 dumpName(D);
3043 dumpType(D->getReturnType());
3044
3045 if (D->isVariadic())
3046 OS << " variadic";
3047}
3048
3050 dumpName(D);
3051 switch (D->getVariance()) {
3053 break;
3054
3056 OS << " covariant";
3057 break;
3058
3060 OS << " contravariant";
3061 break;
3062 }
3063
3064 if (D->hasExplicitBound())
3065 OS << " bounded";
3067}
3068
3070 dumpName(D);
3073 for (const auto *P : D->protocols())
3074 dumpDeclRef(P);
3075}
3076
3082
3084 dumpName(D);
3085
3086 for (const auto *Child : D->protocols())
3087 dumpDeclRef(Child);
3088}
3089
3091 dumpName(D);
3092 dumpDeclRef(D->getSuperClass(), "super");
3093
3095 for (const auto *Child : D->protocols())
3096 dumpDeclRef(Child);
3097}
3098
3105
3111
3113 dumpName(D);
3114 dumpType(D->getType());
3115
3117 OS << " required";
3119 OS << " optional";
3120
3124 OS << " readonly";
3126 OS << " assign";
3128 OS << " readwrite";
3130 OS << " retain";
3132 OS << " copy";
3134 OS << " nonatomic";
3136 OS << " atomic";
3138 OS << " weak";
3140 OS << " strong";
3142 OS << " unsafe_unretained";
3144 OS << " class";
3146 OS << " direct";
3148 dumpDeclRef(D->getGetterMethodDecl(), "getter");
3150 dumpDeclRef(D->getSetterMethodDecl(), "setter");
3151 }
3152}
3153
3157 OS << " synthesize";
3158 else
3159 OS << " dynamic";
3162}
3163
3165 if (D->isVariadic())
3166 OS << " variadic";
3167
3168 if (D->capturesCXXThis())
3169 OS << " captures_this";
3170}
3171
3176
3178 VisitStmt(S);
3179 if (S->hasStoredFPFeatures())
3180 printFPOptions(S->getStoredFPFeatures());
3181}
3182
3184 if (D->isCBuffer())
3185 OS << " cbuffer";
3186 else
3187 OS << " tbuffer";
3188 dumpName(D);
3189}
3190
3192 const HLSLRootSignatureDecl *D) {
3193 dumpName(D);
3194 OS << " version: ";
3195 switch (D->getVersion()) {
3196 case llvm::dxbc::RootSignatureVersion::V1_0:
3197 OS << "1.0";
3198 break;
3199 case llvm::dxbc::RootSignatureVersion::V1_1:
3200 OS << "1.1";
3201 break;
3202 case llvm::dxbc::RootSignatureVersion::V1_2:
3203 OS << "1.2";
3204 break;
3205 }
3206 OS << ", ";
3207 llvm::hlsl::rootsig::dumpRootElements(OS, D->getRootElements());
3208}
3209
3211 OS << (E->isInOut() ? " inout" : " out");
3212}
3213
3218 if (S->isOrphanedLoopConstruct())
3219 OS << " <orphan>";
3220 else
3221 OS << " parent: " << S->getParentComputeConstructKind();
3222}
3223
3228
3232
3237
3242
3247
3252 const OpenACCCacheConstruct *S) {
3254 if (S->hasReadOnly())
3255 OS <<" readonly";
3256}
3271
3277
3279 OS << " " << D->getDirectiveKind();
3280
3281 for (const OpenACCClause *C : D->clauses())
3282 AddChild([=] {
3283 Visit(C);
3284 for (const Stmt *S : C->children())
3285 AddChild([=] { Visit(S); });
3286 });
3287}
3289 OS << " " << D->getDirectiveKind();
3290
3292
3293 AddChild([=] { Visit(D->getFunctionReference()); });
3294
3295 for (const OpenACCClause *C : D->clauses())
3296 AddChild([=] {
3297 Visit(C);
3298 for (const Stmt *S : C->children())
3299 AddChild([=] { Visit(S); });
3300 });
3301}
3302
3304 const OpenACCRoutineDeclAttr *A) {
3305 for (const OpenACCClause *C : A->Clauses)
3306 AddChild([=] {
3307 Visit(C);
3308 for (const Stmt *S : C->children())
3309 AddChild([=] { Visit(S); });
3310 });
3311}
3312
3314 AddChild("begin", [=] { OS << S->getStartingElementPos(); });
3315 AddChild("number of elements", [=] { OS << S->getDataElementCount(); });
3316}
3317
3319 OS << ' ' << AE->getOpAsString();
3320}
3321
3323 VisitStmt(S);
3324 if (S->hasStoredFPFeatures())
3325 printFPOptions(S->getStoredFPFeatures());
3326}
static double GetApproxValue(const llvm::APFloat &F)
Definition APValue.cpp:646
#define V(N, I)
static bool isTrivial(ASTContext &Ctx, const Expr *E)
Checks if the expression is constant or does not have non-trivial function calls.
This file defines OpenMP nodes for declarative directives.
Defines the C++ template declaration subclasses.
#define X(type, name)
Definition Value.h:97
Defines the clang::Module class, which describes a module in the source code.
static std::string toString(const clang::SanitizerSet &Sanitizers)
Produce a string containing comma-separated names of sanitizers in Sanitizers set.
static bool canPassInRegisters(Sema &S, CXXRecordDecl *D, TargetInfo::CallingConvKind CCK)
Determine whether a type is permitted to be passed or returned in registers, per C++ [class....
Defines the SourceManager interface.
Defines various enumerations that describe declaration and type specifiers.
static bool isSimpleAPValue(const APValue &Value)
True if the APValue Value can be folded onto the current line.
#define FLAG(fn, name)
static void dumpBasePath(raw_ostream &OS, const CastExpr *Node)
static void dumpPreviousDeclImpl(raw_ostream &OS,...)
static void dumpPreviousDecl(raw_ostream &OS, const Decl *D)
Dump the previous declaration in the redeclaration chain for a declaration, if any.
Defines enumerations for the type traits support.
C Language Family Type Representation.
OpenACCAtomicKind getAtomicKind() const
bool hasReadOnly() const
This class represents a 'loop' construct. The 'loop' construct applies to a 'for' loop (or range-for ...
bool isOrphanedLoopConstruct() const
OpenACC 3.3 2.9: An orphaned loop construct is a loop construct that is not lexically enclosed within...
OpenACCDirectiveKind getParentComputeConstructKind() const
llvm::APInt getValue() const
QualType getDynamicAllocType() const
Definition APValue.cpp:122
APValue - This class implements a discriminated union of [uninitialized] [APSInt] [APFloat],...
Definition APValue.h:122
@ Indeterminate
This object has an indeterminate value (C++ [basic.indet]).
Definition APValue.h:131
@ None
There is no such object (it's outside its lifetime).
Definition APValue.h:129
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Definition ASTContext.h:227
ArrayRef< Decl * > getModuleInitializers(Module *M)
Get the initializations to perform when importing a module, if any.
const clang::PrintingPolicy & getPrintingPolicy() const
Definition ASTContext.h:858
ArrayRef< Module * > getModulesWithMergedDefinition(const NamedDecl *Def)
Get the additional modules in which the definition Def has been merged.
Represents an access specifier followed by colon ':'.
Definition DeclCXX.h:86
AddrLabelExpr - The GNU address of label extension, representing &&label.
Definition Expr.h:4553
LabelDecl * getLabel() const
Definition Expr.h:4576
An Embarcadero array type trait, as used in the implementation of __array_rank and __array_extent.
Definition ExprCXX.h:3000
ArrayTypeTrait getTrait() const
Definition ExprCXX.h:3040
Represents an array type, per C99 6.7.5.2 - Array Declarators.
Definition TypeBase.h:3777
AtomicExpr - Variadic atomic builtins: __atomic_exchange, __atomic_fetch_*, __atomic_load,...
Definition Expr.h:6929
StringRef getOpAsString() const
Definition Expr.h:6993
Attr - This represents one attribute.
Definition Attr.h:46
attr::Kind getKind() const
Definition Attr.h:92
bool isInherited() const
Definition Attr.h:101
bool isImplicit() const
Returns true if the attribute has been implicitly created instead of explicitly written by the user.
Definition Attr.h:105
A builtin binary operation expression such as "x + y" or "x <= y".
Definition Expr.h:4041
StringRef getOpcodeStr() const
Definition Expr.h:4107
bool hasStoredFPFeatures() const
Definition Expr.h:4226
FPOptionsOverride getStoredFPFeatures() const
Get FPFeatures from trailing storage.
Definition Expr.h:4238
Opcode getOpcode() const
Definition Expr.h:4086
A binding in a decomposition declaration.
Definition DeclCXX.h:4190
A class which contains all the information about a particular captured value.
Definition Decl.h:4696
Represents a block literal declaration, which is like an unnamed FunctionDecl.
Definition Decl.h:4690
bool capturesCXXThis() const
Definition Decl.h:4822
bool isVariadic() const
Definition Decl.h:4765
Represents the builtin template declaration which is used to implement __make_integer_seq and other b...
Represents a base class of a C++ class.
Definition DeclCXX.h:146
Represents binding an expression to a temporary.
Definition ExprCXX.h:1497
A boolean literal, per ([C++ lex.bool] Boolean literals).
Definition ExprCXX.h:727
bool getValue() const
Definition ExprCXX.h:744
Represents a call to a C++ constructor.
Definition ExprCXX.h:1552
bool isElidable() const
Whether this construction is elidable.
Definition ExprCXX.h:1621
bool isStdInitListInitialization() const
Whether this constructor call was written as list-initialization, but was interpreted as forming a st...
Definition ExprCXX.h:1645
bool isImmediateEscalating() const
Definition ExprCXX.h:1710
bool requiresZeroInitialization() const
Whether this construction first requires zero-initialization before the initializer is called.
Definition ExprCXX.h:1654
CXXConstructorDecl * getConstructor() const
Get the constructor that this expression will (ultimately) call.
Definition ExprCXX.h:1615
bool isListInitialization() const
Whether this constructor call was written as list-initialization.
Definition ExprCXX.h:1634
Represents a C++ constructor within a class.
Definition DeclCXX.h:2620
Represents a C++ base or member initializer.
Definition DeclCXX.h:2385
Represents a C++ deduction guide declaration.
Definition DeclCXX.h:1983
DeductionCandidate getDeductionCandidateKind() const
Definition DeclCXX.h:2078
A default argument (C++ [dcl.fct.default]).
Definition ExprCXX.h:1274
bool hasRewrittenInit() const
Definition ExprCXX.h:1319
A use of a default initializer in a constructor or in aggregate initialization.
Definition ExprCXX.h:1381
bool hasRewrittenInit() const
Definition ExprCXX.h:1410
Represents a delete expression for memory deallocation and destructor calls, e.g.
Definition ExprCXX.h:2630
FunctionDecl * getOperatorDelete() const
Definition ExprCXX.h:2669
bool isArrayForm() const
Definition ExprCXX.h:2656
bool isGlobalDelete() const
Definition ExprCXX.h:2655
Represents a C++ member access expression where the actual member referenced could not be resolved be...
Definition ExprCXX.h:3870
bool isArrow() const
Determine whether this member expression used the '->' operator; otherwise, it used the '.
Definition ExprCXX.h:3969
DeclarationName getMember() const
Retrieve the name of the member that this expression refers to.
Definition ExprCXX.h:4008
Represents an explicit C++ type conversion that uses "functional" notation (C++ [expr....
Definition ExprCXX.h:1835
Represents a static or instance method of a struct/union/class.
Definition DeclCXX.h:2132
Abstract class common to all of the C++ "named"/"keyword" casts.
Definition ExprCXX.h:379
const char * getCastName() const
getCastName - Get the name of the C++ cast being used, e.g., "static_cast", "dynamic_cast",...
Definition ExprCXX.cpp:770
Represents a new-expression for memory allocation and constructor calls, e.g: "new CXXNewExpr(foo)".
Definition ExprCXX.h:2359
bool isArray() const
Definition ExprCXX.h:2468
FunctionDecl * getOperatorNew() const
Definition ExprCXX.h:2463
bool isGlobalNew() const
Definition ExprCXX.h:2525
A call to an overloaded operator written using operator syntax.
Definition ExprCXX.h:85
OverloadedOperatorKind getOperator() const
Returns the kind of overloaded operator that this expression refers to.
Definition ExprCXX.h:115
Represents a C++ struct/union/class.
Definition DeclCXX.h:258
base_class_range bases()
Definition DeclCXX.h:608
const CXXRecordDecl * getTemplateInstantiationPattern() const
Retrieve the record declaration from which this record could be instantiated.
Definition DeclCXX.cpp:2085
bool needsOverloadResolutionForMoveConstructor() const
Determine whether we need to eagerly declare a defaulted move constructor for this class.
Definition DeclCXX.h:902
bool needsOverloadResolutionForDestructor() const
Determine whether we need to eagerly declare a destructor for this class.
Definition DeclCXX.h:1013
bool needsOverloadResolutionForCopyConstructor() const
Determine whether we need to eagerly declare a defaulted copy constructor for this class.
Definition DeclCXX.h:805
A C++ static_cast expression (C++ [expr.static.cast]).
Definition ExprCXX.h:440
Represents the this expression in C++.
Definition ExprCXX.h:1158
bool isCapturedByCopyInLambdaWithExplicitObjectParameter() const
Definition ExprCXX.h:1184
bool isImplicit() const
Definition ExprCXX.h:1181
Describes an explicit type conversion that uses functional notion but could not be resolved because o...
Definition ExprCXX.h:3744
bool isListInitialization() const
Determine whether this expression models list-initialization.
Definition ExprCXX.h:3799
QualType getTypeAsWritten() const
Retrieve the type that is being constructed, as specified in the source code.
Definition ExprCXX.h:3778
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
Definition Expr.h:2946
bool hasStoredFPFeatures() const
Definition Expr.h:3105
bool usesADL() const
Definition Expr.h:3103
FPOptionsOverride getFPFeatures() const
Definition Expr.h:3245
Represents the body of a CapturedStmt, and serves as its DeclContext.
Definition Decl.h:4962
bool isNothrow() const
Definition Decl.cpp:5701
CaseStmt - Represent a case statement.
Definition Stmt.h:1926
bool caseStmtIsGNURange() const
True if this case statement is of the form case LHS ... RHS, which is a GNU extension.
Definition Stmt.h:1989
CastExpr - Base class for type casts, including both implicit casts (ImplicitCastExpr) and explicit c...
Definition Expr.h:3679
path_iterator path_begin()
Definition Expr.h:3749
bool hasStoredFPFeatures() const
Definition Expr.h:3778
static const char * getCastKindName(CastKind CK)
Definition Expr.cpp:1951
path_iterator path_end()
Definition Expr.h:3750
const CXXBaseSpecifier *const * path_const_iterator
Definition Expr.h:3746
bool path_empty() const
Definition Expr.h:3747
FPOptionsOverride getFPFeatures() const
Definition Expr.h:3799
unsigned getValue() const
Definition Expr.h:1632
Declaration of a class template.
Represents a 'co_await' expression.
Definition ExprCXX.h:5365
bool isImplicit() const
Definition ExprCXX.h:5387
CompoundAssignOperator - For compound assignments (e.g.
Definition Expr.h:4303
QualType getComputationLHSType() const
Definition Expr.h:4337
QualType getComputationResultType() const
Definition Expr.h:4340
CompoundStmt - This represents a group of statements like { stmt stmt }.
Definition Stmt.h:1746
FPOptionsOverride getStoredFPFeatures() const
Get FPOptionsOverride from trailing storage.
Definition Stmt.h:1796
bool hasStoredFPFeatures() const
Definition Stmt.h:1793
Declaration of a C++20 concept.
A reference to a concept and its template args, as it appears in the code.
Definition ASTConcept.h:130
Represents the specialization of a concept - evaluates to a prvalue of type bool.
NamedDecl * getFoundDecl() const
Represents the canonical version of C arrays with a specified constant size.
Definition TypeBase.h:3815
ConstantExpr - An expression that occurs in a constant context and optionally the result of evaluatin...
Definition Expr.h:1085
APValue getAPValueResult() const
Definition Expr.cpp:413
bool hasAPValueResult() const
Definition Expr.h:1160
Represents a shadow constructor declaration introduced into a class by a C++11 using-declaration that...
Definition DeclCXX.h:3682
CXXRecordDecl * getConstructedBaseClass() const
Get the base class whose constructor or constructor shadow declaration is passed the constructor argu...
Definition DeclCXX.h:3773
bool constructsVirtualBase() const
Returns true if the constructed base class is a virtual base class subobject of this declaration's cl...
Definition DeclCXX.h:3782
ConstructorUsingShadowDecl * getConstructedBaseClassShadowDecl() const
Get the inheriting constructor declaration for the base class for which we don't have an explicit ini...
Definition DeclCXX.h:3763
ConstructorUsingShadowDecl * getNominatedBaseClassShadowDecl() const
Get the inheriting constructor declaration for the direct base class from which this using shadow dec...
Definition DeclCXX.h:3757
CXXRecordDecl * getNominatedBaseClass() const
Get the base class that was named in the using declaration.
Definition DeclCXX.cpp:3502
ConvertVectorExpr - Clang builtin function __builtin_convertvector This AST node provides support for...
Definition Expr.h:4722
FPOptionsOverride getStoredFPFeatures() const
Get FPFeatures from trailing storage.
Definition Expr.h:4785
bool hasStoredFPFeatures() const
Is FPFeatures in Trailing Storage?
Definition Expr.h:4780
Represents a 'co_return' statement in the C++ Coroutines TS.
Definition StmtCXX.h:473
bool isImplicit() const
Definition StmtCXX.h:506
DeclContext * getParent()
getParent - Returns the containing DeclContext.
Definition DeclBase.h:2122
A reference to a declared variable, function, enum, etc.
Definition Expr.h:1273
NamedDecl * getFoundDecl()
Get the NamedDecl through which this reference occurred.
Definition Expr.h:1384
NestedNameSpecifier getQualifier() const
If the name was qualified, retrieves the nested-name-specifier that precedes the name.
Definition Expr.h:1374
bool refersToEnclosingVariableOrCapture() const
Does this DeclRefExpr refer to an enclosing local or a captured variable?
Definition Expr.h:1477
bool isCapturedByCopyInLambdaWithExplicitObjectParameter() const
Definition Expr.h:1489
ValueDecl * getDecl()
Definition Expr.h:1341
NonOdrUseReason isNonOdrUse() const
Is this expression a non-odr-use reference, and if so, why?
Definition Expr.h:1471
bool isImmediateEscalating() const
Definition Expr.h:1481
Decl - This represents one declaration (or definition), e.g.
Definition DeclBase.h:86
TemplateDecl * getDescribedTemplate() const
If this is a declaration that describes some template, this method returns that template declaration.
Definition DeclBase.cpp:285
FriendObjectKind getFriendObjectKind() const
Determines whether this declaration is the object of a friend declaration and, if so,...
Definition DeclBase.h:1239
ASTContext & getASTContext() const LLVM_READONLY
Definition DeclBase.cpp:547
bool isImplicit() const
isImplicit - Indicates whether the declaration was implicitly generated by the implementation.
Definition DeclBase.h:601
@ FOK_Undeclared
A friend of a previously-undeclared entity.
Definition DeclBase.h:1232
@ FOK_None
Not a friend object.
Definition DeclBase.h:1230
@ FOK_Declared
A friend of a previously-declared entity.
Definition DeclBase.h:1231
Module * getOwningModule() const
Get the module that owns this declaration (for visibility purposes).
Definition DeclBase.h:850
bool isFromASTFile() const
Determine whether this declaration came from an AST file (such as a precompiled header or module) rat...
Definition DeclBase.h:801
bool isInvalidDecl() const
Definition DeclBase.h:596
SourceLocation getLocation() const
Definition DeclBase.h:447
const char * getDeclKindName() const
Definition DeclBase.cpp:169
bool isThisDeclarationReferenced() const
Whether this declaration was referenced.
Definition DeclBase.h:629
bool isUsed(bool CheckUsedAttr=true) const
Whether any (re-)declaration of the entity was used, meaning that a definition is required.
Definition DeclBase.cpp:576
DeclContext * getDeclContext()
Definition DeclBase.h:456
AccessSpecifier getAccess() const
Definition DeclBase.h:515
DeclContext * getLexicalDeclContext()
getLexicalDeclContext - The declaration context where this Decl was lexically declared (LexicalDC).
Definition DeclBase.h:931
Kind getKind() const
Definition DeclBase.h:450
virtual SourceRange getSourceRange() const LLVM_READONLY
Source range that this declaration covers.
Definition DeclBase.h:435
The name of a declaration.
NestedNameSpecifier getQualifier() const
Retrieve the nested-name-specifier that qualifies the name of this declaration, if it was present in ...
Definition Decl.h:837
TemplateName getUnderlying() const
DefaultArguments getDefaultArguments() const
A qualified reference to a name whose declaration cannot yet be resolved.
Definition ExprCXX.h:3510
NestedNameSpecifier getQualifier() const
Retrieve the nested-name-specifier that qualifies this declaration.
Definition ExprCXX.h:3562
Represents an array type in C++ whose size is a value-dependent expression.
Definition TypeBase.h:4066
Represents an extended vector type where either the type or size is dependent.
Definition TypeBase.h:4156
NestedNameSpecifier getQualifier() const
Return the nested name specifier that qualifies this name.
Symbolic representation of a dynamic allocation.
Definition APValue.h:65
IdentifierInfo & getAccessor() const
Definition Expr.h:6586
Represents a reference to emded data.
Definition Expr.h:5129
unsigned getStartingElementPos() const
Definition Expr.h:5150
size_t getDataElementCount() const
Definition Expr.h:5151
An instance of this object exists for each enum constant that is defined.
Definition Decl.h:3441
Represents an enum.
Definition Decl.h:4029
bool isScoped() const
Returns true if this is a C++11 scoped enumeration.
Definition Decl.h:4247
bool isScopedUsingClassTag() const
Returns true if this is a C++11 scoped enumeration.
Definition Decl.h:4250
bool isFixed() const
Returns true if this is an Objective-C, C++11, or Microsoft-style enumeration with a fixed underlying...
Definition Decl.h:4256
QualType getIntegerType() const
Return the integer type this enum decl corresponds to.
Definition Decl.h:4202
EnumDecl * getTemplateInstantiationPattern() const
Retrieve the enum definition from which this enumeration could be instantiated, if it is an instantia...
Definition Decl.cpp:5134
QualType getTypeAsWritten() const
getTypeAsWritten - Returns the type that this expression is casting to, as written in the source code...
Definition Expr.h:3958
Represents an explicit instantiation of a template entity in source code.
TemplateSpecializationKind getTemplateSpecializationKind() const
NamedDecl * getSpecialization() const
NestedNameSpecifierLoc getQualifierLoc() const
Returns the qualifier regardless of where it is stored.
Represents an expression – generally a full-expression – that introduces cleanups to be run at the en...
Definition ExprCXX.h:3661
CleanupObject getObject(unsigned i) const
Definition ExprCXX.h:3691
unsigned getNumObjects() const
Definition ExprCXX.h:3689
llvm::PointerUnion< BlockDecl *, CompoundLiteralExpr * > CleanupObject
The type of objects that are kept in the cleanup.
Definition ExprCXX.h:3667
This represents one expression.
Definition Expr.h:112
bool isValueDependent() const
Determines whether the value of this expression depends on.
Definition Expr.h:177
QualType getType() const
Definition Expr.h:144
An expression trait intrinsic.
Definition ExprCXX.h:3073
ExpressionTrait getTrait() const
Definition ExprCXX.h:3108
ExtVectorElementExpr - This represents access to specific elements of a vector, and may occur on the ...
Definition Expr.h:6611
Represents difference between two FPOptions values.
Represents a member of a struct/union/class.
Definition Decl.h:3178
bool isMutable() const
Determines whether this field is mutable (C++ only).
Definition Decl.h:3278
std::string getValueAsString(unsigned Radix) const
Definition Expr.cpp:1010
double getValueAsApproximateDouble() const
getValueAsApproximateDouble - This returns the value as an inaccurate double.
Definition Expr.cpp:1089
FriendDecl - Represents the declaration of a friend entity, which can be a function,...
Definition DeclFriend.h:54
TypeSourceInfo * getFriendType() const
If this friend declaration names an (untemplated but possibly dependent) type, return the type; other...
Definition DeclFriend.h:125
bool isPackExpansion() const
Definition DeclFriend.h:190
Represents a function declaration or definition.
Definition Decl.h:2018
StringLiteral * getDeletedMessage() const
Get the message that indicates why this function was deleted.
Definition Decl.h:2776
bool isInlined() const
Determine whether this function should be inlined, because it is either marked "inline" or "constexpr...
Definition Decl.h:2939
FunctionDecl * getTemplateInstantiationPattern(bool ForDefinition=true) const
Retrieve the function declaration from which this function could be instantiated, if it is an instant...
Definition Decl.cpp:4259
bool isTrivial() const
Whether this function is "trivial" in some specialized C++ senses.
Definition Decl.h:2395
param_iterator param_begin()
Definition Decl.h:2804
bool isDeleted() const
Whether this function has been deleted.
Definition Decl.h:2558
StorageClass getStorageClass() const
Returns the storage class as written in the source.
Definition Decl.h:2906
bool isDeletedAsWritten() const
Definition Decl.h:2562
bool isPureVirtual() const
Whether this virtual function is pure, i.e.
Definition Decl.h:2371
bool param_empty() const
Definition Decl.h:2803
bool isDefaulted() const
Whether this function is defaulted.
Definition Decl.h:2403
bool isIneligibleOrNotSelected() const
Definition Decl.h:2436
TemplateSpecializationKind getTemplateSpecializationKind() const
Determine what kind of template instantiation this function represents.
Definition Decl.cpp:4412
bool isVirtualAsWritten() const
Whether this function is marked as virtual explicitly.
Definition Decl.h:2362
unsigned getNumParams() const
Return the number of parameters this function must have based on its FunctionType.
Definition Decl.cpp:3821
bool isInlineSpecified() const
Determine whether the "inline" keyword was specified for this function.
Definition Decl.h:2917
Represents a prototype with parameter type info, e.g.
Definition TypeBase.h:5362
Declaration of a template function.
FunctionType - C99 6.7.5.3 - Function Declarators.
Definition TypeBase.h:4558
static StringRef getNameForCallConv(CallingConv CC)
Definition Type.cpp:3699
Represents a C11 generic selection.
Definition Expr.h:6183
AssociationTy< true > ConstAssociation
Definition Expr.h:6417
bool isResultDependent() const
Whether this generic selection is result-dependent.
Definition Expr.h:6437
GotoStmt - This represents a direct goto.
Definition Stmt.h:2975
LabelDecl * getLabel() const
Definition Stmt.h:2988
HLSLBufferDecl - Represent a cbuffer or tbuffer declaration.
Definition Decl.h:5212
bool isCBuffer() const
Definition Decl.h:5256
This class represents temporary values used to represent inout and out arguments in HLSL.
Definition Expr.h:7398
bool isInOut() const
returns true if the parameter is inout and false if the parameter is out.
Definition Expr.h:7457
ArrayRef< llvm::hlsl::rootsig::RootElement > getRootElements() const
Definition Decl.h:5329
llvm::dxbc::RootSignatureVersion getVersion() const
Definition Decl.h:5327
const char * getNameStart() const
Return the beginning of the actual null-terminated string for this identifier.
StringRef getName() const
Return the actual identifier string.
IfStmt - This represents an if/then/else.
Definition Stmt.h:2265
bool hasElseStorage() const
True if this IfStmt has storage for an else statement.
Definition Stmt.h:2340
bool hasVarStorage() const
True if this IfStmt has storage for a variable declaration.
Definition Stmt.h:2337
bool isConstexpr() const
Definition Stmt.h:2458
bool hasInitStorage() const
True if this IfStmt has the storage for an init statement.
Definition Stmt.h:2334
bool isNegatedConsteval() const
Definition Stmt.h:2454
bool isConsteval() const
Definition Stmt.h:2445
ImplicitCastExpr - Allows us to explicitly represent implicit type conversions, which have no direct ...
Definition Expr.h:3856
bool isPartOfExplicitCast() const
Definition Expr.h:3887
Describes a module import declaration, which makes the contents of the named module visible in the cu...
Definition Decl.h:5071
Module * getImportedModule() const
Retrieve the module that was imported by the import declaration.
Definition Decl.h:5129
Represents a field injected from an anonymous union/struct into the parent scope.
Definition Decl.h:3485
ArrayRef< NamedDecl * > chain() const
Definition Decl.h:3506
Describes an C or C++ initializer list.
Definition Expr.h:5302
FieldDecl * getInitializedFieldInUnion()
If this initializes a union, specifies which field in the union to initialize.
Definition Expr.h:5426
Represents the declaration of a label.
Definition Decl.h:524
LabelStmt - Represents a label, which has a substatement.
Definition Stmt.h:2152
bool isSideEntry() const
Definition Stmt.h:2199
const char * getName() const
Definition Stmt.cpp:437
Implicit declaration of a temporary that was materialized by a MaterializeTemporaryExpr and lifetime-...
Definition DeclCXX.h:3313
Represents a linkage specification.
Definition DeclCXX.h:3020
LinkageSpecLanguageIDs getLanguage() const
Return the language specified by this linkage specification.
Definition DeclCXX.h:3043
Base class for BreakStmt and ContinueStmt.
Definition Stmt.h:3063
LabelDecl * getLabelDecl()
Definition Stmt.h:3101
const Stmt * getNamedLoopOrSwitch() const
If this is a named break/continue, get the loop or switch statement that this targets.
Definition Stmt.cpp:1535
bool hasLabelTarget() const
Definition Stmt.h:3096
Represents a prvalue temporary that is written into memory so that a reference can bind to it.
Definition ExprCXX.h:4920
ValueDecl * getExtendingDecl()
Get the declaration which triggered the lifetime-extension of this temporary, if any.
Definition ExprCXX.h:4970
MemberExpr - [C99 6.5.2.3] Structure and Union Members.
Definition Expr.h:3367
NestedNameSpecifier getQualifier() const
If the member name was qualified, retrieves the nested-name-specifier that precedes the member name.
Definition Expr.h:3478
ValueDecl * getMemberDecl() const
Retrieve the member declaration to which this expression refers.
Definition Expr.h:3450
NonOdrUseReason isNonOdrUse() const
Is this expression a non-odr-use reference, and if so, why?
Definition Expr.h:3591
bool isArrow() const
Definition Expr.h:3551
Provides common interface for the Decls that cannot be redeclared, but can be merged if the same decl...
decl_type * getFirstDecl()
Return the first declaration of this declaration or itself if this is the only declaration.
Describes a module or submodule.
Definition Module.h:301
std::string getFullModuleName(bool AllowStringLiterals=false) const
Retrieve the full name of this module, including the path from its top-level module.
Definition Module.cpp:239
This represents a decl that may have a name.
Definition Decl.h:274
bool isModulePrivate() const
Whether this declaration was marked as being private to the module in which it was defined.
Definition DeclBase.h:656
IdentifierInfo * getIdentifier() const
Get the identifier that names this declaration, if there is one.
Definition Decl.h:295
StringRef getName() const
Get the name of identifier for this declaration as a StringRef.
Definition Decl.h:301
DeclarationName getDeclName() const
Get the actual, stored name of the declaration, which may be a special name.
Definition Decl.h:340
Linkage getFormalLinkage() const
Get the linkage from a semantic point of view.
Definition Decl.cpp:1207
Represents a C++ namespace alias.
Definition DeclCXX.h:3206
NamespaceBaseDecl * getAliasedNamespace() const
Retrieve the namespace that this alias refers to, which may either be a NamespaceDecl or a NamespaceA...
Definition DeclCXX.h:3299
Represent a C++ namespace.
Definition Decl.h:592
bool isFirstDecl() const
True if this is the first declaration in its redeclaration chain.
bool isInline() const
Returns true if this is an inline namespace declaration.
Definition Decl.h:648
bool isNested() const
Returns true if this is a nested namespace declaration.
Definition Decl.h:657
NestedNameSpecifier getNestedNameSpecifier() const
Retrieve the nested-name-specifier to which this instance refers.
Represents a C++ nested name specifier, such as "\::std::vector<int>::".
NamespaceAndPrefix getAsNamespaceAndPrefix() const
void print(raw_ostream &OS, const PrintingPolicy &Policy, bool ResolveTemplateArguments=false, bool PrintFinalScopeResOp=true) const
Print this nested name specifier to the given output stream.
@ MicrosoftSuper
Microsoft's '__super' specifier, stored as a CXXRecordDecl* of the class it appeared in.
@ Global
The global specifier '::'. There is no stored value.
@ Namespace
A namespace-like entity, stored as a NamespaceBaseDecl*.
NonTypeTemplateParmDecl - Declares a non-type template parameter, e.g., "Size" in.
bool isParameterPack() const
Whether this parameter is a non-type template parameter pack.
unsigned getIndex() const
Get the index of the template parameter within its parameter list.
unsigned getDepth() const
Get the nesting depth of the template parameter.
Pseudo declaration for capturing expressions.
Definition DeclOpenMP.h:445
This is a basic class for representing single OpenMP clause.
This represents 'pragma omp declare reduction ...' directive.
Definition DeclOpenMP.h:239
Expr * getInitializer()
Get initializer expression (if specified) of the declare reduction construct.
Definition DeclOpenMP.h:300
Expr * getCombiner()
Get combiner expression of the declare reduction construct.
Definition DeclOpenMP.h:282
OMPDeclareReductionInitKind getInitializerKind() const
Get initializer kind.
Definition DeclOpenMP.h:303
OpenMP 5.0 [2.1.6 Iterators] Iterators are identifiers that expand to multiple values in the clause o...
Definition ExprOpenMP.h:151
IteratorRange getIteratorRange(unsigned I)
Gets the iterator range for the given iterator.
Definition Expr.cpp:5553
unsigned numOfIterators() const
Returns number of iterator definitions.
Definition ExprOpenMP.h:275
Decl * getIteratorDecl(unsigned I)
Gets the iterator declaration for the given iterator.
Definition Expr.cpp:5549
This represents 'pragma omp requires...' directive.
Definition DeclOpenMP.h:479
clauselist_range clauselists()
Definition DeclOpenMP.h:504
Represents Objective-C's @catch statement.
Definition StmtObjC.h:77
const VarDecl * getCatchParamDecl() const
Definition StmtObjC.h:97
ObjCBoolLiteralExpr - Objective-C Boolean Literal.
Definition ExprObjC.h:119
ObjCBoxedExpr - used for generalized expression boxing.
Definition ExprObjC.h:159
ObjCMethodDecl * getBoxingMethod() const
Definition ExprObjC.h:181
ObjCCategoryDecl - Represents a category declaration.
Definition DeclObjC.h:2329
ObjCCategoryImplDecl * getImplementation() const
ObjCInterfaceDecl * getClassInterface()
Definition DeclObjC.h:2372
protocol_range protocols() const
Definition DeclObjC.h:2403
ObjCCategoryImplDecl - An object of this class encapsulates a category @implementation declaration.
Definition DeclObjC.h:2545
ObjCCategoryDecl * getCategoryDecl() const
ObjCCompatibleAliasDecl - Represents alias of a class.
Definition DeclObjC.h:2775
const ObjCInterfaceDecl * getClassInterface() const
Definition DeclObjC.h:2793
ObjCEncodeExpr, used for @encode in Objective-C.
Definition ExprObjC.h:441
QualType getEncodedType() const
Definition ExprObjC.h:460
const ObjCInterfaceDecl * getClassInterface() const
Definition DeclObjC.h:2486
ObjCImplementationDecl - Represents a class definition - this is where method definitions are specifi...
Definition DeclObjC.h:2597
const ObjCInterfaceDecl * getSuperClass() const
Definition DeclObjC.h:2735
Represents an ObjC class declaration.
Definition DeclObjC.h:1154
protocol_range protocols() const
Definition DeclObjC.h:1359
ObjCImplementationDecl * getImplementation() const
ObjCInterfaceDecl * getSuperClass() const
Definition DeclObjC.cpp:349
Represents typeof(type), a C23 feature and GCC extension, or `typeof_unqual(type),...
Definition TypeBase.h:7998
ObjCIvarDecl - Represents an ObjC instance variable.
Definition DeclObjC.h:1952
AccessControl getAccessControl() const
Definition DeclObjC.h:2000
bool getSynthesize() const
Definition DeclObjC.h:2007
ObjCIvarRefExpr - A reference to an ObjC instance variable.
Definition ExprObjC.h:580
ObjCIvarDecl * getDecl()
Definition ExprObjC.h:610
bool isFreeIvar() const
Definition ExprObjC.h:619
An expression that sends a message to the given Objective-C object or class.
Definition ExprObjC.h:971
Selector getSelector() const
Definition ExprObjC.cpp:301
@ SuperInstance
The receiver is the instance of the superclass object.
Definition ExprObjC.h:985
@ Instance
The receiver is an object instance.
Definition ExprObjC.h:979
@ SuperClass
The receiver is a superclass.
Definition ExprObjC.h:982
@ Class
The receiver is a class.
Definition ExprObjC.h:976
QualType getClassReceiver() const
Returns the type of a class message send, or NULL if the message is not a class message.
Definition ExprObjC.h:1318
ReceiverKind getReceiverKind() const
Determine the kind of receiver that this message is being sent to.
Definition ExprObjC.h:1260
ObjCMethodDecl - Represents an instance or class method declaration.
Definition DeclObjC.h:140
bool isVariadic() const
Definition DeclObjC.h:431
Selector getSelector() const
Definition DeclObjC.h:327
bool isInstanceMethod() const
Definition DeclObjC.h:426
QualType getReturnType() const
Definition DeclObjC.h:329
Represents one property declaration in an Objective-C interface.
Definition DeclObjC.h:731
ObjCMethodDecl * getGetterMethodDecl() const
Definition DeclObjC.h:901
ObjCMethodDecl * getSetterMethodDecl() const
Definition DeclObjC.h:904
QualType getType() const
Definition DeclObjC.h:804
ObjCPropertyAttribute::Kind getPropertyAttributes() const
Definition DeclObjC.h:815
PropertyControl getPropertyImplementation() const
Definition DeclObjC.h:912
ObjCPropertyImplDecl - Represents implementation declaration of a property in a class or category imp...
Definition DeclObjC.h:2805
ObjCIvarDecl * getPropertyIvarDecl() const
Definition DeclObjC.h:2879
Kind getPropertyImplementation() const
Definition DeclObjC.h:2875
ObjCPropertyDecl * getPropertyDecl() const
Definition DeclObjC.h:2870
ObjCPropertyRefExpr - A dot-syntax expression to access an ObjC property.
Definition ExprObjC.h:648
bool isMessagingGetter() const
True if the property reference will result in a message to the getter.
Definition ExprObjC.h:767
ObjCPropertyDecl * getExplicitProperty() const
Definition ExprObjC.h:737
bool isMessagingSetter() const
True if the property reference will result in a message to the setter.
Definition ExprObjC.h:774
ObjCMethodDecl * getImplicitPropertyGetter() const
Definition ExprObjC.h:742
bool isImplicitProperty() const
Definition ExprObjC.h:734
ObjCMethodDecl * getImplicitPropertySetter() const
Definition ExprObjC.h:747
bool isSuperReceiver() const
Definition ExprObjC.h:802
Represents an Objective-C protocol declaration.
Definition DeclObjC.h:2084
protocol_range protocols() const
Definition DeclObjC.h:2161
ObjCProtocolExpr used for protocol expression in Objective-C.
Definition ExprObjC.h:536
ObjCProtocolDecl * getProtocol() const
Definition ExprObjC.h:553
ObjCSelectorExpr used for @selector in Objective-C.
Definition ExprObjC.h:486
Selector getSelector() const
Definition ExprObjC.h:500
ObjCSubscriptRefExpr - used for array and dictionary subscripting.
Definition ExprObjC.h:870
bool isArraySubscriptRefExpr() const
Definition ExprObjC.h:923
ObjCMethodDecl * getAtIndexMethodDecl() const
Definition ExprObjC.h:915
ObjCMethodDecl * setAtIndexMethodDecl() const
Definition ExprObjC.h:919
Represents the declaration of an Objective-C type parameter.
Definition DeclObjC.h:578
bool hasExplicitBound() const
Whether this type parameter has an explicitly-written type bound, e.g., "T : NSView".
Definition DeclObjC.h:640
ObjCTypeParamVariance getVariance() const
Determine the variance of this type parameter.
Definition DeclObjC.h:623
This expression type represents an asterisk in an OpenACC Size-Expr, used in the 'tile' and 'gang' cl...
Definition Expr.h:2093
This is the base type for all OpenACC Clauses.
OpenACCDirectiveKind getDirectiveKind() const
Definition DeclOpenACC.h:56
ArrayRef< const OpenACCClause * > clauses() const
Definition DeclOpenACC.h:62
This is the base class for an OpenACC statement-level construct, other construct types are expected t...
Definition StmtOpenACC.h:26
OpenACCDirectiveKind getDirectiveKind() const
Definition StmtOpenACC.h:57
SourceLocation getRParenLoc() const
const Expr * getFunctionReference() const
SourceLocation getLParenLoc() const
UnresolvedSetImpl::iterator decls_iterator
Definition ExprCXX.h:3223
decls_iterator decls_begin() const
Definition ExprCXX.h:3225
decls_iterator decls_end() const
Definition ExprCXX.h:3228
DeclarationName getName() const
Gets the name looked up.
Definition ExprCXX.h:3242
Represents a #pragma comment line.
Definition Decl.h:167
StringRef getArg() const
Definition Decl.h:190
PragmaMSCommentKind getCommentKind() const
Definition Decl.h:188
Represents a #pragma detect_mismatch line.
Definition Decl.h:201
StringRef getName() const
Definition Decl.h:222
StringRef getValue() const
Definition Decl.h:223
[C99 6.4.2.2] - A predefined identifier such as func.
Definition Expr.h:2008
StringRef getIdentKindName() const
Definition Expr.h:2065
PredefinedIdentKind getIdentKind() const
Definition Expr.h:2043
Represents an unpacked "presumed" location which can be presented to the user.
unsigned getColumn() const
Return the presumed column number of this location.
const char * getFilename() const
Return the presumed filename of this location.
unsigned getLine() const
Return the presumed line number of this location.
bool isInvalid() const
Return true if this object is invalid or uninitialized.
A (possibly-)qualified type.
Definition TypeBase.h:937
SplitQualType split() const
Divides a QualType into its unqualified type and a set of local qualifiers.
Definition TypeBase.h:8457
std::string getAsString() const
static std::string getAsString(SplitQualType split, const PrintingPolicy &Policy)
Definition TypeBase.h:1343
Represents a template name as written in source code.
NestedNameSpecifier getQualifier() const
Return the nested name specifier that qualifies this name.
TemplateName getUnderlyingTemplate() const
Return the underlying template name.
bool hasTemplateKeyword() const
Whether the template name was prefixed by the "template" keyword.
Represents a struct/union/class.
Definition Decl.h:4343
Provides common interface for the Decls that can be redeclared.
decl_type * getFirstDecl()
Return the first declaration of this declaration or itself if this is the only declaration.
decl_type * getPreviousDecl()
Return the previous declaration of this declaration or NULL if this is the first declaration.
Base for LValueReferenceType and RValueReferenceType.
Definition TypeBase.h:3628
C++2a [expr.prim.req]: A requires-expression provides a concise way to express requirements on templa...
bool isSatisfied() const
Whether or not the requires clause is satisfied.
ReturnStmt - This represents a return, optionally of an expression: return; return 4;.
Definition Stmt.h:3166
const VarDecl * getNRVOCandidate() const
Retrieve the variable that might be used for the named return value optimization.
Definition Stmt.h:3202
TypeSourceInfo * getTypeSourceInfo()
Definition Expr.h:2146
void print(llvm::raw_ostream &OS) const
Prints the full selector name (e.g. "foo:bar:").
Represents an expression that computes the length of a parameter pack.
Definition ExprCXX.h:4441
NamedDecl * getPack() const
Retrieve the parameter pack.
Definition ExprCXX.h:4509
Encodes a location in the source.
A trivial tuple used to represent a source range.
Stmt - This represents one statement.
Definition Stmt.h:86
SourceRange getSourceRange() const LLVM_READONLY
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...
Definition Stmt.cpp:343
const char * getStmtClassName() const
Definition Stmt.cpp:86
StringLiteral - This represents a string literal expression, e.g.
Definition Expr.h:1802
void outputString(raw_ostream &OS) const
Definition Expr.cpp:1209
A structure for storing the information associated with a substituted template template parameter.
TemplateTemplateParmDecl * getParameter() const
unsigned getIndex() const
Returns the index of the replaced parameter in the associated declaration.
Decl * getAssociatedDecl() const
A template-like entity which owns the whole pattern being substituted.
SwitchStmt - This represents a 'switch' stmt.
Definition Stmt.h:2515
bool hasVarStorage() const
True if this SwitchStmt has storage for a condition variable.
Definition Stmt.h:2576
bool hasInitStorage() const
True if this SwitchStmt has storage for an init statement.
Definition Stmt.h:2573
Represents the declaration of a struct/union/class/enum.
Definition Decl.h:3735
StringRef getKindName() const
Definition Decl.h:3931
bool isCompleteDefinition() const
Return true if this decl has its body fully specified.
Definition Decl.h:3836
TypedefNameDecl * getTypedefNameForAnonDecl() const
Definition Decl.h:3972
NestedNameSpecifier getQualifier() const
Retrieve the nested-name-specifier that qualifies the name of this declaration, if it was present in ...
Definition Decl.h:3981
Represents a template argument.
TemplateName getAsTemplate() const
Retrieve the template name for a template name argument.
bool structurallyEquals(const TemplateArgument &Other) const
Determines whether two template arguments are superficially the same.
void print(const PrintingPolicy &Policy, raw_ostream &Out, bool IncludeType) const
Print this template argument to the given output stream.
ValueDecl * getAsDecl() const
Retrieve the declaration for a declaration non-type template argument.
bool isCanonicalExpr() const
TemplateName getAsTemplateOrTemplatePattern() const
Retrieve the template argument as a template name; if the argument is a pack expansion,...
Represents a C++ template name within the type system.
TemplateDecl * getAsTemplateDecl(bool IgnoreDeduced=false) const
Retrieve the underlying template declaration that this template name refers to, if known.
DeducedTemplateStorage * getAsDeducedTemplateName() const
Retrieve the deduced template info, if any.
DependentTemplateName * getAsDependentTemplateName() const
Retrieve the underlying dependent template name structure, if any.
QualifiedTemplateName * getAsQualifiedTemplateName() const
Retrieve the underlying qualified template name structure, if any.
void print(raw_ostream &OS, const PrintingPolicy &Policy, Qualified Qual=Qualified::AsWritten) const
Print the template name.
NameKind getKind() const
@ UsingTemplate
A template name that refers to a template declaration found through a specific using shadow declarati...
@ OverloadedTemplate
A set of overloaded template declarations.
@ Template
A single template declaration.
@ DependentTemplate
A dependent template name that has not been resolved to a template (or set of templates).
@ SubstTemplateTemplateParm
A template template parameter that has been substituted for some other template name.
@ SubstTemplateTemplateParmPack
A template template parameter pack that has been substituted for a template template argument pack,...
@ DeducedTemplate
A template name that refers to another TemplateName with deduced default arguments.
@ QualifiedTemplate
A qualified template name, where the qualification is kept to describe the source code as written.
@ AssumedTemplate
An unqualified-id that has been assumed to name a function template that will be found by ADL.
UsingShadowDecl * getAsUsingShadowDecl() const
Retrieve the using shadow declaration through which the underlying template declaration is introduced...
SubstTemplateTemplateParmStorage * getAsSubstTemplateTemplateParm() const
Retrieve the substituted template template parameter, if known.
TemplateTemplateParmDecl - Declares a template template parameter, e.g., "T" in.
bool isParameterPack() const
Whether this template template parameter is a template parameter pack.
unsigned getIndex() const
Get the index of the template parameter within its parameter list.
unsigned getDepth() const
Get the nesting depth of the template parameter.
Declaration of a template type parameter.
bool wasDeclaredWithTypename() const
Whether this template type parameter was declared with the 'typename' keyword.
unsigned getIndex() const
Retrieve the index of the template parameter.
const TypeConstraint * getTypeConstraint() const
Returns the type constraint associated with this template parameter (if any).
bool isParameterPack() const
Returns whether this is a parameter pack.
unsigned getDepth() const
Retrieve the depth of the template parameter.
void VisitCXXFunctionalCastExpr(const CXXFunctionalCastExpr *Node)
void VisitDeducedType(const DeducedType *T)
void VisitEnumDecl(const EnumDecl *D)
void VisitExprWithCleanups(const ExprWithCleanups *Node)
void visitInlineCommandComment(const comments::InlineCommandComment *C, const comments::FullComment *)
void VisitCXXStaticCastExpr(const CXXStaticCastExpr *Node)
void visitVerbatimBlockComment(const comments::VerbatimBlockComment *C, const comments::FullComment *)
void dumpPointer(const void *Ptr)
void VisitDeclarationTemplateArgument(const TemplateArgument &TA)
void VisitOpenACCLoopConstruct(const OpenACCLoopConstruct *S)
void VisitLinkageSpecDecl(const LinkageSpecDecl *D)
void VisitVectorType(const VectorType *T)
void VisitLoopControlStmt(const LoopControlStmt *L)
void VisitHLSLRootSignatureDecl(const HLSLRootSignatureDecl *D)
void VisitCoawaitExpr(const CoawaitExpr *Node)
void VisitUnaryOperator(const UnaryOperator *Node)
void dumpAccessSpecifier(AccessSpecifier AS)
void VisitExplicitInstantiationDecl(const ExplicitInstantiationDecl *D)
void VisitHLSLOutArgExpr(const HLSLOutArgExpr *E)
void VisitDeducedTemplateSpecializationType(const DeducedTemplateSpecializationType *T)
void VisitObjCSelectorExpr(const ObjCSelectorExpr *Node)
void VisitCXXOperatorCallExpr(const CXXOperatorCallExpr *Node)
void VisitCXXUnresolvedConstructExpr(const CXXUnresolvedConstructExpr *Node)
void VisitPragmaCommentDecl(const PragmaCommentDecl *D)
void VisitOpenACCRoutineDecl(const OpenACCRoutineDecl *D)
void VisitDependentScopeDeclRefExpr(const DependentScopeDeclRefExpr *Node)
void VisitImportDecl(const ImportDecl *D)
void VisitUsingEnumDecl(const UsingEnumDecl *D)
void VisitOMPCapturedExprDecl(const OMPCapturedExprDecl *D)
void VisitUnresolvedUsingType(const UnresolvedUsingType *T)
void VisitObjCProtocolExpr(const ObjCProtocolExpr *Node)
void VisitIntegralTemplateArgument(const TemplateArgument &TA)
void VisitObjCCategoryDecl(const ObjCCategoryDecl *D)
void VisitIndirectFieldDecl(const IndirectFieldDecl *D)
void VisitNullTemplateArgument(const TemplateArgument &TA)
void VisitPackTemplateArgument(const TemplateArgument &TA)
void VisitUsingType(const UsingType *T)
void VisitInjectedClassNameType(const InjectedClassNameType *T)
void VisitBinaryOperator(const BinaryOperator *Node)
void VisitUnresolvedLookupExpr(const UnresolvedLookupExpr *Node)
void VisitObjCInterfaceDecl(const ObjCInterfaceDecl *D)
void VisitBlockDecl(const BlockDecl *D)
void VisitCXXDeleteExpr(const CXXDeleteExpr *Node)
void VisitObjCBoxedExpr(const ObjCBoxedExpr *Node)
void VisitNullPtrTemplateArgument(const TemplateArgument &TA)
void VisitVarTemplateDecl(const VarTemplateDecl *D)
void VisitSubstTemplateTypeParmPackType(const SubstTemplateTypeParmPackType *T)
void VisitConceptSpecializationExpr(const ConceptSpecializationExpr *Node)
void VisitCXXDeductionGuideDecl(const CXXDeductionGuideDecl *D)
TextNodeDumper(raw_ostream &OS, const ASTContext &Context, bool ShowColors)
void VisitPredefinedExpr(const PredefinedExpr *Node)
void dumpType(QualType T)
void VisitMatrixElementExpr(const MatrixElementExpr *Node)
void VisitObjCEncodeExpr(const ObjCEncodeExpr *Node)
void dumpNestedNameSpecifier(NestedNameSpecifier NNS)
void VisitStructuralValueTemplateArgument(const TemplateArgument &TA)
void VisitHLSLBufferDecl(const HLSLBufferDecl *D)
void VisitUnresolvedUsingValueDecl(const UnresolvedUsingValueDecl *D)
void VisitNamespaceAliasDecl(const NamespaceAliasDecl *D)
void VisitObjCMessageExpr(const ObjCMessageExpr *Node)
void dumpSourceRange(SourceRange R)
void VisitMemberExpr(const MemberExpr *Node)
void VisitOpenACCDataConstruct(const OpenACCDataConstruct *S)
void dumpBareTemplateName(TemplateName TN)
void VisitOpenACCConstructStmt(const OpenACCConstructStmt *S)
void VisitCompoundStmt(const CompoundStmt *Node)
void VisitConstantExpr(const ConstantExpr *Node)
void VisitObjCIvarRefExpr(const ObjCIvarRefExpr *Node)
void VisitOpenACCDeclareDecl(const OpenACCDeclareDecl *D)
void VisitOpenACCAsteriskSizeExpr(const OpenACCAsteriskSizeExpr *S)
void VisitMaterializeTemporaryExpr(const MaterializeTemporaryExpr *Node)
void VisitConstructorUsingShadowDecl(const ConstructorUsingShadowDecl *D)
void VisitWhileStmt(const WhileStmt *Node)
void VisitCharacterLiteral(const CharacterLiteral *Node)
void VisitAccessSpecDecl(const AccessSpecDecl *D)
void VisitFunctionType(const FunctionType *T)
void VisitObjCImplementationDecl(const ObjCImplementationDecl *D)
void VisitReturnStmt(const ReturnStmt *Node)
void VisitTypeLoc(TypeLoc TL)
void VisitAutoType(const AutoType *T)
void VisitObjCInterfaceType(const ObjCInterfaceType *T)
void visitVerbatimLineComment(const comments::VerbatimLineComment *C, const comments::FullComment *)
void VisitTypedefDecl(const TypedefDecl *D)
void VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Node)
void visitParamCommandComment(const comments::ParamCommandComment *C, const comments::FullComment *FC)
void VisitIntegerLiteral(const IntegerLiteral *Node)
void VisitObjCProtocolDecl(const ObjCProtocolDecl *D)
void VisitGotoStmt(const GotoStmt *Node)
void VisitDependentSizedExtVectorType(const DependentSizedExtVectorType *T)
void VisitFriendDecl(const FriendDecl *D)
void VisitSwitchStmt(const SwitchStmt *Node)
void VisitCXXBindTemporaryExpr(const CXXBindTemporaryExpr *Node)
void VisitEmbedExpr(const EmbedExpr *S)
void VisitFunctionTemplateDecl(const FunctionTemplateDecl *D)
void VisitTemplateTemplateParmDecl(const TemplateTemplateParmDecl *D)
void VisitUsingDecl(const UsingDecl *D)
void VisitConstantArrayType(const ConstantArrayType *T)
void VisitTypeTemplateArgument(const TemplateArgument &TA)
void VisitObjCPropertyDecl(const ObjCPropertyDecl *D)
void VisitObjCCategoryImplDecl(const ObjCCategoryImplDecl *D)
void VisitObjCSubscriptRefExpr(const ObjCSubscriptRefExpr *Node)
void VisitArrayType(const ArrayType *T)
void visitHTMLEndTagComment(const comments::HTMLEndTagComment *C, const comments::FullComment *)
void VisitObjCAtCatchStmt(const ObjCAtCatchStmt *Node)
void visitTextComment(const comments::TextComment *C, const comments::FullComment *)
void VisitLifetimeExtendedTemporaryDecl(const LifetimeExtendedTemporaryDecl *D)
void VisitCXXRecordDecl(const CXXRecordDecl *D)
void VisitTemplateTemplateArgument(const TemplateArgument &TA)
void dumpCleanupObject(const ExprWithCleanups::CleanupObject &C)
void VisitOpenACCExitDataConstruct(const OpenACCExitDataConstruct *S)
void VisitCaseStmt(const CaseStmt *Node)
void VisitRValueReferenceType(const ReferenceType *T)
void VisitPackExpansionType(const PackExpansionType *T)
void VisitConceptDecl(const ConceptDecl *D)
void VisitOpenACCEnterDataConstruct(const OpenACCEnterDataConstruct *S)
void VisitCallExpr(const CallExpr *Node)
void VisitCapturedDecl(const CapturedDecl *D)
void VisitOpenACCWaitConstruct(const OpenACCWaitConstruct *S)
void VisitBuiltinTemplateDecl(const BuiltinTemplateDecl *D)
void VisitObjCPropertyRefExpr(const ObjCPropertyRefExpr *Node)
void VisitOMPDeclareReductionDecl(const OMPDeclareReductionDecl *D)
void VisitCoreturnStmt(const CoreturnStmt *Node)
void VisitSizeOfPackExpr(const SizeOfPackExpr *Node)
void VisitDeclRefExpr(const DeclRefExpr *Node)
void VisitLabelStmt(const LabelStmt *Node)
void VisitOpenACCUpdateConstruct(const OpenACCUpdateConstruct *S)
void Visit(const comments::Comment *C, const comments::FullComment *FC)
void VisitLabelDecl(const LabelDecl *D)
void VisitUnaryTransformType(const UnaryTransformType *T)
void VisitStringLiteral(const StringLiteral *Str)
void VisitOMPRequiresDecl(const OMPRequiresDecl *D)
void dumpBareType(QualType T, bool Desugar=true)
void VisitTemplateSpecializationType(const TemplateSpecializationType *T)
void VisitOpenACCInitConstruct(const OpenACCInitConstruct *S)
void VisitTemplateTypeParmDecl(const TemplateTypeParmDecl *D)
void VisitCompoundAssignOperator(const CompoundAssignOperator *Node)
void VisitCXXThisExpr(const CXXThisExpr *Node)
void VisitOpenACCRoutineDeclAttr(const OpenACCRoutineDeclAttr *A)
void dumpName(const NamedDecl *ND)
void dumpTemplateName(TemplateName TN, StringRef Label={})
void VisitArrayTypeTraitExpr(const ArrayTypeTraitExpr *Node)
void VisitObjCIvarDecl(const ObjCIvarDecl *D)
void VisitFieldDecl(const FieldDecl *D)
void dumpDeclRef(const Decl *D, StringRef Label={})
void VisitRecordDecl(const RecordDecl *D)
void VisitCXXNewExpr(const CXXNewExpr *Node)
void VisitObjCBoolLiteralExpr(const ObjCBoolLiteralExpr *Node)
void VisitCastExpr(const CastExpr *Node)
void VisitObjCTypeParamDecl(const ObjCTypeParamDecl *D)
void VisitSubstTemplateTypeParmType(const SubstTemplateTypeParmType *T)
void VisitExpressionTraitExpr(const ExpressionTraitExpr *Node)
void VisitAddrLabelExpr(const AddrLabelExpr *Node)
void VisitUnresolvedUsingTypenameDecl(const UnresolvedUsingTypenameDecl *D)
void VisitCXXDependentScopeMemberExpr(const CXXDependentScopeMemberExpr *Node)
void VisitOpenACCAtomicConstruct(const OpenACCAtomicConstruct *S)
void visitBlockCommandComment(const comments::BlockCommandComment *C, const comments::FullComment *)
void VisitExpressionTemplateArgument(const TemplateArgument &TA)
void VisitTypeAliasDecl(const TypeAliasDecl *D)
void VisitVarDecl(const VarDecl *D)
void dumpFormalLinkage(const NamedDecl *ND)
void VisitOpenACCCacheConstruct(const OpenACCCacheConstruct *S)
void VisitFixedPointLiteral(const FixedPointLiteral *Node)
void VisitOMPIteratorExpr(const OMPIteratorExpr *Node)
void VisitUsingDirectiveDecl(const UsingDirectiveDecl *D)
void VisitObjCMethodDecl(const ObjCMethodDecl *D)
void VisitObjCPropertyImplDecl(const ObjCPropertyImplDecl *D)
void VisitUsingShadowDecl(const UsingShadowDecl *D)
void VisitNamespaceDecl(const NamespaceDecl *D)
void VisitTypeAliasTemplateDecl(const TypeAliasTemplateDecl *D)
void VisitOpenACCHostDataConstruct(const OpenACCHostDataConstruct *S)
void VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *Node)
void VisitIfStmt(const IfStmt *Node)
void VisitCXXConstructExpr(const CXXConstructExpr *Node)
void VisitFunctionProtoType(const FunctionProtoType *T)
void dumpTemplateArgument(const TemplateArgument &TA)
void dumpLocation(SourceLocation Loc)
void VisitDependentSizedArrayType(const DependentSizedArrayType *T)
void VisitOpenACCCombinedConstruct(const OpenACCCombinedConstruct *S)
void VisitOMPExecutableDirective(const OMPExecutableDirective *D)
void VisitImplicitCastExpr(const ImplicitCastExpr *Node)
void VisitCXXDefaultArgExpr(const CXXDefaultArgExpr *Node)
void VisitCXXNamedCastExpr(const CXXNamedCastExpr *Node)
void VisitTagType(const TagType *T)
void VisitTemplateExpansionTemplateArgument(const TemplateArgument &TA)
void VisitSYCLUniqueStableNameExpr(const SYCLUniqueStableNameExpr *Node)
void VisitNonTypeTemplateParmDecl(const NonTypeTemplateParmDecl *D)
void VisitOpenACCSetConstruct(const OpenACCSetConstruct *S)
void VisitFunctionDecl(const FunctionDecl *D)
void visitTParamCommandComment(const comments::TParamCommandComment *C, const comments::FullComment *FC)
void VisitTypeTraitExpr(const TypeTraitExpr *Node)
void dumpBareDeclRef(const Decl *D)
void VisitExtVectorElementExpr(const ExtVectorElementExpr *Node)
void VisitConvertVectorExpr(const ConvertVectorExpr *S)
void visitVerbatimBlockLineComment(const comments::VerbatimBlockLineComment *C, const comments::FullComment *)
void VisitOpenACCShutdownConstruct(const OpenACCShutdownConstruct *S)
void VisitFloatingLiteral(const FloatingLiteral *Node)
void VisitInitListExpr(const InitListExpr *ILE)
void VisitRequiresExpr(const RequiresExpr *Node)
void VisitVariableArrayType(const VariableArrayType *T)
void VisitGenericSelectionExpr(const GenericSelectionExpr *E)
void VisitTemplateTypeParmType(const TemplateTypeParmType *T)
void VisitCXXDefaultInitExpr(const CXXDefaultInitExpr *Node)
void visitHTMLStartTagComment(const comments::HTMLStartTagComment *C, const comments::FullComment *)
void VisitEnumConstantDecl(const EnumConstantDecl *D)
void VisitPragmaDetectMismatchDecl(const PragmaDetectMismatchDecl *D)
void dumpTemplateSpecializationKind(TemplateSpecializationKind TSK)
void VisitAtomicExpr(const AtomicExpr *AE)
void VisitObjCCompatibleAliasDecl(const ObjCCompatibleAliasDecl *D)
void VisitClassTemplateDecl(const ClassTemplateDecl *D)
void VisitBindingDecl(const BindingDecl *D)
void VisitTypedefType(const TypedefType *T)
TextTreeStructure(raw_ostream &OS, bool ShowColors)
void AddChild(Fn DoAddChild)
Add a child of the current node. Calls DoAddChild without arguments.
Represents the declaration of a typedef-name via a C++11 alias-declaration.
Definition Decl.h:3706
Declaration of an alias template.
Symbolic representation of typeid(T) for some type T.
Definition APValue.h:44
RetTy Visit(TypeLoc TyLoc)
Base wrapper for a particular "section" of type source info.
Definition TypeLoc.h:59
QualType getType() const
Get the type for which this source info wrapper provides information.
Definition TypeLoc.h:133
SourceRange getSourceRange() const LLVM_READONLY
Get the full source range.
Definition TypeLoc.h:154
TypeLocClass getTypeLocClass() const
Definition TypeLoc.h:116
const Type * getTypePtr() const
Definition TypeLoc.h:137
A container of type source information.
Definition TypeBase.h:8407
QualType getType() const
Return the type wrapped by this type source info.
Definition TypeBase.h:8418
A type trait used in the implementation of various C++11 and Library TR1 trait templates.
Definition ExprCXX.h:2900
TypeTrait getTrait() const
Determine which type trait this expression uses.
Definition ExprCXX.h:2943
RetTy Visit(const Type *T)
Performs the operation associated with this visitor object.
Definition TypeVisitor.h:68
The base class of the type hierarchy.
Definition TypeBase.h:1871
bool isSignedIntegerType() const
Return true if this is an integer type that is signed, according to C99 6.2.5p4 [char,...
Definition Type.cpp:2266
QualType getLocallyUnqualifiedSingleStepDesugaredType() const
Pull a single level of sugar off of this locally-unqualified type.
Definition Type.cpp:558
TagDecl * getAsTagDecl() const
Retrieves the TagDecl that this type refers to, either because the type is a TagType or because it is...
Definition Type.h:63
bool isDependentType() const
Whether this type is a dependent type, meaning that its definition somehow depends on a template para...
Definition TypeBase.h:2837
const char * getTypeClassName() const
Definition Type.cpp:3472
const T * getAs() const
Member-template getAs<specific type>'.
Definition TypeBase.h:9266
Represents the declaration of a typedef-name via the 'typedef' type specifier.
Definition Decl.h:3685
QualType getUnderlyingType() const
Definition Decl.h:3635
UnaryExprOrTypeTraitExpr - expression with either a type or (unevaluated) expression operand.
Definition Expr.h:2628
QualType getArgumentType() const
Definition Expr.h:2671
UnaryExprOrTypeTrait getKind() const
Definition Expr.h:2660
UnaryOperator - This represents the unary-expression's (except sizeof and alignof),...
Definition Expr.h:2247
static bool isPostfix(Opcode Op)
isPostfix - Return true if this is a postfix operation, like x++.
Definition Expr.h:2317
Opcode getOpcode() const
Definition Expr.h:2283
bool hasStoredFPFeatures() const
Is FPFeatures in Trailing Storage?
Definition Expr.h:2384
FPOptionsOverride getStoredFPFeatures() const
Get FPFeatures from trailing storage.
Definition Expr.h:2387
static StringRef getOpcodeStr(Opcode Op)
getOpcodeStr - Turn an Opcode enum value into the punctuation char it corresponds to,...
Definition Expr.cpp:1406
bool canOverflow() const
Returns true if the unary operator can cause an overflow.
Definition Expr.h:2301
A reference to a name which we were able to look up during parsing but could not resolve to a specifi...
Definition ExprCXX.h:3390
bool requiresADL() const
True if this declaration should be extended by argument-dependent lookup.
Definition ExprCXX.h:3459
Represents the dependent type named by a dependently-scoped typename using declaration,...
Definition TypeBase.h:6078
Represents a dependent using declaration which was marked with typename.
Definition DeclCXX.h:4042
NestedNameSpecifier getQualifier() const
Retrieve the nested-name-specifier that qualifies the name.
Definition DeclCXX.h:4079
Represents a dependent using declaration which was not marked with typename.
Definition DeclCXX.h:3945
NestedNameSpecifier getQualifier() const
Retrieve the nested-name-specifier that qualifies the name.
Definition DeclCXX.h:3989
Represents a C++ using-declaration.
Definition DeclCXX.h:3596
NestedNameSpecifier getQualifier() const
Retrieve the nested-name-specifier that qualifies the name.
Definition DeclCXX.h:3633
Represents C++ using-directive.
Definition DeclCXX.h:3101
NamespaceDecl * getNominatedNamespace()
Returns the namespace nominated by this using-directive.
Definition DeclCXX.cpp:3349
Represents a C++ using-enum-declaration.
Definition DeclCXX.h:3797
EnumDecl * getEnumDecl() const
Definition DeclCXX.h:3839
Represents a shadow declaration implicitly introduced into a scope by a (resolved) using-declaration ...
Definition DeclCXX.h:3404
NamedDecl * getTargetDecl() const
Gets the underlying declaration which has been brought into the local scope.
Definition DeclCXX.h:3468
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
Definition Decl.h:712
QualType getType() const
Definition Decl.h:723
bool isParameterPack() const
Determine whether this value is actually a function parameter pack, init-capture pack,...
Definition Decl.cpp:5588
Kind getKind() const
Definition Value.h:137
Represents a variable declaration or definition.
Definition Decl.h:924
VarTemplateDecl * getDescribedVarTemplate() const
Retrieves the variable template that is described by this variable declaration.
Definition Decl.cpp:2789
bool isConstexpr() const
Whether this variable is (C++11) constexpr.
Definition Decl.h:1582
TLSKind getTLSKind() const
Definition Decl.cpp:2147
bool hasInit() const
Definition Decl.cpp:2377
InitializationStyle getInitStyle() const
The style of initialization for this declaration.
Definition Decl.h:1479
static const char * getStorageClassSpecifierString(StorageClass SC)
Return the string used to specify the storage class SC.
Definition Decl.cpp:2100
@ ListInit
Direct list-initialization (C++11)
Definition Decl.h:935
@ CInit
C-style initialization with assignment.
Definition Decl.h:929
@ ParenListInit
Parenthesized list-initialization (C++20)
Definition Decl.h:938
@ CallInit
Call-style initialization (C++98)
Definition Decl.h:932
APValue * evaluateValue() const
Attempt to evaluate the value of the initializer attached to this declaration, and produce notes expl...
Definition Decl.cpp:2554
VarDecl * getTemplateInstantiationPattern() const
Retrieve the variable declaration from which this variable could be instantiated, if it is an instant...
Definition Decl.cpp:2693
bool isNRVOVariable() const
Determine whether this local variable can be used with the named return value optimization (NRVO).
Definition Decl.h:1525
QualType::DestructionKind needsDestruction(const ASTContext &Ctx) const
Would the destruction of this variable have any effect, and if so, what kind?
Definition Decl.cpp:2830
bool isInline() const
Whether this variable is (C++1z) inline.
Definition Decl.h:1564
const Expr * getInit() const
Definition Decl.h:1381
@ TLS_Static
TLS with a known-constant initializer.
Definition Decl.h:947
@ TLS_Dynamic
TLS with a dynamic initializer.
Definition Decl.h:950
@ TLS_None
Not a TLS variable.
Definition Decl.h:944
StorageClass getStorageClass() const
Returns the storage class as written in the source.
Definition Decl.h:1166
TemplateSpecializationKind getTemplateSpecializationKind() const
If this variable is an instantiation of a variable template or a static data member of a class templa...
Definition Decl.cpp:2758
Declaration of a variable template.
Represents a C array with a specified size that is not an integer-constant-expression.
Definition TypeBase.h:4021
Represents a GCC generic vector type.
Definition TypeBase.h:4230
WhileStmt - This represents a 'while' stmt.
Definition Stmt.h:2703
bool hasVarStorage() const
True if this WhileStmt has storage for a condition variable.
Definition Stmt.h:2753
A command that has zero or more word-like arguments (number of word-like arguments depends on command...
Definition Comment.h:625
static const CommandInfo * getBuiltinCommandInfo(StringRef Name)
Any part of the comment.
Definition Comment.h:66
A full comment attached to a declaration, contains block content.
Definition Comment.h:1104
An opening HTML tag with attributes.
Definition Comment.h:454
A command with word-like arguments that is considered inline content.
Definition Comment.h:341
Doxygen \param command.
Definition Comment.h:732
static const char * getDirectionAsString(ParamCommandPassDirection D)
Definition Comment.cpp:189
Doxygen \tparam command, describes a template parameter.
Definition Comment.h:814
A verbatim block command (e.
Definition Comment.h:900
A line of text contained in a verbatim block.
Definition Comment.h:875
A verbatim line command.
Definition Comment.h:951
A static requirement that can be used in a requires-expression to check properties of types and expre...
The JSON file list parser is used to communicate input to InstallAPI.
bool isa(CodeGen::Address addr)
Definition Address.h:330
llvm::StringRef getAccessSpelling(AccessSpecifier AS)
Definition Specifiers.h:422
@ PCK_ExeStr
Definition PragmaKinds.h:19
@ PCK_Compiler
Definition PragmaKinds.h:18
@ PCK_Linker
Definition PragmaKinds.h:16
@ PCK_Lib
Definition PragmaKinds.h:17
@ PCK_Unknown
Definition PragmaKinds.h:15
@ PCK_User
Definition PragmaKinds.h:20
@ RQ_None
No ref-qualifier was provided.
Definition TypeBase.h:1793
@ RQ_LValue
An lvalue ref-qualifier was provided (&).
Definition TypeBase.h:1796
@ RQ_RValue
An rvalue ref-qualifier was provided (&&).
Definition TypeBase.h:1799
@ OK_VectorComponent
A vector component is an element or range of elements of a vector.
Definition Specifiers.h:158
@ OK_ObjCProperty
An Objective-C property is a logical field of an Objective-C object which is read and written via Obj...
Definition Specifiers.h:162
@ OK_ObjCSubscript
An Objective-C array/dictionary subscripting which reads an object or writes at the subscripted array...
Definition Specifiers.h:167
@ OK_Ordinary
An ordinary object is located at an address in memory.
Definition Specifiers.h:152
@ OK_BitField
A bitfield object is a bitfield on a C or C++ record.
Definition Specifiers.h:155
@ OK_MatrixComponent
A matrix component is a single element or range of elements of a matrix.
Definition Specifiers.h:170
@ Override
Merge availability attributes for an override, which requires an exact match or a weakening of constr...
Definition Sema.h:636
@ Auto
'auto' clause, allowed on 'loop' directives.
@ Bind
'bind' clause, allowed on routine constructs.
@ Gang
'gang' clause, allowed on 'loop' and Combined constructs.
@ Wait
'wait' clause, allowed on Compute, Data, 'update', and Combined constructs.
@ DevicePtr
'deviceptr' clause, allowed on Compute and Combined Constructs, plus 'data' and 'declare'.
@ PCopyOut
'copyout' clause alias 'pcopyout'. Preserved for diagnostic purposes.
@ VectorLength
'vector_length' clause, allowed on 'parallel', 'kernels', 'parallel loop', and 'kernels loop' constru...
@ Async
'async' clause, allowed on Compute, Data, 'update', 'wait', and Combined constructs.
@ PresentOrCreate
'create' clause alias 'present_or_create'.
@ Collapse
'collapse' clause, allowed on 'loop' and Combined constructs.
@ NoHost
'nohost' clause, allowed on 'routine' directives.
@ PresentOrCopy
'copy' clause alias 'present_or_copy'. Preserved for diagnostic purposes.
@ DeviceNum
'device_num' clause, allowed on 'init', 'shutdown', and 'set' constructs.
@ Private
'private' clause, allowed on 'parallel', 'serial', 'loop', 'parallel loop', and 'serial loop' constru...
@ Invalid
Represents an invalid clause, for the purposes of parsing.
@ Vector
'vector' clause, allowed on 'loop', Combined, and 'routine' directives.
@ Copy
'copy' clause, allowed on Compute and Combined Constructs, plus 'data' and 'declare'.
@ Worker
'worker' clause, allowed on 'loop', Combined, and 'routine' directives.
@ Create
'create' clause, allowed on Compute and Combined constructs, plus 'data', 'enter data',...
@ DeviceType
'device_type' clause, allowed on Compute, 'data', 'init', 'shutdown', 'set', update',...
@ DefaultAsync
'default_async' clause, allowed on 'set' construct.
@ Attach
'attach' clause, allowed on Compute and Combined constructs, plus 'data' and 'enter data'.
@ Shortloop
'shortloop' is represented in the ACC.td file, but isn't present in the standard.
@ NumGangs
'num_gangs' clause, allowed on 'parallel', 'kernels', parallel loop', and 'kernels loop' constructs.
@ If
'if' clause, allowed on all the Compute Constructs, Data Constructs, Executable Constructs,...
@ Default
'default' clause, allowed on parallel, serial, kernel (and compound) constructs.
@ UseDevice
'use_device' clause, allowed on 'host_data' construct.
@ NoCreate
'no_create' clause, allowed on allowed on Compute and Combined constructs, plus 'data'.
@ PresentOrCopyOut
'copyout' clause alias 'present_or_copyout'.
@ Link
'link' clause, allowed on 'declare' construct.
@ Reduction
'reduction' clause, allowed on Parallel, Serial, Loop, and the combined constructs.
@ Self
'self' clause, allowed on Compute and Combined Constructs, plus 'update'.
@ CopyOut
'copyout' clause, allowed on Compute and Combined constructs, plus 'data', 'exit data',...
@ Seq
'seq' clause, allowed on 'loop' and 'routine' directives.
@ FirstPrivate
'firstprivate' clause, allowed on 'parallel', 'serial', 'parallel loop', and 'serial loop' constructs...
@ Host
'host' clause, allowed on 'update' construct.
@ PCopy
'copy' clause alias 'pcopy'. Preserved for diagnostic purposes.
@ Tile
'tile' clause, allowed on 'loop' and Combined constructs.
@ PCopyIn
'copyin' clause alias 'pcopyin'. Preserved for diagnostic purposes.
@ DeviceResident
'device_resident' clause, allowed on the 'declare' construct.
@ PCreate
'create' clause alias 'pcreate'. Preserved for diagnostic purposes.
@ Present
'present' clause, allowed on Compute and Combined constructs, plus 'data' and 'declare'.
@ DType
'dtype' clause, an alias for 'device_type', stored separately for diagnostic purposes.
@ CopyIn
'copyin' clause, allowed on Compute and Combined constructs, plus 'data', 'enter data',...
@ Device
'device' clause, allowed on the 'update' construct.
@ Independent
'independent' clause, allowed on 'loop' directives.
@ NumWorkers
'num_workers' clause, allowed on 'parallel', 'kernels', parallel loop', and 'kernels loop' constructs...
@ IfPresent
'if_present' clause, allowed on 'host_data' and 'update' directives.
@ Detach
'detach' clause, allowed on the 'exit data' construct.
@ Delete
'delete' clause, allowed on the 'exit data' construct.
@ PresentOrCopyIn
'copyin' clause alias 'present_or_copyin'.
@ Finalize
'finalize' clause, allowed on 'exit data' directive.
AccessSpecifier
A C++ access specifier (public, private, protected), plus the special value "none" which means differ...
Definition Specifiers.h:124
StorageClass
Storage classes.
Definition Specifiers.h:249
@ SC_None
Definition Specifiers.h:251
IdentifierLoc DeviceTypeArgument
@ VisibleNone
No linkage according to the standard, but is visible from other translation units because of types de...
Definition Linkage.h:48
@ None
No linkage, which means that the entity is unique and can only be referred to from within its scope.
Definition Linkage.h:30
@ UniqueExternal
External linkage within a unique namespace.
Definition Linkage.h:44
@ Internal
Internal linkage, which indicates that the entity can be referred to from within the translation unit...
Definition Linkage.h:35
@ External
External linkage, which indicates that the entity can be referred to from other translation units.
Definition Linkage.h:58
@ Module
Module linkage, which indicates that the entity can be referred to from other translation units withi...
Definition Linkage.h:54
OptionalUnsigned< unsigned > UnsignedOrNone
@ Deduced
The normal deduced case.
Definition TypeBase.h:1810
@ Undeduced
Not deduced yet. This is for example an 'auto' which was just parsed.
Definition TypeBase.h:1805
@ DeducedAsPack
Same as above, but additionally this represents a case where the deduced entity itself is a pack.
Definition TypeBase.h:1826
@ DeducedAsDependent
This is a special case where the initializer is dependent, so we can't deduce a type yet.
Definition TypeBase.h:1820
@ VK_PRValue
A pr-value expression (in the C++11 taxonomy) produces a temporary value.
Definition Specifiers.h:136
@ VK_XValue
An x-value expression is a reference to an object with independent storage but which can be "moved",...
Definition Specifiers.h:145
@ VK_LValue
An l-value expression is a reference to an object with independent storage.
Definition Specifiers.h:140
const char * getTraitSpelling(ExpressionTrait T) LLVM_READONLY
Return the spelling of the type trait TT. Never null.
TemplateSpecializationKind
Describes the kind of template specialization that a particular template specialization declaration r...
Definition Specifiers.h:189
@ TSK_ExplicitInstantiationDefinition
This template specialization was instantiated from a template due to an explicit instantiation defini...
Definition Specifiers.h:207
@ TSK_ExplicitInstantiationDeclaration
This template specialization was instantiated from a template due to an explicit instantiation declar...
Definition Specifiers.h:203
@ TSK_ExplicitSpecialization
This template specialization was declared or defined by an explicit specialization (C++ [temp....
Definition Specifiers.h:199
@ TSK_ImplicitInstantiation
This template specialization was implicitly instantiated from a template.
Definition Specifiers.h:195
@ TSK_Undeclared
This template specialization was formed from a template-id but has not yet been declared,...
Definition Specifiers.h:192
@ Invariant
The parameter is invariant: must match exactly.
Definition DeclObjC.h:555
@ Contravariant
The parameter is contravariant, e.g., X<T> is a subtype of X when the type parameter is covariant and...
Definition DeclObjC.h:563
@ Covariant
The parameter is covariant, e.g., X<T> is a subtype of X when the type parameter is covariant and T i...
Definition DeclObjC.h:559
const char * getOperatorSpelling(OverloadedOperatorKind Operator)
Retrieve the spelling of the given overloaded operator, without the preceding "operator" keyword.
@ AltiVecBool
is AltiVec 'vector bool ...'
Definition TypeBase.h:4200
@ SveFixedLengthData
is AArch64 SVE fixed-length data vector
Definition TypeBase.h:4209
@ AltiVecVector
is AltiVec vector
Definition TypeBase.h:4194
@ AltiVecPixel
is AltiVec 'vector Pixel'
Definition TypeBase.h:4197
@ Neon
is ARM Neon vector
Definition TypeBase.h:4203
@ Generic
not a target-specific vector type
Definition TypeBase.h:4191
@ RVVFixedLengthData
is RISC-V RVV fixed-length data vector
Definition TypeBase.h:4215
@ RVVFixedLengthMask
is RISC-V RVV fixed-length mask vector
Definition TypeBase.h:4218
@ NeonPoly
is ARM Neon polynomial vector
Definition TypeBase.h:4206
@ SveFixedLengthPredicate
is AArch64 SVE fixed-length predicate vector
Definition TypeBase.h:4212
U cast(CodeGen::Address addr)
Definition Address.h:327
ElaboratedTypeKeyword
The elaboration keyword that precedes a qualified type name or introduces an elaborated-type-specifie...
Definition TypeBase.h:5961
@ None
No keyword precedes the qualified type name.
Definition TypeBase.h:5982
@ EST_DependentNoexcept
noexcept(expression), value-dependent
@ EST_Uninstantiated
not instantiated yet
@ EST_Unparsed
not parsed yet
@ EST_NoThrow
Microsoft __declspec(nothrow) extension.
@ EST_None
no exception specification
@ EST_MSAny
Microsoft throw(...) extension.
@ EST_BasicNoexcept
noexcept
@ EST_NoexceptFalse
noexcept(expression), evals to 'false'
@ EST_Unevaluated
not evaluated yet, for special member function
@ EST_NoexceptTrue
noexcept(expression), evals to 'true'
@ EST_Dynamic
throw(T1, T2)
@ NOUR_Discarded
This name appears as a potential result of a discarded value expression.
Definition Specifiers.h:184
@ NOUR_Unevaluated
This name appears in an unevaluated operand.
Definition Specifiers.h:178
@ NOUR_None
This is an odr-use.
Definition Specifiers.h:176
@ NOUR_Constant
This name appears as a potential result of an lvalue-to-rvalue conversion that is a constant expressi...
Definition Specifiers.h:181
static constexpr TerminalColor Value
static constexpr TerminalColor Address
static constexpr TerminalColor Comment
static constexpr TerminalColor DeclKindName
static constexpr TerminalColor ObjectKind
static constexpr TerminalColor Null
static constexpr TerminalColor Location
static constexpr TerminalColor Attr
static constexpr TerminalColor DeclName
static constexpr TerminalColor Stmt
static constexpr TerminalColor Cast
static constexpr TerminalColor ValueKind
static constexpr TerminalColor Undeserialized
static constexpr TerminalColor Type
static constexpr TerminalColor Errors
FunctionDecl * SourceDecl
The function whose exception specification this is, for EST_Unevaluated and EST_Uninstantiated.
Definition TypeBase.h:5431
FunctionDecl * SourceTemplate
The function template whose exception specification this is instantiated from, for EST_Uninstantiated...
Definition TypeBase.h:5435
ExceptionSpecificationType Type
The kind of exception specification this is.
Definition TypeBase.h:5421
Extra information about a function prototype.
Definition TypeBase.h:5447
static StringRef getKeywordName(ElaboratedTypeKeyword Keyword)
Definition Type.cpp:3431
Iterator range representation begin:end[:step].
Definition ExprOpenMP.h:154
A std::pair-like structure for storing a qualified type split into its local qualifiers and its local...
Definition TypeBase.h:870
Information about a single command.