[PATCH] D47417: [analyzer] Add missing state transition in IteratorChecker

Phabricator via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Jul 30 09:15:30 PDT 2018


This revision was automatically updated to reflect the committed changes.
Closed by commit rC338263: [analyzer] Add missing state transition in IteratorChecker. (authored by rkovacs, committed by ).

Repository:
  rC Clang

https://reviews.llvm.org/D47417

Files:
  lib/StaticAnalyzer/Checkers/IteratorChecker.cpp


Index: lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
===================================================================
--- lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
+++ lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
@@ -551,6 +551,8 @@
       State = State->remove<IteratorComparisonMap>(Comp.first);
     }
   }
+
+  C.addTransition(State);
 }
 
 ProgramStateRef IteratorChecker::evalAssume(ProgramStateRef State, SVal Cond,


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D47417.157984.patch
Type: text/x-patch
Size: 437 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180730/9edecab8/attachment.bin>


More information about the cfe-commits mailing list