clang API Documentation
#include <CFG.h>
Public Member Functions | |
| AdjacentBlock (CFGBlock *B, bool IsReachable) | |
| Construct an AdjacentBlock with a possibly unreachable block. | |
| AdjacentBlock (CFGBlock *B, CFGBlock *AlternateBlock) | |
| CFGBlock * | getReachableBlock () const |
| Get the reachable block, if one exists. | |
| CFGBlock * | getPossiblyUnreachableBlock () const |
| Get the potentially unreachable block. | |
| operator CFGBlock * () const | |
| 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.
| CFGBlock::AdjacentBlock::AdjacentBlock | ( | CFGBlock * | B, |
| bool | IsReachable | ||
| ) |
Construct an AdjacentBlock with a possibly unreachable block.
| CFGBlock::AdjacentBlock::AdjacentBlock | ( | CFGBlock * | B, |
| CFGBlock * | AlternateBlock | ||
| ) |
Construct an AdjacentBlock with a reachable block and an alternate unreachable block.
| CFGBlock* clang::CFGBlock::AdjacentBlock::getPossiblyUnreachableBlock | ( | ) | const [inline] |
Get the potentially unreachable block.
Definition at line 446 of file CFG.h.
Referenced by clang::CFGBlock::addSuccessor().
| CFGBlock* clang::CFGBlock::AdjacentBlock::getReachableBlock | ( | ) | const [inline] |
Get the reachable block, if one exists.
Definition at line 441 of file CFG.h.
Referenced by clang::CFGBlock::addSuccessor(), operator CFGBlock *(), operator*(), and operator->().
| bool clang::CFGBlock::AdjacentBlock::isReachable | ( | ) | const [inline] |
Definition at line 464 of file CFG.h.
Referenced by clang::CFGBlock::addSuccessor().
| clang::CFGBlock::AdjacentBlock::operator CFGBlock * | ( | ) | const [inline] |
Provide an implicit conversion to CFGBlock* so that AdjacentBlock can be substituted for CFGBlock*.
Definition at line 452 of file CFG.h.
References getReachableBlock().
| CFGBlock& clang::CFGBlock::AdjacentBlock::operator* | ( | ) | const [inline] |
Definition at line 456 of file CFG.h.
References getReachableBlock().
| CFGBlock* clang::CFGBlock::AdjacentBlock::operator-> | ( | ) | const [inline] |
Definition at line 460 of file CFG.h.
References getReachableBlock().