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



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
  • [PATCH] D32860: [Analyzer]... Artem Dergachev via Phabricator via cfe-commits

Reply via email to