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

[Anna Zaks]

Author: zaks
Date: Fri Jun 22 17:08:06 2012
New Revision: 159036

URL: http://llvm.org/viewvc/llvm-project?rev=159036&view=rev
Log:
[analyzer] Report the cumulative number of steps the analyzer performs.

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=159036&r1=159035&r2=159036&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/CoreEngine.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/CoreEngine.cpp Fri Jun 22 17:08:06 2012
@@ -26,6 +26,8 @@
 using namespace clang;
 using namespace ento;
 
+STATISTIC(NumSteps,
+            "The # of steps executed.");
 STATISTIC(NumReachedMaxSteps,
             "The # of times we reached the max number of steps.");
 STATISTIC(NumPathsExplored,
@@ -207,6 +209,8 @@
       --Steps;
     }
 
+    NumSteps++;
+
     const WorkListUnit& WU = WList->dequeue();
 
     // Set the current block counter.