class TerminatorVisitor

Declaration

class TerminatorVisitor : public ConstStmtVisitor { /* full declaration omitted */ };

Description

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

Declared at: clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp:74

Inherits from: ConstStmtVisitor

Member Variables

private const clang::dataflow::StmtToEnvMap& StmtToEnv

private clang::dataflow::Environment& Env

private int BlockSuccIdx

private clang::dataflow::TransferOptions TransferOpts

Method Overview

• public TerminatorVisitor(const clang::dataflow::StmtToEnvMap & StmtToEnv, clang::dataflow::Environment & Env, int BlockSuccIdx, clang::dataflow::TransferOptions TransferOpts)
• public void VisitBinaryOperator(const clang::BinaryOperator * S)
• public void VisitConditionalOperator(const clang::ConditionalOperator * S)
• public void VisitDoStmt(const clang::DoStmt * S)
• public void VisitForStmt(const clang::ForStmt * S)
• public void VisitIfStmt(const clang::IfStmt * S)
• public void VisitWhileStmt(const clang::WhileStmt * S)
• private void extendFlowCondition(const clang::Expr & Cond)

Methods

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

Declared at: clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp:76

Parameters

const clang::dataflow::StmtToEnvMap& StmtToEnv

clang::dataflow::Environment& Env

int BlockSuccIdx

clang::dataflow::TransferOptions TransferOpts

¶void VisitBinaryOperator(
    const clang::BinaryOperator* S)

Declared at: clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp:105

Parameters

const clang::BinaryOperator* S

¶void VisitConditionalOperator(
    const clang::ConditionalOperator* S)

Declared at: clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp:112

Parameters

const clang::ConditionalOperator* S

¶void VisitDoStmt(const clang::DoStmt* S)

Declared at: clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp:93

Parameters

const clang::DoStmt* S

¶void VisitForStmt(const clang::ForStmt* S)

Declared at: clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp:99

Parameters

const clang::ForStmt* S

¶void VisitIfStmt(const clang::IfStmt* S)

Declared at: clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp:81

Parameters

const clang::IfStmt* S

¶void VisitWhileStmt(const clang::WhileStmt* S)

Declared at: clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp:87

Parameters

const clang::WhileStmt* S

¶void extendFlowCondition(const clang::Expr& Cond)

Declared at: clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp:119

Parameters

const clang::Expr& Cond