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