From 1c382b29365696d5f949df9f32fcfc9c99b1e56b Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Tue, 7 May 2013 21:12:03 +0000 Subject: [PATCH] [analyzer; alternate arrows] add back recording whether we visited the first edge. llvm-svn: 181361 --- clang/lib/StaticAnalyzer/Core/BugReporter.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/clang/lib/StaticAnalyzer/Core/BugReporter.cpp b/clang/lib/StaticAnalyzer/Core/BugReporter.cpp index c63afc1411ba..2b3b174f6099 100644 --- a/clang/lib/StaticAnalyzer/Core/BugReporter.cpp +++ b/clang/lib/StaticAnalyzer/Core/BugReporter.cpp @@ -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)) {