[cfe-commits] r153281 - /cfe/trunk/lib/StaticAnalyzer/Core/CoreEngine.cpp

[Anna Zaks]

Author: zaks
Date: Thu Mar 22 16:06:06 2012
New Revision: 153281

URL: http://llvm.org/viewvc/llvm-project?rev=153281&view=rev
Log:
[analyzer] Add the stat for the number of successfully explored paths.

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

Modified: cfe/trunk/lib/StaticAnalyzer/Core/CoreEngine.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/CoreEngine.cpp?rev=153281&r1=153280&r2=153281&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/CoreEngine.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/CoreEngine.cpp Thu Mar 22 16:06:06 2012
@@ -29,6 +29,8 @@
 
 STATISTIC(NumReachedMaxSteps,
             "The # of times we reached the max number of steps.");
+STATISTIC(NumPathsExplored,
+            "The # of paths explored by the analyzer.");
 
 //===----------------------------------------------------------------------===//
 // Worklist classes for exploration of reachable states.
@@ -547,8 +549,10 @@
       N = generateCallExitNode(N);
       if (N)
         WList->enqueue(N);
-    } else
+    } else {
       G->addEndOfPath(N);
+      NumPathsExplored++;
+    }
   }
 }