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 1687 of file ThreadSafetyTIL.h.

Member Typedef Documentation

◆ BlockArray

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

Definition at line 1689 of file ThreadSafetyTIL.h.

◆ const_iterator

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

Definition at line 1691 of file ThreadSafetyTIL.h.

◆ iterator

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

Definition at line 1690 of file ThreadSafetyTIL.h.

Constructor & Destructor Documentation

◆ SCFG() [1/2]

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

inline

Definition at line 1693 of file ThreadSafetyTIL.h.

◆ SCFG() [2/2]

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

inline

Definition at line 1704 of file ThreadSafetyTIL.h.

Member Function Documentation

◆ add()

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

inline

Definition at line 1742 of file ThreadSafetyTIL.h.

◆ begin() [1/2]

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

inline

Definition at line 1719 of file ThreadSafetyTIL.h.

◆ begin() [2/2]

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

inline

Definition at line 1722 of file ThreadSafetyTIL.h.

◆ cbegin()

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

inline

Definition at line 1725 of file ThreadSafetyTIL.h.

◆ cend()

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

inline

Definition at line 1726 of file ThreadSafetyTIL.h.

◆ classof()

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

inlinestatic

Definition at line 1709 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 1767 of file ThreadSafetyTIL.h.

◆ computeNormalForm()

void SCFG::computeNormalForm ( )

Definition at line 291 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 1720 of file ThreadSafetyTIL.h.

◆ end() [2/2]

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

inline

Definition at line 1723 of file ThreadSafetyTIL.h.

◆ entry() [1/2]

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

inline

Definition at line 1728 of file ThreadSafetyTIL.h.

◆ entry() [2/2]

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

inline

Definition at line 1729 of file ThreadSafetyTIL.h.

◆ exit() [1/2]

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

inline

Definition at line 1730 of file ThreadSafetyTIL.h.

◆ exit() [2/2]

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

inline

Definition at line 1731 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 1717 of file ThreadSafetyTIL.h.

◆ 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 1735 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 1740 of file ThreadSafetyTIL.h.

◆ setEntry()

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

inline

Definition at line 1749 of file ThreadSafetyTIL.h.

◆ setExit()

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

inline

Definition at line 1750 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 1755 of file ThreadSafetyTIL.h.

◆ valid()

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

inline

Return true if this CFG is valid.

Definition at line 1712 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()