[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