[PATCH] D47417: [analyzer] Add missing state transition in IteratorChecker
Reka Kovacs via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Sat May 26 12:15:24 PDT 2018
rnkovacs created this revision.
rnkovacs added reviewers: NoQ, xazax.hun, george.karpenkov, baloghadamsoftware.
Herald added subscribers: a.sidorin, dkrupp, szepet, whisperity.
After cleaning up program state maps in `checkDeadSymbols()`, a transition should be added to generate the new state.
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
@@ -395,6 +395,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.148735.patch
Type: text/x-patch
Size: 437 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180526/21044689/attachment.bin>
More information about the cfe-commits
mailing list