[cfe-commits] r159040 - /cfe/trunk/lib/StaticAnalyzer/Core/ExplodedGraph.cpp

[Anna Zaks]

Author: zaks
Date: Fri Jun 22 17:24:45 2012
New Revision: 159040

URL: http://llvm.org/viewvc/llvm-project?rev=159040&view=rev
Log:
[analyzer] Remove a statistic - it's too expensive.

(Committed in r159038 by mistake.)

Modified:
    cfe/trunk/lib/StaticAnalyzer/Core/ExplodedGraph.cpp

Modified: cfe/trunk/lib/StaticAnalyzer/Core/ExplodedGraph.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/ExplodedGraph.cpp?rev=159040&r1=159039&r2=159040&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/ExplodedGraph.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/ExplodedGraph.cpp Fri Jun 22 17:24:45 2012
@@ -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 @@
   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