r181291 - [analyzer; alternate arrows] use the terminator condition as the location for 'entering loop body'
Ted Kremenek
kremenek at apple.com
Tue May 7 00:30:01 PDT 2013
Author: kremenek
Date: Tue May 7 02:30:00 2013
New Revision: 181291
URL: http://llvm.org/viewvc/llvm-project?rev=181291&view=rev
Log:
[analyzer; alternate arrows] use the terminator condition as the location for 'entering loop body'
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=181291&r1=181290&r2=181291&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp Tue May 7 02:30:00 2013
@@ -1770,7 +1770,7 @@ GenerateAlternateExtensivePathDiagnostic
}
if (str) {
- PathDiagnosticLocation L(Term, SM, PDB.LC);
+ PathDiagnosticLocation L(TermCond, SM, PDB.LC);
PathDiagnosticEventPiece *PE =
new PathDiagnosticEventPiece(L, str);
EventCategory[PE] = EC;
More information about the cfe-commits
mailing list