]> granicus.if.org Git - clang/commitdiff
[analyzer] Remove a statistic - it's too expensive.
authorAnna Zaks <ganna@apple.com>
Fri, 22 Jun 2012 22:24:45 +0000 (22:24 +0000)
committerAnna Zaks <ganna@apple.com>
Fri, 22 Jun 2012 22:24:45 +0000 (22:24 +0000)
(Committed in r159038 by mistake.)

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@159040 91177308-0d34-0410-b5e6-96231b3b80d8

lib/StaticAnalyzer/Core/ExplodedGraph.cpp

index 3cdfb6ce36e4f91019f6db6970439bc1fcf563aa..52f6ba4159d8553e504985d66c144425b64a906f 100644 (file)
@@ -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