Charusso added a comment.
The [1] patch which introduced such static element-count data has only one test
case in `outofbound.c`:
void f2() {
int *p = malloc(12);
p[3] = 4; // expected-warning{{Access out-of-bound array element (buffer
overflow)}}
}
which probably wanted to be `(int *)malloc(12)`, but in both ways the warning
occurs, which is problematic. This is the first step to mitigate that issue.
[1]
https://github.com/llvm/llvm-project/commit/228b0d4defb85b2e7acbb642b9f0b5dfc49d3fe7
Repository:
rC Clang
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D69599/new/
https://reviews.llvm.org/D69599
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
