Extensive diagnostics: Do not add a location context for do...while statements.

llvm-svn: 70286
This commit is contained in:
Ted Kremenek 2009-04-28 04:28:12 +00:00
parent 61114bc558
commit 9bea0dc178
1 changed files with 1 additions and 1 deletions

View File

@ -1010,7 +1010,7 @@ static void GenerateExtensivePathDiagnostic(PathDiagnostic& PD,
const CFGBlock &Blk = *BE->getSrc();
const Stmt *Term = Blk.getTerminator();
if (Term)
if (Term && !isa<DoStmt>(Term))
EB.addContext(Term);
// Are we jumping to the head of a loop? Add a special diagnostic.