class CFGVisitor

Declaration

class CFGVisitor { /* full declaration omitted */ };

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyCommon.h:101

Method Overview

• private void enterCFG(clang::CFG * Cfg, const clang::NamedDecl * D, const clang::CFGBlock * First)
• private void enterCFGBlock(const clang::CFGBlock * B)
• private void enterCFGBlockBody(const clang::CFGBlock * B)
• private void exitCFG(const clang::CFGBlock * Last)
• private void exitCFGBlock(const clang::CFGBlock * B)
• private void exitCFGBlockBody(const clang::CFGBlock * B)
• private void handleDestructorCall(const clang::VarDecl * VD, const clang::CXXDestructorDecl * DD)
• private void handlePredecessor(const clang::CFGBlock * Pred)
• private void handlePredecessorBackEdge(const clang::CFGBlock * Pred)
• private void handleStatement(const clang::Stmt * S)
• private void handleSuccessor(const clang::CFGBlock * Succ)
• private void handleSuccessorBackEdge(const clang::CFGBlock * Succ)
• private bool visitPredecessors()
• private bool visitSuccessors()

Methods

¶void enterCFG(clang::CFG* Cfg,
              const clang::NamedDecl* D,
              const clang::CFGBlock* First)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyCommon.h:103

Parameters

clang::CFG* Cfg

const clang::NamedDecl* D

const clang::CFGBlock* First

¶void enterCFGBlock(const clang::CFGBlock* B)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyCommon.h:106

Parameters

const clang::CFGBlock* B

¶void enterCFGBlockBody(const clang::CFGBlock* B)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyCommon.h:118

Parameters

const clang::CFGBlock* B

¶void exitCFG(const clang::CFGBlock* Last)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyCommon.h:142

Parameters

const clang::CFGBlock* Last

¶void exitCFGBlock(const clang::CFGBlock* B)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyCommon.h:139

Parameters

const clang::CFGBlock* B

¶void exitCFGBlockBody(const clang::CFGBlock* B)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyCommon.h:127

Parameters

const clang::CFGBlock* B

¶void handleDestructorCall(
    const clang::VarDecl* VD,
    const clang::CXXDestructorDecl* DD)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyCommon.h:124

Parameters

const clang::VarDecl* VD

const clang::CXXDestructorDecl* DD

¶void handlePredecessor(
    const clang::CFGBlock* Pred)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyCommon.h:112

Parameters

const clang::CFGBlock* Pred

¶void handlePredecessorBackEdge(
    const clang::CFGBlock* Pred)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyCommon.h:115

Parameters

const clang::CFGBlock* Pred

¶void handleStatement(const clang::Stmt* S)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyCommon.h:121

Parameters

const clang::Stmt* S

¶void handleSuccessor(const clang::CFGBlock* Succ)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyCommon.h:133

Parameters

const clang::CFGBlock* Succ

¶void handleSuccessorBackEdge(
    const clang::CFGBlock* Succ)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyCommon.h:136

Parameters

const clang::CFGBlock* Succ

¶bool visitPredecessors()

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyCommon.h:109

¶bool visitSuccessors()

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyCommon.h:130