From: Ted Kremenek <kremenek@apple.com>
Date: Tue, 6 Mar 2012 01:00:36 +0000 (+0000)
Subject: [analyzer] 'Looping back to the head of the loop' diagnostics are prunable.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=2dd17abf11ae64339fa6bfaa57d76e13a5fbe5b8;p=clang

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@152083 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/StaticAnalyzer/Core/BugReporter.cpp b/lib/StaticAnalyzer/Core/BugReporter.cpp
index 2b554332ae..73e00e4416 100644
--- a/lib/StaticAnalyzer/Core/BugReporter.cpp
+++ b/lib/StaticAnalyzer/Core/BugReporter.cpp
@@ -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);