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

More refactorings in GeneratePathDiagnostic: use ExecutionContinues to display 

"Execution continues..." message, which does a better job at handling corner cases.

llvm-svn: 50751
This commit is contained in:
Ted Kremenek 2008-05-06 18:11:09 +00:00
parent fc905c64ab
commit 8bcc1bd3d5
1 changed files with 28 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -48,10 +48,8 @@ static inline Stmt* GetStmt(const ProgramPoint& P) {
}
static inline Stmt* GetStmt(const CFGBlock* B) {
if (B->empty()) {
assert (B->getTerminator() && "Empty block should have a terminator.");
if (B->empty())
return const_cast<Stmt*>(B->getTerminator());
}
else
return (*B)[0];
}
@ -75,20 +73,36 @@ static Stmt* GetLastStmt(ExplodedNode<ValueState>* N) {
return NULL;
}
static void ExecutionContinues(std::ostream& os, SourceManager& SMgr,
ExplodedNode<ValueState>* N) {
Stmt* S = GetStmt(N->getLocation());
static void ExecutionContinues(std::ostringstream& os, SourceManager& SMgr,
Stmt* S) {
if (!S)
return;
os << "Execution continue on line "
// Slow, but probably doesn't matter.
if (os.str().empty())
os << ' ';
os << "Execution continues on line "
<< SMgr.getLogicalLineNumber(S->getLocStart()) << '.';
}
static inline void ExecutionContinues(std::ostringstream& os,
SourceManager& SMgr,
ExplodedNode<ValueState>* N) {
ExecutionContinues(os, SMgr, GetStmt(N->getLocation()));
}
static inline void ExecutionContinues(std::ostringstream& os,
SourceManager& SMgr,
const CFGBlock* B) {
ExecutionContinues(os, SMgr, GetStmt(B));
}
Stmt* BugReport::getStmt(BugReporter& BR) const {
ProgramPoint ProgP = EndNode->getLocation();
@ -375,8 +389,8 @@ void BugReporter::GeneratePathDiagnostic(PathDiagnostic& PD,
std::ostringstream os;
os << "Loop condition is true. Execution continues on line "
<< SMgr.getLogicalLineNumber(GetStmt(Dst)->getLocStart()) << '.';
os << "Loop condition is true.";
ExecutionContinues(os, SMgr, Dst);
PD.push_front(new PathDiagnosticPiece(L, os.str()));
}
@ -394,8 +408,8 @@ void BugReporter::GeneratePathDiagnostic(PathDiagnostic& PD,
std::ostringstream os;
os << "Loop condition is false. Execution continues on line "
<< SMgr.getLogicalLineNumber(GetStmt(Dst)->getLocStart()) << '.';
os << "Loop condition is false.";
ExecutionContinues(os, SMgr, Dst);
PD.push_front(new PathDiagnosticPiece(L, os.str()));
}