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