[all-commits] [llvm/llvm-project] afb13a: [Analyzer][NFC] Iterator Checkers - Separate itera...

[Balogh, Ádám via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: afb13afcf2232c81fe8097832e5b6a2bde6bb3a5
      https://github.com/llvm/llvm-project/commit/afb13afcf2232c81fe8097832e5b6a2bde6bb3a5
  Author: Adam Balogh <adam.balogh at ericsson.com>
  Date:   2019-12-11 (Wed, 11 Dec 2019)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt
    A clang/lib/StaticAnalyzer/Checkers/DebugIteratorModeling.cpp
    A clang/lib/StaticAnalyzer/Checkers/InvalidatedIteratorChecker.cpp
    A clang/lib/StaticAnalyzer/Checkers/Iterator.cpp
    A clang/lib/StaticAnalyzer/Checkers/Iterator.h
    R clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
    A clang/lib/StaticAnalyzer/Checkers/IteratorModeling.cpp
    A clang/lib/StaticAnalyzer/Checkers/IteratorRangeChecker.cpp
    A clang/lib/StaticAnalyzer/Checkers/MismatchedIteratorChecker.cpp

  Log Message:
  -----------
  [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