An SCFG is a control-flow graph. More...
#include "clang/Analysis/Analyses/ThreadSafetyTIL.h"
Public Types | |
| using | BlockArray = SimpleArray< BasicBlock * > |
| using | iterator = BlockArray::iterator |
| using | const_iterator = BlockArray::const_iterator |
Public Member Functions | |
| SCFG (MemRegionRef A, unsigned Nblocks) | |
| Arena (Cfg.Arena) | |
| Blocks (std::move(Ba)) | |
| bool | valid () const |
| Return true if this CFG is valid. | |
| bool | normal () const |
| Return true if this CFG has been normalized. | |
| 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. | |
| unsigned | numInstructions () |
| Return the total number of instructions in the CFG. | |
| 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. | |
| void | operator delete (void *)=delete |
| SExpr objects cannot be deleted. | |
| unsigned | id () const |
| Returns the instruction ID for this expression. | |
| BasicBlock * | block () const |
| Returns the block, if this is an instruction in a basic block, otherwise returns null. | |
| void | setID (BasicBlock *B, unsigned id) |
| Set the basic block and instruction ID for this expression. | |
Static Public Member Functions | |
| static bool | classof (const SExpr *E) |
Public Attributes | |
| __pad0__: SExpr(COP_SCFG) | |
Additional Inherited Members | |
| Protected Member Functions inherited from clang::threadSafety::til::SExpr | |
| SExpr (TIL_Opcode Op) | |
| SExpr (const SExpr &E) | |
| SExpr & | operator= (const SExpr &)=delete |
| Protected Attributes inherited from clang::threadSafety::til::SExpr | |
| const TIL_Opcode | 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 1695 of file ThreadSafetyTIL.h.
Member Typedef Documentation
◆ BlockArray
Definition at line 1697 of file ThreadSafetyTIL.h.
◆ const_iterator
Definition at line 1699 of file ThreadSafetyTIL.h.
◆ iterator
Definition at line 1698 of file ThreadSafetyTIL.h.
Constructor & Destructor Documentation
◆ SCFG()
|
inline |
Definition at line 1701 of file ThreadSafetyTIL.h.
Member Function Documentation
◆ add()
|
inline |
Definition at line 1750 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::SimpleArray< T >::push_back(), and clang::threadSafety::til::SimpleArray< T >::reserveCheck().
◆ Arena()
| clang::threadSafety::til::SCFG::Arena | ( | Cfg. | Arena | ) |
◆ begin() [1/2]
|
inline |
Definition at line 1727 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::SimpleArray< T >::begin().
◆ begin() [2/2]
|
inline |
Definition at line 1730 of file ThreadSafetyTIL.h.
References cbegin().
◆ Blocks()
|
inline |
Definition at line 1713 of file ThreadSafetyTIL.h.
◆ cbegin()
|
inline |
Definition at line 1733 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::SimpleArray< T >::cbegin().
Referenced by begin().
◆ cend()
|
inline |
Definition at line 1734 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::SimpleArray< T >::cend().
Referenced by end().
◆ classof()
Definition at line 1717 of file ThreadSafetyTIL.h.
References E.
◆ compare()
|
inline |
Definition at line 1775 of file ThreadSafetyTIL.h.
References E.
◆ computeNormalForm()
| void SCFG::computeNormalForm | ( | ) |
Definition at line 290 of file ThreadSafetyTIL.cpp.
References clang::threadSafety::til::SExpr::Block, computeNodeID(), computeNodeSize(), and E.
◆ end() [1/2]
|
inline |
Definition at line 1728 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::SimpleArray< T >::end().
◆ end() [2/2]
|
inline |
Definition at line 1731 of file ThreadSafetyTIL.h.
References cend().
◆ entry() [1/2]
|
inline |
Definition at line 1737 of file ThreadSafetyTIL.h.
◆ entry() [2/2]
|
inline |
Definition at line 1736 of file ThreadSafetyTIL.h.
◆ exit() [1/2]
|
inline |
Definition at line 1739 of file ThreadSafetyTIL.h.
◆ exit() [2/2]
|
inline |
Definition at line 1738 of file ThreadSafetyTIL.h.
◆ normal()
|
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 1725 of file ThreadSafetyTIL.h.
◆ numBlocks()
|
inline |
Return the number of blocks in the CFG.
Block::blockID() will return a number less than numBlocks();
Definition at line 1743 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::SimpleArray< T >::size().
◆ 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 1748 of file ThreadSafetyTIL.h.
◆ setEntry()
|
inline |
Definition at line 1757 of file ThreadSafetyTIL.h.
◆ setExit()
|
inline |
Definition at line 1758 of file ThreadSafetyTIL.h.
◆ traverse()
|
inline |
Definition at line 1763 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::SimpleArray< T >::size().
◆ valid()
|
inline |
Return true if this CFG is valid.
Definition at line 1720 of file ThreadSafetyTIL.h.
References clang::threadSafety::til::SimpleArray< T >::size().
Member Data Documentation
◆ __pad0__
| clang::threadSafety::til::SCFG::__pad0__ |
Definition at line 1701 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
