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