From: Reka Kovacs <rekanikolett@gmail.com>
Date: Mon, 30 Jul 2018 16:14:59 +0000 (+0000)
Subject: [analyzer] Add missing state transition in IteratorChecker.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=84dd838f3a1e456fec6b7c2fca0cc5cac4e7553d;p=clang

[analyzer] Add missing state transition in IteratorChecker.

After cleaning up program state maps in `checkDeadSymbols()`,
a transition should be added to generate the new state.

Differential Revision: https://reviews.llvm.org/D47417

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@338263 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp b/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
index fc713bc499..520c32e1c7 100644
--- a/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
+++ b/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
@@ -551,6 +551,8 @@ void IteratorChecker::checkDeadSymbols(SymbolReaper &SR,
       State = State->remove<IteratorComparisonMap>(Comp.first);
     }
   }
+
+  C.addTransition(State);
 }
 
 ProgramStateRef IteratorChecker::evalAssume(ProgramStateRef State, SVal Cond,