summaryrefslogtreecommitdiffstats
path: root/include/clang/Analysis/Analyses/CFGReachabilityAnalysis.h
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2011-03-19 01:00:33 +0000
committerTed Kremenek <kremenek@apple.com>2011-03-19 01:00:33 +0000
commitaf13d5b25b360e698cc1cf1055ad7d14e008e505 (patch)
tree71e47998d269cbccac7dd498ff83d6e7bbd5809f /include/clang/Analysis/Analyses/CFGReachabilityAnalysis.h
parent4f318c080b5ea89e3f7407516fd8ed45b733b99d (diff)
Rename class 'CFGReachabilityAnalysis' to 'CFGReverseBlockReachabilityAnalysis'.
This rename serves two purposes: - It reflects the actual functionality of this analysis. - We will have more than one reachability analysis. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@127930 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/Analysis/Analyses/CFGReachabilityAnalysis.h')
-rw-r--r--include/clang/Analysis/Analyses/CFGReachabilityAnalysis.h4
1 files changed, 2 insertions, 2 deletions
diff --git a/include/clang/Analysis/Analyses/CFGReachabilityAnalysis.h b/include/clang/Analysis/Analyses/CFGReachabilityAnalysis.h
index 72f644aaf0..a61d9e4788 100644
--- a/include/clang/Analysis/Analyses/CFGReachabilityAnalysis.h
+++ b/include/clang/Analysis/Analyses/CFGReachabilityAnalysis.h
@@ -29,13 +29,13 @@ class CFGBlock;
// tend to have a common destination, so we lazily do a predecessor search
// from the destination node and cache the results to prevent work
// duplication.
-class CFGReachabilityAnalysis {
+class CFGReverseBlockReachabilityAnalysis {
typedef llvm::BitVector ReachableSet;
typedef llvm::DenseMap<unsigned, ReachableSet> ReachableMap;
ReachableSet analyzed;
ReachableMap reachable;
public:
- CFGReachabilityAnalysis(const CFG &cfg);
+ CFGReverseBlockReachabilityAnalysis(const CFG &cfg);
/// Returns true if the block 'Dst' can be reached from block 'Src'.
bool isReachable(const CFGBlock *Src, const CFGBlock *Dst);