[cfe-commits] r159040 - /cfe/trunk/lib/StaticAnalyzer/Core/ExplodedGraph.cpp
Anna Zaks
ganna at apple.com
Fri Jun 22 15:24:45 PDT 2012
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
More information about the cfe-commits
mailing list