[analyzer] Report the cumulative number of steps the analyzer performs.

llvm-svn: 159036
This commit is contained in:
Anna Zaks 2012-06-22 22:08:06 +00:00
parent f5cdea3d79
commit ce519153fd
1 changed files with 4 additions and 0 deletions

View File

@ -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 @@ bool CoreEngine::ExecuteWorkList(const LocationContext *L, unsigned Steps,
--Steps;
}
NumSteps++;
const WorkListUnit& WU = WList->dequeue();
// Set the current block counter.