[Analyzer] Iterator Checker - Part 6: Mismatched iterator checker for constructors...
authorAdam Balogh <adam.balogh@ericsson.com>
Mon, 10 Sep 2018 09:05:31 +0000 (09:05 +0000)
committerAdam Balogh <adam.balogh@ericsson.com>
Mon, 10 Sep 2018 09:05:31 +0000 (09:05 +0000)
commit3659f7a8a98393cefa14e4f8b467f7258dcf9aed
tree55bc32b9aa0efbb09d9d8b6ec7a13b6fb52444d5
parent6b23b1a74fdd9408fb76157b16f9a703bd90a594
[Analyzer] Iterator Checker - Part 6: Mismatched iterator checker for constructors and comparisons

Extension of the mismatched iterator checker for constructors taking range of first..last (first and last must be iterators of the same container) and also for comparisons of iterators of different containers (one does not compare iterators of different containers, since the set of iterators is partially ordered, there are no relations between iterators of different containers, except that they are always non-equal).

Differential Revision: https://reviews.llvm.org/D32860

llvm-svn: 341792
clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp