projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 170ee64) | patch
[Analyzer][NFC] Iterator Checkers - Separate iterator modeling and the actual checkers
authorAdam Balogh <adam.balogh@ericsson.com>
Fri, 15 Nov 2019 11:15:36 +0000 (12:15 +0100)
committerAdam Balogh <adam.balogh@ericsson.com>
Wed, 11 Dec 2019 12:06:19 +0000 (13:06 +0100)
commitafb13afcf2232c81fe8097832e5b6a2bde6bb3a5
tree1d3ecb562e195298d8b309f424a4c3423f3233f3tree | snapshot
parent170ee645f4d147103f93927c37a304c759c669ddcommit | diff
[Analyzer][NFC] Iterator Checkers - Separate iterator modeling and the actual checkers

A monolithic checker class is hard to maintain. This patch splits it up
into a modeling part, the three checkers and a debug checker. The common
functions are moved into a library.

Differential Revision: https://reviews.llvm.org/D70320
clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt diff | blob | history
clang/lib/StaticAnalyzer/Checkers/DebugIteratorModeling.cpp [new file with mode: 0644] blob
clang/lib/StaticAnalyzer/Checkers/InvalidatedIteratorChecker.cpp [new file with mode: 0644] blob
clang/lib/StaticAnalyzer/Checkers/Iterator.cpp [new file with mode: 0644] blob
clang/lib/StaticAnalyzer/Checkers/Iterator.h [new file with mode: 0644] blob
clang/lib/StaticAnalyzer/Checkers/IteratorModeling.cpp [moved from clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp with 56% similarity] diff | blob | history
clang/lib/StaticAnalyzer/Checkers/IteratorRangeChecker.cpp [new file with mode: 0644] blob
clang/lib/StaticAnalyzer/Checkers/MismatchedIteratorChecker.cpp [new file with mode: 0644] blob
Domain: System / Toolchain;