r181361 - [analyzer; alternate arrows] add back recording whether we visited the first edge.

Ted Kremenek kremenek at apple.com
Tue May 7 14:12:03 PDT 2013


Author: kremenek
Date: Tue May  7 16:12:03 2013
New Revision: 181361

URL: http://llvm.org/viewvc/llvm-project?rev=181361&view=rev
Log:
[analyzer; alternate arrows] add back recording whether we visited the first edge.

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=181361&r1=181360&r2=181361&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp Tue May  7 16:12:03 2013
@@ -1847,6 +1847,8 @@ static bool optimizeEdges(PathPieces &pa
     const Stmt *level2 = getStmtParent(s1End, PM);
 
     if (wasFirst) {
+      wasFirst = false;
+
       // If the first edge (in isolation) is just a transition from
       // an expression to a parent expression then eliminate that edge.
       if (level1 && level2 && level2 == PM.getParent(level1)) {





More information about the cfe-commits mailing list