aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAnna Zaks <ganna@apple.com>2011-10-18 23:06:25 +0000
committerAnna Zaks <ganna@apple.com>2011-10-18 23:06:25 +0000
commit9a1e3ab97c48a0381cce449b833c56997048a6d1 (patch)
tree93249f369157747ba2b3ea986403026dcdf1b3b0
parentcd656cab3fa3dd4b0c974c6ae1c0e60880b18c22 (diff)
[analyzer] Remove redundant method + whitespace.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@142449 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h9
1 files changed, 3 insertions, 6 deletions
diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h b/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
index ac174c4b39..8433f4cd28 100644
--- a/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
+++ b/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
@@ -238,9 +238,6 @@ public:
return generateNodeImpl(PP, State, Pred, MarkAsSink);
}
- // \brief Get the builder's predecessor - the parent to all the other nodes.
- const ExplodedNode *getPred() const { return BuilderPred; }
-
bool hasGeneratedNodes() const {
return (!Deferred.count(BuilderPred));
}
@@ -261,8 +258,8 @@ public:
/// visited on the exploded graph path.
unsigned getCurrentBlockCount() const {
return getBlockCounter().getNumVisited(
- BuilderPred->getLocationContext()->getCurrentStackFrame(),
- C.Block->getBlockID());
+ BuilderPred->getLocationContext()->getCurrentStackFrame(),
+ C.Block->getBlockID());
}
// \brief Get the builder's predecessor - the parent to all the other nodes.
@@ -393,7 +390,7 @@ public:
}
void importNodesFromBuilder(const NodeBuilder &NB) {
- ExplodedNode *NBPred = const_cast<ExplodedNode*>(NB.getPred());
+ ExplodedNode *NBPred = const_cast<ExplodedNode*>(NB.getPredecessor());
if (NB.hasGeneratedNodes()) {
Deferred.erase(NBPred);
Deferred.insert(NB.Deferred.begin(), NB.Deferred.end());