[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

diff --git a/lib/StaticAnalyzer/Core/BugReporter.cpp b/lib/StaticAnalyzer/Core/BugReporter.cpp
index 225b913f813934ca3ad04bf665b8724762847116..a74acca06050e799ccf9ec75c72d8dc64e0ce23a 100644 (file)
--- 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<BreakStmt>(Term) || isa<ContinueStmt>(Term) ||
+                   isa<GotoStmt>(Term)) {
+            PathDiagnosticLocation L(Term, SM, PDB.LC);
+            addEdgeToPath(PD.getActivePath(), PrevLoc, L, LC);
+          }
         }
         break;
       }