clang  16.0.0git
Public Member Functions | List of all members
clang::dataflow::TerminatorVisitor Class Reference

Extends the flow condition of an environment based on a terminator statement. More...

Inheritance diagram for clang::dataflow::TerminatorVisitor:
Inheritance graph
[legend]
Collaboration diagram for clang::dataflow::TerminatorVisitor:
Collaboration graph
[legend]

Public Member Functions

 TerminatorVisitor (const StmtToEnvMap &StmtToEnv, Environment &Env, int BlockSuccIdx, TransferOptions TransferOpts)
 
TerminatorVisitorRetTy VisitIfStmt (const IfStmt *S)
 
TerminatorVisitorRetTy VisitWhileStmt (const WhileStmt *S)
 
TerminatorVisitorRetTy VisitDoStmt (const DoStmt *S)
 
TerminatorVisitorRetTy VisitForStmt (const ForStmt *S)
 
TerminatorVisitorRetTy VisitBinaryOperator (const BinaryOperator *S)
 
TerminatorVisitorRetTy VisitConditionalOperator (const ConditionalOperator *S)
 
- Public Member Functions inherited from clang::StmtVisitorBase< llvm::make_const_ptr, TerminatorVisitor, TerminatorVisitorRetTy, ParamTys... >
TerminatorVisitorRetTy Visit (PTR(Stmt) S, ParamTys... P)
 
 BINOP_FALLBACK (PtrMemD) BINOP_FALLBACK(PtrMemI) BINOP_FALLBACK(Mul) BINOP_FALLBACK(Div) BINOP_FALLBACK(Rem) BINOP_FALLBACK(Add) BINOP_FALLBACK(Sub) BINOP_FALLBACK(Shl) BINOP_FALLBACK(LT) BINOP_FALLBACK(GT) BINOP_FALLBACK(LE) BINOP_FALLBACK(GE) BINOP_FALLBACK(EQ) BINOP_FALLBACK(NE) BINOP_FALLBACK(And) BINOP_FALLBACK(Xor) BINOP_FALLBACK(Or) BINOP_FALLBACK(LAnd) BINOP_FALLBACK(LOr) CAO_FALLBACK(MulAssign) CAO_FALLBACK(DivAssign) CAO_FALLBACK(RemAssign) CAO_FALLBACK(AddAssign) CAO_FALLBACK(SubAssign) CAO_FALLBACK(ShlAssign) CAO_FALLBACK(ShrAssign) CAO_FALLBACK(AndAssign) CAO_FALLBACK(OrAssign) UNARYOP_FALLBACK(PostInc) UNARYOP_FALLBACK(PostDec) UNARYOP_FALLBACK(PreInc) UNARYOP_FALLBACK(PreDec) UNARYOP_FALLBACK(AddrOf) UNARYOP_FALLBACK(Deref) UNARYOP_FALLBACK(Plus) UNARYOP_FALLBACK(Minus) UNARYOP_FALLBACK(Not) UNARYOP_FALLBACK(LNot) UNARYOP_FALLBACK(Real) UNARYOP_FALLBACK(Imag) UNARYOP_FALLBACK(Extension) UNARYOP_FALLBACK(Coawait) TerminatorVisitorRetTy VisitStmt(PTR(Stmt) Node
 

Additional Inherited Members

- Public Attributes inherited from clang::StmtVisitorBase< llvm::make_const_ptr, TerminatorVisitor, TerminatorVisitorRetTy, ParamTys... >
ParamTys P
 

Detailed Description

Extends the flow condition of an environment based on a terminator statement.

Definition at line 95 of file TypeErasedDataflowAnalysis.cpp.

Constructor & Destructor Documentation

◆ TerminatorVisitor()

clang::dataflow::TerminatorVisitor::TerminatorVisitor ( const StmtToEnvMap StmtToEnv,
Environment Env,
int  BlockSuccIdx,
TransferOptions  TransferOpts 
)
inline

Definition at line 98 of file TypeErasedDataflowAnalysis.cpp.

Member Function Documentation

◆ VisitBinaryOperator()

TerminatorVisitorRetTy clang::dataflow::TerminatorVisitor::VisitBinaryOperator ( const BinaryOperator S)
inline

Definition at line 128 of file TypeErasedDataflowAnalysis.cpp.

◆ VisitConditionalOperator()

TerminatorVisitorRetTy clang::dataflow::TerminatorVisitor::VisitConditionalOperator ( const ConditionalOperator S)
inline

Definition at line 136 of file TypeErasedDataflowAnalysis.cpp.

◆ VisitDoStmt()

TerminatorVisitorRetTy clang::dataflow::TerminatorVisitor::VisitDoStmt ( const DoStmt S)
inline

Definition at line 115 of file TypeErasedDataflowAnalysis.cpp.

◆ VisitForStmt()

TerminatorVisitorRetTy clang::dataflow::TerminatorVisitor::VisitForStmt ( const ForStmt S)
inline

Definition at line 121 of file TypeErasedDataflowAnalysis.cpp.

◆ VisitIfStmt()

TerminatorVisitorRetTy clang::dataflow::TerminatorVisitor::VisitIfStmt ( const IfStmt S)
inline

Definition at line 103 of file TypeErasedDataflowAnalysis.cpp.

◆ VisitWhileStmt()

TerminatorVisitorRetTy clang::dataflow::TerminatorVisitor::VisitWhileStmt ( const WhileStmt S)
inline

Definition at line 109 of file TypeErasedDataflowAnalysis.cpp.


The documentation for this class was generated from the following file: