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 <[email protected]> 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}} +} _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
