diff options
author | Anna Zaks <ganna@apple.com> | 2011-10-18 23:06:25 +0000 |
---|---|---|
committer | Anna Zaks <ganna@apple.com> | 2011-10-18 23:06:25 +0000 |
commit | 9a1e3ab97c48a0381cce449b833c56997048a6d1 (patch) | |
tree | 93249f369157747ba2b3ea986403026dcdf1b3b0 | |
parent | cd656cab3fa3dd4b0c974c6ae1c0e60880b18c22 (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.h | 9 |
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()); |