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