From: Anna Zaks <ganna@apple.com>
Date: Fri, 22 Jun 2012 22:24:45 +0000 (+0000)
Subject: [analyzer] Remove a statistic - it's too expensive.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=0206425d9f13486bc18ad4fbd84c4a76d2535dc4;p=clang

[analyzer] Remove a statistic - it's too expensive.

(Committed in r159038 by mistake.)

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

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