[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)
commitb03ed5e41490b2654aac53569d742d6cef44ad66
treed4adf551c6616d5459096d95012c1539167119da
parent9ef4965a0d774c6aa045c1cf9ae6e30208924627
[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

llvm-svn: 335835
clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
clang/test/Analysis/Inputs/system-header-simulator-cxx.h
clang/test/Analysis/diagnostics/explicit-suppression.cpp
clang/test/Analysis/iterator-range.cpp