[Analyzer] Iterator Checkers - Fix for Crash on Iterator Differences
authorAdam Balogh <adam.balogh@ericsson.com>
Mon, 5 Aug 2019 06:45:41 +0000 (06:45 +0000)
committerAdam Balogh <adam.balogh@ericsson.com>
Mon, 5 Aug 2019 06:45:41 +0000 (06:45 +0000)
commit8557f17d887ab7e70a44f7b674478a16c6eb0119
treeed7c959ea98c0d3642a94d3d38df9043a0152995
parentdb26488bf9263f62ec9938d7e6ea3acf8cae6725
[Analyzer] Iterator Checkers - Fix for Crash on Iterator Differences

Iterators differences were mistakenly handled as random decrements which
causes an assertion. This patch fixes this.

llvm-svn: 367802
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