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

llvm-svn: 181358

1 files changed, 5 insertions, 0 deletions

diff --git a/clang/lib/StaticAnalyzer/Core/BugReporter.cpp b/clang/lib/StaticAnalyzer/Core/BugReporter.cpp
index 225b913f813..a74acca0605 100644
--- a/clang/lib/StaticAnalyzer/Core/BugReporter.cpp
+++ b/clang/lib/StaticAnalyzer/Core/BugReporter.cpp
@@ -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;
       }