[cfe-commits] r142449 - /cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h

[Anna Zaks]

Author: zaks
Date: Tue Oct 18 18:06:25 2011
New Revision: 142449

URL: http://llvm.org/viewvc/llvm-project?rev=142449&view=rev
Log:
[analyzer] Remove redundant method + whitespace.

Modified:
    cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h

Modified: cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h?rev=142449&r1=142448&r2=142449&view=diff
==============================================================================
--- cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h (original)
+++ cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h Tue Oct 18 18:06:25 2011
@@ -238,9 +238,6 @@
     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 @@
   /// 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 @@
   }
 
   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());