[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