maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[analyzer] Add the stat for the number of successfully explored paths. 

llvm-svn: 153281
This commit is contained in:
Anna Zaks 2012-03-22 21:06:06 +00:00
parent 06bf78c242
commit a407b59ce8
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
clang/lib/StaticAnalyzer/Core/CoreEngine.cpp
View File

@ -29,6 +29,8 @@ using namespace ento;
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 @@ void CoreEngine::enqueueEndOfFunction(ExplodedNodeSet &Set) {
N = generateCallExitNode(N);
if (N)
WList->enqueue(N);
} else
} else {
G->addEndOfPath(N);
NumPathsExplored++;
}
}
}