[analyzer; alternate arrows] include an edge from the "break" or "continue"

llvm-svn: 181358
This commit is contained in:
Ted Kremenek 2013-05-07 21:11:54 +00:00
parent f3510071f3
commit 3a865221c7
1 changed files with 5 additions and 0 deletions

View File

@ -1769,6 +1769,11 @@ GenerateAlternateExtensivePathDiagnostic(PathDiagnostic& PD,
PD.getActivePath().push_front(PE);
}
}
else if (isa<BreakStmt>(Term) || isa<ContinueStmt>(Term) ||
isa<GotoStmt>(Term)) {
PathDiagnosticLocation L(Term, SM, PDB.LC);
addEdgeToPath(PD.getActivePath(), PrevLoc, L, LC);
}
}
break;
}