]> granicus.if.org Git - clang/commitdiff
[analyzer; alternate arrows] add back recording whether we visited the first edge.
authorTed Kremenek <kremenek@apple.com>
Tue, 7 May 2013 21:12:03 +0000 (21:12 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 7 May 2013 21:12:03 +0000 (21:12 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@181361 91177308-0d34-0410-b5e6-96231b3b80d8

lib/StaticAnalyzer/Core/BugReporter.cpp

index c63afc1411ba65f94f7f4ae8a46242878cba54a8..2b3b174f60994ce27de40de205ba6c4e61f14f66 100644 (file)
@@ -1847,6 +1847,8 @@ static bool optimizeEdges(PathPieces &path, SourceManager &SM,
     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)) {