[clang] 3d6923d - RFC: [clang-tidy] [analyzer] Move nondeterministic pointer usage check to tidy (#110471)

[via cfe-commits]

Author: vabridgers
Date: 2024-10-28T03:53:36-05:00
New Revision: 3d6923dbac16741736a841abee05f35bf7b0379a

URL: https://github.com/llvm/llvm-project/commit/3d6923dbac16741736a841abee05f35bf7b0379a
DIFF: https://github.com/llvm/llvm-project/commit/3d6923dbac16741736a841abee05f35bf7b0379a.diff

LOG: RFC: [clang-tidy] [analyzer] Move nondeterministic pointer usage check to tidy (#110471)

This change moves the `alpha.nondeterministic.PointerSorting` and
`alpha.nondeterministic.PointerIteration` static analyzer checkers to a
single `clang-tidy` check. Those checkers were implemented as simple
`clang-tidy` check-like code, wrapped in the static analyzer framework.
The documentation was updated to describe what the checks can and cannot
do, and testing was completed on a broad set of open-source projects.

Co-authored-by: Vince Bridgers <vince.a.bridgers at ericsson.com>

Added: 
    clang-tools-extra/clang-tidy/bugprone/NondeterministicPointerIterationOrderCheck.cpp
    clang-tools-extra/clang-tidy/bugprone/NondeterministicPointerIterationOrderCheck.h
    clang-tools-extra/docs/clang-tidy/checks/bugprone/nondeterministic-pointer-iteration-order.rst
    clang-tools-extra/test/clang-tidy/checkers/bugprone/Inputs/system-header-simulator/sim_algorithm
    clang-tools-extra/test/clang-tidy/checkers/bugprone/Inputs/system-header-simulator/sim_c++config.h
    clang-tools-extra/test/clang-tidy/checkers/bugprone/Inputs/system-header-simulator/sim_initializer_list
    clang-tools-extra/test/clang-tidy/checkers/bugprone/Inputs/system-header-simulator/sim_iterator_base
    clang-tools-extra/test/clang-tidy/checkers/bugprone/Inputs/system-header-simulator/sim_map
    clang-tools-extra/test/clang-tidy/checkers/bugprone/Inputs/system-header-simulator/sim_set
    clang-tools-extra/test/clang-tidy/checkers/bugprone/Inputs/system-header-simulator/sim_stl_pair
    clang-tools-extra/test/clang-tidy/checkers/bugprone/Inputs/system-header-simulator/sim_type_traits
    clang-tools-extra/test/clang-tidy/checkers/bugprone/Inputs/system-header-simulator/sim_unordered_map
    clang-tools-extra/test/clang-tidy/checkers/bugprone/Inputs/system-header-simulator/sim_unordered_set
    clang-tools-extra/test/clang-tidy/checkers/bugprone/Inputs/system-header-simulator/sim_vector
    clang-tools-extra/test/clang-tidy/checkers/bugprone/nondeterministic-pointer-iteration-order.cpp

Modified: 
    clang-tools-extra/clang-tidy/bugprone/BugproneTidyModule.cpp
    clang-tools-extra/clang-tidy/bugprone/CMakeLists.txt
    clang-tools-extra/docs/ReleaseNotes.rst
    clang-tools-extra/docs/clang-tidy/checks/list.rst
    clang/docs/ReleaseNotes.rst
    clang/docs/analyzer/checkers.rst
    clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
    clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt

Removed: 
    clang/lib/StaticAnalyzer/Checkers/PointerIterationChecker.cpp
    clang/lib/StaticAnalyzer/Checkers/PointerSortingChecker.cpp
    clang/test/Analysis/ptr-iter.cpp
    clang/test/Analysis/ptr-sort.cpp


################################################################################error: too big or took too long to generate