13#ifndef LLVM_CLANG_AST_STMT_H
14#define LLVM_CLANG_AST_STMT_H
30#include "llvm/ADT/APFloat.h"
31#include "llvm/ADT/ArrayRef.h"
32#include "llvm/ADT/BitmaskEnum.h"
33#include "llvm/ADT/PointerIntPair.h"
34#include "llvm/ADT/StringRef.h"
35#include "llvm/ADT/iterator.h"
36#include "llvm/ADT/iterator_range.h"
37#include "llvm/Support/Casting.h"
38#include "llvm/Support/Compiler.h"
39#include "llvm/Support/ErrorHandling.h"
49class FoldingSetNodeID;
84class alignas(void *)
Stmt {
88#define STMT(CLASS, PARENT) CLASS##Class,
89#define STMT_RANGE(BASE, FIRST, LAST) \
90 first##BASE##Constant=FIRST##Class, last##BASE##Constant=LAST##Class,
91#define LAST_STMT_RANGE(BASE, FIRST, LAST) \
92 first##BASE##Constant=FIRST##Class, last##BASE##Constant=LAST##Class
93#define ABSTRACT_STMT(STMT)
94#include "clang/AST/StmtNodes.inc"
102 void *
operator new(
size_t bytes)
noexcept {
103 llvm_unreachable(
"Stmts cannot be allocated with regular 'new'.");
106 void operator delete(
void *data)
noexcept {
107 llvm_unreachable(
"Stmts cannot be released with regular 'delete'.");
136 LLVM_PREFERRED_TYPE(
bool)
137 unsigned HasLeadingEmptyMacro : 1;
152 LLVM_PREFERRED_TYPE(
bool)
153 unsigned HasFPFeatures : 1;
193 LLVM_PREFERRED_TYPE(
bool)
194 unsigned HasElse : 1;
197 LLVM_PREFERRED_TYPE(
bool)
201 LLVM_PREFERRED_TYPE(
bool)
202 unsigned HasInit : 1;
215 LLVM_PREFERRED_TYPE(
bool)
216 unsigned HasInit : 1;
219 LLVM_PREFERRED_TYPE(
bool)
225 LLVM_PREFERRED_TYPE(
bool)
226 unsigned AllEnumCasesCovered : 1;
240 LLVM_PREFERRED_TYPE(
bool)
305 LLVM_PREFERRED_TYPE(
bool)
306 unsigned HasNRVOCandidate : 1;
321 LLVM_PREFERRED_TYPE(
bool)
322 unsigned CaseStmtIsGNURange : 1;
358 unsigned ValueKind : 2;
360 unsigned ObjectKind : 3;
362 unsigned Dependent : llvm::BitWidth<ExprDependence>;
376 unsigned ResultKind : 2;
380 unsigned APValueKind : 4;
384 LLVM_PREFERRED_TYPE(
bool)
385 unsigned IsUnsigned : 1;
391 unsigned BitWidth : 7;
395 LLVM_PREFERRED_TYPE(
bool)
396 unsigned HasCleanup : 1;
399 LLVM_PREFERRED_TYPE(
bool)
400 unsigned IsImmediateInvocation : 1;
415 LLVM_PREFERRED_TYPE(
bool)
416 unsigned HasFunctionName : 1;
420 LLVM_PREFERRED_TYPE(
bool)
421 unsigned IsTransparent : 1;
434 LLVM_PREFERRED_TYPE(
bool)
435 unsigned HasQualifier : 1;
436 LLVM_PREFERRED_TYPE(
bool)
437 unsigned HasTemplateKWAndArgsInfo : 1;
438 LLVM_PREFERRED_TYPE(
bool)
439 unsigned HasFoundDecl : 1;
440 LLVM_PREFERRED_TYPE(
bool)
441 unsigned HadMultipleCandidates : 1;
442 LLVM_PREFERRED_TYPE(
bool)
443 unsigned RefersToEnclosingVariableOrCapture : 1;
444 LLVM_PREFERRED_TYPE(
bool)
445 unsigned CapturedByCopyInLambdaWithExplicitObjectParameter : 1;
448 LLVM_PREFERRED_TYPE(
bool)
449 unsigned IsImmediateEscalating : 1;
463 llvm::APFloat::S_MaxSemantics < 16,
464 "Too many Semantics enum values to fit in bitfield of size 4");
465 LLVM_PREFERRED_TYPE(llvm::APFloat::Semantics)
466 unsigned Semantics : 4;
467 LLVM_PREFERRED_TYPE(
bool)
468 unsigned IsExact : 1;
486 unsigned CharByteWidth : 3;
488 LLVM_PREFERRED_TYPE(
bool)
489 unsigned IsPascal : 1;
493 unsigned NumConcatenated;
514 LLVM_PREFERRED_TYPE(
bool)
515 unsigned CanOverflow : 1;
520 LLVM_PREFERRED_TYPE(
bool)
521 unsigned HasFPFeatures : 1;
534 LLVM_PREFERRED_TYPE(
bool)
554 unsigned NumPreArgs : 1;
557 LLVM_PREFERRED_TYPE(
bool)
558 unsigned UsesADL : 1;
561 LLVM_PREFERRED_TYPE(
bool)
562 unsigned HasFPFeatures : 1;
570 unsigned OffsetToTrailingObjects : 8;
582 LLVM_PREFERRED_TYPE(
bool)
583 unsigned IsArrow : 1;
589 LLVM_PREFERRED_TYPE(
bool)
590 unsigned HasQualifierOrFoundDecl : 1;
597 LLVM_PREFERRED_TYPE(
bool)
598 unsigned HasTemplateKWAndArgsInfo : 1;
602 LLVM_PREFERRED_TYPE(
bool)
603 unsigned HadMultipleCandidates : 1;
624 LLVM_PREFERRED_TYPE(
bool)
625 unsigned PartOfExplicitCast : 1;
628 LLVM_PREFERRED_TYPE(
bool)
629 unsigned HasFPFeatures : 1;
633 unsigned BasePathSize;
648 LLVM_PREFERRED_TYPE(
bool)
649 unsigned HasFPFeatures : 1;
662 LLVM_PREFERRED_TYPE(
bool)
663 unsigned HadArrayRangeDesignator : 1;
695 unsigned NumSubExprs : 16;
696 unsigned ResultIndex : 16;
722 unsigned TemplateDepth;
737 unsigned OperatorKind : 6;
747 LLVM_PREFERRED_TYPE(
bool)
748 unsigned IsReversed : 1;
758 LLVM_PREFERRED_TYPE(
bool)
782 LLVM_PREFERRED_TYPE(
bool)
783 unsigned IsImplicit : 1;
797 LLVM_PREFERRED_TYPE(
bool)
798 unsigned IsThrownVariableInScope : 1;
812 LLVM_PREFERRED_TYPE(
bool)
813 unsigned HasRewrittenInit : 1;
828 LLVM_PREFERRED_TYPE(
bool)
829 unsigned HasRewrittenInit : 1;
854 LLVM_PREFERRED_TYPE(
bool)
855 unsigned IsGlobalNew : 1;
859 LLVM_PREFERRED_TYPE(
bool)
860 unsigned IsArray : 1;
863 LLVM_PREFERRED_TYPE(
bool)
864 unsigned ShouldPassAlignment : 1;
868 LLVM_PREFERRED_TYPE(
bool)
869 unsigned UsualArrayDeleteWantsSize : 1;
872 LLVM_PREFERRED_TYPE(
bool)
873 unsigned HasInitializer : 1;
877 unsigned StoredInitializationStyle : 2;
880 LLVM_PREFERRED_TYPE(
bool)
881 unsigned IsParenTypeId : 1;
884 unsigned NumPlacementArgs;
895 LLVM_PREFERRED_TYPE(
bool)
896 unsigned GlobalDelete : 1;
899 LLVM_PREFERRED_TYPE(
bool)
900 unsigned ArrayForm : 1;
905 LLVM_PREFERRED_TYPE(
bool)
906 unsigned ArrayFormAsWritten : 1;
910 LLVM_PREFERRED_TYPE(
bool)
911 unsigned UsualArrayDeleteWantsSize : 1;
931 LLVM_PREFERRED_TYPE(
bool)
950 LLVM_PREFERRED_TYPE(
bool)
951 unsigned HasTemplateKWAndArgsInfo : 1;
961 LLVM_PREFERRED_TYPE(
bool)
962 unsigned Elidable : 1;
963 LLVM_PREFERRED_TYPE(
bool)
964 unsigned HadMultipleCandidates : 1;
965 LLVM_PREFERRED_TYPE(
bool)
966 unsigned ListInitialization : 1;
967 LLVM_PREFERRED_TYPE(
bool)
968 unsigned StdInitListInitialization : 1;
969 LLVM_PREFERRED_TYPE(
bool)
970 unsigned ZeroInitialization : 1;
972 unsigned ConstructionKind : 3;
973 LLVM_PREFERRED_TYPE(
bool)
974 unsigned IsImmediateEscalating : 1;
987 LLVM_PREFERRED_TYPE(
bool)
988 unsigned CleanupsHaveSideEffects : 1;
1013 LLVM_PREFERRED_TYPE(
bool)
1014 unsigned IsArrow : 1;
1018 LLVM_PREFERRED_TYPE(
bool)
1019 unsigned HasTemplateKWAndArgsInfo : 1;
1023 LLVM_PREFERRED_TYPE(
bool)
1024 unsigned HasFirstQualifierFoundInScope : 1;
1039 LLVM_PREFERRED_TYPE(
bool)
1040 unsigned HasTemplateKWAndArgsInfo : 1;
1048 unsigned NumResults;
1061 LLVM_PREFERRED_TYPE(
bool)
1062 unsigned RequiresADL : 1;
1066 LLVM_PREFERRED_TYPE(
bool)
1067 unsigned Overloaded : 1;
1070 "UnresolvedLookupExprBitfields must be <= than 4 bytes to"
1071 "avoid trashing OverloadExprBitfields::NumResults!");
1082 LLVM_PREFERRED_TYPE(
bool)
1083 unsigned IsArrow : 1;
1086 LLVM_PREFERRED_TYPE(
bool)
1087 unsigned HasUnresolvedUsing : 1;
1090 "UnresolvedMemberExprBitfields must be <= than 4 bytes to"
1091 "avoid trashing OverloadExprBitfields::NumResults!");
1100 LLVM_PREFERRED_TYPE(
bool)
1126 unsigned CaptureDefault : 2;
1130 LLVM_PREFERRED_TYPE(
bool)
1131 unsigned ExplicitParams : 1;
1134 LLVM_PREFERRED_TYPE(
bool)
1135 unsigned ExplicitResultType : 1;
1138 unsigned NumCaptures : 16;
1149 LLVM_PREFERRED_TYPE(
bool)
1150 unsigned IsSatisfied : 1;
1162 LLVM_PREFERRED_TYPE(
bool)
1163 unsigned IsImplicit : 1;
1174 LLVM_PREFERRED_TYPE(
bool)
1175 unsigned ShouldCopy : 1;
1189 LLVM_PREFERRED_TYPE(
bool)
1190 unsigned IsUnique : 1;
1278 unsigned alignment = 8);
1281 unsigned alignment = 8) {
1282 return operator new(
bytes, *
C, alignment);
1285 void *
operator new(
size_t bytes,
void *mem)
noexcept {
return mem; }
1289 void operator delete(
void *,
size_t)
noexcept {}
1290 void operator delete(
void *,
void *)
noexcept {}
1311 template<
typename T,
typename TPtr = T *,
typename StmtPtr = Stmt *>
1313 : llvm::iterator_adaptor_base<CastIterator<T, TPtr, StmtPtr>, StmtPtr *,
1314 std::random_access_iterator_tag, TPtr> {
1315 using Base =
typename CastIterator::iterator_adaptor_base;
1321 return cast_or_null<T>(*this->I);
1326 template <
typename T>
1334 static bool StatisticsEnabled;
1348 static_assert(
sizeof(*this) <= 8,
1349 "changing bitfields changed sizeof(Stmt)");
1350 static_assert(
sizeof(*this) %
alignof(
void *) == 0,
1351 "Insufficient alignment!");
1391 static
std::tuple<
bool, const
Attr *, const
Attr *>
1410 StringRef NewlineSymbol = "\n",
1414 unsigned Indentation = 0,
1415 StringRef NewlineSymbol = "\n",
1435 return const_cast<Stmt*
>(
1479 bool Canonical,
bool ProfileLambdaExpr =
false)
const;
1501 :
Stmt(DeclStmtClass), DG(dg), StartLoc(startLoc), EndLoc(endLoc) {}
1570 :
Stmt(NullStmtClass) {
1604 private llvm::TrailingObjects<CompoundStmt, Stmt *, FPOptionsOverride> {
1606 friend TrailingObjects;
1623 *getTrailingObjects<FPOptionsOverride>() = F;
1626 size_t numTrailingObjects(OverloadToken<Stmt *>)
const {
1631 static CompoundStmt *
Create(
const ASTContext &
C, ArrayRef<Stmt *> Stmts,
1632 FPOptionsOverride FPFeatures, SourceLocation LB,
1639 :
Stmt(CompoundStmtClass), LBraceLoc(Loc), RBraceLoc(EndLoc) {
1646 bool HasFPFeatures);
1656 return *getTrailingObjects<FPOptionsOverride>();
1679 return getTrailingObjects<Stmt *>();
1703 std::reverse_iterator<const_body_iterator>;
1722 for (
auto *B : llvm::reverse(
body())) {
1723 if (!isa<NullStmt>(B))
1790 return T->getStmtClass() == CaseStmtClass ||
1791 T->getStmtClass() == DefaultStmtClass;
1799 private llvm::TrailingObjects<CaseStmt, Stmt *, SourceLocation> {
1800 friend TrailingObjects;
1817 enum { LhsOffset = 0, SubStmtOffsetFromRhs = 1 };
1818 enum { NumMandatoryStmtPtr = 2 };
1820 unsigned numTrailingObjects(OverloadToken<Stmt *>)
const {
1824 unsigned numTrailingObjects(OverloadToken<SourceLocation>)
const {
1828 unsigned lhsOffset()
const {
return LhsOffset; }
1830 unsigned subStmtOffset()
const {
return rhsOffset() + SubStmtOffsetFromRhs; }
1836 :
SwitchCase(CaseStmtClass, caseLoc, colonLoc) {
1838 bool IsGNURange = rhs !=
nullptr;
1882 "setEllipsisLoc but this is not a case stmt of the form LHS ... RHS!");
1883 *getTrailingObjects<SourceLocation>() = L;
1887 return reinterpret_cast<Expr *
>(getTrailingObjects<Stmt *>()[lhsOffset()]);
1891 return reinterpret_cast<Expr *
>(getTrailingObjects<Stmt *>()[lhsOffset()]);
1895 getTrailingObjects<Stmt *>()[lhsOffset()] =
reinterpret_cast<Stmt *
>(Val);
1900 getTrailingObjects<Stmt *>()[rhsOffset()])
1906 getTrailingObjects<Stmt *>()[rhsOffset()])
1912 "setRHS but this is not a case stmt of the form LHS ... RHS!");
1913 getTrailingObjects<Stmt *>()[rhsOffset()] =
reinterpret_cast<Stmt *
>(Val);
1918 return getTrailingObjects<Stmt *>()[subStmtOffset()];
1922 getTrailingObjects<Stmt *>()[subStmtOffset()] = S;
1929 while (
const auto *CS2 = dyn_cast<CaseStmt>(CS->
getSubStmt()))
1942 getTrailingObjects<Stmt *>() +
1943 numTrailingObjects(OverloadToken<Stmt *>()));
1948 getTrailingObjects<Stmt *>() +
1949 numTrailingObjects(OverloadToken<Stmt *>()));
1958 :
SwitchCase(DefaultStmtClass, DL, CL), SubStmt(substmt) {}
1989 if (
const auto *CS = dyn_cast<CaseStmt>(
this))
1990 return CS->getEndLoc();
1991 else if (
const auto *DS = dyn_cast<DefaultStmt>(
this))
1992 return DS->getEndLoc();
1993 llvm_unreachable(
"SwitchCase is neither a CaseStmt nor a DefaultStmt!");
1997 if (
auto *CS = dyn_cast<CaseStmt>(
this))
1998 return CS->getSubStmt();
1999 else if (
auto *DS = dyn_cast<DefaultStmt>(
this))
2000 return DS->getSubStmt();
2001 llvm_unreachable(
"SwitchCase is neither a CaseStmt nor a DefaultStmt!");
2032 bool SideEntry =
false;
2037 :
ValueStmt(LabelStmtClass), TheDecl(D), SubStmt(substmt) {
2078 private llvm::TrailingObjects<AttributedStmt, const Attr *> {
2080 friend TrailingObjects;
2086 :
ValueStmt(AttributedStmtClass), SubStmt(SubStmt) {
2089 std::copy(Attrs.begin(), Attrs.end(), getAttrArrayPtr());
2093 :
ValueStmt(AttributedStmtClass, Empty) {
2096 std::fill_n(getAttrArrayPtr(), NumAttrs,
nullptr);
2099 const Attr *
const *getAttrArrayPtr()
const {
2100 return getTrailingObjects<const Attr *>();
2102 const Attr **getAttrArrayPtr() {
return getTrailingObjects<const Attr *>(); }
2105 static AttributedStmt *
Create(
const ASTContext &
C, SourceLocation Loc,
2106 ArrayRef<const Attr *> Attrs,
Stmt *SubStmt);
2109 static AttributedStmt *
CreateEmpty(
const ASTContext &
C,
unsigned NumAttrs);
2136 private llvm::TrailingObjects<IfStmt, Stmt *, SourceLocation> {
2137 friend TrailingObjects;
2161 enum { InitOffset = 0, ThenOffsetFromCond = 1, ElseOffsetFromCond = 2 };
2162 enum { NumMandatoryStmtPtr = 2 };
2166 unsigned numTrailingObjects(OverloadToken<Stmt *>)
const {
2171 unsigned numTrailingObjects(OverloadToken<SourceLocation>)
const {
2175 unsigned initOffset()
const {
return InitOffset; }
2176 unsigned varOffset()
const {
return InitOffset +
hasInitStorage(); }
2177 unsigned condOffset()
const {
2180 unsigned thenOffset()
const {
return condOffset() + ThenOffsetFromCond; }
2181 unsigned elseOffset()
const {
return condOffset() + ElseOffsetFromCond; }
2189 explicit IfStmt(
EmptyShell Empty,
bool HasElse,
bool HasVar,
bool HasInit);
2197 Stmt *Else =
nullptr);
2214 return reinterpret_cast<Expr *
>(getTrailingObjects<Stmt *>()[condOffset()]);
2218 return reinterpret_cast<Expr *
>(getTrailingObjects<Stmt *>()[condOffset()]);
2222 getTrailingObjects<Stmt *>()[condOffset()] =
reinterpret_cast<Stmt *
>(Cond);
2225 Stmt *
getThen() {
return getTrailingObjects<Stmt *>()[thenOffset()]; }
2227 return getTrailingObjects<Stmt *>()[thenOffset()];
2231 getTrailingObjects<Stmt *>()[thenOffset()] = Then;
2235 return hasElseStorage() ? getTrailingObjects<Stmt *>()[elseOffset()]
2240 return hasElseStorage() ? getTrailingObjects<Stmt *>()[elseOffset()]
2246 "This if statement has no storage for an else statement!");
2247 getTrailingObjects<Stmt *>()[elseOffset()] = Else;
2271 getTrailingObjects<Stmt *>()[varOffset()])
2277 getTrailingObjects<Stmt *>()[varOffset()])
2283 getTrailingObjects<Stmt *>()[varOffset()] = CondVar;
2287 return hasInitStorage() ? getTrailingObjects<Stmt *>()[initOffset()]
2292 return hasInitStorage() ? getTrailingObjects<Stmt *>()[initOffset()]
2298 "This if statement has no storage for an init statement!");
2299 getTrailingObjects<Stmt *>()[initOffset()] =
Init;
2312 "This if statement has no storage for an else statement!");
2313 *getTrailingObjects<SourceLocation>() = ElseLoc;
2334 IfStmtBits.Kind =
static_cast<unsigned>(Kind);
2366 getTrailingObjects<Stmt *>() +
2367 numTrailingObjects(OverloadToken<Stmt *>()));
2375 getTrailingObjects<Stmt *>() +
2376 numTrailingObjects(OverloadToken<Stmt *>()));
2386 private llvm::TrailingObjects<SwitchStmt, Stmt *> {
2387 friend TrailingObjects;
2409 enum { InitOffset = 0, BodyOffsetFromCond = 1 };
2410 enum { NumMandatoryStmtPtr = 2 };
2414 unsigned numTrailingObjects(OverloadToken<Stmt *>)
const {
2418 unsigned initOffset()
const {
return InitOffset; }
2419 unsigned varOffset()
const {
return InitOffset +
hasInitStorage(); }
2420 unsigned condOffset()
const {
2423 unsigned bodyOffset()
const {
return condOffset() + BodyOffsetFromCond; }
2450 return reinterpret_cast<Expr *
>(getTrailingObjects<Stmt *>()[condOffset()]);
2454 return reinterpret_cast<Expr *
>(getTrailingObjects<Stmt *>()[condOffset()]);
2458 getTrailingObjects<Stmt *>()[condOffset()] =
reinterpret_cast<Stmt *
>(Cond);
2461 Stmt *
getBody() {
return getTrailingObjects<Stmt *>()[bodyOffset()]; }
2463 return getTrailingObjects<Stmt *>()[bodyOffset()];
2467 getTrailingObjects<Stmt *>()[bodyOffset()] = Body;
2471 return hasInitStorage() ? getTrailingObjects<Stmt *>()[initOffset()]
2476 return hasInitStorage() ? getTrailingObjects<Stmt *>()[initOffset()]
2482 "This switch statement has no storage for an init statement!");
2483 getTrailingObjects<Stmt *>()[initOffset()] =
Init;
2508 getTrailingObjects<Stmt *>()[varOffset()])
2514 getTrailingObjects<Stmt *>()[varOffset()])
2520 getTrailingObjects<Stmt *>()[varOffset()] = CondVar;
2541 "case/default already added to a switch");
2565 getTrailingObjects<Stmt *>() +
2566 numTrailingObjects(OverloadToken<Stmt *>()));
2571 getTrailingObjects<Stmt *>() +
2572 numTrailingObjects(OverloadToken<Stmt *>()));
2582 private llvm::TrailingObjects<WhileStmt, Stmt *> {
2583 friend TrailingObjects;
2600 enum { VarOffset = 0, BodyOffsetFromCond = 1 };
2601 enum { NumMandatoryStmtPtr = 2 };
2605 unsigned varOffset()
const {
return VarOffset; }
2606 unsigned condOffset()
const {
return VarOffset +
hasVarStorage(); }
2607 unsigned bodyOffset()
const {
return condOffset() + BodyOffsetFromCond; }
2609 unsigned numTrailingObjects(OverloadToken<Stmt *>)
const {
2635 return reinterpret_cast<Expr *
>(getTrailingObjects<Stmt *>()[condOffset()]);
2639 return reinterpret_cast<Expr *
>(getTrailingObjects<Stmt *>()[condOffset()]);
2643 getTrailingObjects<Stmt *>()[condOffset()] =
reinterpret_cast<Stmt *
>(Cond);
2646 Stmt *
getBody() {
return getTrailingObjects<Stmt *>()[bodyOffset()]; }
2648 return getTrailingObjects<Stmt *>()[bodyOffset()];
2652 getTrailingObjects<Stmt *>()[bodyOffset()] = Body;
2676 getTrailingObjects<Stmt *>()[varOffset()])
2682 getTrailingObjects<Stmt *>()[varOffset()])
2688 getTrailingObjects<Stmt *>()[varOffset()] = CondVar;
2711 getTrailingObjects<Stmt *>() +
2712 numTrailingObjects(OverloadToken<Stmt *>()));
2717 getTrailingObjects<Stmt *>() +
2718 numTrailingObjects(OverloadToken<Stmt *>()));
2724 enum { BODY, COND, END_EXPR };
2725 Stmt *SubExprs[END_EXPR];
2732 :
Stmt(DoStmtClass), WhileLoc(WL), RParenLoc(RP) {
2743 return reinterpret_cast<Expr *
>(SubExprs[COND]);
2768 return child_range(&SubExprs[0], &SubExprs[0] + END_EXPR);
2782 enum { INIT, CONDVAR, COND, INC, BODY, END_EXPR };
2783 Stmt* SubExprs[END_EXPR];
2810 return reinterpret_cast<DeclStmt*
>(SubExprs[CONDVAR]);
2814 return reinterpret_cast<DeclStmt*
>(SubExprs[CONDVAR]);
2818 SubExprs[CONDVAR] = CondVar;
2851 return child_range(&SubExprs[0], &SubExprs[0]+END_EXPR);
2866 :
Stmt(GotoStmtClass),
Label(label), LabelLoc(LL) {
2905 :
Stmt(IndirectGotoStmtClass), StarLoc(starLoc) {
2912 :
Stmt(IndirectGotoStmtClass, Empty) {}
2921 return reinterpret_cast<const Expr *
>(
Target);
3017 private llvm::TrailingObjects<ReturnStmt, const VarDecl *> {
3018 friend TrailingObjects;
3027 bool hasNRVOCandidate()
const {
return ReturnStmtBits.HasNRVOCandidate; }
3029 unsigned numTrailingObjects(OverloadToken<const VarDecl *>)
const {
3030 return hasNRVOCandidate();
3042 const VarDecl *NRVOCandidate);
3058 return hasNRVOCandidate() ? *getTrailingObjects<const VarDecl *>()
3066 assert(hasNRVOCandidate() &&
3067 "This return statement has no storage for an NRVO candidate!");
3068 *getTrailingObjects<const VarDecl *>() = Var;
3119 unsigned numoutputs,
unsigned numinputs,
unsigned numclobbers)
3267 unsigned NumLabels = 0;
3271 bool isvolatile,
unsigned numoutputs,
unsigned numinputs,
3311 : MyKind(
Operand), Str(S), OperandNo(OpNo),
3325 assert(
isOperand() &&
"Range is currently used only for Operands.");
3351 return II->getName();
3359 return Constraints[i];
3362 return Constraints[i];
3379 return II->getName();
3403 return NumLabels > 0;
3446 void setOutputsAndInputsAndClobbers(
const ASTContext &
C,
3486 unsigned NumAsmToks = 0;
3488 Token *AsmToks =
nullptr;
3489 StringRef *Constraints =
nullptr;
3490 StringRef *Clobbers =
nullptr;
3523 return Constraints[i];
3564 void initialize(
const ASTContext &
C, StringRef AsmString,
3591 enum { FILTER_EXPR,
BLOCK };
3597 static SEHExceptStmt*
Create(
const ASTContext &
C,
3598 SourceLocation ExceptLoc,
3608 return reinterpret_cast<Expr*
>(Children[FILTER_EXPR]);
3612 return cast<CompoundStmt>(Children[
BLOCK]);
3671 enum { TRY = 0, HANDLER = 1 };
3681 static SEHTryStmt*
Create(
const ASTContext &
C,
bool isCXXTry,
3682 SourceLocation TryLoc,
Stmt *TryBlock,
3693 return cast<CompoundStmt>(Children[TRY]);
3721 :
Stmt(SEHLeaveStmtClass), LeaveLoc(LL) {}
3769 llvm::PointerIntPair<VarDecl *, 2, VariableCaptureKind> VarAndKind;
3820 unsigned NumCaptures;
3824 llvm::PointerIntPair<CapturedDecl *, 2, CapturedRegionKind> CapDeclAndKind;
3836 Stmt **getStoredStmts() {
return reinterpret_cast<Stmt **
>(
this + 1); }
3838 Stmt *
const *getStoredStmts()
const {
3839 return reinterpret_cast<Stmt *
const *
>(
this + 1);
3842 Capture *getStoredCaptures()
const;
3844 void setCapturedStmt(
Stmt *S) { getStoredStmts()[NumCaptures] = S; }
3856 unsigned NumCaptures);
3880 assert(D &&
"null RecordDecl");
3907 return getStoredCaptures() + NumCaptures;
3921 llvm::iterator_range<const_capture_init_iterator>;
3933 return reinterpret_cast<Expr **
>(getStoredStmts());
3937 return reinterpret_cast<Expr *
const *
>(getStoredStmts());
static StringRef bytes(const std::vector< T, Allocator > &v)
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 ...
Defines the clang::LangOptions interface.
llvm::MachO::Target Target
Defines an enumeration for C++ overloaded operators.
Defines the clang::SourceLocation class and associated facilities.
Defines various enumerations that describe declaration and type specifiers.
#define BLOCK(DERIVED, BASE)
Defines enumerations for the type traits support.
__device__ __2f16 float __ockl_bool s
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Reads an AST files chain containing the contents of a translation unit.
AddrLabelExpr - The GNU address of label extension, representing &&label.
ArraySubscriptExpr - [C99 6.5.2.1] Array Subscripting.
AsmStmt is the base class for GCCAsmStmt and MSAsmStmt.
outputs_iterator begin_outputs()
void setAsmLoc(SourceLocation L)
const_outputs_iterator end_outputs() const
outputs_iterator end_outputs()
const_inputs_iterator begin_inputs() const
unsigned getNumPlusOperands() const
getNumPlusOperands - Return the number of output operands that have a "+" constraint.
AsmStmt(StmtClass SC, SourceLocation asmloc, bool issimple, bool isvolatile, unsigned numoutputs, unsigned numinputs, unsigned numclobbers)
static bool classof(const Stmt *T)
StringRef getOutputConstraint(unsigned i) const
getOutputConstraint - Return the constraint string for the specified output operand.
inputs_const_range inputs() const
SourceLocation getAsmLoc() const
const Expr * getInputExpr(unsigned i) const
SourceLocation getEndLoc() const LLVM_READONLY
llvm::iterator_range< inputs_iterator > inputs_range
bool isOutputPlusConstraint(unsigned i) const
isOutputPlusConstraint - Return true if the specified output constraint is a "+" constraint (which is...
unsigned getNumClobbers() const
const_inputs_iterator end_inputs() const
llvm::iterator_range< const_inputs_iterator > inputs_const_range
const_child_range children() const
bool IsSimple
True if the assembly statement does not have any input or output operands.
const Expr * getOutputExpr(unsigned i) const
StringRef getInputConstraint(unsigned i) const
getInputConstraint - Return the specified input constraint.
outputs_const_range outputs() const
inputs_iterator end_inputs()
unsigned getNumOutputs() const
SourceLocation getBeginLoc() const LLVM_READONLY
inputs_iterator begin_inputs()
AsmStmt(StmtClass SC, EmptyShell Empty)
Build an empty inline-assembly statement.
std::string generateAsmString(const ASTContext &C) const
Assemble final IR asm string.
bool IsVolatile
If true, treat this inline assembly as having side effects.
unsigned getNumInputs() const
llvm::iterator_range< outputs_iterator > outputs_range
StringRef getClobber(unsigned i) const
const_outputs_iterator begin_outputs() const
llvm::iterator_range< const_outputs_iterator > outputs_const_range
AtomicExpr - Variadic atomic builtins: __atomic_exchange, __atomic_fetch_*, __atomic_load,...
Attr - This represents one attribute.
Represents an attribute applied to a statement.
static AttributedStmt * CreateEmpty(const ASTContext &C, unsigned NumAttrs)
const Stmt * getSubStmt() const
SourceLocation getAttrLoc() const
ArrayRef< const Attr * > getAttrs() const
const_child_range children() const
static bool classof(const Stmt *T)
SourceLocation getEndLoc() const LLVM_READONLY
SourceLocation getBeginLoc() const
A builtin binary operation expression such as "x + y" or "x <= y".
BreakStmt - This represents a break.
SourceLocation getBreakLoc() const
SourceLocation getEndLoc() const
SourceLocation getBeginLoc() const
BreakStmt(SourceLocation BL)
const_child_range children() const
static bool classof(const Stmt *T)
void setBreakLoc(SourceLocation L)
BreakStmt(EmptyShell Empty)
Build an empty break statement.
A boolean literal, per ([C++ lex.bool] Boolean literals).
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...
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.
A rewritten comparison expression that was originally written using operator syntax.
An expression "T()" which creates a value-initialized rvalue of type T, which is a non-class type.
Represents the this expression in C++.
A C++ throw-expression (C++ [except.throw]).
Describes an explicit type conversion that uses functional notion but could not be resolved because o...
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
Represents the body of a CapturedStmt, and serves as its DeclContext.
Describes the capture of either a variable, or 'this', or variable-length array type.
bool capturesVariableByCopy() const
Determine whether this capture handles a variable by copy.
VariableCaptureKind getCaptureKind() const
Determine the kind of capture.
VarDecl * getCapturedVar() const
Retrieve the declaration of the variable being captured.
bool capturesVariableArrayType() const
Determine whether this capture handles a variable-length array type.
bool capturesThis() const
Determine whether this capture handles the C++ 'this' pointer.
bool capturesVariable() const
Determine whether this capture handles a variable (by reference).
SourceLocation getLocation() const
Retrieve the source location at which the variable or 'this' was first used.
This captures a statement into a function.
unsigned capture_size() const
Retrieve the number of captures, including 'this'.
const_capture_iterator capture_begin() const
static CapturedStmt * CreateDeserialized(const ASTContext &Context, unsigned NumCaptures)
SourceLocation getEndLoc() const LLVM_READONLY
capture_init_range capture_inits()
void setCapturedRegionKind(CapturedRegionKind Kind)
Set the captured region kind.
const_capture_init_iterator capture_init_begin() const
CapturedDecl * getCapturedDecl()
Retrieve the outlined function declaration.
SourceRange getSourceRange() const LLVM_READONLY
capture_iterator capture_end() const
Retrieve an iterator pointing past the end of the sequence of captures.
const RecordDecl * getCapturedRecordDecl() const
Retrieve the record declaration for captured variables.
Stmt * getCapturedStmt()
Retrieve the statement being captured.
llvm::iterator_range< capture_init_iterator > capture_init_range
llvm::iterator_range< capture_iterator > capture_range
bool capturesVariable(const VarDecl *Var) const
True if this variable has been captured.
static bool classof(const Stmt *T)
capture_init_iterator capture_init_begin()
Retrieve the first initialization argument.
void setCapturedDecl(CapturedDecl *D)
Set the outlined function declaration.
capture_iterator capture_begin()
Retrieve an iterator pointing to the first capture.
llvm::iterator_range< const_capture_init_iterator > const_capture_init_range
const_capture_init_iterator capture_init_end() const
SourceLocation getBeginLoc() const LLVM_READONLY
void setCapturedRecordDecl(RecordDecl *D)
Set the record declaration for captured variables.
llvm::iterator_range< const_capture_iterator > capture_const_range
capture_init_iterator capture_init_end()
Retrieve the iterator pointing one past the last initialization argument.
Expr *const * const_capture_init_iterator
Const iterator that walks over the capture initialization arguments.
const Stmt * getCapturedStmt() const
capture_const_range captures() const
CapturedRegionKind getCapturedRegionKind() const
Retrieve the captured region kind.
VariableCaptureKind
The different capture forms: by 'this', by reference, capture for variable-length array type etc.
const_capture_init_range capture_inits() const
CaseStmt - Represent a case statement.
const Expr * getRHS() const
const_child_range children() const
SourceLocation getBeginLoc() const
void setEllipsisLoc(SourceLocation L)
Set the location of the ... in a case statement of the form LHS ... RHS.
static bool classof(const Stmt *T)
bool caseStmtIsGNURange() const
True if this case statement is of the form case LHS ... RHS, which is a GNU extension.
const Expr * getLHS() const
SourceLocation getEllipsisLoc() const
Get the location of the ... in a case statement of the form LHS ... RHS.
void setCaseLoc(SourceLocation L)
SourceLocation getCaseLoc() const
static CaseStmt * CreateEmpty(const ASTContext &Ctx, bool CaseStmtIsGNURange)
Build an empty case statement.
const Stmt * getSubStmt() const
SourceLocation getEndLoc() const LLVM_READONLY
CastExpr - Base class for type casts, including both implicit casts (ImplicitCastExpr) and explicit c...
Represents a character-granular source range.
Represents a 'co_await' expression.
CompoundStmt - This represents a group of statements like { stmt stmt }.
static bool classof(const Stmt *T)
std::reverse_iterator< const_body_iterator > const_reverse_body_iterator
body_const_range body() const
Stmt *const * const_body_iterator
const_reverse_body_iterator body_rend() const
llvm::iterator_range< const_body_iterator > body_const_range
std::reverse_iterator< body_iterator > reverse_body_iterator
reverse_body_iterator body_rbegin()
llvm::iterator_range< body_iterator > body_range
const Stmt * getStmtExprResult() const
FPOptionsOverride getStoredFPFeatures() const
Get FPOptionsOverride from trailing storage.
const Stmt * body_front() const
SourceLocation getBeginLoc() const
static CompoundStmt * CreateEmpty(const ASTContext &C, unsigned NumStmts, bool HasFPFeatures)
SourceLocation getLBracLoc() const
body_iterator body_begin()
SourceLocation getEndLoc() const
bool hasStoredFPFeatures() const
const_child_range children() const
CompoundStmt(SourceLocation Loc, SourceLocation EndLoc)
reverse_body_iterator body_rend()
CompoundStmt(SourceLocation Loc)
const_body_iterator body_begin() const
Stmt * getStmtExprResult()
const Stmt * body_back() const
const_reverse_body_iterator body_rbegin() const
SourceLocation getRBracLoc() const
const_body_iterator body_end() const
ConstantExpr - An expression that occurs in a constant context and optionally the result of evaluatin...
ContinueStmt - This represents a continue.
ContinueStmt(EmptyShell Empty)
Build an empty continue statement.
ContinueStmt(SourceLocation CL)
static bool classof(const Stmt *T)
void setContinueLoc(SourceLocation L)
SourceLocation getContinueLoc() const
SourceLocation getEndLoc() const
const_child_range children() const
SourceLocation getBeginLoc() const
Decl *const * const_iterator
bool isSingleDecl() const
A reference to a declared variable, function, enum, etc.
DeclStmt - Adaptor class for mixing declarations with statements and expressions.
std::reverse_iterator< decl_iterator > reverse_decl_iterator
llvm::iterator_range< decl_iterator > decl_range
const_child_range children() const
SourceLocation getEndLoc() const
const DeclGroupRef getDeclGroup() const
DeclStmt(EmptyShell Empty)
Build an empty declaration statement.
bool isSingleDecl() const
isSingleDecl - This method returns true if this DeclStmt refers to a single Decl.
const_decl_iterator decl_begin() const
void setStartLoc(SourceLocation L)
DeclGroupRef::const_iterator const_decl_iterator
static bool classof(const Stmt *T)
void setEndLoc(SourceLocation L)
decl_iterator decl_begin()
void setDeclGroup(DeclGroupRef DGR)
const Decl * getSingleDecl() const
decl_const_range decls() const
const_decl_iterator decl_end() const
SourceLocation getBeginLoc() const LLVM_READONLY
DeclGroupRef getDeclGroup()
reverse_decl_iterator decl_rend()
llvm::iterator_range< const_decl_iterator > decl_const_range
reverse_decl_iterator decl_rbegin()
DeclStmt(DeclGroupRef dg, SourceLocation startLoc, SourceLocation endLoc)
Decl - This represents one declaration (or definition), e.g.
const Stmt * getSubStmt() const
SourceLocation getEndLoc() const LLVM_READONLY
void setDefaultLoc(SourceLocation L)
SourceLocation getDefaultLoc() const
DefaultStmt(EmptyShell Empty)
Build an empty default statement.
static bool classof(const Stmt *T)
DefaultStmt(SourceLocation DL, SourceLocation CL, Stmt *substmt)
const_child_range children() const
SourceLocation getBeginLoc() const
A qualified reference to a name whose declaration cannot yet be resolved.
Represents a C99 designated initializer expression.
DoStmt - This represents a 'do/while' stmt.
void setWhileLoc(SourceLocation L)
SourceLocation getBeginLoc() const
void setDoLoc(SourceLocation L)
SourceLocation getEndLoc() const
SourceLocation getWhileLoc() const
static bool classof(const Stmt *T)
const_child_range children() const
DoStmt(EmptyShell Empty)
Build an empty do-while statement.
SourceLocation getDoLoc() const
void setRParenLoc(SourceLocation L)
SourceLocation getRParenLoc() const
const Stmt * getBody() const
DoStmt(Stmt *Body, Expr *Cond, SourceLocation DL, SourceLocation WL, SourceLocation RP)
const Expr * getCond() const
Represents an expression – generally a full-expression – that introduces cleanups to be run at the en...
This represents one expression.
Represents difference between two FPOptions values.
ForStmt - This represents a 'for (init;cond;inc)' stmt.
VarDecl * getConditionVariable() const
Retrieve the variable declared in this "for" statement, if any.
SourceLocation getEndLoc() const
SourceLocation getRParenLoc() const
const_child_range children() const
const DeclStmt * getConditionVariableDeclStmt() const
void setForLoc(SourceLocation L)
const Expr * getInc() const
ForStmt(EmptyShell Empty)
Build an empty for statement.
void setLParenLoc(SourceLocation L)
const Expr * getCond() const
void setConditionVariableDeclStmt(DeclStmt *CondVar)
SourceLocation getBeginLoc() const
static bool classof(const Stmt *T)
const Stmt * getInit() const
void setConditionVariable(const ASTContext &C, VarDecl *V)
SourceLocation getForLoc() const
const Stmt * getBody() const
SourceLocation getLParenLoc() const
DeclStmt * getConditionVariableDeclStmt()
If this ForStmt has a condition variable, return the faux DeclStmt associated with the creation of th...
void setRParenLoc(SourceLocation L)
AsmStringPiece - this is part of a decomposed asm string specification (for use with the AnalyzeAsmSt...
AsmStringPiece(const std::string &S)
const std::string & getString() const
unsigned getOperandNo() const
CharSourceRange getRange() const
AsmStringPiece(unsigned OpNo, const std::string &S, SourceLocation Begin, SourceLocation End)
char getModifier() const
getModifier - Get the modifier for this operand, if present.
This represents a GCC inline-assembly statement extension.
const Expr * getInputExpr(unsigned i) const
const_labels_iterator end_labels() const
StringLiteral * getInputConstraintLiteral(unsigned i)
unsigned getNumLabels() const
const StringLiteral * getInputConstraintLiteral(unsigned i) const
std::string generateAsmString(const ASTContext &C) const
Assemble final IR asm string.
const StringLiteral * getClobberStringLiteral(unsigned i) const
SourceLocation getRParenLoc() const
StringRef getClobber(unsigned i) const
labels_const_range labels() const
StringLiteral * getOutputConstraintLiteral(unsigned i)
llvm::iterator_range< labels_iterator > labels_range
labels_iterator begin_labels()
IdentifierInfo * getInputIdentifier(unsigned i) const
labels_iterator end_labels()
StringRef getLabelName(unsigned i) const
unsigned AnalyzeAsmString(SmallVectorImpl< AsmStringPiece > &Pieces, const ASTContext &C, unsigned &DiagOffs) const
AnalyzeAsmString - Analyze the asm string of the current asm, decomposing it into pieces.
const StringLiteral * getOutputConstraintLiteral(unsigned i) const
void setRParenLoc(SourceLocation L)
StringRef getOutputConstraint(unsigned i) const
getOutputConstraint - Return the constraint string for the specified output operand.
void setInputExpr(unsigned i, Expr *E)
const StringLiteral * getAsmString() const
void setAsmString(StringLiteral *E)
static bool classof(const Stmt *T)
StringLiteral * getClobberStringLiteral(unsigned i)
StringRef getInputName(unsigned i) const
SourceLocation getEndLoc() const LLVM_READONLY
StringRef getOutputName(unsigned i) const
const_labels_iterator begin_labels() const
GCCAsmStmt(EmptyShell Empty)
Build an empty inline-assembly statement.
IdentifierInfo * getLabelIdentifier(unsigned i) const
IdentifierInfo * getOutputIdentifier(unsigned i) const
Expr * getOutputExpr(unsigned i)
StringLiteral * getAsmString()
llvm::iterator_range< const_labels_iterator > labels_const_range
int getNamedOperand(StringRef SymbolicName) const
getNamedOperand - Given a symbolic operand reference like %[foo], translate this into a numeric value...
const Expr * getOutputExpr(unsigned i) const
SourceLocation getBeginLoc() const LLVM_READONLY
Expr * getInputExpr(unsigned i)
AddrLabelExpr * getLabelExpr(unsigned i) const
StringRef getInputConstraint(unsigned i) const
getInputConstraint - Return the specified input constraint.
Represents a C11 generic selection.
GotoStmt - This represents a direct goto.
GotoStmt(LabelDecl *label, SourceLocation GL, SourceLocation LL)
SourceLocation getLabelLoc() const
SourceLocation getGotoLoc() const
void setLabel(LabelDecl *D)
GotoStmt(EmptyShell Empty)
Build an empty goto statement.
void setLabelLoc(SourceLocation L)
LabelDecl * getLabel() const
SourceLocation getEndLoc() const
const_child_range children() const
static bool classof(const Stmt *T)
void setGotoLoc(SourceLocation L)
SourceLocation getBeginLoc() const
One of these records is kept for each identifier that is lexed.
IfStmt - This represents an if/then/else.
bool hasElseStorage() const
True if this IfStmt has storage for an else statement.
const Stmt * getElse() const
void setConditionVariableDeclStmt(DeclStmt *CondVar)
void setLParenLoc(SourceLocation Loc)
SourceLocation getIfLoc() const
void setConditionVariable(const ASTContext &Ctx, VarDecl *V)
Set the condition variable for this if statement.
bool hasVarStorage() const
True if this IfStmt has storage for a variable declaration.
const DeclStmt * getConditionVariableDeclStmt() const
IfStatementKind getStatementKind() const
SourceLocation getElseLoc() const
bool isNonNegatedConsteval() const
SourceLocation getLParenLoc() const
static bool classof(const Stmt *T)
const Stmt * getThen() const
const Expr * getCond() const
const VarDecl * getConditionVariable() const
void setElseLoc(SourceLocation ElseLoc)
const Stmt * getInit() const
static IfStmt * CreateEmpty(const ASTContext &Ctx, bool HasElse, bool HasVar, bool HasInit)
Create an empty IfStmt optionally with storage for an else statement, condition variable and init exp...
bool hasInitStorage() const
True if this IfStmt has the storage for an init statement.
void setStatementKind(IfStatementKind Kind)
std::optional< const Stmt * > getNondiscardedCase(const ASTContext &Ctx) const
If this is an 'if constexpr', determine which substatement will be taken.
bool isObjCAvailabilityCheck() const
bool isNegatedConsteval() const
DeclStmt * getConditionVariableDeclStmt()
If this IfStmt has a condition variable, return the faux DeclStmt associated with the creation of tha...
const_child_range children() const
SourceLocation getRParenLoc() const
void setRParenLoc(SourceLocation Loc)
SourceLocation getBeginLoc() const
SourceLocation getEndLoc() const LLVM_READONLY
void setIfLoc(SourceLocation IfLoc)
VarDecl * getConditionVariable()
Retrieve the variable declared in this "if" statement, if any.
ImplicitCastExpr - Allows us to explicitly represent implicit type conversions, which have no direct ...
IndirectGotoStmt - This represents an indirect goto.
SourceLocation getEndLoc() const LLVM_READONLY
static bool classof(const Stmt *T)
LabelDecl * getConstantTarget()
getConstantTarget - Returns the fixed target of this indirect goto, if one exists.
IndirectGotoStmt(SourceLocation gotoLoc, SourceLocation starLoc, Expr *target)
SourceLocation getGotoLoc() const
SourceLocation getBeginLoc() const
void setGotoLoc(SourceLocation L)
const_child_range children() const
const LabelDecl * getConstantTarget() const
void setStarLoc(SourceLocation L)
IndirectGotoStmt(EmptyShell Empty)
Build an empty indirect goto statement.
const Expr * getTarget() const
SourceLocation getStarLoc() const
Describes an C or C++ initializer list.
Represents the declaration of a label.
LabelStmt - Represents a label, which has a substatement.
LabelStmt(SourceLocation IL, LabelDecl *D, Stmt *substmt)
Build a label statement.
static bool classof(const Stmt *T)
LabelDecl * getDecl() const
LabelStmt(EmptyShell Empty)
Build an empty label statement.
SourceLocation getIdentLoc() const
void setSubStmt(Stmt *SS)
void setDecl(LabelDecl *D)
SourceLocation getBeginLoc() const
void setIdentLoc(SourceLocation L)
const_child_range children() const
SourceLocation getEndLoc() const LLVM_READONLY
void setSideEntry(bool SE)
const char * getName() const
const Stmt * getSubStmt() const
A C++ lambda expression, which produces a function object (of unspecified type) that can be invoked l...
This represents a Microsoft inline-assembly statement extension.
const Expr * getOutputExpr(unsigned i) const
Expr * getOutputExpr(unsigned i)
ArrayRef< StringRef > getClobbers() const
SourceLocation getBeginLoc() const LLVM_READONLY
StringRef getAsmString() const
SourceLocation getLBraceLoc() const
SourceLocation getEndLoc() const
StringRef getInputConstraint(unsigned i) const
void setEndLoc(SourceLocation L)
void setInputExpr(unsigned i, Expr *E)
StringRef getOutputConstraint(unsigned i) const
ArrayRef< StringRef > getAllConstraints() const
static bool classof(const Stmt *T)
StringRef getClobber(unsigned i) const
const Expr * getInputExpr(unsigned i) const
void setLBraceLoc(SourceLocation L)
MSAsmStmt(EmptyShell Empty)
Build an empty MS-style inline-assembly statement.
std::string generateAsmString(const ASTContext &C) const
Assemble final IR asm string.
const_child_range children() const
ArrayRef< Expr * > getAllExprs() const
Expr * getInputExpr(unsigned i)
MatrixSubscriptExpr - Matrix subscript expression for the MatrixType extension.
MemberExpr - [C99 6.5.2.3] Structure and Union Members.
NullStmt - This is the null statement ";": C99 6.8.3p3.
void setSemiLoc(SourceLocation L)
bool hasLeadingEmptyMacro() const
SourceLocation getBeginLoc() const
SourceLocation getSemiLoc() const
static bool classof(const Stmt *T)
NullStmt(SourceLocation L, bool hasLeadingEmptyMacro=false)
NullStmt(EmptyShell Empty)
Build an empty null statement.
const_child_range children() const
SourceLocation getEndLoc() const
ObjCArrayLiteral - used for objective-c array containers; as in: @["Hello", NSApp,...
ObjCDictionaryLiteral - AST node to represent objective-c dictionary literals; as in:"name" : NSUserN...
ObjCIndirectCopyRestoreExpr - Represents the passing of a function argument by indirect copy-restore ...
An expression that sends a message to the given Objective-C object or class.
OffsetOfExpr - [C99 7.17] - This represents an expression of the form offsetof(record-type,...
OpaqueValueExpr - An expression referring to an opaque object of a fixed type and value class.
A reference to an overloaded function set, either an UnresolvedLookupExpr or an UnresolvedMemberExpr.
[C99 6.4.2.2] - A predefined identifier such as func.
PseudoObjectExpr - An expression which accesses a pseudo-object l-value.
Represents a struct/union/class.
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;.
void setRetValue(Expr *E)
void setReturnLoc(SourceLocation L)
SourceLocation getReturnLoc() const
static bool classof(const Stmt *T)
SourceLocation getEndLoc() const LLVM_READONLY
void setNRVOCandidate(const VarDecl *Var)
Set the variable that might be used for the named return value optimization.
SourceLocation getBeginLoc() const
const VarDecl * getNRVOCandidate() const
Retrieve the variable that might be used for the named return value optimization.
const_child_range children() const
static ReturnStmt * CreateEmpty(const ASTContext &Ctx, bool HasNRVOCandidate)
Create an empty return statement, optionally with storage for an NRVO candidate.
const Expr * getRetValue() const
const_child_range children() const
CompoundStmt * getBlock() const
SourceLocation getBeginLoc() const LLVM_READONLY
SourceLocation getExceptLoc() const
SourceLocation getEndLoc() const
static bool classof(const Stmt *T)
Expr * getFilterExpr() const
SourceLocation getBeginLoc() const LLVM_READONLY
SourceLocation getEndLoc() const
const_child_range children() const
SourceLocation getFinallyLoc() const
static bool classof(const Stmt *T)
CompoundStmt * getBlock() const
Represents a __leave statement.
SourceLocation getLeaveLoc() const
SourceLocation getEndLoc() const LLVM_READONLY
SEHLeaveStmt(EmptyShell Empty)
Build an empty __leave statement.
SEHLeaveStmt(SourceLocation LL)
SourceLocation getBeginLoc() const LLVM_READONLY
static bool classof(const Stmt *T)
void setLeaveLoc(SourceLocation L)
const_child_range children() const
const_child_range children() const
CompoundStmt * getTryBlock() const
static bool classof(const Stmt *T)
SourceLocation getTryLoc() const
SEHFinallyStmt * getFinallyHandler() const
SourceLocation getBeginLoc() const LLVM_READONLY
SourceLocation getEndLoc() const
SEHExceptStmt * getExceptHandler() const
Returns 0 if not defined.
Stmt * getHandler() const
ShuffleVectorExpr - clang-specific builtin-in function __builtin_shufflevector.
Represents a function call to one of __builtin_LINE(), __builtin_COLUMN(), __builtin_FUNCTION(),...
Encodes a location in the source.
bool isValid() const
Return true if this is a valid SourceLocation object.
A trivial tuple used to represent a source range.
StmtExpr - This is the GNU Statement Expression extension: ({int X=4; X;}).
friend class BlockDeclRefExpr
Stmt - This represents one statement.
SourceLocation getEndLoc() const LLVM_READONLY
void ProcessODRHash(llvm::FoldingSetNodeID &ID, ODRHash &Hash) const
Calculate a unique representation for a statement that is stable across compiler invocations.
Stmt(const Stmt &)=delete
UnaryExprOrTypeTraitExprBitfields UnaryExprOrTypeTraitExprBits
CXXUnresolvedConstructExprBitfields CXXUnresolvedConstructExprBits
WhileStmtBitfields WhileStmtBits
SwitchCaseBitfields SwitchCaseBits
GenericSelectionExprBitfields GenericSelectionExprBits
InitListExprBitfields InitListExprBits
static void EnableStatistics()
LambdaExprBitfields LambdaExprBits
AttributedStmtBitfields AttributedStmtBits
ParenListExprBitfields ParenListExprBits
ArrayOrMatrixSubscriptExprBitfields ArrayOrMatrixSubscriptExprBits
UnresolvedLookupExprBitfields UnresolvedLookupExprBits
SwitchStmtBitfields SwitchStmtBits
SubstNonTypeTemplateParmExprBitfields SubstNonTypeTemplateParmExprBits
CXXNoexceptExprBitfields CXXNoexceptExprBits
StmtIterator child_iterator
Child Iterators: All subclasses must implement 'children' to permit easy iteration over the substatem...
CXXRewrittenBinaryOperatorBitfields CXXRewrittenBinaryOperatorBits
ContinueStmtBitfields ContinueStmtBits
CallExprBitfields CallExprBits
Stmt * stripLabelLikeStatements()
void printPretty(raw_ostream &OS, PrinterHelper *Helper, const PrintingPolicy &Policy, unsigned Indentation=0, StringRef NewlineSymbol="\n", const ASTContext *Context=nullptr) const
const Stmt * stripLabelLikeStatements() const
Strip off all label-like statements.
ExprWithCleanupsBitfields ExprWithCleanupsBits
FloatingLiteralBitfields FloatingLiteralBits
const_child_range children() const
child_iterator child_begin()
void printJson(raw_ostream &Out, PrinterHelper *Helper, const PrintingPolicy &Policy, bool AddQuotes) const
Pretty-prints in JSON format.
StmtClass getStmtClass() const
CXXScalarValueInitExprBitfields CXXScalarValueInitExprBits
SourceRange getSourceRange() const LLVM_READONLY
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...
CharacterLiteralBitfields CharacterLiteralBits
OverloadExprBitfields OverloadExprBits
CXXConstructExprBitfields CXXConstructExprBits
void printPrettyControlled(raw_ostream &OS, PrinterHelper *Helper, const PrintingPolicy &Policy, unsigned Indentation=0, StringRef NewlineSymbol="\n", const ASTContext *Context=nullptr) const
UnaryOperatorBitfields UnaryOperatorBits
static std::tuple< bool, const Attr *, const Attr * > determineLikelihoodConflict(const Stmt *Then, const Stmt *Else)
CXXDependentScopeMemberExprBitfields CXXDependentScopeMemberExprBits
GotoStmtBitfields GotoStmtBits
child_iterator child_end()
ConstCastIterator< Expr > ConstExprIterator
TypeTraitExprBitfields TypeTraitExprBits
void Profile(llvm::FoldingSetNodeID &ID, const ASTContext &Context, bool Canonical, bool ProfileLambdaExpr=false) const
Produce a unique representation of the given statement.
CXXNewExprBitfields CXXNewExprBits
SourceLocExprBitfields SourceLocExprBits
CXXNullPtrLiteralExprBitfields CXXNullPtrLiteralExprBits
CoawaitExprBitfields CoawaitBits
Stmt(StmtClass SC, EmptyShell)
Construct an empty statement.
ConstantExprBitfields ConstantExprBits
llvm::iterator_range< child_iterator > child_range
void dump() const
Dumps the specified AST fragment and all subtrees to llvm::errs().
CompoundStmtBitfields CompoundStmtBits
RequiresExprBitfields RequiresExprBits
StmtExprBitfields StmtExprBits
StringLiteralBitfields StringLiteralBits
OpaqueValueExprBitfields OpaqueValueExprBits
CastExprBitfields CastExprBits
Likelihood
The likelihood of a branch being taken.
@ LH_Unlikely
Branch has the [[unlikely]] attribute.
@ LH_None
No attribute set or branches of the IfStmt have the same attribute.
@ LH_Likely
Branch has the [[likely]] attribute.
CXXThrowExprBitfields CXXThrowExprBits
static void addStmtClass(const StmtClass s)
MemberExprBitfields MemberExprBits
ForStmtBitfields ForStmtBits
DeclRefExprBitfields DeclRefExprBits
const_child_iterator child_end() const
const char * getStmtClassName() const
ConstStmtIterator const_child_iterator
void dumpPretty(const ASTContext &Context) const
dumpPretty/printPretty - These two methods do a "pretty print" of the AST back to its original source...
CXXBoolLiteralExprBitfields CXXBoolLiteralExprBits
CXXOperatorCallExprBitfields CXXOperatorCallExprBits
CXXDefaultInitExprBitfields CXXDefaultInitExprBits
Stmt & operator=(const Stmt &)=delete
NullStmtBitfields NullStmtBits
static const Attr * getLikelihoodAttr(const Stmt *S)
Stmt * IgnoreContainers(bool IgnoreCaptured=false)
Skip no-op (attributed, compound) container stmts and skip captured stmt at the top,...
DependentScopeDeclRefExprBitfields DependentScopeDeclRefExprBits
IfStmtBitfields IfStmtBits
Stmt & operator=(Stmt &&)=delete
PredefinedExprBitfields PredefinedExprBits
int64_t getID(const ASTContext &Context) const
ReturnStmtBitfields ReturnStmtBits
LabelStmtBitfields LabelStmtBits
ObjCIndirectCopyRestoreExprBitfields ObjCIndirectCopyRestoreExprBits
SourceLocation getBeginLoc() const LLVM_READONLY
void dumpColor() const
dumpColor - same as dump(), but forces color highlighting.
BinaryOperatorBitfields BinaryOperatorBits
UnresolvedMemberExprBitfields UnresolvedMemberExprBits
PseudoObjectExprBitfields PseudoObjectExprBits
BreakStmtBitfields BreakStmtBits
void viewAST() const
viewAST - Visualize an AST rooted at this Stmt* using GraphViz.
llvm::iterator_range< const_child_iterator > const_child_range
const_child_iterator child_begin() const
CXXDeleteExprBitfields CXXDeleteExprBits
CXXDefaultArgExprBitfields CXXDefaultArgExprBits
DoStmtBitfields DoStmtBits
CXXThisExprBitfields CXXThisExprBits
CastIterator< Expr > ExprIterator
static Likelihood getLikelihood(ArrayRef< const Attr * > Attrs)
StringLiteral - This represents a string literal expression, e.g.
Represents a reference to a non-type template parameter that has been substituted with a template arg...
SwitchCase * NextSwitchCase
A pointer to the following CaseStmt or DefaultStmt class, used by SwitchStmt.
void setColonLoc(SourceLocation L)
static bool classof(const Stmt *T)
SwitchCase(StmtClass SC, EmptyShell)
SourceLocation getKeywordLoc() const
SwitchCase(StmtClass SC, SourceLocation KWLoc, SourceLocation ColonLoc)
void setKeywordLoc(SourceLocation L)
const Stmt * getSubStmt() const
void setNextSwitchCase(SwitchCase *SC)
SourceLocation getColonLoc() const
SourceLocation getBeginLoc() const
const SwitchCase * getNextSwitchCase() const
SourceLocation ColonLoc
The location of the ":".
SourceLocation getEndLoc() const LLVM_READONLY
SwitchCase * getNextSwitchCase()
SwitchStmt - This represents a 'switch' stmt.
const Stmt * getInit() const
SourceLocation getSwitchLoc() const
void addSwitchCase(SwitchCase *SC)
void setBody(Stmt *S, SourceLocation SL)
SourceLocation getLParenLoc() const
const Expr * getCond() const
bool isAllEnumCasesCovered() const
Returns true if the SwitchStmt is a switch of an enum value and all cases have been explicitly covere...
void setSwitchLoc(SourceLocation L)
void setConditionVariableDeclStmt(DeclStmt *CondVar)
void setRParenLoc(SourceLocation Loc)
SourceLocation getEndLoc() const LLVM_READONLY
SourceLocation getRParenLoc() const
void setConditionVariable(const ASTContext &Ctx, VarDecl *VD)
Set the condition variable in this switch statement.
void setLParenLoc(SourceLocation Loc)
const Stmt * getBody() const
const VarDecl * getConditionVariable() const
static SwitchStmt * CreateEmpty(const ASTContext &Ctx, bool HasInit, bool HasVar)
Create an empty switch statement optionally with storage for an init expression and a condition varia...
const DeclStmt * getConditionVariableDeclStmt() const
bool hasVarStorage() const
True if this SwitchStmt has storage for a condition variable.
const_child_range children() const
VarDecl * getConditionVariable()
Retrieve the variable declared in this "switch" statement, if any.
SourceLocation getBeginLoc() const
bool hasInitStorage() const
True if this SwitchStmt has storage for an init statement.
SwitchCase * getSwitchCaseList()
const SwitchCase * getSwitchCaseList() const
DeclStmt * getConditionVariableDeclStmt()
If this SwitchStmt has a condition variable, return the faux DeclStmt associated with the creation of...
void setAllEnumCasesCovered()
Set a flag in the SwitchStmt indicating that if the 'switch (X)' is a switch over an enum value then ...
void setSwitchCaseList(SwitchCase *SC)
static bool classof(const Stmt *T)
Token - This structure provides full information about a lexed token.
A type trait used in the implementation of various C++11 and Library TR1 trait templates.
UnaryExprOrTypeTraitExpr - expression with either a type or (unevaluated) expression operand.
UnaryOperator - This represents the unary-expression's (except sizeof and alignof),...
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.
Represents a statement that could possibly have a value and type.
const Expr * getExprStmt() const
static bool classof(const Stmt *T)
Represents a variable declaration or definition.
WhileStmt - This represents a 'while' stmt.
SourceLocation getWhileLoc() const
SourceLocation getRParenLoc() const
DeclStmt * getConditionVariableDeclStmt()
If this WhileStmt has a condition variable, return the faux DeclStmt associated with the creation of ...
void setLParenLoc(SourceLocation L)
VarDecl * getConditionVariable()
Retrieve the variable declared in this "while" statement, if any.
SourceLocation getEndLoc() const LLVM_READONLY
void setConditionVariable(const ASTContext &Ctx, VarDecl *V)
Set the condition variable of this while statement.
bool hasVarStorage() const
True if this WhileStmt has storage for a condition variable.
SourceLocation getLParenLoc() const
SourceLocation getBeginLoc() const
const Stmt * getBody() const
void setRParenLoc(SourceLocation L)
const VarDecl * getConditionVariable() const
void setWhileLoc(SourceLocation L)
const Expr * getCond() const
static WhileStmt * CreateEmpty(const ASTContext &Ctx, bool HasVar)
Create an empty while statement optionally with storage for a condition variable.
const DeclStmt * getConditionVariableDeclStmt() const
void setConditionVariableDeclStmt(DeclStmt *CondVar)
static bool classof(const Stmt *T)
const_child_range children() const
@ Decl
The l-value was an access to a declared entity or something equivalently strong, like the address of ...
The JSON file list parser is used to communicate input to InstallAPI.
@ Create
'copyin' clause, allowed on Compute and Combined constructs, plus 'data', 'enter data',...
OverloadedOperatorKind
Enumeration specifying the different kinds of C++ overloaded operators.
ConstantResultStorageKind
Describes the kind of result that can be tail-allocated.
IfStatementKind
In an if statement, this denotes whether the statement is a constexpr or consteval if statement.
ExprObjectKind
A further classification of the kind of object referenced by an l-value or x-value.
CapturedRegionKind
The different kinds of captured statement.
UnaryExprOrTypeTrait
Names for the "expression or type" traits.
CastKind
CastKind - The kind of operation required for a conversion.
LambdaCaptureDefault
The default, if any, capture method for a lambda expression.
ExprValueKind
The categorization of expression values, currently following the C++11 scheme.
TypeTrait
Names for traits that operate specifically on types.
CXXNewInitializationStyle
NonOdrUseReason
The reason why a DeclRefExpr does not constitute an odr-use.
YAML serialization mapping.
Describes how types, statements, expressions, and declarations should be printed.
Iterator for iterating over Stmt * arrays that contain only T *.
Base::value_type operator*() const
A placeholder type used to construct an empty shell of a type, that will be filled in later (e....