1 /* PR c/50584 - No warning for passing small array to C99 static array
2 declarator
3 { dg-do compile }
4 { dg-options "-Wall -Warray-parameter=1" } */
5
6 /* Verify that at level 1 mismatches in the bounds of ordinary array
7 parameters don't trigger -Warray-parameter. */
8 void fax (int[]);
9 void fax (int[0]);
10 void fax (int[1]);
11 void fax (int[2]);
12 void fax (int[3]);
13
14 /* Same as above but starting with an array with a specified bound. */
15 void gax (int[3]);
16 void gax (int[2]);
17 void gax (int[1]);
18 void gax (int[0]);
19 void gax (int[]);
20
21 /* Same for multidimensional arrays. */
22 void fax_y (int[][3]);
23 void fax_y (int[0][3]);
24 void fax_y (int[1][3]);
25 void fax_y (int[2][3]);
26 void fax_y (int[3][3]);
27
28 /* Same as above but starting with an array with a specified bound. */
29 void gax_y (int[3][5]);
30 void gax_y (int[2][5]);
31 void gax_y (int[1][5]);
32 void gax_y (int[0][5]);
33 void gax_y (int[][5]);
34
35 /* Exercise VLAs with a mismatch in the bound for an ordinary array. */
36 void fvlax_y (int n, int[][n]);
37 void fvlax_y (int n, int[0][n]);
38 void fvlax_y (int n, int[1][n]);
39 void fvlax_y (int n, int[2][n]);
40 void fvlax_y (int n, int[3][n]);
41
42 void fvlaxn_y (int n, int[][n]);
43 void fvlaxn_y (int n, int[0][n]);
44 void fvlaxn_y (int n, int[1][n]);
45 void fvlaxn_y (int n, int[2][n]);
46 void fvlaxn_y (int n, int[3][n]);
47
48 void fvlaxx_y (int[][*]);
49 void fvlaxx_y (int[0][*]);
50 void fvlaxx_y (int[1][*]);
51 void fvlaxx_y (int[2][*]);
52 void fvlaxx_y (int[3][*]);
53
54 /* Verify that mismatches in the bounds of array parameters declared
55 static do trigger -Warray-parameter. */
56 void fas1 (int[static 1]); // { dg-message "previously declared as 'int\\\[static 1]'" }
57 void fas1 (int[static 2]); // { dg-warning "\\\[-Warray-parameter=" }
58
59
60 /* Also verify that -Warray-bounds doesn't trigger for ordinary array
61 parameters... */
62 #pragma GCC optimize "2"
63
64 __attribute__ ((noipa)) void
gca3(char a[3])65 gca3 (char a[3])
66 {
67 a[0] = 0; a[1] = 1; a[2] = 2; a[3] = 3;
68 }
69
70 __attribute__ ((noipa)) void
gia3(int a[3])71 gia3 (int a[3])
72 {
73 a[0] = 0; a[1] = 1; a[2] = 2; a[3] = 3;
74 }
75
76 /* ...but does for static arrays. */
77 __attribute__ ((noipa)) void
gcas3(char a[static3])78 gcas3 (char a[static 3])
79 {
80 a[0] = 0; a[1] = 1; a[2] = 2;
81 a[3] = 3; // { dg-warning "\\\[-Warray-bounds" }
82 }
83
84 __attribute__ ((noipa)) void
gias3(int a[static3])85 gias3 (int a[static 3])
86 {
87 a[0] = 0; a[1] = 1; a[2] = 2;
88 a[3] = 3; // { dg-warning "\\\[-Warray-bounds" }
89 }
90