[all-commits] [llvm/llvm-project] 91dfa2: [NFC][analyzer] Introduce the BoundsChecking libra...

[Donát Nagy via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 91dfa266cee8cb49a052531492ba4b670525278a
      https://github.com/llvm/llvm-project/commit/91dfa266cee8cb49a052531492ba4b670525278a
  Author: Donát Nagy <donat.nagy at ericsson.com>
  Date:   2026-08-06 (Thu, 06 Aug 2026)

  Changed paths:
    A clang/include/clang/StaticAnalyzer/Checkers/BoundsChecking.h
    M clang/lib/StaticAnalyzer/Checkers/ArrayBoundChecker.cpp
    A clang/lib/StaticAnalyzer/Checkers/BoundsChecking.cpp
    M clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt
    M llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Checkers/BUILD.gn

  Log Message:
  -----------
  [NFC][analyzer] Introduce the BoundsChecking library (#213957)

Building on my recent commit 25d51a8156da0845928e2fc09bb2736507fc5adf
this commit moves the general-purpose bounds checking logic from
ArrayBoundChecker.cpp to the new files BoundsChecking.{cpp,h}.

This new library currently only serves the needs of
`security.ArrayBound`, but it will be gradually expanded, generalized
and used to bring other bounds checking checkers out of alpha stage.

The code is moved without modifications, except for the removal of a
TODO note that asks for moving the code into a separate library.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications