// 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"
using namespace clang;
using namespace ento;
-STATISTIC(NumNodesWithMoreThanTwoSucc,
- "The # of nodes with more than 2 successors.");
-
//===----------------------------------------------------------------------===//
// Node auditing.
//===----------------------------------------------------------------------===//
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