From bc0fd8129626ff4e485388311b081e76d0f96795 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Tue, 7 May 2013 21:11:54 +0000 Subject: [PATCH] [analyzer; alternate arrows] include an edge from the "break" or "continue" git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@181358 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/StaticAnalyzer/Core/BugReporter.cpp | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/lib/StaticAnalyzer/Core/BugReporter.cpp b/lib/StaticAnalyzer/Core/BugReporter.cpp index 225b913f81..a74acca060 100644 --- a/lib/StaticAnalyzer/Core/BugReporter.cpp +++ b/lib/StaticAnalyzer/Core/BugReporter.cpp @@ -1769,6 +1769,11 @@ GenerateAlternateExtensivePathDiagnostic(PathDiagnostic& PD, PD.getActivePath().push_front(PE); } } + else if (isa(Term) || isa(Term) || + isa(Term)) { + PathDiagnosticLocation L(Term, SM, PDB.LC); + addEdgeToPath(PD.getActivePath(), PrevLoc, L, LC); + } } break; } -- 2.40.0