[PATCH] D32845: [Analyzer] Iterator Checker - Part 4: Mismatched iterator checker for function parameters
Whisperity via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Jul 5 03:13:22 PDT 2018
whisperity added inline comments.
Comment at: include/clang/StaticAnalyzer/Checkers/Checkers.td:317
+def MismatchedIteratorChecker : Checker<"MismatchedIterator">,
+ HelpText<"Check for use of iterators of different containers where iterators of the same container are expected">,
Is there any particular order entries of this file should be in? Seems to be broken now, but I guess when this patch comes up to the top of the stack it shall be fixed at a rebase.
Comment at: lib/StaticAnalyzer/Checkers/IteratorChecker.cpp:426
+ // For every template parameter which is an iterator type in the
+ // instantiation look for all functions parameters type by it and
+ // check whether they belong to the same container
functions' parameters' ?
Comment at: lib/StaticAnalyzer/Checkers/IteratorChecker.cpp:934
+ reportMismatchedBug("Iterator access mismatched.", Iter1, Iter2, C, N);
If this string is the message that gets printed to the user, I think it must be rephrased a bit. If this message came across me, I'd be puzzled at first to understand what it is trying to mean.
More information about the cfe-commits