]> granicus.if.org Git - clang/commit
[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)
commit6475259f54c232ecc64e6e351c1518af7afef87c
tree5028120d9cedc7276bc6ce45063436d66aaf6fcb
parent0293c7f5c8b76e403832b64c5c0941c84565198e
[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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@341790 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Checkers/Checkers.td
lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
test/Analysis/Inputs/system-header-simulator-cxx.h
test/Analysis/invalidated-iterator.cpp