projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a46d08e) | patch
[Analyzer] Iterator Checker - Part 3: Invalidation check, first for (copy) assignments
authorAdam Balogh <adam.balogh@ericsson.com>
Tue, 28 Aug 2018 08:41:15 +0000 (08:41 +0000)
committerAdam Balogh <adam.balogh@ericsson.com>
Tue, 28 Aug 2018 08:41:15 +0000 (08:41 +0000)
commit2cfbe933a133aac80052cb8707c11b9beff4cc26
treed2d5f0d42d8017bc713fad9fd4137f5c4fa019bftree | snapshot
parenta46d08ebe6f21553d9f998b658a2f210940649afcommit | diff
[Analyzer] Iterator Checker - Part 3: Invalidation check, first for (copy) assignments

We add check for invalidation of iterators. The only operation we handle here
is the (copy) assignment.

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

llvm-svn: 340805
clang/include/clang/StaticAnalyzer/Checkers/Checkers.td diff | blob | history
clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp diff | blob | history
clang/test/Analysis/Inputs/system-header-simulator-cxx.h diff | blob | history
clang/test/Analysis/diagnostics/explicit-suppression.cpp diff | blob | history
clang/test/Analysis/invalidated-iterator.cpp [new file with mode: 0644] blob
Domain: System / Toolchain;