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