class CFGReverseBlockReachabilityAnalysis
Declaration
class CFGReverseBlockReachabilityAnalysis { /* full declaration omitted */ };
Declared at: clang/include/clang/Analysis/Analyses/CFGReachabilityAnalysis.h:31
Member Variables
- private clang::CFGReverseBlockReachabilityAnalysis:: ReachableSet analyzed
- private clang::CFGReverseBlockReachabilityAnalysis:: ReachableMap reachable
Method Overview
- public CFGReverseBlockReachabilityAnalysis(const clang::CFG & cfg)
- public bool isReachable(const clang::CFGBlock * Src, const clang::CFGBlock * Dst)
- private void mapReachability(const clang::CFGBlock * Dst)
Methods
¶CFGReverseBlockReachabilityAnalysis(
const clang::CFG& cfg)
CFGReverseBlockReachabilityAnalysis(
const clang::CFG& cfg)
Declared at: clang/include/clang/Analysis/Analyses/CFGReachabilityAnalysis.h:39
Parameters
- const clang::CFG& cfg
¶bool isReachable(const clang::CFGBlock* Src,
const clang::CFGBlock* Dst)
bool isReachable(const clang::CFGBlock* Src,
const clang::CFGBlock* Dst)
Description
Returns true if the block 'Dst' can be reached from block 'Src'.
Declared at: clang/include/clang/Analysis/Analyses/CFGReachabilityAnalysis.h:42
Parameters
- const clang::CFGBlock* Src
- const clang::CFGBlock* Dst
¶void mapReachability(const clang::CFGBlock* Dst)
void mapReachability(const clang::CFGBlock* Dst)
Declared at: clang/include/clang/Analysis/Analyses/CFGReachabilityAnalysis.h:45
Parameters
- const clang::CFGBlock* Dst