clang
7.0.0
|
Represents CFGBlock terminator statement. More...
#include "clang/Analysis/CFG.h"
Public Member Functions | |
CFGTerminator ()=default | |
CFGTerminator (Stmt *S, bool TemporaryDtorsBranch=false) | |
Stmt * | getStmt () |
const Stmt * | getStmt () const |
bool | isTemporaryDtorsBranch () const |
operator Stmt * () | |
operator const Stmt * () const | |
Stmt * | operator-> () |
const Stmt * | operator-> () const |
Stmt & | operator* () |
const Stmt & | operator* () const |
operator bool () const | |
Represents CFGBlock terminator statement.
TemporaryDtorsBranch bit is set to true if the terminator marks a branch in control flow of destructors of temporaries. In this case terminator statement is the same statement that branches control flow in evaluation of matching full expression.
|
default |
|
inline |
Definition at line 510 of file CFG.h.
Referenced by clang::CFGBlock::FilterEdge(), llvm::simplify_type< ::clang::CFGTerminator >::getSimplifiedValue(), clang::consumed::ConsumedStateMap::operator!=(), and clang::ento::ExprEngine::VisitLogicalExpr().
|
inline |
Definition at line 513 of file CFG.h.
Referenced by ResolveCondition().