clang::PostOrderCFGView::CFGBlockSet Class Reference

Implements a set of CFGBlocks using a BitVector. More...

#include "clang/Analysis/Analyses/PostOrderCFGView.h"

Public Member Functions
	CFGBlockSet ()=default
	CFGBlockSet (const CFG *G)
std::pair< std::nullopt_t, bool >	insert (const CFGBlock *Block)
	Set the bit associated with a particular CFGBlock.
bool	alreadySet (const CFGBlock *Block)
	Check if the bit for a CFGBlock has been already set.

Detailed Description

Implements a set of CFGBlocks using a BitVector.

Definition at line 32 of file PostOrderCFGView.h.

Constructor & Destructor Documentation

CFGBlockSet() [1/2]

clang::PostOrderCFGView::CFGBlockSet::CFGBlockSet ( )

default

CFGBlockSet() [2/2]

clang::PostOrderCFGView::CFGBlockSet::CFGBlockSet ( const CFG * G )

inline

Definition at line 37 of file PostOrderCFGView.h.

References false.

Member Function Documentation

alreadySet()

bool clang::PostOrderCFGView::CFGBlockSet::alreadySet ( const CFGBlock * Block )

inline

Check if the bit for a CFGBlock has been already set.

This method is for tracking visited blocks in the main threadsafety loop. Block must not be null.

Definition at line 50 of file PostOrderCFGView.h.

References clang::Block.

Referenced by clang::threadSafety::CFGWalker::walk().

insert()

std::pair< std::nullopt_t, bool > clang::PostOrderCFGView::CFGBlockSet::insert ( const CFGBlock * Block )

inline

Set the bit associated with a particular CFGBlock.

Definition at line 40 of file PostOrderCFGView.h.

References clang::Block.

Referenced by clang::PostOrderCFGView::PostOrderCFGView(), and clang::threadSafety::CFGWalker::walk().

---

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

• include/clang/Analysis/Analyses/PostOrderCFGView.h