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. More... | |
bool | hasVarStorage () const |
True if this IfStmt has storage for a variable declaration. More... | |
bool | hasElseStorage () const |
True if this IfStmt has storage for an else statement. More... | |
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. More... | |
const VarDecl * | getConditionVariable () const |
void | setConditionVariable (const ASTContext &Ctx, VarDecl *V) |
Set the condition variable for this if statement. More... | |
DeclStmt * | getConditionVariableDeclStmt () |
If this IfStmt has a condition variable, return the faux DeclStmt associated with the creation of that condition variable. More... | |
const DeclStmt * | getConditionVariableDeclStmt () const |
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. More... | |
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. More... | |
SourceLocation | getBeginLoc () const LLVM_READONLY |
SourceLocation | getEndLoc () const LLVM_READONLY |
void | dump () const |
Dumps the specified AST fragment and all subtrees to llvm::errs() . More... | |
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. More... | |
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. More... | |
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. More... | |
void | viewAST () const |
viewAST - Visualize an AST rooted at this Stmt* using GraphViz. More... | |
Stmt * | IgnoreContainers (bool IgnoreCaptured=false) |
Skip no-op (attributed, compound) container stmts and skip captured stmt at the top, if IgnoreCaptured is true. More... | |
const Stmt * | IgnoreContainers (bool IgnoreCaptured=false) const |
const Stmt * | stripLabelLikeStatements () const |
Strip off all label-like statements. More... | |
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. More... | |
void | ProcessODRHash (llvm::FoldingSetNodeID &ID, ODRHash &Hash) const |
Calculate a unique representation for a statement that is stable across compiler invocations. More... | |
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. More... | |
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. More... | |
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 2170 of file Stmt.h.
References isConsteval().
|
inline |
Definition at line 2179 of file Stmt.h.
References isConsteval().
Definition at line 2188 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_dispatch_once(), and create_OSAtomicCompareAndSwap().
|
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 2157 of file Stmt.h.
References getIfLoc().
|
inline |
Definition at line 2027 of file Stmt.h.
Referenced by 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 getConditionVariable().
|
inline |
Definition at line 2073 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 2083 of file Stmt.h.
References hasVarStorage().
Referenced by getConditionVariable().
|
inline |
Definition at line 2089 of file Stmt.h.
References hasVarStorage().
|
inline |
Definition at line 2048 of file Stmt.h.
References hasElseStorage().
Referenced by getEndLoc(), getNondiscardedCase(), and isIdenticalStmt().
|
inline |
Definition at line 2053 of file Stmt.h.
References hasElseStorage().
|
inline |
Definition at line 2114 of file Stmt.h.
References hasElseStorage().
|
inline |
Definition at line 2158 of file Stmt.h.
References getElse(), clang::Stmt::getEndLoc(), and getThen().
|
inline |
Definition at line 2111 of file Stmt.h.
References clang::Stmt::IfStmtBits.
Referenced by getBeginLoc().
|
inline |
Definition at line 2095 of file Stmt.h.
References hasInitStorage().
|
inline |
Definition at line 2100 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.
Referenced by clang::EvaluatedExprVisitorBase< std::add_pointer, Derived >::VisitIfStmt().
|
inline |
|
inline |
Definition at line 2146 of file Stmt.h.
References clang::Stmt::IfStmtBits.
Referenced by isConsteval(), isConstexpr(), isNegatedConsteval(), and isNonNegatedConsteval().
|
inline |
Definition at line 2039 of file Stmt.h.
Referenced by getEndLoc(), getNondiscardedCase(), and isIdenticalStmt().
|
inline |
True if this IfStmt has storage for an else statement.
Definition at line 2025 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 2019 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 2022 of file Stmt.h.
References clang::Stmt::IfStmtBits.
Referenced by getConditionVariableDeclStmt(), setConditionVariable(), and clang::JSONNodeDumper::VisitIfStmt().
|
inline |
Definition at line 2125 of file Stmt.h.
References clang::ConstevalNegated, clang::ConstevalNonNegated, and getStatementKind().
Referenced by children(), and clang::JSONNodeDumper::VisitIfStmt().
|
inline |
Definition at line 2138 of file Stmt.h.
References clang::Constexpr, and getStatementKind().
Referenced by getNondiscardedCase(), and clang::JSONNodeDumper::VisitIfStmt().
|
inline |
Definition at line 2134 of file Stmt.h.
References clang::ConstevalNegated, and getStatementKind().
Referenced by clang::JSONNodeDumper::VisitIfStmt().
|
inline |
Definition at line 2130 of file Stmt.h.
References clang::ConstevalNonNegated, and getStatementKind().
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 2058 of file Stmt.h.
References hasElseStorage().
|
inline |
Definition at line 2119 of file Stmt.h.
References hasElseStorage().
|
inline |
Definition at line 2112 of file Stmt.h.
References clang::Stmt::IfStmtBits.
|
inline |
Definition at line 2105 of file Stmt.h.
References hasInitStorage().
|
inline |
|
inline |
|
inline |
Definition at line 2142 of file Stmt.h.
References clang::Stmt::IfStmtBits.