]> granicus.if.org Git - clang/commit
[Analyzer] Iterator Checker - Part 2: Increment, decrement operators and ahead-of...
authorAdam Balogh <adam.balogh@ericsson.com>
Thu, 28 Jun 2018 10:58:53 +0000 (10:58 +0000)
committerAdam Balogh <adam.balogh@ericsson.com>
Thu, 28 Jun 2018 10:58:53 +0000 (10:58 +0000)
commit97905d1cb2f4741773dea7e33311446acc3777f8
treec2bf695be8cee866aa667c792c2e169712836b25
parent1107c5c9c8b3927b66e55314e530f3ad769e3b07
[Analyzer] Iterator Checker - Part 2: Increment, decrement operators and ahead-of-begin checks

Add handling of the begin() funcion of containers to the iterator checkers,
together with the pre- and postfix ++ and -- operators of the iterators. This
makes possible the checking of iterators dereferenced ahead of the begin of the
container.

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@335835 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
test/Analysis/Inputs/system-header-simulator-cxx.h
test/Analysis/diagnostics/explicit-suppression.cpp
test/Analysis/iterator-range.cpp