replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

AnalyzerStatsChecker improvements: 

- Use BlockEntrance rather than BlockEdge to bring in line with UnreachableCodeChecker. Fixes an issue where unreached blocks would still be counted as reachable.
- Added warnings for all BlockAborted locations. This allows us to see where the analyzer stopped analyzing.

llvm-svn: 115110
This commit is contained in:
Tom Care 2010-09-29 23:48:34 +00:00
parent a5f13c866c
commit 2f0419e1f8
1 changed files with 15 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
clang/lib/Checker/AnalyzerStatsChecker.cpp
View File

@ -54,8 +54,8 @@ void AnalyzerStatsChecker::VisitEndAnalysis(ExplodedGraph &G,
if (!LC) if (!LC)
LC = P.getLocationContext(); LC = P.getLocationContext();
if (const BlockEdge *BE = dyn_cast<BlockEdge>(&P)) { if (const BlockEntrance *BE = dyn_cast<BlockEntrance>(&P)) {
const CFGBlock *CB = BE->getDst(); const CFGBlock *CB = BE->getBlock();
reachable.insert(CB); reachable.insert(CB);
} }
} }
@ -101,4 +101,17 @@ void AnalyzerStatsChecker::VisitEndAnalysis(ExplodedGraph &G,
B.EmitBasicReport("Analyzer Statistics", "Internal Statistics", output.str(), B.EmitBasicReport("Analyzer Statistics", "Internal Statistics", output.str(),
D->getLocation()); D->getLocation());
// Emit warning for each block we bailed out on
typedef GRCoreEngine::BlocksAborted::const_iterator AbortedIterator;
const GRCoreEngine &CE = Eng.getCoreEngine();
for (AbortedIterator I = CE.blocks_aborted_begin(),
E = CE.blocks_aborted_end(); I != E; ++I) {
const BlockEdge &BE = I->first;
const CFGBlock *Exit = BE.getDst();
const CFGElement &CE = Exit->front();
if (const CFGStmt *CS = dyn_cast<CFGStmt>(&CE))
B.EmitBasicReport("Bailout Point", "Internal Statistics", "The analyzer "
"stopped analyzing at this point", CS->getStmt()->getLocStart());
}
} }