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
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
|
/* PR tree-optimization/83776: missing -Warray-bounds indexing past the end
of a string literal
Test to exercise indices into wide string literals.
{ dg-do compile }
{ dg-options "-O2 -Warray-bounds -ftrack-macro-expansion=0" } */
#include "range.h"
#define MAX DIFF_MAX
#define MIN DIFF_MIN
typedef __WCHAR_TYPE__ wchar_t;
#define W2 L"12"
#define W3 L"123"
#define W4 L"1234"
#define W7 L"1234567"
#define W8 L"12345678"
#define W9 L"123456789"
void sink (int);
#define T(expr) sink (expr)
void wide_direct_cst (void)
{
T (W9[MIN]); /* { dg-warning "array subscript -\[0-9\]+ is below array bounds of .\[a-z \]+\\\[10]" "bug 86611" { xfail ilp32 } } */
T (W9[-1]); /* { dg-warning "array subscript -1 is below array bounds of .\[a-z \]+\\\[10]" } */
T (W9[11]); /* { dg-warning "array subscript 11 is above array bounds of .\[a-z \]+\\\[10]" } */
T (W9[MAX]); /* { dg-warning "array subscript \[0-9\]+ is above array bounds of .\[a-z \]+\\\[10]" } */
}
void wide_ptr_deref_cst (void)
{
const wchar_t *p = W8 + 9;
T (*p); /* { dg-warning "array subscript 9 is outside array bounds of .\[a-z \]+\\\[9]." } */
T (p[1]); /* { dg-warning "array subscript 10 is outside array bounds of .\[a-z \]+\\\[9]." } */
T (p[99]); /* { dg-warning "array subscript 108 is outside array bounds of .\[a-z \]+\\\[9]." } */
}
void wide_ptr_index_cst (void)
{
const wchar_t *p = W7;
T (p[1]);
T (p[8]); /* { dg-warning "array subscript 8 is outside array bounds of .\[a-z \]+\\\[8]." } */
T (p[99]); /* { dg-warning "array subscript 99 is outside array bounds of .\[a-z \]+\\\[8]." } */
T (p[MAX]); /* { dg-warning "array subscript -?\[0-9\]+ is outside array bounds of .\[a-z \]+\\\[8]." } */
}
void wide_direct_range (ptrdiff_t i, size_t j)
{
T (W9[i]);
T (W9[j]);
T (W9[SR (MIN, -9)]); /* { dg-warning "array subscript -9 is below array bounds of .\[a-z \]+\\\[10]" } */
T (W9[SR (MIN, -1)]); /* { dg-warning "array subscript -1 is below array bounds of .\[a-z \]+\\\[10]" } */
T (W9[SR (MIN, 0)]);
T (W9[SR (-2, -1)]); /* { dg-warning "array subscript -1 is below array bounds of .\[a-z \]+\\\[10]" } */
T (W9[SR (1, 2)]);
T (W9[SR (1, 9)]);
T (W9[SR (1, 999)]);
T (W9[SR (9, 999)]);
T (W9[SR (10, 999)]); /* { dg-warning "array subscript 10 is above array bounds of .\[a-z \]+\\\[10]" } */
T (W9[SR (99, MAX)]); /* { dg-warning "array subscript 99 is above array bounds of .\[a-z \]+\\\[10]" } */
}
void wide_ptr_deref_range (ptrdiff_t i, size_t j)
{
const wchar_t *p;
p = W8 + i;
T (*p);
p = W8 + j;
T (*p);
p = W8 + SR (-9, -1);
T (*p); /* { dg-warning "array subscript \\\[-9, -1] is outside array bounds of .\[a-z \]+\\\[9]." } */
p = W8 + SR (-9, 0);
T (*p);
p = W8 + SR (-9, 9);
T (*p);
p = W8 + SR (9, 123);
T (*p); /* { dg-warning "array subscript \\\[9, 123] is outside array bounds of .\[a-z \]+\\\[9]." } */
}
void wide_ptr_index_range (void)
{
const wchar_t *p;
p = W7;
T (p[SR (-9, -1)]); /* { dg-warning "array subscript \\\[-9, -1] is outside array bounds of .\[a-z \]+\\\[8]." } */
T (p[SR (-8, 0)]);
T (p[SR (0, MAX)]);
T (p[SR (1, 9)]);
T (p[SR (8, 9)]); /* { dg-warning "array subscript \\\[8, 9] is outside array bounds of .\[a-z \]+\\\[8]." } */
p = W7 + SR (4, 6);
T (p[5]); /* { dg-warning "array subscript \\\[9, 11] is outside array bounds of .\[a-z \]+\\\[8]." } */
}
void wide_ptr_index_range_1 (void)
{
{
int i = SR (1, 2);
const wchar_t *p1 = W2 + i;
T (p1[0]);
}
{
int i = SR (1, 2);
const wchar_t *p1 = W2 + i;
T (p1[1]);
}
{
int i = SR (1, 2);
const wchar_t *p1 = W2 + i;
T (p1[2]); /* { dg-warning "array subscript \\\[3, 4] is outside array bounds of .\[a-z \]+\\\[3]." } */
}
}
void wide_ptr_index_range_chain (void)
{
int i = SR (1, 2);
{
const wchar_t *p1 = W2 + i;
const wchar_t *p2 = p1 + i;
const wchar_t *p3 = p2 + i;
T (p1[-3]); /* { dg-warning "array subscript \\\[-2, -1] is outside array bounds of .\[a-z \]+\\\[3]." } */
T (p1[-2]);
T (p1[-1]);
T (p1[0]);
T (p1[1]);
T (p1[2]); /* { dg-warning "array subscript \\\[3, 4] is outside array bounds of .\[a-z \]+\\\[3]." } */
T (p2[-5]); /* { dg-warning "array subscript \\\[-3, -1] is outside array bounds of .\[a-z \]+\\\[3]." } */
T (p2[-4]);
T (p2[-1]);
T (p2[0]);
T (p2[1]); /* { dg-warning "array subscript \\\[3, 5] is outside array bounds of .\[a-z \]+\\\[3]." } */
T (p3[0]); /* { dg-warning "array subscript \\\[3, 6] is outside array bounds of .\[a-z \]+\\\[3]." } */
T (p3[1]); /* { dg-warning "array subscript \\\[4, 7] is outside array bounds of .\[a-z \]+\\\[3]." } */
T (p3[9999]); /* { dg-warning "array subscript \\\[10002, 10005] is outside array bounds of .\[a-z \]+\\\[3]." "" { target size20plus} } */
/* { dg-warning "array subscript \\\[-6382, -6379] is outside array bounds of .\[a-z \]+\\\[3]." "" { target { ! size20plus } } .-1 } */
/* Large offsets are indistinguishable from negative values. */
T (p3[DIFF_MAX]); /* { dg-warning "array subscript" "bug" { xfail *-*-* } } */
}
{
const wchar_t *p1 = W3 + i;
const wchar_t *p2 = p1 + i;
const wchar_t *p3 = p2 + i;
const wchar_t *p4 = p3 + i;
T (p1[-3]); /* { dg-warning "array subscript \\\[-2, -1] is outside array bounds of .\[a-z \]+\\\[4]." } */
T (p1[-2]);
T (p1[1]);
T (p1[2]);
T (p1[3]); /* { dg-warning "array subscript \\\[4, 5] is outside array bounds of .\[a-z \]+\\\[4]." } */
T (p3[1]); /* { dg-warning "array subscript \\\[4, 7] is outside array bounds of .\[a-z \]+\\\[4]." } */
}
}
void wide_ptr_index_range_4 (void)
{
int i = SR (1, 2);
const wchar_t *p1 = W4 + i;
const wchar_t *p2 = p1 + i;
const wchar_t *p3 = p2 + i;
const wchar_t *p4 = p3 + i;
T (p4[1]); /* { dg-warning "array subscript \\\[5, 9] is outside array bounds of .\[a-z \]+\\\[5]." } */
}
|
