diff options
Diffstat (limited to 'lib/StaticAnalyzer/Core/ExplodedGraph.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/ExplodedGraph.cpp | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/lib/StaticAnalyzer/Core/ExplodedGraph.cpp b/lib/StaticAnalyzer/Core/ExplodedGraph.cpp index 3cdfb6ce36..52f6ba4159 100644 --- a/lib/StaticAnalyzer/Core/ExplodedGraph.cpp +++ b/lib/StaticAnalyzer/Core/ExplodedGraph.cpp @@ -11,7 +11,6 @@ // which represent a path-sensitive, intra-procedural "exploded graph." // //===----------------------------------------------------------------------===// -#define DEBUG_TYPE "CoreEngine" #include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h" #include "clang/StaticAnalyzer/Core/PathSensitive/ObjCMessage.h" @@ -27,9 +26,6 @@ using namespace clang; using namespace ento; -STATISTIC(NumNodesWithMoreThanTwoSucc, - "The # of nodes with more than 2 successors."); - //===----------------------------------------------------------------------===// // Node auditing. //===----------------------------------------------------------------------===// @@ -175,8 +171,6 @@ void ExplodedNode::addPredecessor(ExplodedNode *V, ExplodedGraph &G) { assert (!V->isSink()); Preds.addNode(V, G); V->Succs.addNode(this, G); - if (V->Succs.size() == 3) - NumNodesWithMoreThanTwoSucc++; #ifndef NDEBUG if (NodeAuditor) NodeAuditor->AddEdge(V, this); #endif |