diff options
| author | Ted Kremenek <kremenek@apple.com> | 2013-05-07 21:12:03 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2013-05-07 21:12:03 +0000 |
| commit | 1c382b29365696d5f949df9f32fcfc9c99b1e56b (patch) | |
| tree | 89d29938e4615550c78f8a60e6d795ed49ea0833 /clang/lib/StaticAnalyzer/Core/BugReporter.cpp | |
| parent | abf617c27e1d4a55238df9f01829ffcde176235b (diff) | |
| download | bcm5719-llvm-1c382b29365696d5f949df9f32fcfc9c99b1e56b.tar.gz bcm5719-llvm-1c382b29365696d5f949df9f32fcfc9c99b1e56b.zip | |
[analyzer; alternate arrows] add back recording whether we visited the first edge.
llvm-svn: 181361
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/BugReporter.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/BugReporter.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/BugReporter.cpp b/clang/lib/StaticAnalyzer/Core/BugReporter.cpp index c63afc1411b..2b3b174f609 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)) { |
