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.bridg...@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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
