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

[Artem Dergachev via Phabricator via cfe-commits]

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`(?)


https://reviews.llvm.org/D32860