An SCFG is a control-flow graph. More...

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

Inheritance diagram for clang::threadSafety::til::SCFG:

Collaboration diagram for clang::threadSafety::til::SCFG:

Public Types
using	BlockArray = SimpleArray< BasicBlock * >

using	iterator = BlockArray::iterator

using	const_iterator = BlockArray::const_iterator

Public Member Functions
	SCFG (MemRegionRef A, unsigned Nblocks)

	SCFG (const SCFG &Cfg, BlockArray &&Ba)

bool	valid () const
	Return true if this CFG is valid. More...

bool	normal () const
	Return true if this CFG has been normalized. More...

iterator	begin ()

iterator	end ()

const_iterator	begin () const

const_iterator	end () const

const_iterator	cbegin () const

const_iterator	cend () const

const BasicBlock *	entry () const

BasicBlock *	entry ()

const BasicBlock *	exit () const

BasicBlock *	exit ()

size_t	numBlocks () const
	Return the number of blocks in the CFG. More...

unsigned	numInstructions ()
	Return the total number of instructions in the CFG. More...

void	add (BasicBlock *BB)

void	setEntry (BasicBlock *BB)

void	setExit (BasicBlock *BB)

void	computeNormalForm ()

template<class V >
V::R_SExpr	traverse (V &Vs, typename V::R_Ctx Ctx)

template<class C >
C::CType	compare (const SCFG *E, C &Cmp) const

Public Member Functions inherited from clang::threadSafety::til::SExpr
	SExpr ()=delete

TIL_Opcode	opcode () const

void *	operator new (size_t S, MemRegionRef &R)

void *	operator new (size_t)=delete
	SExpr objects must be created in an arena. More...

void	operator delete (void *)=delete
	SExpr objects cannot be deleted. More...

unsigned	id () const
	Returns the instruction ID for this expression. More...

BasicBlock *	block () const
	Returns the block, if this is an instruction in a basic block, otherwise returns null. More...

void	setID (BasicBlock *B, unsigned id)
	Set the basic block and instruction ID for this expression. More...

Static Public Member Functions
static bool	classof (const SExpr *E)

Additional Inherited Members
Protected Member Functions inherited from clang::threadSafety::til::SExpr
	SExpr (TIL_Opcode Op)

	SExpr (const SExpr &E)

Protected Attributes inherited from clang::threadSafety::til::SExpr
const unsigned char	Opcode

unsigned char	Reserved = 0

unsigned short	Flags = 0

unsigned	SExprID = 0

BasicBlock *	Block = nullptr

Detailed Description

An SCFG is a control-flow graph.

It consists of a set of basic blocks, each of which terminates in a branch to another basic block. There is one entry point, and one exit point.

Definition at line 1686 of file ThreadSafetyTIL.h.

Member Typedef Documentation

◆ BlockArray

using clang::threadSafety::til::SCFG::BlockArray = SimpleArray<BasicBlock *>

Definition at line 1688 of file ThreadSafetyTIL.h.

◆ const_iterator

using clang::threadSafety::til::SCFG::const_iterator = BlockArray::const_iterator

Definition at line 1690 of file ThreadSafetyTIL.h.

◆ iterator

using clang::threadSafety::til::SCFG::iterator = BlockArray::iterator

Definition at line 1689 of file ThreadSafetyTIL.h.

Constructor & Destructor Documentation

◆ SCFG() [1/2]

clang::threadSafety::til::SCFG::SCFG	(	MemRegionRef	A,
		unsigned	Nblocks
	)

inline

Definition at line 1692 of file ThreadSafetyTIL.h.

◆ SCFG() [2/2]

clang::threadSafety::til::SCFG::SCFG	(	const SCFG &	Cfg,
		BlockArray &&	Ba
	)

inline

Definition at line 1703 of file ThreadSafetyTIL.h.

Member Function Documentation

◆ add()

void clang::threadSafety::til::SCFG::add ( BasicBlock * BB )

inline

Definition at line 1741 of file ThreadSafetyTIL.h.

◆ begin() [1/2]

iterator clang::threadSafety::til::SCFG::begin ( )

inline

Definition at line 1718 of file ThreadSafetyTIL.h.

◆ begin() [2/2]

const_iterator clang::threadSafety::til::SCFG::begin ( ) const

inline

Definition at line 1721 of file ThreadSafetyTIL.h.

◆ cbegin()

const_iterator clang::threadSafety::til::SCFG::cbegin ( ) const

inline

Definition at line 1724 of file ThreadSafetyTIL.h.

◆ cend()

const_iterator clang::threadSafety::til::SCFG::cend ( ) const

inline

Definition at line 1725 of file ThreadSafetyTIL.h.

◆ classof()

static bool clang::threadSafety::til::SCFG::classof ( const SExpr * E )

inlinestatic

Definition at line 1708 of file ThreadSafetyTIL.h.

References clang::threadSafety::til::SExpr::opcode().

◆ compare()

template<class C >

C::CType clang::threadSafety::til::SCFG::compare	(	const SCFG *	E,
		C &	Cmp
	)		const

inline

Definition at line 1766 of file ThreadSafetyTIL.h.

◆ computeNormalForm()

void SCFG::computeNormalForm ( )

Definition at line 290 of file ThreadSafetyTIL.cpp.

References clang::threadSafety::til::SExpr::Block, computeNodeID(), computeNodeSize(), clang::threadSafety::til::SimpleArray< T >::drop(), and clang::threadSafety::til::SimpleArray< T >::size().

◆ end() [1/2]

iterator clang::threadSafety::til::SCFG::end ( )

inline

Definition at line 1719 of file ThreadSafetyTIL.h.

◆ end() [2/2]

const_iterator clang::threadSafety::til::SCFG::end ( ) const

inline

Definition at line 1722 of file ThreadSafetyTIL.h.

◆ entry() [1/2]

const BasicBlock* clang::threadSafety::til::SCFG::entry ( ) const

inline

Definition at line 1727 of file ThreadSafetyTIL.h.

◆ entry() [2/2]

BasicBlock* clang::threadSafety::til::SCFG::entry ( )

inline

Definition at line 1728 of file ThreadSafetyTIL.h.

◆ exit() [1/2]

const BasicBlock* clang::threadSafety::til::SCFG::exit ( ) const

inline

Definition at line 1729 of file ThreadSafetyTIL.h.

◆ exit() [2/2]

BasicBlock* clang::threadSafety::til::SCFG::exit ( )

inline

Definition at line 1730 of file ThreadSafetyTIL.h.

◆ normal()

bool clang::threadSafety::til::SCFG::normal ( ) const

inline

Return true if this CFG has been normalized.

After normalization, blocks are in topological order, and block and instruction IDs have been assigned.

Definition at line 1716 of file ThreadSafetyTIL.h.

References clang::Normal.

◆ numBlocks()

size_t clang::threadSafety::til::SCFG::numBlocks ( ) const

inline

Return the number of blocks in the CFG.

Block::blockID() will return a number less than numBlocks();

Definition at line 1734 of file ThreadSafetyTIL.h.

◆ numInstructions()

unsigned clang::threadSafety::til::SCFG::numInstructions ( )

inline

Return the total number of instructions in the CFG.

This is useful for building instruction side-tables; A call to SExpr::id() will return a number less than numInstructions().

Definition at line 1739 of file ThreadSafetyTIL.h.

◆ setEntry()

void clang::threadSafety::til::SCFG::setEntry ( BasicBlock * BB )

inline

Definition at line 1748 of file ThreadSafetyTIL.h.

◆ setExit()

void clang::threadSafety::til::SCFG::setExit ( BasicBlock * BB )

inline

Definition at line 1749 of file ThreadSafetyTIL.h.

◆ traverse()

template<class V >

V::R_SExpr clang::threadSafety::til::SCFG::traverse	(	V &	Vs,
		typename V::R_Ctx	Ctx
	)

inline

Definition at line 1754 of file ThreadSafetyTIL.h.

◆ valid()

bool clang::threadSafety::til::SCFG::valid ( ) const

inline

Return true if this CFG is valid.

Definition at line 1711 of file ThreadSafetyTIL.h.

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

include/clang/Analysis/Analyses/ThreadSafetyTIL.h
lib/Analysis/ThreadSafetyTIL.cpp

Public Types

Public Member Functions

Static Public Member Functions

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ BlockArray

◆ const_iterator

◆ iterator

Constructor & Destructor Documentation

◆ SCFG() [1/2]

◆ SCFG() [2/2]

Member Function Documentation

◆ add()

◆ begin() [1/2]

◆ begin() [2/2]

◆ cbegin()

◆ cend()

◆ classof()

◆ compare()

◆ computeNormalForm()

◆ end() [1/2]

◆ end() [2/2]

◆ entry() [1/2]

◆ entry() [2/2]

◆ exit() [1/2]

◆ exit() [2/2]

◆ normal()

◆ numBlocks()

◆ numInstructions()

◆ setEntry()

◆ setExit()

◆ traverse()

◆ valid()