acf005e868acd727597649c9a9d2beecfce84cb2 - llvm-project/clang

commit: acf005e868acd727597649c9a9d2beecfce84cb2
[log]
author: Adam Balogh <adam.balogh@ericsson.com>
Fri Nov 15 12:15:36 2019 +0100
committer: Copybara-Service <copybara-worker@google.com>
Tue Sep 22 00:24:57 2020 -0700
tree: ac86e152297be2575e0bdfb96df1be50f4e83d3c
parent: c209a20b94d6e28770a8648eed0ad230a12407d6 [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

GitOrigin-RevId: afb13afcf2232c81fe8097832e5b6a2bde6bb3a5

lib/StaticAnalyzer/Checkers/CMakeLists.txt[diff]
lib/StaticAnalyzer/Checkers/DebugIteratorModeling.cpp[Added - diff]
lib/StaticAnalyzer/Checkers/InvalidatedIteratorChecker.cpp[Added - diff]
lib/StaticAnalyzer/Checkers/Iterator.cpp[Added - diff]
lib/StaticAnalyzer/Checkers/Iterator.h[Added - diff]
lib/StaticAnalyzer/Checkers/IteratorChecker.cpp[Deleted - diff]
lib/StaticAnalyzer/Checkers/IteratorModeling.cpp[Added - diff]
lib/StaticAnalyzer/Checkers/IteratorRangeChecker.cpp[Added - diff]
lib/StaticAnalyzer/Checkers/MismatchedIteratorChecker.cpp[Added - diff]

9 files changed

tree: ac86e152297be2575e0bdfb96df1be50f4e83d3c