[clang] [analyzer] Switch to PostStmt callbacks in ArrayBoundV2 (PR #72107)
via cfe-commits
cfe-commits at lists.llvm.org
Fri Nov 24 02:27:53 PST 2023
================
@@ -64,6 +100,28 @@ double arrayInStructPtr(struct vec *pv) {
// expected-note at -2 {{Access of the field 'elems' at index 64, while it holds only 64 'double' elements}}
}
+struct item {
+ int a, b;
+} itemArray[20] = {0};
+
+int structOfArrays(void) {
----------------
DonatNagyE wrote:
Oops, nice catch!
https://github.com/llvm/llvm-project/pull/72107
More information about the cfe-commits
mailing list