[PATCH] D32860: [Analyzer] Iterator Checker - Part 6: Mismatched iterator checker for constructors and comparisons

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Dec 14 16:00:58 PST 2017

NoQ accepted this revision.
NoQ added a comment.
This revision is now accepted and ready to land.
Herald added subscribers: a.sidorin, rnkovacs, szepet.

This looks clear to me.

Comment at: lib/StaticAnalyzer/Checkers/IteratorChecker.cpp:554-555
+  verifyMatch(C, State->getSVal(CCE->getArg(0), LCtx),
+              State->getSVal(CCE->getArg(1), LCtx));
`C.getSVal(CCE->getArg(0))` etc. Or, even better, use `PreCall` and `CallEvent`(?)


More information about the cfe-commits mailing list