[Analyzer] Iterator Checker - Part 4: Mismatched iterator checker for function parameters
authorAdam Balogh <adam.balogh@ericsson.com>
Mon, 10 Sep 2018 09:03:22 +0000 (09:03 +0000)
committerAdam Balogh <adam.balogh@ericsson.com>
Mon, 10 Sep 2018 09:03:22 +0000 (09:03 +0000)
commit21583b733af14997718ab5aaf2a926821d479dd7
treecfb96cb81daf2dcbe64cdb6752df47917afd1041
parent462429c03dec2789989ecd91e6a0ed92d38a8cc9
[Analyzer] Iterator Checker - Part 4: Mismatched iterator checker for function parameters

New check added to the checker which checks whether iterator parameters of template functions typed by the same template parameter refer to the same container.

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

llvm-svn: 341790
clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
clang/test/Analysis/Inputs/system-header-simulator-cxx.h
clang/test/Analysis/invalidated-iterator.cpp