clang 17.0.0git
|
IfStmt - This represents an if/then/else. More...
#include "clang/AST/Stmt.h"
Public Member Functions | |
bool | hasInitStorage () const |
True if this IfStmt has the storage for an init statement. | |
bool | hasVarStorage () const |
True if this IfStmt has storage for a variable declaration. | |
bool | hasElseStorage () const |
True if this IfStmt has storage for an else statement. | |
Expr * | getCond () |
const Expr * | getCond () const |
void | setCond (Expr *Cond) |
Stmt * | getThen () |
const Stmt * | getThen () const |
void | setThen (Stmt *Then) |
Stmt * | getElse () |
const Stmt * | getElse () const |
void | setElse (Stmt *Else) |
VarDecl * | getConditionVariable () |
Retrieve the variable declared in this "if" statement, if any. | |
const VarDecl * | getConditionVariable () const |
void | setConditionVariable (const ASTContext &Ctx, VarDecl *V) |
Set the condition variable for this if statement. | |
DeclStmt * | getConditionVariableDeclStmt () |
If this IfStmt has a condition variable, return the faux DeclStmt associated with the creation of that condition variable. | |
const DeclStmt * | getConditionVariableDeclStmt () const |
void | setConditionVariableDeclStmt (DeclStmt *CondVar) |
Stmt * | getInit () |
const Stmt * | getInit () const |
void | setInit (Stmt *Init) |
SourceLocation | getIfLoc () const |
void | setIfLoc (SourceLocation IfLoc) |
SourceLocation | getElseLoc () const |
void | setElseLoc (SourceLocation ElseLoc) |
bool | isConsteval () const |
bool | isNonNegatedConsteval () const |
bool | isNegatedConsteval () const |
bool | isConstexpr () const |
void | setStatementKind (IfStatementKind Kind) |
IfStatementKind | getStatementKind () const |
std::optional< const Stmt * > | getNondiscardedCase (const ASTContext &Ctx) const |
If this is an 'if constexpr', determine which substatement will be taken. | |
std::optional< Stmt * > | getNondiscardedCase (const ASTContext &Ctx) |
bool | isObjCAvailabilityCheck () const |
SourceLocation | getBeginLoc () const |
SourceLocation | getEndLoc () const LLVM_READONLY |
SourceLocation | getLParenLoc () const |
void | setLParenLoc (SourceLocation Loc) |
SourceLocation | getRParenLoc () const |
void | setRParenLoc (SourceLocation Loc) |
child_range | children () |
const_child_range | children () const |
![]() | |
void * | operator new (size_t bytes, const ASTContext &C, unsigned alignment=8) |
void * | operator new (size_t bytes, const ASTContext *C, unsigned alignment=8) |
void * | operator new (size_t bytes, void *mem) noexcept |
void | operator delete (void *, const ASTContext &, unsigned) noexcept |
void | operator delete (void *, const ASTContext *, unsigned) noexcept |
void | operator delete (void *, size_t) noexcept |
void | operator delete (void *, void *) noexcept |
Stmt ()=delete | |
Stmt (const Stmt &)=delete | |
Stmt (Stmt &&)=delete | |
Stmt & | operator= (const Stmt &)=delete |
Stmt & | operator= (Stmt &&)=delete |
Stmt (StmtClass SC) | |
StmtClass | getStmtClass () const |
const char * | getStmtClassName () const |
SourceRange | getSourceRange () const LLVM_READONLY |
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpreted by SourceManager. | |
SourceLocation | getBeginLoc () const LLVM_READONLY |
SourceLocation | getEndLoc () const LLVM_READONLY |
void | dump () const |
Dumps the specified AST fragment and all subtrees to llvm::errs() . | |
void | dump (raw_ostream &OS, const ASTContext &Context) const |
int64_t | getID (const ASTContext &Context) const |
void | dumpColor () const |
dumpColor - same as dump(), but forces color highlighting. | |
void | dumpPretty (const ASTContext &Context) const |
dumpPretty/printPretty - These two methods do a "pretty print" of the AST back to its original source language syntax. | |
void | printPretty (raw_ostream &OS, PrinterHelper *Helper, const PrintingPolicy &Policy, unsigned Indentation=0, StringRef NewlineSymbol="\n", const ASTContext *Context=nullptr) const |
void | printPrettyControlled (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. | |
void | viewAST () const |
viewAST - Visualize an AST rooted at this Stmt* using GraphViz. | |
Stmt * | IgnoreContainers (bool IgnoreCaptured=false) |
Skip no-op (attributed, compound) container stmts and skip captured stmt at the top, if IgnoreCaptured is true. | |
const Stmt * | IgnoreContainers (bool IgnoreCaptured=false) const |
const Stmt * | stripLabelLikeStatements () const |
Strip off all label-like statements. | |
Stmt * | stripLabelLikeStatements () |
child_range | children () |
const_child_range | children () const |
child_iterator | child_begin () |
child_iterator | child_end () |
const_child_iterator | child_begin () const |
const_child_iterator | child_end () const |
void | Profile (llvm::FoldingSetNodeID &ID, const ASTContext &Context, bool Canonical) const |
Produce a unique representation of the given statement. | |
void | ProcessODRHash (llvm::FoldingSetNodeID &ID, ODRHash &Hash) const |
Calculate a unique representation for a statement that is stable across compiler invocations. | |
Static Public Member Functions | |
static IfStmt * | Create (const ASTContext &Ctx, SourceLocation IL, IfStatementKind Kind, Stmt *Init, VarDecl *Var, Expr *Cond, SourceLocation LPL, SourceLocation RPL, Stmt *Then, SourceLocation EL=SourceLocation(), Stmt *Else=nullptr) |
Create an IfStmt. | |
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 expression. | |
static bool | classof (const Stmt *T) |
![]() | |
static void | addStmtClass (const StmtClass s) |
static void | EnableStatistics () |
static void | PrintStats () |
static Likelihood | getLikelihood (ArrayRef< const Attr * > Attrs) |
static Likelihood | getLikelihood (const Stmt *S) |
static const Attr * | getLikelihoodAttr (const Stmt *S) |
static Likelihood | getLikelihood (const Stmt *Then, const Stmt *Else) |
static std::tuple< bool, const Attr *, const Attr * > | determineLikelihoodConflict (const Stmt *Then, const Stmt *Else) |
|
inline |
Definition at line 2179 of file Stmt.h.
References isConsteval().
|
inline |
Definition at line 2188 of file Stmt.h.
References isConsteval().
Definition at line 2197 of file Stmt.h.
References clang::Stmt::getStmtClass().
|
static |
Create an IfStmt.
Definition at line 956 of file Stmt.cpp.
References clang::ASTContext::Allocate().
Referenced by clang::Sema::BuildIfStmt(), create_call_once(), create_dispatch_once(), create_OSAtomicCompareAndSwap(), and clang::ASTNodeImporter::VisitIfStmt().
|
static |
Create an empty IfStmt optionally with storage for an else statement, condition variable and init expression.
Definition at line 971 of file Stmt.cpp.
References clang::ASTContext::Allocate().
|
inline |
Definition at line 2166 of file Stmt.h.
References getIfLoc().
|
inline |
Definition at line 2031 of file Stmt.h.
Referenced by DiagUninitUse(), EvaluateStmt(), getNondiscardedCase(), isIdenticalStmt(), and isObjCAvailabilityCheck().
VarDecl * IfStmt::getConditionVariable | ( | ) |
Retrieve the variable declared in this "if" statement, if any.
In the following example, "x" is the condition variable.
Definition at line 980 of file Stmt.cpp.
References getConditionVariableDeclStmt().
Referenced by EvaluateStmt(), and getConditionVariable().
|
inline |
Definition at line 2077 of file Stmt.h.
References getConditionVariable().
|
inline |
If this IfStmt has a condition variable, return the faux DeclStmt associated with the creation of that condition variable.
Definition at line 2087 of file Stmt.h.
References hasVarStorage().
Referenced by getConditionVariable().
|
inline |
Definition at line 2093 of file Stmt.h.
References hasVarStorage().
|
inline |
Definition at line 2052 of file Stmt.h.
References hasElseStorage().
Referenced by CheckConstexprFunctionStmt(), DiagUninitUse(), EvaluateStmt(), getEndLoc(), getNondiscardedCase(), and isIdenticalStmt().
|
inline |
Definition at line 2057 of file Stmt.h.
References hasElseStorage().
|
inline |
Definition at line 2123 of file Stmt.h.
References hasElseStorage().
|
inline |
Definition at line 2167 of file Stmt.h.
References getElse(), clang::Stmt::getEndLoc(), and getThen().
|
inline |
Definition at line 2120 of file Stmt.h.
References clang::Stmt::IfStmtBits.
Referenced by getBeginLoc().
|
inline |
|
inline |
Definition at line 2109 of file Stmt.h.
References hasInitStorage().
|
inline |
std::optional< Stmt * > IfStmt::getNondiscardedCase | ( | const ASTContext & | Ctx | ) |
Definition at line 1005 of file Stmt.cpp.
References clang::Expr::EvaluateKnownConstInt(), getCond(), getElse(), getThen(), and isConstexpr().
std::optional< const Stmt * > IfStmt::getNondiscardedCase | ( | const ASTContext & | Ctx | ) | const |
If this is an 'if constexpr', determine which substatement will be taken.
Otherwise, or if the condition is value-dependent, returns std::nullopt.
Definition at line 1012 of file Stmt.cpp.
References getNondiscardedCase(), and clang::Result.
Referenced by getNondiscardedCase(), and clang::EvaluatedExprVisitorBase< Ptr, ImplClass >::VisitIfStmt().
|
inline |
|
inline |
Definition at line 2155 of file Stmt.h.
References clang::Stmt::IfStmtBits.
Referenced by isConsteval(), isConstexpr(), isNegatedConsteval(), and isNonNegatedConsteval().
|
inline |
Definition at line 2043 of file Stmt.h.
Referenced by CheckConstexprFunctionStmt(), DiagUninitUse(), EvaluateStmt(), getEndLoc(), getNondiscardedCase(), and isIdenticalStmt().
|
inline |
True if this IfStmt has storage for an else statement.
Definition at line 2029 of file Stmt.h.
References clang::Stmt::IfStmtBits.
Referenced by getElse(), getElseLoc(), setElse(), setElseLoc(), and clang::JSONNodeDumper::VisitIfStmt().
|
inline |
True if this IfStmt has the storage for an init statement.
Definition at line 2023 of file Stmt.h.
References clang::Stmt::IfStmtBits.
Referenced by getInit(), setInit(), and clang::JSONNodeDumper::VisitIfStmt().
|
inline |
True if this IfStmt has storage for a variable declaration.
Definition at line 2026 of file Stmt.h.
References clang::Stmt::IfStmtBits.
Referenced by getConditionVariableDeclStmt(), setConditionVariable(), setConditionVariableDeclStmt(), and clang::JSONNodeDumper::VisitIfStmt().
|
inline |
Definition at line 2134 of file Stmt.h.
References clang::ConstevalNegated, clang::ConstevalNonNegated, and getStatementKind().
Referenced by children(), EvaluateStmt(), and clang::JSONNodeDumper::VisitIfStmt().
|
inline |
Definition at line 2147 of file Stmt.h.
References clang::Constexpr, and getStatementKind().
Referenced by getNondiscardedCase(), and clang::JSONNodeDumper::VisitIfStmt().
|
inline |
Definition at line 2143 of file Stmt.h.
References clang::ConstevalNegated, and getStatementKind().
Referenced by clang::JSONNodeDumper::VisitIfStmt().
|
inline |
Definition at line 2139 of file Stmt.h.
References clang::ConstevalNonNegated, and getStatementKind().
Referenced by EvaluateStmt().
bool IfStmt::isObjCAvailabilityCheck | ( | ) | const |
void IfStmt::setConditionVariable | ( | const ASTContext & | Ctx, |
VarDecl * | V | ||
) |
Set the condition variable for this if statement.
The if statement must have storage for the condition variable.
Definition at line 987 of file Stmt.cpp.
References clang::SourceRange::getBegin(), clang::SourceRange::getEnd(), hasVarStorage(), and V.
|
inline |
Definition at line 2099 of file Stmt.h.
References hasVarStorage().
|
inline |
Definition at line 2062 of file Stmt.h.
References hasElseStorage().
|
inline |
Definition at line 2128 of file Stmt.h.
References hasElseStorage().
|
inline |
Definition at line 2121 of file Stmt.h.
References clang::Stmt::IfStmtBits.
|
inline |
Definition at line 2114 of file Stmt.h.
References hasInitStorage().
|
inline |
|
inline |
|
inline |
Definition at line 2151 of file Stmt.h.
References clang::Stmt::IfStmtBits.