[clang] [clang][analyzer] Remove array bounds check from PointerSubChecker (PR #102580)

Balázs Kéri via cfe-commits cfe-commits at lists.llvm.org
Fri Aug 9 02:29:53 PDT 2024


balazske wrote:

The `ArrayBoundV2` checker needs some update to find all cases. For example `(&x - 1) - &x` is not found, because the checker does only check `ArraySubscriptExpr` (and others), not a `BinaryOperator` with pointer and integer.

https://github.com/llvm/llvm-project/pull/102580


More information about the cfe-commits mailing list