blob: d6616695471b299167bd8972ed4952f79f7ef46e (
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
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
|
/* PR middle-end/97391 - bogus -Warray-bounds accessing a multidimensional
array parameter
{ dg-do compile }
{ dg-options "-O2 -Wall" } */
void nowarn_access_loop_idx (char a[3][5])
{
for (int i = 0; i < 3; i++)
for (int j = 0; j < 5; j++)
a[i][j] = 0;
}
void warn_access_loop_idx (char a[3][5])
{
for (int i = 0; i < 3; i++)
for (int j = 0; j < 5; j++)
a[j][i] = 0; // { dg-warning "\\\[-Warray-bounds" }
}
void nowarn_access_cst_idx (int a[5][7][9])
{
a[0][0][0] = __LINE__;
a[0][0][8] = __LINE__;
a[0][6][0] = __LINE__;
a[0][6][8] = __LINE__;
a[4][0][0] = __LINE__;
a[4][0][8] = __LINE__;
a[4][6][8] = __LINE__;
}
void test_ptr_access_cst_idx (int a[5][7][9])
{
int *p = &a[0][0][0];
p[0] = __LINE__;
p[8] = __LINE__;
/* The following access should trigger a warning but it's represented
the same as the valid access in
p = a[0][1][0];
p[1] = __LINE__;
both as
MEM[(int *)a_1(D) + 36B] = __LINE__; */
p[9] = __LINE__; // { dg-warning "\\\[-Warray-bounds" "pr?????" { xfail *-*-* } }
p[315] = __LINE__;
// { dg-warning "subscript 315 is outside array bounds of 'int\\\[5]\\\[7]\\\[9]'" "pr97425" { xfail *-*-* } .-1 }
// { dg-warning "subscript 315 is outside array bounds " "" { target *-*-* } .-2 }
p = &a[0][6][0];
p[0] = __LINE__;
p[8] = __LINE__;
p = &a[4][6][0];
p[0] = __LINE__;
p[8] = __LINE__;
}
void warn_access_cst_idx (int a[5][7][9])
{
a[0][0][9] = __LINE__; // { dg-warning "subscript 9 is above array bounds of 'int\\\[9]'" }
a[0][7][0] = __LINE__; // { dg-warning "subscript 7 is above array bounds of 'int\\\[7]\\\[9]'" }
a[5][0][0] = __LINE__;
// { dg-warning "subscript 5 is outside array bounds of 'int\\\[5]\\\[7]\\\[9]'" "pr97425" { xfail *-*-* } .-1 }
// { dg-warning "subscript \\d+ is outside array bounds" "" { target *-*-* } .-2 }
}
void test_ptrarray_access_cst_idx (int (*pa)[5][7][9])
{
(*pa)[0][0][0] = __LINE__;
(*pa)[0][0][8] = __LINE__;
(*pa)[0][0][9] = __LINE__; // { dg-warning "subscript 9 is above array bounds of 'int\\\[9]'" }
(*pa)[0][6][0] = __LINE__;
(*pa)[0][7][0] = __LINE__; // { dg-warning "subscript 7 is above array bounds of 'int\\\[7]\\\[9]'" }
(*pa)[0][8][0] = __LINE__; // { dg-warning "subscript 8 is above array bounds of 'int\\\[7]\\\[9]'" }
(*pa)[4][6][8] = __LINE__;
(*pa)[5][0][0] = __LINE__; // { dg-warning "subscript 5 is above array bounds of 'int\\\[5]\\\[7]\\\[9]'" }
}
void test_ptr_ptrarray_access_cst_idx (int (*pa)[5][7][9])
{
int *p = &(*pa)[0][0][0];
p[0] = __LINE__;
p[8] = __LINE__;
/* The following access should trigger a warning but it's represented
the same as the valid access in
p = a[0][1][0];
p[1] = __LINE__;
both as
MEM[(int *)a_1(D) + 36B] = __LINE__; */
p[9] = __LINE__; // { dg-warning "\\\[-Warray-bounds" "pr?????" { xfail *-*-* } }
p[315] = __LINE__; // { dg-warning "\\\[-Warray-bounds" "pr97429" { xfail *-*-* } }
p = &(*pa)[0][6][0];
p[0] = __LINE__;
p[8] = __LINE__;
p = &(*pa)[4][6][0];
p[0] = __LINE__;
p[8] = __LINE__;
}
|
