diff options
author | Ted Kremenek <kremenek@apple.com> | 2011-03-19 01:00:33 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2011-03-19 01:00:33 +0000 |
commit | af13d5b25b360e698cc1cf1055ad7d14e008e505 (patch) | |
tree | 71e47998d269cbccac7dd498ff83d6e7bbd5809f /include/clang/Analysis/Analyses/CFGReachabilityAnalysis.h | |
parent | 4f318c080b5ea89e3f7407516fd8ed45b733b99d (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.h | 4 |
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); |