[clang] 4e8be20 - [clang][test] Add multi-dim-array diagnostic test for multi-dimensional array function passing (#183847)

[via cfe-commits]

Author: earnol
Date: 2026-03-02T08:52:36-05:00
New Revision: 4e8be20faa1c3bc43f18eb1b250453e69aaf4eca

URL: https://github.com/llvm/llvm-project/commit/4e8be20faa1c3bc43f18eb1b250453e69aaf4eca
DIFF: https://github.com/llvm/llvm-project/commit/4e8be20faa1c3bc43f18eb1b250453e69aaf4eca.diff

LOG: [clang][test] Add multi-dim-array diagnostic test for multi-dimensional array function passing (#183847)

Add test coverage for incompatible pointer type diagnostics when passing
multidimensional arrays to functions expecting flat pointers. Tests
covers 2D, 3D, 4D arrays, zero-sized dimensions, struct arrays, and type
mismatches.

Co-authored-by: Vladislav Aranov <vladislav.aranov at ericsson.com>

Added: 
    clang/test/Sema/multi-dim-array.c

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/clang/test/Sema/multi-dim-array.c b/clang/test/Sema/multi-dim-array.c
new file mode 100644
index 0000000000000..b569a82396238
--- /dev/null
+++ b/clang/test/Sema/multi-dim-array.c
@@ -0,0 +1,51 @@
+// RUN: %clang_cc1 %s -fsyntax-only -verify -pedantic -Wno-strict-prototypes -Wno-zero-length-array
+
+int array_acceptor_case1(unsigned long *par1) { // #case1
+  return par1 != (unsigned long *)0;
+}
+
+int array_acceptor_case2(unsigned long *par1) { // #case2
+  return par1 != (unsigned long *)0;
+}
+
+int array_acceptor_case3(unsigned long *par1) { // #case3
+  return par1 != (unsigned long *)0;
+}
+
+struct S {
+  int a;
+};
+
+int array_acceptor_case4(struct S *par1) { // #case4
+  return par1 != (struct S *)0;
+}
+
+int array_acceptor_case5(struct S *par1) { // #case5
+  return par1 != (struct S *)0;
+}
+
+int array_tester() {
+  unsigned long mdarr[5][6];
+  double mddarr[5][6];
+  unsigned long sdarr[30];
+  unsigned long mdarr3d[5][6][2];
+  unsigned long mdarr4d[5][6][2][1];
+  unsigned long mdarrz4d[5][6][0][1];
+  struct S mdsarr[5][6][2];
+
+  array_acceptor_case1(sdarr);
+  array_acceptor_case1(mdarr); // expected-error {{incompatible pointer types passing 'unsigned long[5][6]' to parameter of type 'unsigned long *'}} \
+                               // expected-note@#case1 {{passing argument to parameter 'par1' here}}
+  array_acceptor_case1(mdarr3d); // expected-error {{incompatible pointer types passing 'unsigned long[5][6][2]' to parameter of type 'unsigned long *'}} \
+                                 // expected-note@#case1 {{passing argument to parameter 'par1' here}}
+  array_acceptor_case1(mdarr4d); // expected-error {{incompatible pointer types passing 'unsigned long[5][6][2][1]' to parameter of type 'unsigned long *'}} \
+                                 // expected-note@#case1 {{passing argument to parameter 'par1' here}}
+  array_acceptor_case2(mddarr); // expected-error {{incompatible pointer types passing 'double[5][6]' to parameter of type 'unsigned long *'}} \
+                                // expected-note@#case2 {{passing argument to parameter 'par1' here}}
+  array_acceptor_case4(mddarr); // expected-error {{incompatible pointer types passing 'double[5][6]' to parameter of type 'struct S *'}} \
+                                // expected-note@#case4 {{passing argument to parameter 'par1' here}}
+  array_acceptor_case3(mdarrz4d); // expected-error {{incompatible pointer types passing 'unsigned long[5][6][0][1]' to parameter of type 'unsigned long *'}} \
+                                  // expected-note@#case3 {{passing argument to parameter 'par1' here}}
+  array_acceptor_case5(mdsarr); // expected-error {{incompatible pointer types passing 'struct S[5][6][2]' to parameter of type 'struct S *'}} \
+                                // expected-note@#case5 {{passing argument to parameter 'par1' here}}
+}