[clang] [analyzer] Switch to PostStmt callbacks in ArrayBoundV2 (PR #72107)

Balázs Kéri via cfe-commits cfe-commits at lists.llvm.org
Thu Nov 23 07:46:02 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) {
----------------
balazske wrote:

This is rather "arrayOfStructs"?

https://github.com/llvm/llvm-project/pull/72107


More information about the cfe-commits mailing list