clang
10.0.0svn
|
This class represents a potential adjacent block in the CFG. More...
#include "clang/Analysis/CFG.h"
Public Member Functions | |
AdjacentBlock (CFGBlock *B, bool IsReachable) | |
Construct an AdjacentBlock with a possibly unreachable block. More... | |
AdjacentBlock (CFGBlock *B, CFGBlock *AlternateBlock) | |
Construct an AdjacentBlock with a reachable block and an alternate unreachable block. More... | |
CFGBlock * | getReachableBlock () const |
Get the reachable block, if one exists. More... | |
CFGBlock * | getPossiblyUnreachableBlock () const |
Get the potentially unreachable block. More... | |
operator CFGBlock * () const | |
Provide an implicit conversion to CFGBlock* so that AdjacentBlock can be substituted for CFGBlock*. More... | |
CFGBlock & | operator* () const |
CFGBlock * | operator-> () const |
bool | isReachable () const |
This class represents a potential adjacent block in the CFG.
It encodes whether or not the block is actually reachable, or can be proved to be trivially unreachable. For some cases it allows one to encode scenarios where a block was substituted because the original (now alternate) block is unreachable.
Construct an AdjacentBlock with a possibly unreachable block.
Construct an AdjacentBlock with a reachable block and an alternate unreachable block.
|
inline |
Get the potentially unreachable block.
Definition at line 816 of file CFG.h.
Referenced by clang::CFGBlock::addSuccessor().
|
inline |
Get the reachable block, if one exists.
Definition at line 811 of file CFG.h.
Referenced by clang::CFGBlock::addSuccessor().
|
inline |
Definition at line 834 of file CFG.h.
References Parent.
Referenced by clang::CFGBlock::addSuccessor().
|
inline |
Provide an implicit conversion to CFGBlock* so that AdjacentBlock can be substituted for CFGBlock*.
|
inline |
|
inline |