[analyzer] 'Looping back to the head of the loop' diagnostics are prunable.

llvm-svn: 152083
This commit is contained in:
Ted Kremenek
2012-03-06 01:00:36 +00:00
parent 840497dd81
commit 024ba20bef

View File

@@ -1279,6 +1279,7 @@ static void GenerateExtensivePathDiagnostic(PathDiagnostic& PD,
PathDiagnosticEventPiece *p =
new PathDiagnosticEventPiece(L,
"Looping back to the head of the loop");
p->setPrunable(true);
EB.addEdge(p->getLocation(), true);
PD.getActivePath().push_front(p);