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

BugReporter (extensive diagnostics): Fix getEnclosingStmtLocation to reason 

about Exprs that are not consumed and fix where the loop iteration diagnostic
goes.

llvm-svn: 71027
This commit is contained in:
Ted Kremenek 2009-05-05 22:19:17 +00:00
parent 90a6145ad1
commit 98017051ae
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
clang/lib/Analysis/BugReporter.cpp
View File

@ -215,9 +215,9 @@ PathDiagnosticBuilder::ExecutionContinues(llvm::raw_string_ostream& os,
PathDiagnosticLocation
PathDiagnosticBuilder::getEnclosingStmtLocation(const Stmt *S) {
assert(S && "Null Stmt* passed to getEnclosingStmtLocation");
ParentMap &P = getParentMap();
ParentMap &P = getParentMap();
while (isa<DeclStmt>(S) || isa<Expr>(S)) {
while (isa<Expr>(S) && P.isConsumedExpr(cast<Expr>(S))) {
const Stmt *Parent = P.getParent(S);
if (!Parent)
@ -797,8 +797,6 @@ class VISIBILITY_HIDDEN EdgeBuilder {
S = CE->getCond();
else if (const BinaryOperator *BE = dyn_cast<BinaryOperator>(S))
S = BE->getLHS();
else if (const DoStmt *DS = dyn_cast<DoStmt>(S))
S = DS->getCond();
else
break;
}
@ -1038,11 +1036,11 @@ static void GenerateExtensivePathDiagnostic(PathDiagnostic& PD,
const CFGBlock &Blk = *BE->getSrc();
const Stmt *Term = Blk.getTerminator();
if (Term && !isa<DoStmt>(Term))
if (Term)
EB.addContext(Term);
// Are we jumping to the head of a loop? Add a special diagnostic.
if (const Stmt *Loop = BE->getDst()->getLoopTarget()) {
if (const Stmt *Loop = BE->getSrc()->getLoopTarget()) {
PathDiagnosticLocation L(Loop, PDB.getSourceManager());
PathDiagnosticEventPiece *p =
@ -1086,8 +1084,11 @@ static void GenerateExtensivePathDiagnostic(PathDiagnostic& PD,
PDB.getBugReporter(), PDB.getNodeMapClosure());
if (p) {
EB.addEdge(p->getLocation(), true);
const PathDiagnosticLocation &Loc = p->getLocation();
EB.addEdge(Loc, true);
PD.push_front(p);
if (const Stmt *S = Loc.asStmt())
EB.addContext(PDB.getEnclosingStmtLocation(S).asStmt());
}
}
}