46#include "llvm/ADT/ArrayRef.h"
47#include "llvm/ADT/SmallVector.h"
48#include "llvm/ADT/StringExtras.h"
49#include "llvm/ADT/StringRef.h"
50#include "llvm/Support/Compiler.h"
51#include "llvm/Support/ErrorHandling.h"
52#include "llvm/Support/raw_ostream.h"
65 class StmtPrinter :
public StmtVisitor<StmtPrinter> {
76 StringRef NL =
"\n",
const ASTContext *Context =
nullptr)
77 : OS(os), IndentLevel(Indentation), Helper(helper), Policy(Policy),
78 NL(NL), Context(Context) {}
82 void PrintStmt(
Stmt *S,
int SubIndent) {
83 IndentLevel += SubIndent;
84 if (isa_and_nonnull<Expr>(S)) {
92 Indent() <<
"<<<NULL STATEMENT>>>" << NL;
94 IndentLevel -= SubIndent;
97 void PrintInitStmt(
Stmt *S,
unsigned PrefixWidth) {
99 IndentLevel += (PrefixWidth + 1) / 2;
100 if (
auto *DS = dyn_cast<DeclStmt>(S))
101 PrintRawDeclStmt(DS);
103 PrintExpr(cast<Expr>(S));
105 IndentLevel -= (PrefixWidth + 1) / 2;
108 void PrintControlledStmt(
Stmt *S) {
109 if (
auto *CS = dyn_cast<CompoundStmt>(S)) {
111 PrintRawCompoundStmt(CS);
120 void PrintRawDecl(
Decl *
D);
121 void PrintRawDeclStmt(
const DeclStmt *S);
128 bool ForceNoStmt =
false);
133 void PrintExpr(
Expr *
E) {
140 raw_ostream &Indent(
int Delta = 0) {
141 for (
int i = 0, e = IndentLevel+Delta; i < e; ++i)
152 void VisitStmt(
Stmt *
Node) LLVM_ATTRIBUTE_UNUSED {
153 Indent() <<
"<<unknown stmt type>>" << NL;
156 void VisitExpr(
Expr *
Node) LLVM_ATTRIBUTE_UNUSED {
157 OS <<
"<<unknown expr type>>";
162#define ABSTRACT_STMT(CLASS)
163#define STMT(CLASS, PARENT) \
164 void Visit##CLASS(CLASS *Node);
165#include "clang/AST/StmtNodes.inc"
177 assert(
Node &&
"Compound statement cannot be null");
179 PrintFPPragmas(
Node);
180 for (
auto *I :
Node->body())
187 if (!S->hasStoredFPFeatures())
190 bool FEnvAccess =
false;
191 if (FPO.hasAllowFEnvAccessOverride()) {
192 FEnvAccess = FPO.getAllowFEnvAccessOverride();
193 Indent() <<
"#pragma STDC FENV_ACCESS " << (FEnvAccess ?
"ON" :
"OFF")
196 if (FPO.hasSpecifiedExceptionModeOverride()) {
198 FPO.getSpecifiedExceptionModeOverride();
199 if (!FEnvAccess || EM != LangOptions::FPE_Strict) {
200 Indent() <<
"#pragma clang fp exceptions(";
201 switch (FPO.getSpecifiedExceptionModeOverride()) {
204 case LangOptions::FPE_Ignore:
207 case LangOptions::FPE_MayTrap:
210 case LangOptions::FPE_Strict:
217 if (FPO.hasConstRoundingModeOverride()) {
219 Indent() <<
"#pragma STDC FENV_ROUND ";
221 case llvm::RoundingMode::TowardZero:
222 OS <<
"FE_TOWARDZERO";
224 case llvm::RoundingMode::NearestTiesToEven:
225 OS <<
"FE_TONEAREST";
227 case llvm::RoundingMode::TowardPositive:
230 case llvm::RoundingMode::TowardNegative:
233 case llvm::RoundingMode::NearestTiesToAway:
234 OS <<
"FE_TONEARESTFROMZERO";
236 case llvm::RoundingMode::Dynamic:
240 llvm_unreachable(
"Invalid rounding mode");
246void StmtPrinter::PrintRawDecl(
Decl *
D) {
247 D->
print(OS, Policy, IndentLevel);
250void StmtPrinter::PrintRawDeclStmt(
const DeclStmt *S) {
256 Indent() <<
";" << NL;
261 PrintRawDeclStmt(
Node);
267 PrintRawCompoundStmt(
Node);
272 Indent(-1) <<
"case ";
273 PrintExpr(
Node->getLHS());
274 if (
Node->getRHS()) {
276 PrintExpr(
Node->getRHS());
280 PrintStmt(
Node->getSubStmt(), 0);
284 Indent(-1) <<
"default:" << NL;
285 PrintStmt(
Node->getSubStmt(), 0);
289 Indent(-1) <<
Node->getName() <<
":" << NL;
290 PrintStmt(
Node->getSubStmt(), 0);
295 for (
const auto *
Attr : Attrs) {
297 if (
Attr != Attrs.back())
301 PrintStmt(
Node->getSubStmt(), 0);
304void StmtPrinter::PrintRawIfStmt(
IfStmt *
If) {
305 if (
If->isConsteval()) {
307 if (
If->isNegatedConsteval())
311 PrintStmt(
If->getThen());
312 if (
Stmt *Else =
If->getElse()) {
323 PrintInitStmt(
If->getInit(), 4);
324 if (
const DeclStmt *DS =
If->getConditionVariableDeclStmt())
325 PrintRawDeclStmt(DS);
327 PrintExpr(
If->getCond());
330 if (
auto *CS = dyn_cast<CompoundStmt>(
If->getThen())) {
332 PrintRawCompoundStmt(CS);
333 OS << (
If->getElse() ?
" " : NL);
336 PrintStmt(
If->getThen());
337 if (
If->getElse()) Indent();
340 if (
Stmt *Else =
If->getElse()) {
343 if (
auto *CS = dyn_cast<CompoundStmt>(Else)) {
345 PrintRawCompoundStmt(CS);
347 }
else if (
auto *ElseIf = dyn_cast<IfStmt>(Else)) {
349 PrintRawIfStmt(ElseIf);
352 PrintStmt(
If->getElse());
357void StmtPrinter::VisitIfStmt(
IfStmt *
If) {
363 Indent() <<
"switch (";
365 PrintInitStmt(
Node->getInit(), 8);
366 if (
const DeclStmt *DS =
Node->getConditionVariableDeclStmt())
367 PrintRawDeclStmt(DS);
369 PrintExpr(
Node->getCond());
371 PrintControlledStmt(
Node->getBody());
375 Indent() <<
"while (";
376 if (
const DeclStmt *DS =
Node->getConditionVariableDeclStmt())
377 PrintRawDeclStmt(DS);
379 PrintExpr(
Node->getCond());
381 PrintStmt(
Node->getBody());
386 if (
auto *CS = dyn_cast<CompoundStmt>(
Node->getBody())) {
387 PrintRawCompoundStmt(CS);
391 PrintStmt(
Node->getBody());
396 PrintExpr(
Node->getCond());
403 PrintInitStmt(
Node->getInit(), 5);
405 OS << (
Node->getCond() ?
"; " :
";");
406 if (
const DeclStmt *DS =
Node->getConditionVariableDeclStmt())
407 PrintRawDeclStmt(DS);
408 else if (
Node->getCond())
409 PrintExpr(
Node->getCond());
411 if (
Node->getInc()) {
413 PrintExpr(
Node->getInc());
416 PrintControlledStmt(
Node->getBody());
421 if (
auto *DS = dyn_cast<DeclStmt>(
Node->getElement()))
422 PrintRawDeclStmt(DS);
424 PrintExpr(cast<Expr>(
Node->getElement()));
426 PrintExpr(
Node->getCollection());
428 PrintControlledStmt(
Node->getBody());
434 PrintInitStmt(
Node->getInit(), 5);
436 SubPolicy.SuppressInitializers =
true;
437 Node->getLoopVariable()->
print(OS, SubPolicy, IndentLevel);
439 PrintExpr(
Node->getRangeInit());
441 PrintControlledStmt(
Node->getBody());
446 if (
Node->isIfExists())
447 OS <<
"__if_exists (";
449 OS <<
"__if_not_exists (";
452 =
Node->getQualifierLoc().getNestedNameSpecifier())
455 OS <<
Node->getNameInfo() <<
") ";
457 PrintRawCompoundStmt(
Node->getSubStmt());
461 Indent() <<
"goto " <<
Node->getLabel()->getName() <<
";";
466 Indent() <<
"goto *";
467 PrintExpr(
Node->getTarget());
473 Indent() <<
"continue;";
478 Indent() <<
"break;";
483 Indent() <<
"return";
484 if (
Node->getRetValue()) {
486 PrintExpr(
Node->getRetValue());
495 if (
Node->isVolatile())
498 if (
Node->isAsmGoto())
502 VisitStringLiteral(
Node->getAsmString());
505 if (
Node->getNumOutputs() != 0 ||
Node->getNumInputs() != 0 ||
506 Node->getNumClobbers() != 0 ||
Node->getNumLabels() != 0)
509 for (
unsigned i = 0, e =
Node->getNumOutputs(); i != e; ++i) {
513 if (!
Node->getOutputName(i).empty()) {
515 OS <<
Node->getOutputName(i);
519 VisitStringLiteral(
Node->getOutputConstraintLiteral(i));
521 Visit(
Node->getOutputExpr(i));
526 if (
Node->getNumInputs() != 0 ||
Node->getNumClobbers() != 0 ||
527 Node->getNumLabels() != 0)
530 for (
unsigned i = 0, e =
Node->getNumInputs(); i != e; ++i) {
534 if (!
Node->getInputName(i).empty()) {
536 OS <<
Node->getInputName(i);
540 VisitStringLiteral(
Node->getInputConstraintLiteral(i));
542 Visit(
Node->getInputExpr(i));
547 if (
Node->getNumClobbers() != 0 ||
Node->getNumLabels())
550 for (
unsigned i = 0, e =
Node->getNumClobbers(); i != e; ++i) {
554 VisitStringLiteral(
Node->getClobberStringLiteral(i));
558 if (
Node->getNumLabels() != 0)
561 for (
unsigned i = 0, e =
Node->getNumLabels(); i != e; ++i) {
564 OS <<
Node->getLabelName(i);
573 Indent() <<
"__asm ";
574 if (
Node->hasBraces())
576 OS <<
Node->getAsmString() << NL;
577 if (
Node->hasBraces())
578 Indent() <<
"}" << NL;
582 PrintStmt(
Node->getCapturedDecl()->getBody());
587 if (
auto *TS = dyn_cast<CompoundStmt>(
Node->getTryBody())) {
588 PrintRawCompoundStmt(TS);
593 Indent() <<
"@catch(";
594 if (
Decl *DS = catchStmt->getCatchParamDecl())
597 if (
auto *CS = dyn_cast<CompoundStmt>(catchStmt->getCatchBody())) {
598 PrintRawCompoundStmt(CS);
604 Indent() <<
"@finally";
605 if (
auto *CS = dyn_cast<CompoundStmt>(FS->getFinallyBody())) {
606 PrintRawCompoundStmt(CS);
616 Indent() <<
"@catch (...) { /* todo */ } " << NL;
620 Indent() <<
"@throw";
621 if (
Node->getThrowExpr()) {
623 PrintExpr(
Node->getThrowExpr());
628void StmtPrinter::VisitObjCAvailabilityCheckExpr(
630 OS <<
"@available(...)";
634 Indent() <<
"@synchronized (";
635 PrintExpr(
Node->getSynchExpr());
637 PrintRawCompoundStmt(
Node->getSynchBody());
642 Indent() <<
"@autoreleasepool";
643 PrintRawCompoundStmt(cast<CompoundStmt>(
Node->getSubStmt()));
649 if (
Decl *ExDecl =
Node->getExceptionDecl())
650 PrintRawDecl(ExDecl);
654 PrintRawCompoundStmt(cast<CompoundStmt>(
Node->getHandlerBlock()));
659 PrintRawCXXCatchStmt(
Node);
665 PrintRawCompoundStmt(
Node->getTryBlock());
666 for (
unsigned i = 0, e =
Node->getNumHandlers(); i < e; ++i) {
668 PrintRawCXXCatchStmt(
Node->getHandler(i));
674 Indent() << (
Node->getIsCXXTry() ?
"try " :
"__try ");
675 PrintRawCompoundStmt(
Node->getTryBlock());
679 PrintRawSEHExceptHandler(
E);
681 assert(F &&
"Must have a finally block...");
682 PrintRawSEHFinallyStmt(F);
689 PrintRawCompoundStmt(
Node->getBlock());
695 VisitExpr(
Node->getFilterExpr());
697 PrintRawCompoundStmt(
Node->getBlock());
703 PrintRawSEHExceptHandler(
Node);
709 PrintRawSEHFinallyStmt(
Node);
714 Indent() <<
"__leave;";
723 PrintStmt(
Node->getLoopStmt());
730 for (
auto *Clause : Clauses)
731 if (Clause && !Clause->isImplicit()) {
733 Printer.Visit(Clause);
736 if (!ForceNoStmt && S->hasAssociatedStmt())
737 PrintStmt(S->getRawStmt());
741 Indent() <<
"#pragma omp metadirective";
742 PrintOMPExecutableDirective(
Node);
746 Indent() <<
"#pragma omp parallel";
747 PrintOMPExecutableDirective(
Node);
751 Indent() <<
"#pragma omp simd";
752 PrintOMPExecutableDirective(
Node);
756 Indent() <<
"#pragma omp tile";
757 PrintOMPExecutableDirective(
Node);
761 Indent() <<
"#pragma omp unroll";
762 PrintOMPExecutableDirective(
Node);
766 Indent() <<
"#pragma omp reverse";
767 PrintOMPExecutableDirective(
Node);
771 Indent() <<
"#pragma omp interchange";
772 PrintOMPExecutableDirective(
Node);
776 Indent() <<
"#pragma omp for";
777 PrintOMPExecutableDirective(
Node);
781 Indent() <<
"#pragma omp for simd";
782 PrintOMPExecutableDirective(
Node);
786 Indent() <<
"#pragma omp sections";
787 PrintOMPExecutableDirective(
Node);
791 Indent() <<
"#pragma omp section";
792 PrintOMPExecutableDirective(
Node);
796 Indent() <<
"#pragma omp scope";
797 PrintOMPExecutableDirective(
Node);
801 Indent() <<
"#pragma omp single";
802 PrintOMPExecutableDirective(
Node);
806 Indent() <<
"#pragma omp master";
807 PrintOMPExecutableDirective(
Node);
811 Indent() <<
"#pragma omp critical";
812 if (
Node->getDirectiveName().getName()) {
814 Node->getDirectiveName().printName(OS, Policy);
817 PrintOMPExecutableDirective(
Node);
821 Indent() <<
"#pragma omp parallel for";
822 PrintOMPExecutableDirective(
Node);
825void StmtPrinter::VisitOMPParallelForSimdDirective(
827 Indent() <<
"#pragma omp parallel for simd";
828 PrintOMPExecutableDirective(
Node);
831void StmtPrinter::VisitOMPParallelMasterDirective(
833 Indent() <<
"#pragma omp parallel master";
834 PrintOMPExecutableDirective(
Node);
837void StmtPrinter::VisitOMPParallelMaskedDirective(
839 Indent() <<
"#pragma omp parallel masked";
840 PrintOMPExecutableDirective(
Node);
843void StmtPrinter::VisitOMPParallelSectionsDirective(
845 Indent() <<
"#pragma omp parallel sections";
846 PrintOMPExecutableDirective(
Node);
850 Indent() <<
"#pragma omp task";
851 PrintOMPExecutableDirective(
Node);
855 Indent() <<
"#pragma omp taskyield";
856 PrintOMPExecutableDirective(
Node);
860 Indent() <<
"#pragma omp barrier";
861 PrintOMPExecutableDirective(
Node);
865 Indent() <<
"#pragma omp taskwait";
866 PrintOMPExecutableDirective(
Node);
870 Indent() <<
"#pragma omp assume";
871 PrintOMPExecutableDirective(
Node);
875 Indent() <<
"#pragma omp error";
876 PrintOMPExecutableDirective(
Node);
880 Indent() <<
"#pragma omp taskgroup";
881 PrintOMPExecutableDirective(
Node);
885 Indent() <<
"#pragma omp flush";
886 PrintOMPExecutableDirective(
Node);
890 Indent() <<
"#pragma omp depobj";
891 PrintOMPExecutableDirective(
Node);
895 Indent() <<
"#pragma omp scan";
896 PrintOMPExecutableDirective(
Node);
900 Indent() <<
"#pragma omp ordered";
905 Indent() <<
"#pragma omp atomic";
906 PrintOMPExecutableDirective(
Node);
910 Indent() <<
"#pragma omp target";
911 PrintOMPExecutableDirective(
Node);
915 Indent() <<
"#pragma omp target data";
916 PrintOMPExecutableDirective(
Node);
919void StmtPrinter::VisitOMPTargetEnterDataDirective(
921 Indent() <<
"#pragma omp target enter data";
922 PrintOMPExecutableDirective(
Node,
true);
925void StmtPrinter::VisitOMPTargetExitDataDirective(
927 Indent() <<
"#pragma omp target exit data";
928 PrintOMPExecutableDirective(
Node,
true);
931void StmtPrinter::VisitOMPTargetParallelDirective(
933 Indent() <<
"#pragma omp target parallel";
934 PrintOMPExecutableDirective(
Node);
937void StmtPrinter::VisitOMPTargetParallelForDirective(
939 Indent() <<
"#pragma omp target parallel for";
940 PrintOMPExecutableDirective(
Node);
944 Indent() <<
"#pragma omp teams";
945 PrintOMPExecutableDirective(
Node);
948void StmtPrinter::VisitOMPCancellationPointDirective(
950 Indent() <<
"#pragma omp cancellation point "
951 << getOpenMPDirectiveName(
Node->getCancelRegion());
952 PrintOMPExecutableDirective(
Node);
956 Indent() <<
"#pragma omp cancel "
957 << getOpenMPDirectiveName(
Node->getCancelRegion());
958 PrintOMPExecutableDirective(
Node);
962 Indent() <<
"#pragma omp taskloop";
963 PrintOMPExecutableDirective(
Node);
966void StmtPrinter::VisitOMPTaskLoopSimdDirective(
968 Indent() <<
"#pragma omp taskloop simd";
969 PrintOMPExecutableDirective(
Node);
972void StmtPrinter::VisitOMPMasterTaskLoopDirective(
974 Indent() <<
"#pragma omp master taskloop";
975 PrintOMPExecutableDirective(
Node);
978void StmtPrinter::VisitOMPMaskedTaskLoopDirective(
980 Indent() <<
"#pragma omp masked taskloop";
981 PrintOMPExecutableDirective(
Node);
984void StmtPrinter::VisitOMPMasterTaskLoopSimdDirective(
986 Indent() <<
"#pragma omp master taskloop simd";
987 PrintOMPExecutableDirective(
Node);
990void StmtPrinter::VisitOMPMaskedTaskLoopSimdDirective(
992 Indent() <<
"#pragma omp masked taskloop simd";
993 PrintOMPExecutableDirective(
Node);
996void StmtPrinter::VisitOMPParallelMasterTaskLoopDirective(
998 Indent() <<
"#pragma omp parallel master taskloop";
999 PrintOMPExecutableDirective(
Node);
1002void StmtPrinter::VisitOMPParallelMaskedTaskLoopDirective(
1004 Indent() <<
"#pragma omp parallel masked taskloop";
1005 PrintOMPExecutableDirective(
Node);
1008void StmtPrinter::VisitOMPParallelMasterTaskLoopSimdDirective(
1010 Indent() <<
"#pragma omp parallel master taskloop simd";
1011 PrintOMPExecutableDirective(
Node);
1014void StmtPrinter::VisitOMPParallelMaskedTaskLoopSimdDirective(
1016 Indent() <<
"#pragma omp parallel masked taskloop simd";
1017 PrintOMPExecutableDirective(
Node);
1021 Indent() <<
"#pragma omp distribute";
1022 PrintOMPExecutableDirective(
Node);
1025void StmtPrinter::VisitOMPTargetUpdateDirective(
1027 Indent() <<
"#pragma omp target update";
1028 PrintOMPExecutableDirective(
Node,
true);
1031void StmtPrinter::VisitOMPDistributeParallelForDirective(
1033 Indent() <<
"#pragma omp distribute parallel for";
1034 PrintOMPExecutableDirective(
Node);
1037void StmtPrinter::VisitOMPDistributeParallelForSimdDirective(
1039 Indent() <<
"#pragma omp distribute parallel for simd";
1040 PrintOMPExecutableDirective(
Node);
1043void StmtPrinter::VisitOMPDistributeSimdDirective(
1045 Indent() <<
"#pragma omp distribute simd";
1046 PrintOMPExecutableDirective(
Node);
1049void StmtPrinter::VisitOMPTargetParallelForSimdDirective(
1051 Indent() <<
"#pragma omp target parallel for simd";
1052 PrintOMPExecutableDirective(
Node);
1056 Indent() <<
"#pragma omp target simd";
1057 PrintOMPExecutableDirective(
Node);
1060void StmtPrinter::VisitOMPTeamsDistributeDirective(
1062 Indent() <<
"#pragma omp teams distribute";
1063 PrintOMPExecutableDirective(
Node);
1066void StmtPrinter::VisitOMPTeamsDistributeSimdDirective(
1068 Indent() <<
"#pragma omp teams distribute simd";
1069 PrintOMPExecutableDirective(
Node);
1072void StmtPrinter::VisitOMPTeamsDistributeParallelForSimdDirective(
1074 Indent() <<
"#pragma omp teams distribute parallel for simd";
1075 PrintOMPExecutableDirective(
Node);
1078void StmtPrinter::VisitOMPTeamsDistributeParallelForDirective(
1080 Indent() <<
"#pragma omp teams distribute parallel for";
1081 PrintOMPExecutableDirective(
Node);
1085 Indent() <<
"#pragma omp target teams";
1086 PrintOMPExecutableDirective(
Node);
1089void StmtPrinter::VisitOMPTargetTeamsDistributeDirective(
1091 Indent() <<
"#pragma omp target teams distribute";
1092 PrintOMPExecutableDirective(
Node);
1095void StmtPrinter::VisitOMPTargetTeamsDistributeParallelForDirective(
1097 Indent() <<
"#pragma omp target teams distribute parallel for";
1098 PrintOMPExecutableDirective(
Node);
1101void StmtPrinter::VisitOMPTargetTeamsDistributeParallelForSimdDirective(
1103 Indent() <<
"#pragma omp target teams distribute parallel for simd";
1104 PrintOMPExecutableDirective(
Node);
1107void StmtPrinter::VisitOMPTargetTeamsDistributeSimdDirective(
1109 Indent() <<
"#pragma omp target teams distribute simd";
1110 PrintOMPExecutableDirective(
Node);
1114 Indent() <<
"#pragma omp interop";
1115 PrintOMPExecutableDirective(
Node);
1119 Indent() <<
"#pragma omp dispatch";
1120 PrintOMPExecutableDirective(
Node);
1124 Indent() <<
"#pragma omp masked";
1125 PrintOMPExecutableDirective(
Node);
1129 Indent() <<
"#pragma omp loop";
1130 PrintOMPExecutableDirective(
Node);
1133void StmtPrinter::VisitOMPTeamsGenericLoopDirective(
1135 Indent() <<
"#pragma omp teams loop";
1136 PrintOMPExecutableDirective(
Node);
1139void StmtPrinter::VisitOMPTargetTeamsGenericLoopDirective(
1141 Indent() <<
"#pragma omp target teams loop";
1142 PrintOMPExecutableDirective(
Node);
1145void StmtPrinter::VisitOMPParallelGenericLoopDirective(
1147 Indent() <<
"#pragma omp parallel loop";
1148 PrintOMPExecutableDirective(
Node);
1151void StmtPrinter::VisitOMPTargetParallelGenericLoopDirective(
1153 Indent() <<
"#pragma omp target parallel loop";
1154 PrintOMPExecutableDirective(
Node);
1161 if (!S->clauses().empty()) {
1164 Printer.VisitClauseList(S->clauses());
1168 Indent() <<
"#pragma acc " << S->getDirectiveKind();
1169 PrintOpenACCClauseList(S);
1173 PrintOpenACCConstruct(S);
1174 PrintStmt(S->getStructuredBlock());
1178 PrintOpenACCConstruct(S);
1179 PrintStmt(S->getLoop());
1183 PrintOpenACCConstruct(S);
1184 PrintStmt(S->getLoop());
1188 PrintOpenACCConstruct(S);
1189 PrintStmt(S->getStructuredBlock());
1192 PrintOpenACCConstruct(S);
1193 PrintStmt(S->getStructuredBlock());
1196 PrintOpenACCConstruct(S);
1199 PrintOpenACCConstruct(S);
1202 PrintOpenACCConstruct(S);
1205 PrintOpenACCConstruct(S);
1209 PrintOpenACCConstruct(S);
1213 Indent() <<
"#pragma acc wait";
1214 if (!S->getLParenLoc().isInvalid()) {
1216 if (S->hasDevNumExpr()) {
1218 S->getDevNumExpr()->printPretty(OS,
nullptr, Policy);
1222 if (S->hasQueuesTag())
1225 llvm::interleaveComma(S->getQueueIdExprs(), OS, [&](
const Expr *
E) {
1226 E->printPretty(OS, nullptr, Policy);
1232 PrintOpenACCClauseList(S);
1241 OS <<
Node->getBuiltinStr() <<
"()";
1245 llvm::report_fatal_error(
"Not implemented");
1249 PrintExpr(
Node->getSubExpr());
1253 if (
const auto *OCED = dyn_cast<OMPCapturedExprDecl>(
Node->getDecl())) {
1254 OCED->getInit()->IgnoreImpCasts()->printPretty(OS,
nullptr, Policy);
1257 if (
const auto *TPOD = dyn_cast<TemplateParamObjectDecl>(
Node->getDecl())) {
1258 TPOD->printAsExpr(OS, Policy);
1263 if (
Node->hasTemplateKeyword())
1266 isa<ParmVarDecl, NonTypeTemplateParmDecl>(
Node->getDecl()) &&
1267 Node->getDecl()->getIdentifier())
1268 OS <<
Node->getDecl()->getIdentifier()->deuglifiedName();
1270 Node->getNameInfo().printName(OS, Policy);
1271 if (
Node->hasExplicitTemplateArgs()) {
1273 if (!
Node->hadMultipleCandidates())
1274 if (
auto *TD = dyn_cast<TemplateDecl>(
Node->getDecl()))
1275 TPL = TD->getTemplateParameters();
1280void StmtPrinter::VisitDependentScopeDeclRefExpr(
1284 if (
Node->hasTemplateKeyword())
1286 OS <<
Node->getNameInfo();
1287 if (
Node->hasExplicitTemplateArgs())
1292 if (
Node->getQualifier())
1293 Node->getQualifier()->
print(OS, Policy);
1294 if (
Node->hasTemplateKeyword())
1296 OS <<
Node->getNameInfo();
1297 if (
Node->hasExplicitTemplateArgs())
1302 if (
const auto *DRE = dyn_cast<DeclRefExpr>(
E)) {
1303 if (
const auto *PD = dyn_cast<ImplicitParamDecl>(DRE->getDecl())) {
1304 if (PD->getParameterKind() == ImplicitParamKind::ObjCSelf &&
1305 DRE->getBeginLoc().isInvalid())
1313 if (
Node->getBase()) {
1316 PrintExpr(
Node->getBase());
1317 OS << (
Node->isArrow() ?
"->" :
".");
1320 OS << *
Node->getDecl();
1324 if (
Node->isSuperReceiver())
1326 else if (
Node->isObjectReceiver() &&
Node->getBase()) {
1327 PrintExpr(
Node->getBase());
1329 }
else if (
Node->isClassReceiver() &&
Node->getClassReceiver()) {
1330 OS <<
Node->getClassReceiver()->getName() <<
".";
1333 if (
Node->isImplicitProperty()) {
1334 if (
const auto *Getter =
Node->getImplicitPropertyGetter())
1335 Getter->getSelector().
print(OS);
1338 Node->getImplicitPropertySetter()->getSelector());
1340 OS <<
Node->getExplicitProperty()->getName();
1344 PrintExpr(
Node->getBaseExpr());
1346 PrintExpr(
Node->getKeyExpr());
1350void StmtPrinter::VisitSYCLUniqueStableNameExpr(
1352 OS <<
"__builtin_sycl_unique_stable_name(";
1353 Node->getTypeSourceInfo()->getType().
print(OS, Policy);
1389 bool isSigned =
Node->getType()->isSignedIntegerType();
1392 if (isa<BitIntType>(
Node->getType())) {
1393 OS << (isSigned ?
"wb" :
"uwb");
1399 default: llvm_unreachable(
"Unexpected type for integer literal!");
1400 case BuiltinType::Char_S:
1401 case BuiltinType::Char_U: OS <<
"i8";
break;
1402 case BuiltinType::UChar: OS <<
"Ui8";
break;
1403 case BuiltinType::SChar: OS <<
"i8";
break;
1404 case BuiltinType::Short: OS <<
"i16";
break;
1405 case BuiltinType::UShort: OS <<
"Ui16";
break;
1406 case BuiltinType::Int:
break;
1407 case BuiltinType::UInt: OS <<
'U';
break;
1408 case BuiltinType::Long: OS <<
'L';
break;
1409 case BuiltinType::ULong: OS <<
"UL";
break;
1410 case BuiltinType::LongLong: OS <<
"LL";
break;
1411 case BuiltinType::ULongLong: OS <<
"ULL";
break;
1412 case BuiltinType::Int128:
1414 case BuiltinType::UInt128:
1416 case BuiltinType::WChar_S:
1417 case BuiltinType::WChar_U:
1425 OS <<
Node->getValueAsString(10);
1428 default: llvm_unreachable(
"Unexpected type for fixed point literal!");
1429 case BuiltinType::ShortFract: OS <<
"hr";
break;
1430 case BuiltinType::ShortAccum: OS <<
"hk";
break;
1431 case BuiltinType::UShortFract: OS <<
"uhr";
break;
1432 case BuiltinType::UShortAccum: OS <<
"uhk";
break;
1433 case BuiltinType::Fract: OS <<
"r";
break;
1434 case BuiltinType::Accum: OS <<
"k";
break;
1435 case BuiltinType::UFract: OS <<
"ur";
break;
1436 case BuiltinType::UAccum: OS <<
"uk";
break;
1437 case BuiltinType::LongFract: OS <<
"lr";
break;
1438 case BuiltinType::LongAccum: OS <<
"lk";
break;
1439 case BuiltinType::ULongFract: OS <<
"ulr";
break;
1440 case BuiltinType::ULongAccum: OS <<
"ulk";
break;
1447 Node->getValue().toString(Str);
1449 if (Str.find_first_not_of(
"-0123456789") == StringRef::npos)
1457 default: llvm_unreachable(
"Unexpected type for float literal!");
1458 case BuiltinType::Half:
break;
1459 case BuiltinType::Ibm128:
break;
1460 case BuiltinType::Double:
break;
1461 case BuiltinType::Float16: OS <<
"F16";
break;
1462 case BuiltinType::Float: OS <<
'F';
break;
1463 case BuiltinType::LongDouble: OS <<
'L';
break;
1464 case BuiltinType::Float128: OS <<
'Q';
break;
1475 PrintExpr(
Node->getSubExpr());
1485 PrintExpr(
Node->getSubExpr());
1490 if (!
Node->isPostfix()) {
1495 switch (
Node->getOpcode()) {
1504 if (isa<UnaryOperator>(
Node->getSubExpr()))
1509 PrintExpr(
Node->getSubExpr());
1511 if (
Node->isPostfix())
1516 OS <<
"__builtin_offsetof(";
1517 Node->getTypeSourceInfo()->getType().
print(OS, Policy);
1519 bool PrintedSomething =
false;
1520 for (
unsigned i = 0, n =
Node->getNumComponents(); i < n; ++i) {
1527 PrintedSomething =
true;
1540 if (PrintedSomething)
1543 PrintedSomething =
true;
1544 OS <<
Id->getName();
1549void StmtPrinter::VisitUnaryExprOrTypeTraitExpr(
1552 if (
Node->getKind() == UETT_AlignOf) {
1554 Spelling =
"alignof";
1556 Spelling =
"_Alignof";
1558 Spelling =
"__alignof";
1563 if (
Node->isArgumentType()) {
1565 Node->getArgumentType().
print(OS, Policy);
1569 PrintExpr(
Node->getArgumentExpr());
1575 if (
Node->isExprPredicate())
1576 PrintExpr(
Node->getControllingExpr());
1578 Node->getControllingType()->getType().
print(OS, Policy);
1586 T.print(OS, Policy);
1588 PrintExpr(Assoc.getAssociationExpr());
1594 PrintExpr(
Node->getLHS());
1596 PrintExpr(
Node->getRHS());
1601 PrintExpr(
Node->getBase());
1603 PrintExpr(
Node->getRowIdx());
1606 PrintExpr(
Node->getColumnIdx());
1611 PrintExpr(
Node->getBase());
1613 if (
Node->getLowerBound())
1614 PrintExpr(
Node->getLowerBound());
1615 if (
Node->getColonLocFirst().isValid()) {
1617 if (
Node->getLength())
1618 PrintExpr(
Node->getLength());
1620 if (
Node->isOMPArraySection() &&
Node->getColonLocSecond().isValid()) {
1622 if (
Node->getStride())
1623 PrintExpr(
Node->getStride());
1636 PrintExpr(
Node->getBase());
1641 for (
unsigned I = 0,
E =
Node->numOfIterators(); I <
E; ++I) {
1642 auto *VD = cast<ValueDecl>(
Node->getIteratorDecl(I));
1643 VD->getType().print(OS, Policy);
1645 OS <<
" " << VD->getName() <<
" = ";
1646 PrintExpr(
Range.Begin);
1648 PrintExpr(
Range.End);
1651 PrintExpr(
Range.Step);
1660 for (
unsigned i = 0, e =
Call->getNumArgs(); i != e; ++i) {
1661 if (isa<CXXDefaultArgExpr>(
Call->getArg(i))) {
1667 PrintExpr(
Call->getArg(i));
1672 PrintExpr(
Call->getCallee());
1674 PrintCallArgs(
Call);
1679 if (
const auto *TE = dyn_cast<CXXThisExpr>(
E))
1680 return TE->isImplicit();
1686 PrintExpr(
Node->getBase());
1688 auto *ParentMember = dyn_cast<MemberExpr>(
Node->getBase());
1690 ParentMember ? dyn_cast<FieldDecl>(ParentMember->getMemberDecl())
1694 OS << (
Node->isArrow() ?
"->" :
".");
1697 if (
auto *FD = dyn_cast<FieldDecl>(
Node->getMemberDecl()))
1698 if (FD->isAnonymousStructOrUnion())
1703 if (
Node->hasTemplateKeyword())
1705 OS <<
Node->getMemberNameInfo();
1707 if (
auto *FD = dyn_cast<FunctionDecl>(
Node->getMemberDecl())) {
1708 if (!
Node->hadMultipleCandidates())
1709 if (
auto *FTD = FD->getPrimaryTemplate())
1710 TPL = FTD->getTemplateParameters();
1711 }
else if (
auto *VTSD =
1712 dyn_cast<VarTemplateSpecializationDecl>(
Node->getMemberDecl()))
1713 TPL = VTSD->getSpecializedTemplate()->getTemplateParameters();
1714 if (
Node->hasExplicitTemplateArgs())
1719 PrintExpr(
Node->getBase());
1720 OS << (
Node->isArrow() ?
"->isa" :
".isa");
1724 PrintExpr(
Node->getBase());
1726 OS <<
Node->getAccessor().getName();
1731 Node->getTypeAsWritten().
print(OS, Policy);
1733 PrintExpr(
Node->getSubExpr());
1740 PrintExpr(
Node->getInitializer());
1745 PrintExpr(
Node->getSubExpr());
1749 PrintExpr(
Node->getLHS());
1751 PrintExpr(
Node->getRHS());
1755 PrintExpr(
Node->getLHS());
1757 PrintExpr(
Node->getRHS());
1761 PrintExpr(
Node->getCond());
1763 PrintExpr(
Node->getLHS());
1765 PrintExpr(
Node->getRHS());
1772 PrintExpr(
Node->getCommon());
1774 PrintExpr(
Node->getFalseExpr());
1778 OS <<
"&&" <<
Node->getLabel()->getName();
1781void StmtPrinter::VisitStmtExpr(
StmtExpr *
E) {
1783 PrintRawCompoundStmt(
E->getSubStmt());
1788 OS <<
"__builtin_choose_expr(";
1789 PrintExpr(
Node->getCond());
1791 PrintExpr(
Node->getLHS());
1793 PrintExpr(
Node->getRHS());
1797void StmtPrinter::VisitGNUNullExpr(
GNUNullExpr *) {
1802 OS <<
"__builtin_shufflevector(";
1803 for (
unsigned i = 0, e =
Node->getNumSubExprs(); i != e; ++i) {
1805 PrintExpr(
Node->getExpr(i));
1811 OS <<
"__builtin_convertvector(";
1812 PrintExpr(
Node->getSrcExpr());
1819 if (
Node->getSyntacticForm()) {
1820 Visit(
Node->getSyntacticForm());
1825 for (
unsigned i = 0, e =
Node->getNumInits(); i != e; ++i) {
1827 if (
Node->getInit(i))
1828 PrintExpr(
Node->getInit(i));
1839 PrintExpr(
Node->getSubExpr());
1849 for (
unsigned i = 0, e =
Node->getNumExprs(); i != e; ++i) {
1851 PrintExpr(
Node->getExpr(i));
1857 bool NeedsEquals =
true;
1859 if (
D.isFieldDesignator()) {
1860 if (
D.getDotLoc().isInvalid()) {
1862 OS << II->getName() <<
":";
1863 NeedsEquals =
false;
1866 OS <<
"." <<
D.getFieldName()->getName();
1870 if (
D.isArrayDesignator()) {
1871 PrintExpr(
Node->getArrayIndex(
D));
1873 PrintExpr(
Node->getArrayRangeStart(
D));
1875 PrintExpr(
Node->getArrayRangeEnd(
D));
1885 PrintExpr(
Node->getInit());
1888void StmtPrinter::VisitDesignatedInitUpdateExpr(
1892 PrintExpr(
Node->getBase());
1895 OS <<
"/*updater*/";
1896 PrintExpr(
Node->getUpdater());
1901 OS <<
"/*no init*/";
1905 if (
Node->getType()->getAsCXXRecordDecl()) {
1906 OS <<
"/*implicit*/";
1910 OS <<
"/*implicit*/(";
1913 if (
Node->getType()->isRecordType())
1921 OS <<
"__builtin_va_arg(";
1922 PrintExpr(
Node->getSubExpr());
1929 PrintExpr(
Node->getSyntacticForm());
1933 const char *Name =
nullptr;
1934 switch (
Node->getOp()) {
1935#define BUILTIN(ID, TYPE, ATTRS)
1936#define ATOMIC_BUILTIN(ID, TYPE, ATTRS) \
1937 case AtomicExpr::AO ## ID: \
1940#include "clang/Basic/Builtins.inc"
1945 PrintExpr(
Node->getPtr());
1946 if (
Node->getOp() != AtomicExpr::AO__c11_atomic_load &&
1947 Node->getOp() != AtomicExpr::AO__atomic_load_n &&
1948 Node->getOp() != AtomicExpr::AO__scoped_atomic_load_n &&
1949 Node->getOp() != AtomicExpr::AO__opencl_atomic_load &&
1950 Node->getOp() != AtomicExpr::AO__hip_atomic_load) {
1952 PrintExpr(
Node->getVal1());
1954 if (
Node->getOp() == AtomicExpr::AO__atomic_exchange ||
1955 Node->isCmpXChg()) {
1957 PrintExpr(
Node->getVal2());
1959 if (
Node->getOp() == AtomicExpr::AO__atomic_compare_exchange ||
1960 Node->getOp() == AtomicExpr::AO__atomic_compare_exchange_n) {
1962 PrintExpr(
Node->getWeak());
1964 if (
Node->getOp() != AtomicExpr::AO__c11_atomic_init &&
1965 Node->getOp() != AtomicExpr::AO__opencl_atomic_init) {
1967 PrintExpr(
Node->getOrder());
1969 if (
Node->isCmpXChg()) {
1971 PrintExpr(
Node->getOrderFail());
1979 if (Kind == OO_PlusPlus || Kind == OO_MinusMinus) {
1980 if (
Node->getNumArgs() == 1) {
1982 PrintExpr(
Node->getArg(0));
1984 PrintExpr(
Node->getArg(0));
1987 }
else if (Kind == OO_Arrow) {
1988 PrintExpr(
Node->getArg(0));
1989 }
else if (Kind == OO_Call || Kind == OO_Subscript) {
1990 PrintExpr(
Node->getArg(0));
1991 OS << (
Kind == OO_Call ?
'(' :
'[');
1992 for (
unsigned ArgIdx = 1; ArgIdx <
Node->getNumArgs(); ++ArgIdx) {
1995 if (!isa<CXXDefaultArgExpr>(
Node->getArg(ArgIdx)))
1996 PrintExpr(
Node->getArg(ArgIdx));
1998 OS << (
Kind == OO_Call ?
')' :
']');
1999 }
else if (
Node->getNumArgs() == 1) {
2001 PrintExpr(
Node->getArg(0));
2002 }
else if (
Node->getNumArgs() == 2) {
2003 PrintExpr(
Node->getArg(0));
2005 PrintExpr(
Node->getArg(1));
2007 llvm_unreachable(
"unknown overloaded operator");
2014 if (isa_and_nonnull<CXXConversionDecl>(MD)) {
2015 PrintExpr(
Node->getImplicitObjectArgument());
2018 VisitCallExpr(cast<CallExpr>(
Node));
2022 PrintExpr(
Node->getCallee());
2024 PrintCallArgs(
Node->getConfig());
2026 PrintCallArgs(
Node);
2030void StmtPrinter::VisitCXXRewrittenBinaryOperator(
2033 Node->getDecomposedForm();
2034 PrintExpr(
const_cast<Expr*
>(Decomposed.
LHS));
2036 PrintExpr(
const_cast<Expr*
>(Decomposed.
RHS));
2040 OS <<
Node->getCastName() <<
'<';
2041 Node->getTypeAsWritten().
print(OS, Policy);
2043 PrintExpr(
Node->getSubExpr());
2048 VisitCXXNamedCastExpr(
Node);
2052 VisitCXXNamedCastExpr(
Node);
2056 VisitCXXNamedCastExpr(
Node);
2060 VisitCXXNamedCastExpr(
Node);
2064 OS <<
"__builtin_bit_cast(";
2065 Node->getTypeInfoAsWritten()->getType().
print(OS, Policy);
2067 PrintExpr(
Node->getSubExpr());
2072 VisitCXXNamedCastExpr(
Node);
2077 if (
Node->isTypeOperand()) {
2078 Node->getTypeOperandSourceInfo()->getType().
print(OS, Policy);
2080 PrintExpr(
Node->getExprOperand());
2087 if (
Node->isTypeOperand()) {
2088 Node->getTypeOperandSourceInfo()->getType().
print(OS, Policy);
2090 PrintExpr(
Node->getExprOperand());
2096 PrintExpr(
Node->getBaseExpr());
2097 if (
Node->isArrow())
2102 Node->getQualifierLoc().getNestedNameSpecifier())
2104 OS <<
Node->getPropertyDecl()->getDeclName();
2108 PrintExpr(
Node->getBase());
2110 PrintExpr(
Node->getIdx());
2115 switch (
Node->getLiteralOperatorKind()) {
2117 OS << cast<StringLiteral>(
Node->getArg(0)->IgnoreImpCasts())->getString();
2120 const auto *DRE = cast<DeclRefExpr>(
Node->getCallee()->IgnoreImpCasts());
2122 cast<FunctionDecl>(DRE->getDecl())->getTemplateSpecializationArgs();
2127 if (!DRE->hadMultipleCandidates())
2128 if (
const auto *TD = dyn_cast<TemplateDecl>(DRE->getDecl()))
2129 TPL = TD->getTemplateParameters();
2130 OS <<
"operator\"\"" <<
Node->getUDSuffix()->getName();
2138 char C = (char)
P.getAsIntegral().getZExtValue();
2145 const auto *
Int = cast<IntegerLiteral>(
Node->getCookedLiteral());
2151 auto *
Float = cast<FloatingLiteral>(
Node->getCookedLiteral());
2157 PrintExpr(
Node->getCookedLiteral());
2160 OS <<
Node->getUDSuffix()->getName();
2164 OS << (
Node->getValue() ?
"true" :
"false");
2176 if (!
Node->getSubExpr())
2180 PrintExpr(
Node->getSubExpr());
2193 auto TargetType =
Node->getType();
2194 auto *
Auto = TargetType->getContainedDeducedType();
2195 bool Bare =
Auto &&
Auto->isDeduced();
2200 TargetType.print(OS, Policy);
2205 if (!
Node->isListInitialization())
2207 PrintExpr(
Node->getSubExpr());
2208 if (!
Node->isListInitialization())
2213 PrintExpr(
Node->getSubExpr());
2218 if (
Node->isStdInitListInitialization())
2220 else if (
Node->isListInitialization())
2225 ArgEnd =
Node->arg_end();
2226 Arg != ArgEnd; ++Arg) {
2227 if ((*Arg)->isDefaultArgument())
2229 if (Arg !=
Node->arg_begin())
2233 if (
Node->isStdInitListInitialization())
2235 else if (
Node->isListInitialization())
2243 bool NeedComma =
false;
2244 switch (
Node->getCaptureDefault()) {
2259 CEnd =
Node->explicit_capture_end();
2262 if (
C->capturesVLAType())
2269 switch (
C->getCaptureKind()) {
2281 OS <<
C->getCapturedVar()->getName();
2285 OS <<
C->getCapturedVar()->getName();
2289 llvm_unreachable(
"VLA type in explicit captures.");
2292 if (
C->isPackExpansion())
2295 if (
Node->isInitCapture(
C)) {
2297 auto *
D = cast<VarDecl>(
C->getCapturedVar());
2299 llvm::StringRef
Pre;
2300 llvm::StringRef
Post;
2302 !isa<ParenListExpr>(
D->getInit())) {
2310 PrintExpr(
D->getInit());
2316 if (!
Node->getExplicitTemplateParameters().empty()) {
2317 Node->getTemplateParameterList()->
print(
2318 OS,
Node->getLambdaClass()->getASTContext(),
2322 if (
Node->hasExplicitParameters()) {
2332 std::string ParamStr =
2334 ?
P->getIdentifier()->deuglifiedName().str()
2335 :
P->getNameAsString();
2336 P->getOriginalType().print(OS, Policy, ParamStr);
2345 if (
Node->isMutable())
2354 if (
Node->hasExplicitResultType()) {
2356 Proto->getReturnType().print(OS, Policy);
2365 PrintRawCompoundStmt(
Node->getCompoundStmtBody());
2370 TSInfo->getType().print(OS, Policy);
2377 if (
E->isGlobalNew())
2380 unsigned NumPlace =
E->getNumPlacementArgs();
2381 if (NumPlace > 0 && !isa<CXXDefaultArgExpr>(
E->getPlacementArg(0))) {
2383 PrintExpr(
E->getPlacementArg(0));
2384 for (
unsigned i = 1; i < NumPlace; ++i) {
2385 if (isa<CXXDefaultArgExpr>(
E->getPlacementArg(i)))
2388 PrintExpr(
E->getPlacementArg(i));
2392 if (
E->isParenTypeId())
2396 llvm::raw_string_ostream
s(TypeS);
2398 if (std::optional<Expr *> Size =
E->getArraySize())
2399 (*Size)->printPretty(
s, Helper, Policy);
2402 E->getAllocatedType().print(OS, Policy, TypeS);
2403 if (
E->isParenTypeId())
2407 if (InitStyle != CXXNewInitializationStyle::None) {
2408 bool Bare = InitStyle == CXXNewInitializationStyle::Parens &&
2409 !isa<ParenListExpr>(
E->getInitializer());
2412 PrintExpr(
E->getInitializer());
2419 if (
E->isGlobalDelete())
2422 if (
E->isArrayForm())
2424 PrintExpr(
E->getArgument());
2428 PrintExpr(
E->getBase());
2433 if (
E->getQualifier())
2434 E->getQualifier()->print(OS, Policy);
2438 OS << II->getName();
2440 E->getDestroyedType().print(OS, Policy);
2444 if (
E->isListInitialization() && !
E->isStdInitListInitialization())
2447 for (
unsigned i = 0, e =
E->getNumArgs(); i != e; ++i) {
2448 if (isa<CXXDefaultArgExpr>(
E->getArg(i))) {
2454 PrintExpr(
E->getArg(i));
2457 if (
E->isListInitialization() && !
E->isStdInitListInitialization())
2463 OS <<
"<forwarded>";
2467 PrintExpr(
E->getSubExpr());
2472 PrintExpr(
E->getSubExpr());
2475void StmtPrinter::VisitCXXUnresolvedConstructExpr(
2477 Node->getTypeAsWritten().
print(OS, Policy);
2478 if (!
Node->isListInitialization())
2480 for (
auto Arg =
Node->arg_begin(), ArgEnd =
Node->arg_end(); Arg != ArgEnd;
2482 if (Arg !=
Node->arg_begin())
2486 if (!
Node->isListInitialization())
2490void StmtPrinter::VisitCXXDependentScopeMemberExpr(
2492 if (!
Node->isImplicitAccess()) {
2493 PrintExpr(
Node->getBase());
2494 OS << (
Node->isArrow() ?
"->" :
".");
2498 if (
Node->hasTemplateKeyword())
2500 OS <<
Node->getMemberNameInfo();
2501 if (
Node->hasExplicitTemplateArgs())
2506 if (!
Node->isImplicitAccess()) {
2507 PrintExpr(
Node->getBase());
2508 OS << (
Node->isArrow() ?
"->" :
".");
2512 if (
Node->hasTemplateKeyword())
2514 OS <<
Node->getMemberNameInfo();
2515 if (
Node->hasExplicitTemplateArgs())
2521 for (
unsigned I = 0, N =
E->getNumArgs(); I != N; ++I) {
2531 E->getQueriedType().print(OS, Policy);
2537 PrintExpr(
E->getQueriedExpression());
2543 PrintExpr(
E->getOperand());
2548 PrintExpr(
E->getPattern());
2553 OS <<
"sizeof...(" << *
E->getPack() <<
")";
2557 PrintExpr(
E->getPackIdExpression());
2559 PrintExpr(
E->getIndexExpr());
2563void StmtPrinter::VisitSubstNonTypeTemplateParmPackExpr(
2565 OS << *
Node->getParameterPack();
2568void StmtPrinter::VisitSubstNonTypeTemplateParmExpr(
2570 Visit(
Node->getReplacement());
2574 OS << *
E->getParameterPack();
2578 PrintExpr(
Node->getSubExpr());
2584 PrintExpr(
E->getLHS());
2590 PrintExpr(
E->getRHS());
2597 llvm::interleaveComma(
Node->getInitExprs(), OS,
2598 [&](
Expr *
E) { PrintExpr(E); });
2606 if (
E->getTemplateKWLoc().isValid())
2608 OS <<
E->getFoundDecl()->getName();
2611 E->getNamedConcept()->getTemplateParameters());
2616 auto LocalParameters =
E->getLocalParameters();
2617 if (!LocalParameters.empty()) {
2620 PrintRawDecl(LocalParam);
2621 if (LocalParam != LocalParameters.back())
2628 auto Requirements =
E->getRequirements();
2630 if (
auto *TypeReq = dyn_cast<concepts::TypeRequirement>(Req)) {
2631 if (TypeReq->isSubstitutionFailure())
2632 OS <<
"<<error-type>>";
2634 TypeReq->getType()->getType().print(OS, Policy);
2635 }
else if (
auto *ExprReq = dyn_cast<concepts::ExprRequirement>(Req)) {
2636 if (ExprReq->isCompound())
2638 if (ExprReq->isExprSubstitutionFailure())
2639 OS <<
"<<error-expression>>";
2641 PrintExpr(ExprReq->getExpr());
2642 if (ExprReq->isCompound()) {
2644 if (ExprReq->getNoexceptLoc().isValid())
2646 const auto &RetReq = ExprReq->getReturnTypeRequirement();
2647 if (!RetReq.isEmpty()) {
2649 if (RetReq.isSubstitutionFailure())
2650 OS <<
"<<error-type>>";
2651 else if (RetReq.isTypeConstraint())
2652 RetReq.getTypeConstraint()->print(OS, Policy);
2656 auto *NestedReq = cast<concepts::NestedRequirement>(Req);
2658 if (NestedReq->hasInvalidConstraint())
2659 OS <<
"<<error-expression>>";
2661 PrintExpr(NestedReq->getConstraintExpr());
2671 Visit(S->getBody());
2676 if (S->getOperand()) {
2678 Visit(S->getOperand());
2683void StmtPrinter::VisitCoawaitExpr(
CoawaitExpr *S) {
2685 PrintExpr(S->getOperand());
2690 PrintExpr(S->getOperand());
2693void StmtPrinter::VisitCoyieldExpr(
CoyieldExpr *S) {
2695 PrintExpr(S->getOperand());
2702 VisitStringLiteral(
Node->getString());
2707 Visit(
E->getSubExpr());
2713 for (
auto I = Ch.begin(),
E = Ch.end(); I !=
E; ++I) {
2714 if (I != Ch.begin())
2723 for (
unsigned I = 0, N =
E->getNumElements(); I != N; ++I) {
2730 Visit(Element.Value);
2731 if (Element.isPackExpansion())
2739 Node->getEncodedType().
print(OS, Policy);
2750 OS <<
"@protocol(" << *
Node->getProtocol() <<
')';
2775 for (
unsigned i = 0, e = Mess->
getNumArgs(); i != e; ++i) {
2777 if (i > 0) OS <<
' ';
2785 PrintExpr(Mess->
getArg(i));
2792 OS << (
Node->getValue() ?
"__objc_yes" :
"__objc_no");
2797 PrintExpr(
E->getSubExpr());
2802 OS <<
'(' <<
E->getBridgeKindName();
2805 PrintExpr(
E->getSubExpr());
2814 if (isa<FunctionNoProtoType>(AFT)) {
2816 }
else if (!BD->
param_empty() || cast<FunctionProtoType>(AFT)->isVariadic()) {
2821 std::string ParamStr = (*AI)->getNameAsString();
2822 (*AI)->getType().print(OS, Policy, ParamStr);
2825 const auto *FT = cast<FunctionProtoType>(AFT);
2826 if (FT->isVariadic()) {
2836 PrintExpr(
Node->getSourceExpr());
2841 llvm_unreachable(
"Cannot print TypoExpr nodes");
2845 OS <<
"<recovery-expr>(";
2846 const char *Sep =
"";
2847 for (
Expr *
E :
Node->subExpressions()) {
2856 OS <<
"__builtin_astype(";
2857 PrintExpr(
Node->getSrcExpr());
2864 PrintExpr(
Node->getArgLValue());
2877 StringRef NL,
const ASTContext *Context)
const {
2878 StmtPrinter
P(Out, Helper, Policy, Indentation, NL, Context);
2879 P.Visit(
const_cast<Stmt *
>(
this));
2884 unsigned Indentation, StringRef NL,
2886 StmtPrinter
P(Out, Helper, Policy, Indentation, NL, Context);
2887 P.PrintControlledStmt(
const_cast<Stmt *
>(
this));
2893 llvm::raw_string_ostream TempOut(Buf);
Defines the clang::ASTContext interface.
static Decl::Kind getKind(const Decl *D)
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
This file defines OpenMP nodes for declarative directives.
Defines the C++ template declaration subclasses.
Defines the clang::Expr interface and subclasses for C++ expressions.
Defines enumerations for expression traits intrinsics.
Defines the clang::IdentifierInfo, clang::IdentifierTable, and clang::Selector interfaces.
Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.
Defines several types used to describe C++ lambda expressions that are shared between the parser and ...
This file defines OpenMP AST classes for clauses.
Defines some OpenMP-specific enums and functions.
Defines an enumeration for C++ overloaded operators.
static std::string toString(const clang::SanitizerSet &Sanitizers)
Produce a string containing comma-separated names of sanitizers in Sanitizers set.
Defines the clang::SourceLocation class and associated facilities.
Defines the Objective-C statement AST node classes.
This file defines OpenMP AST classes for executable directives and clauses.
static bool isImplicitThis(const Expr *E)
static bool isImplicitSelf(const Expr *E)
static void PrintFloatingLiteral(raw_ostream &OS, FloatingLiteral *Node, bool PrintSuffix)
static bool printExprAsWritten(raw_ostream &OS, Expr *E, const ASTContext *Context)
Prints the given expression using the original source text.
Defines enumerations for the type traits support.
C Language Family Type Representation.
__device__ __2f16 float __ockl_bool s
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
SourceManager & getSourceManager()
const LangOptions & getLangOpts() const
AddrLabelExpr - The GNU address of label extension, representing &&label.
Represents the index of the current element of an array being initialized by an ArrayInitLoopExpr.
Represents a loop initializing the elements of an array.
This class represents BOTH the OpenMP Array Section and OpenACC 'subarray', with a boolean differenti...
ArraySubscriptExpr - [C99 6.5.2.1] Array Subscripting.
An Embarcadero array type trait, as used in the implementation of __array_rank and __array_extent.
AsTypeExpr - Clang builtin function __builtin_astype [OpenCL 6.2.4.2] This AST node provides support ...
AtomicExpr - Variadic atomic builtins: __atomic_exchange, __atomic_fetch_*, __atomic_load,...
Attr - This represents one attribute.
void printPretty(raw_ostream &OS, const PrintingPolicy &Policy) const
Represents an attribute applied to a statement.
BinaryConditionalOperator - The GNU extension to the conditional operator which allows the middle ope...
A builtin binary operation expression such as "x + y" or "x <= y".
StringRef getOpcodeStr() const
Represents a block literal declaration, which is like an unnamed FunctionDecl.
param_iterator param_end()
MutableArrayRef< ParmVarDecl * >::iterator param_iterator
param_iterator param_begin()
BlockExpr - Adaptor class for mixing a BlockDecl with expressions.
BreakStmt - This represents a break.
Represents a C++2a __builtin_bit_cast(T, v) expression.
This class is used for builtin types like 'int'.
CStyleCastExpr - An explicit cast in C (C99 6.5.4) or a C-style cast in C++ (C++ [expr....
Represents a call to a CUDA kernel function.
A C++ addrspace_cast expression (currently only enabled for OpenCL).
Represents binding an expression to a temporary.
A boolean literal, per ([C++ lex.bool] Boolean literals).
CXXCatchStmt - This represents a C++ catch block.
A C++ const_cast expression (C++ [expr.const.cast]).
Represents a call to a C++ constructor.
A default argument (C++ [dcl.fct.default]).
A use of a default initializer in a constructor or in aggregate initialization.
Represents a delete expression for memory deallocation and destructor calls, e.g.
Represents a C++ member access expression where the actual member referenced could not be resolved be...
A C++ dynamic_cast expression (C++ [expr.dynamic.cast]).
Represents a folding of a pack over an operator.
CXXForRangeStmt - This represents C++0x [stmt.ranged]'s ranged for statement, represented as 'for (ra...
Represents an explicit C++ type conversion that uses "functional" notation (C++ [expr....
Represents a call to an inherited base class constructor from an inheriting constructor.
Represents a call to a member function that may be written either with member call syntax (e....
Represents a static or instance method of a struct/union/class.
Abstract class common to all of the C++ "named"/"keyword" casts.
Represents a new-expression for memory allocation and constructor calls, e.g: "new CXXNewExpr(foo)".
Represents a C++11 noexcept expression (C++ [expr.unary.noexcept]).
The null pointer literal (C++11 [lex.nullptr])
A call to an overloaded operator written using operator syntax.
Represents a list-initialization with parenthesis.
Represents a C++ pseudo-destructor (C++ [expr.pseudo]).
A C++ reinterpret_cast expression (C++ [expr.reinterpret.cast]).
A rewritten comparison expression that was originally written using operator syntax.
An expression "T()" which creates an rvalue of a non-class type T.
A C++ static_cast expression (C++ [expr.static.cast]).
Implicit construction of a std::initializer_list<T> object from an array temporary within list-initia...
Represents a C++ functional cast expression that builds a temporary object.
Represents the this expression in C++.
A C++ throw-expression (C++ [except.throw]).
CXXTryStmt - A C++ try block, including all handlers.
A C++ typeid expression (C++ [expr.typeid]), which gets the type_info that corresponds to the supplie...
Describes an explicit type conversion that uses functional notion but could not be resolved because o...
A Microsoft C++ __uuidof expression, which gets the _GUID that corresponds to the supplied type or ex...
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
This captures a statement into a function.
CaseStmt - Represent a case statement.
static CharSourceRange getTokenRange(SourceRange R)
static void print(unsigned val, CharacterLiteralKind Kind, raw_ostream &OS)
ChooseExpr - GNU builtin-in function __builtin_choose_expr.
Represents a 'co_await' expression.
CompoundAssignOperator - For compound assignments (e.g.
CompoundLiteralExpr - [C99 6.5.2.5].
CompoundStmt - This represents a group of statements like { stmt stmt }.
Represents the specialization of a concept - evaluates to a prvalue of type bool.
ConditionalOperator - The ?: ternary operator.
ConstantExpr - An expression that occurs in a constant context and optionally the result of evaluatin...
ContinueStmt - This represents a continue.
ConvertVectorExpr - Clang builtin function __builtin_convertvector This AST node provides support for...
Represents a 'co_return' statement in the C++ Coroutines TS.
Represents the body of a coroutine.
Represents a 'co_yield' expression.
A reference to a declared variable, function, enum, etc.
DeclStmt - Adaptor class for mixing declarations with statements and expressions.
Decl - This represents one declaration (or definition), e.g.
static void printGroup(Decl **Begin, unsigned NumDecls, raw_ostream &Out, const PrintingPolicy &Policy, unsigned Indentation=0)
void print(raw_ostream &Out, unsigned Indentation=0, bool PrintInstantiation=false) const
Represents a 'co_await' expression while the type of the promise is dependent.
A qualified reference to a name whose declaration cannot yet be resolved.
Represents a single C99 designator.
Represents a C99 designated initializer expression.
DoStmt - This represents a 'do/while' stmt.
void print(llvm::raw_ostream &OS, const PrintingPolicy &PP) const
Prints the node to the given output stream.
Represents a reference to #emded data.
Represents an expression – generally a full-expression – that introduces cleanups to be run at the en...
This represents one expression.
An expression trait intrinsic.
ExtVectorElementExpr - This represents access to specific elements of a vector, and may occur on the ...
Represents difference between two FPOptions values.
Represents a member of a struct/union/class.
bool isAnonymousStructOrUnion() const
Determines whether this field is a representative for an anonymous struct or union.
ForStmt - This represents a 'for (init;cond;inc)' stmt.
ArrayRef< ParmVarDecl * > parameters() const
bool isVariadic() const
Whether this function is variadic.
Represents a reference to a function parameter pack or init-capture pack that has been substituted bu...
Represents a prototype with parameter type info, e.g.
void printExceptionSpecification(raw_ostream &OS, const PrintingPolicy &Policy) const
FunctionType - C99 6.7.5.3 - Function Declarators.
This represents a GCC inline-assembly statement extension.
GNUNullExpr - Implements the GNU __null extension, which is a name for a null pointer constant that h...
Represents a C11 generic selection.
AssociationTy< false > Association
GotoStmt - This represents a direct goto.
This class represents temporary values used to represent inout and out arguments in HLSL.
One of these records is kept for each identifier that is lexed.
StringRef getName() const
Return the actual identifier string.
IfStmt - This represents an if/then/else.
ImaginaryLiteral - We support imaginary integer and floating point literals, like "1....
ImplicitCastExpr - Allows us to explicitly represent implicit type conversions, which have no direct ...
Represents an implicitly-generated value initialization of an object of a given type.
IndirectGotoStmt - This represents an indirect goto.
Describes an C or C++ initializer list.
LabelStmt - Represents a label, which has a substatement.
Describes the capture of a variable or of this, or of a C++1y init-capture.
A C++ lambda expression, which produces a function object (of unspecified type) that can be invoked l...
llvm::RoundingMode RoundingMode
FPExceptionModeKind
Possible floating point exception behavior.
static StringRef getSourceText(CharSourceRange Range, const SourceManager &SM, const LangOptions &LangOpts, bool *Invalid=nullptr)
Returns a string for the source that the range encompasses.
This represents a Microsoft inline-assembly statement extension.
Representation of a Microsoft __if_exists or __if_not_exists statement with a dependent name.
A member reference to an MSPropertyDecl.
MS property subscript expression.
Represents a prvalue temporary that is written into memory so that a reference can bind to it.
MatrixSubscriptExpr - Matrix subscript expression for the MatrixType extension.
MemberExpr - [C99 6.5.2.3] Structure and Union Members.
A C++ nested-name-specifier augmented with source location information.
NestedNameSpecifier * getNestedNameSpecifier() const
Retrieve the nested-name-specifier to which this instance refers.
Represents a C++ nested name specifier, such as "\::std::vector<int>::".
void print(raw_ostream &OS, const PrintingPolicy &Policy, bool ResolveTemplateArguments=false) const
Print this nested name specifier to the given output stream.
Represents a place-holder for an object not to be initialized by anything.
NullStmt - This is the null statement ";": C99 6.8.3p3.
An explicit cast in C or a C-style cast in C++, which uses the syntax ([s1][s2]......
This represents '#pragma omp atomic' directive.
This represents '#pragma omp barrier' directive.
This represents '#pragma omp cancel' directive.
This represents '#pragma omp cancellation point' directive.
Representation of an OpenMP canonical loop.
This represents '#pragma omp critical' directive.
This represents implicit clause 'depend' for the '#pragma omp task' directive.
This represents '#pragma omp depobj' directive.
This represents '#pragma omp dispatch' directive.
This represents '#pragma omp distribute' directive.
This represents '#pragma omp distribute parallel for' composite directive.
This represents '#pragma omp distribute parallel for simd' composite directive.
This represents '#pragma omp distribute simd' composite directive.
This represents '#pragma omp error' directive.
This is a basic class for representing single OpenMP executable directive.
This represents '#pragma omp flush' directive.
This represents '#pragma omp for' directive.
This represents '#pragma omp for simd' directive.
This represents '#pragma omp loop' directive.
Represents the '#pragma omp interchange' loop transformation directive.
This represents '#pragma omp interop' directive.
OpenMP 5.0 [2.1.6 Iterators] Iterators are identifiers that expand to multiple values in the clause o...
This represents '#pragma omp masked' directive.
This represents '#pragma omp masked taskloop' directive.
This represents '#pragma omp masked taskloop simd' directive.
This represents '#pragma omp master' directive.
This represents '#pragma omp master taskloop' directive.
This represents '#pragma omp master taskloop simd' directive.
This represents '#pragma omp ordered' directive.
This represents '#pragma omp parallel' directive.
This represents '#pragma omp parallel for' directive.
This represents '#pragma omp parallel for simd' directive.
This represents '#pragma omp parallel loop' directive.
This represents '#pragma omp parallel masked' directive.
This represents '#pragma omp parallel masked taskloop' directive.
This represents '#pragma omp parallel masked taskloop simd' directive.
This represents '#pragma omp parallel master' directive.
This represents '#pragma omp parallel master taskloop' directive.
This represents '#pragma omp parallel master taskloop simd' directive.
This represents '#pragma omp parallel sections' directive.
Represents the '#pragma omp reverse' loop transformation directive.
This represents '#pragma omp scan' directive.
This represents '#pragma omp scope' directive.
This represents '#pragma omp section' directive.
This represents '#pragma omp sections' directive.
This represents '#pragma omp simd' directive.
This represents '#pragma omp single' directive.
This represents '#pragma omp target data' directive.
This represents '#pragma omp target' directive.
This represents '#pragma omp target enter data' directive.
This represents '#pragma omp target exit data' directive.
This represents '#pragma omp target parallel' directive.
This represents '#pragma omp target parallel for' directive.
This represents '#pragma omp target parallel for simd' directive.
This represents '#pragma omp target parallel loop' directive.
This represents '#pragma omp target simd' directive.
This represents '#pragma omp target teams' directive.
This represents '#pragma omp target teams distribute' combined directive.
This represents '#pragma omp target teams distribute parallel for' combined directive.
This represents '#pragma omp target teams distribute parallel for simd' combined directive.
This represents '#pragma omp target teams distribute simd' combined directive.
This represents '#pragma omp target teams loop' directive.
This represents '#pragma omp target update' directive.
This represents '#pragma omp task' directive.
This represents '#pragma omp taskloop' directive.
This represents '#pragma omp taskloop simd' directive.
This represents '#pragma omp taskgroup' directive.
This represents '#pragma omp taskwait' directive.
This represents '#pragma omp taskyield' directive.
This represents '#pragma omp teams' directive.
This represents '#pragma omp teams distribute' directive.
This represents '#pragma omp teams distribute parallel for' composite directive.
This represents '#pragma omp teams distribute parallel for simd' composite directive.
This represents '#pragma omp teams distribute simd' combined directive.
This represents '#pragma omp teams loop' directive.
This represents the '#pragma omp tile' loop transformation directive.
This represents the '#pragma omp unroll' loop transformation directive.
ObjCArrayLiteral - used for objective-c array containers; as in: @["Hello", NSApp,...
Represents Objective-C's @catch statement.
Represents Objective-C's @finally statement.
Represents Objective-C's @synchronized statement.
Represents Objective-C's @throw statement.
Represents Objective-C's @try ... @catch ... @finally statement.
Represents Objective-C's @autoreleasepool Statement.
A runtime availability query.
ObjCBoolLiteralExpr - Objective-C Boolean Literal.
ObjCBoxedExpr - used for generalized expression boxing.
An Objective-C "bridged" cast expression, which casts between Objective-C pointers and C pointers,...
ObjCDictionaryLiteral - AST node to represent objective-c dictionary literals; as in:"name" : NSUserN...
ObjCEncodeExpr, used for @encode in Objective-C.
Represents Objective-C's collection statement.
ObjCIndirectCopyRestoreExpr - Represents the passing of a function argument by indirect copy-restore ...
ObjCIsaExpr - Represent X->isa and X.isa when X is an ObjC 'id' type.
ObjCIvarRefExpr - A reference to an ObjC instance variable.
An expression that sends a message to the given Objective-C object or class.
Expr * getArg(unsigned Arg)
getArg - Return the specified argument.
Expr * getInstanceReceiver()
Returns the object expression (receiver) for an instance message, or null for a message that is not a...
Selector getSelector() const
@ SuperInstance
The receiver is the instance of the superclass object.
@ Instance
The receiver is an object instance.
@ SuperClass
The receiver is a superclass.
@ Class
The receiver is a class.
QualType getClassReceiver() const
Returns the type of a class message send, or NULL if the message is not a class message.
ReceiverKind getReceiverKind() const
Determine the kind of receiver that this message is being sent to.
unsigned getNumArgs() const
Return the number of actual arguments in this message, not counting the receiver.
ObjCPropertyRefExpr - A dot-syntax expression to access an ObjC property.
ObjCProtocolExpr used for protocol expression in Objective-C.
ObjCSelectorExpr used for @selector in Objective-C.
ObjCStringLiteral, used for Objective-C string literals i.e.
ObjCSubscriptRefExpr - used for array and dictionary subscripting.
OffsetOfExpr - [C99 7.17] - This represents an expression of the form offsetof(record-type,...
Helper class for OffsetOfExpr.
unsigned getArrayExprIndex() const
For an array element node, returns the index into the array of expressions.
IdentifierInfo * getFieldName() const
For a field or identifier offsetof node, returns the name of the field.
@ Array
An index into an array.
@ Base
An implicit indirection through a C++ base class, when the field found is in a base class.
Kind getKind() const
Determine what kind of offsetof node this is.
OpaqueValueExpr - An expression referring to an opaque object of a fixed type and value class.
This expression type represents an asterisk in an OpenACC Size-Expr, used in the 'tile' and 'gang' cl...
This class represents a compute construct, representing a 'Kind' of ‘parallel’, 'serial',...
This is the base class for an OpenACC statement-level construct, other construct types are expected t...
This class represents a 'loop' construct.
Represents a C++11 pack expansion that produces a sequence of expressions.
ParenExpr - This represents a parenthesized expression, e.g.
Represents a parameter to a function.
[C99 6.4.2.2] - A predefined identifier such as func.
StringRef getIdentKindName() const
virtual bool handledStmt(Stmt *E, raw_ostream &OS)=0
PseudoObjectExpr - An expression which accesses a pseudo-object l-value.
A (possibly-)qualified type.
void print(raw_ostream &OS, const PrintingPolicy &Policy, const Twine &PlaceHolder=Twine(), unsigned Indentation=0) const
Frontend produces RecoveryExprs on semantic errors that prevent creating other well-formed expression...
C++2a [expr.prim.req]: A requires-expression provides a concise way to express requirements on templa...
ReturnStmt - This represents a return, optionally of an expression: return; return 4;.
Represents a __leave statement.
static std::string getPropertyNameFromSetterSelector(Selector Sel)
Return the property name for the given setter selector.
Smart pointer class that efficiently represents Objective-C method names.
StringRef getNameForSlot(unsigned argIndex) const
Retrieve the name at a given position in the selector.
const IdentifierInfo * getIdentifierInfoForSlot(unsigned argIndex) const
Retrieve the identifier at a given position in the selector.
bool isUnarySelector() const
unsigned getNumArgs() const
ShuffleVectorExpr - clang-specific builtin-in function __builtin_shufflevector.
Represents an expression that computes the length of a parameter pack.
Represents a function call to one of __builtin_LINE(), __builtin_COLUMN(), __builtin_FUNCTION(),...
StmtExpr - This is the GNU Statement Expression extension: ({int X=4; X;}).
RetTy Visit(PTR(Stmt) S, ParamTys... P)
StmtVisitor - This class implements a simple visitor for Stmt subclasses.
Stmt - This represents one statement.
void printPretty(raw_ostream &OS, PrinterHelper *Helper, const PrintingPolicy &Policy, unsigned Indentation=0, StringRef NewlineSymbol="\n", const ASTContext *Context=nullptr) const
void printJson(raw_ostream &Out, PrinterHelper *Helper, const PrintingPolicy &Policy, bool AddQuotes) const
Pretty-prints in JSON format.
SourceRange getSourceRange() const LLVM_READONLY
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...
void printPrettyControlled(raw_ostream &OS, PrinterHelper *Helper, const PrintingPolicy &Policy, unsigned Indentation=0, StringRef NewlineSymbol="\n", const ASTContext *Context=nullptr) const
llvm::iterator_range< child_iterator > child_range
void dumpPretty(const ASTContext &Context) const
dumpPretty/printPretty - These two methods do a "pretty print" of the AST back to its original source...
StringLiteral - This represents a string literal expression, e.g.
void outputString(raw_ostream &OS) const
Represents a reference to a non-type template parameter that has been substituted with a template arg...
Represents a reference to a non-type template parameter pack that has been substituted with a non-tem...
SwitchStmt - This represents a 'switch' stmt.
A template argument list.
unsigned size() const
Retrieve the number of template arguments in this template argument list.
const TemplateArgument & get(unsigned Idx) const
Retrieve the template argument at a given index.
ArrayRef< TemplateArgument > asArray() const
Produce this as an array ref.
Represents a template argument.
ArrayRef< TemplateArgument > pack_elements() const
Iterator range referencing all of the elements of a template argument pack.
@ Pack
The template argument is actually a parameter pack.
ArgKind getKind() const
Return the kind of stored template argument.
Stores a list of template parameters for a TemplateDecl and its derived classes.
A container of type source information.
A type trait used in the implementation of various C++11 and Library TR1 trait templates.
const T * castAs() const
Member-template castAs<specific type>.
TypoExpr - Internal placeholder for expressions where typo correction still needs to be performed and...
UnaryExprOrTypeTraitExpr - expression with either a type or (unevaluated) expression operand.
UnaryOperator - This represents the unary-expression's (except sizeof and alignof),...
static StringRef getOpcodeStr(Opcode Op)
getOpcodeStr - Turn an Opcode enum value into the punctuation char it corresponds to,...
A reference to a name which we were able to look up during parsing but could not resolve to a specifi...
Represents a C++ member access expression for which lookup produced a set of overloaded functions.
A call to a literal operator (C++11 [over.literal]) written as a user-defined literal (C++11 [lit....
@ LOK_String
operator "" X (const CharT *, size_t)
@ LOK_Raw
Raw form: operator "" X (const char *)
@ LOK_Floating
operator "" X (long double)
@ LOK_Integer
operator "" X (unsigned long long)
@ LOK_Template
Raw form: operator "" X<cs...> ()
@ LOK_Character
operator "" X (CharT)
Represents a call to the builtin function __builtin_va_arg.
@ CInit
C-style initialization with assignment.
@ CallInit
Call-style initialization (C++98)
WhileStmt - This represents a 'while' stmt.
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.
OverloadedOperatorKind
Enumeration specifying the different kinds of C++ overloaded operators.
@ LCK_ByCopy
Capturing by copy (a.k.a., by value)
@ LCK_ByRef
Capturing by reference.
@ LCK_VLAType
Capturing variable-length array type.
@ LCK_StarThis
Capturing the *this object by copy.
@ LCK_This
Capturing the *this object by reference.
@ If
'if' clause, allowed on all the Compute Constructs, Data Constructs, Executable Constructs,...
std::string JsonFormat(StringRef RawSR, bool AddQuotes)
const char * getTraitSpelling(ExpressionTrait T) LLVM_READONLY
Return the spelling of the type trait TT. Never null.
const FunctionProtoType * T
void printTemplateArgumentList(raw_ostream &OS, ArrayRef< TemplateArgument > Args, const PrintingPolicy &Policy, const TemplateParameterList *TPL=nullptr)
Print a template argument list, including the '<' and '>' enclosing the template arguments.
const char * getOperatorSpelling(OverloadedOperatorKind Operator)
Retrieve the spelling of the given overloaded operator, without the preceding "operator" keyword.
CXXNewInitializationStyle
Iterator range representation begin:end[:step].
An element in an Objective-C dictionary literal.
Describes how types, statements, expressions, and declarations should be printed.
unsigned Alignof
Whether we can use 'alignof' rather than '__alignof'.
unsigned CleanUglifiedParameters
Whether to strip underscores when printing reserved parameter names.
unsigned ConstantsAsWritten
Whether we should print the constant expressions as written in the sources.
unsigned IncludeNewlines
When true, include newlines after statements like "break", etc.
unsigned Indentation
The number of spaces to use to indent each line.
unsigned TerseOutput
Provide a 'terse' output.
unsigned UnderscoreAlignof
Whether we can use '_Alignof' rather than '__alignof'.
unsigned SuppressImplicitBase
When true, don't print the implicit 'self' or 'this' expressions.
Iterator for iterating over Stmt * arrays that contain only T *.