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

Ted Kremenek kremenek at apple.com
Tue May 7 14:11:54 PDT 2013


Author: kremenek
Date: Tue May  7 16:11:54 2013
New Revision: 181358

URL: http://llvm.org/viewvc/llvm-project?rev=181358&view=rev
Log:
[analyzer; alternate arrows] include an edge from the "break" or "continue"

Modified:
    cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp

Modified: cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp?rev=181358&r1=181357&r2=181358&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp Tue May  7 16:11:54 2013
@@ -1769,6 +1769,11 @@ GenerateAlternateExtensivePathDiagnostic
               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;
       }





More information about the cfe-commits mailing list