gamesh411 added inline comments.
================
Comment at: clang/test/Analysis/sufficient-size-array-indexing-32bit.c:120
+
+void test_symbolic_index_handling4(int choice) {
+ char c;
----------------
balazske wrote:
> Here "is a chance that indexing is correct". So no warning should occur?
I think as there is a branch where it is provably wrong, this is correct. It
is just not obvious from the diag message which branch is taken, and
consequently which array is being indexed. I think there is no way to address
this from inside the checker.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D69318/new/
https://reviews.llvm.org/D69318
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
