From 0206425d9f13486bc18ad4fbd84c4a76d2535dc4 Mon Sep 17 00:00:00 2001 From: Anna Zaks Date: Fri, 22 Jun 2012 22:24:45 +0000 Subject: [PATCH] [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 --- lib/StaticAnalyzer/Core/ExplodedGraph.cpp | 6 ------ 1 file changed, 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 -- 2.50.1