|
131
|
1 /* PR tree-optimization/83776: missing -Warray-bounds indexing past the end
|
|
|
2 of a string literal
|
|
|
3 Test to exercise indices into wide string literals.
|
|
|
4 { dg-do compile }
|
|
|
5 { dg-options "-O2 -Warray-bounds -ftrack-macro-expansion=0" } */
|
|
|
6
|
|
|
7 #include "range.h"
|
|
|
8
|
|
|
9 #define MAX DIFF_MAX
|
|
|
10 #define MIN DIFF_MIN
|
|
|
11
|
|
|
12 typedef __WCHAR_TYPE__ wchar_t;
|
|
|
13
|
|
|
14 #define W2 L"12"
|
|
|
15 #define W3 L"123"
|
|
|
16 #define W4 L"1234"
|
|
|
17 #define W7 L"1234567"
|
|
|
18 #define W8 L"12345678"
|
|
|
19 #define W9 L"123456789"
|
|
|
20
|
|
|
21 void sink (int);
|
|
|
22
|
|
|
23 #define T(expr) sink (expr)
|
|
|
24
|
|
|
25
|
|
|
26 void wide_direct_cst (void)
|
|
|
27 {
|
|
|
28 T (W9[MIN]); /* { dg-warning "array subscript -\[0-9\]+ is below array bounds of .\[a-z \]+\\\[10]" "bug 86611" { xfail ilp32 } } */
|
|
|
29 T (W9[-1]); /* { dg-warning "array subscript -1 is below array bounds of .\[a-z \]+\\\[10]" } */
|
|
|
30 T (W9[11]); /* { dg-warning "array subscript 11 is above array bounds of .\[a-z \]+\\\[10]" } */
|
|
|
31 T (W9[MAX]); /* { dg-warning "array subscript \[0-9\]+ is above array bounds of .\[a-z \]+\\\[10]" } */
|
|
|
32 }
|
|
|
33
|
|
|
34 void wide_ptr_deref_cst (void)
|
|
|
35 {
|
|
|
36 const wchar_t *p = W8 + 9;
|
|
|
37 T (*p); /* { dg-warning "array subscript 9 is outside array bounds of .\[a-z \]+\\\[9]." } */
|
|
|
38 T (p[1]); /* { dg-warning "array subscript 10 is outside array bounds of .\[a-z \]+\\\[9]." } */
|
|
|
39 T (p[99]); /* { dg-warning "array subscript 108 is outside array bounds of .\[a-z \]+\\\[9]." } */
|
|
|
40 }
|
|
|
41
|
|
|
42 void wide_ptr_index_cst (void)
|
|
|
43 {
|
|
|
44 const wchar_t *p = W7;
|
|
|
45
|
|
|
46 T (p[1]);
|
|
|
47 T (p[8]); /* { dg-warning "array subscript 8 is outside array bounds of .\[a-z \]+\\\[8]." } */
|
|
|
48 T (p[99]); /* { dg-warning "array subscript 99 is outside array bounds of .\[a-z \]+\\\[8]." } */
|
|
|
49 T (p[MAX]); /* { dg-warning "array subscript -?\[0-9\]+ is outside array bounds of .\[a-z \]+\\\[8]." } */
|
|
|
50 }
|
|
|
51
|
|
|
52
|
|
|
53 void wide_direct_range (ptrdiff_t i, size_t j)
|
|
|
54 {
|
|
|
55 T (W9[i]);
|
|
|
56 T (W9[j]);
|
|
|
57
|
|
|
58 T (W9[SR (MIN, -9)]); /* { dg-warning "array subscript -9 is below array bounds of .\[a-z \]+\\\[10]" } */
|
|
|
59 T (W9[SR (MIN, -1)]); /* { dg-warning "array subscript -1 is below array bounds of .\[a-z \]+\\\[10]" } */
|
|
|
60 T (W9[SR (MIN, 0)]);
|
|
|
61 T (W9[SR (-2, -1)]); /* { dg-warning "array subscript -1 is below array bounds of .\[a-z \]+\\\[10]" } */
|
|
|
62 T (W9[SR (1, 2)]);
|
|
|
63 T (W9[SR (1, 9)]);
|
|
|
64 T (W9[SR (1, 999)]);
|
|
|
65 T (W9[SR (9, 999)]);
|
|
|
66 T (W9[SR (10, 999)]); /* { dg-warning "array subscript 10 is above array bounds of .\[a-z \]+\\\[10]" } */
|
|
|
67 T (W9[SR (99, MAX)]); /* { dg-warning "array subscript 99 is above array bounds of .\[a-z \]+\\\[10]" } */
|
|
|
68 }
|
|
|
69
|
|
|
70 void wide_ptr_deref_range (ptrdiff_t i, size_t j)
|
|
|
71 {
|
|
|
72 const wchar_t *p;
|
|
|
73
|
|
|
74 p = W8 + i;
|
|
|
75 T (*p);
|
|
|
76
|
|
|
77 p = W8 + j;
|
|
|
78 T (*p);
|
|
|
79
|
|
|
80 p = W8 + SR (-9, -1);
|
|
|
81 T (*p); /* { dg-warning "array subscript \\\[-9, -1] is outside array bounds of .\[a-z \]+\\\[9]." } */
|
|
|
82
|
|
|
83 p = W8 + SR (-9, 0);
|
|
|
84 T (*p);
|
|
|
85
|
|
|
86 p = W8 + SR (-9, 9);
|
|
|
87 T (*p);
|
|
|
88
|
|
|
89 p = W8 + SR (9, 123);
|
|
|
90 T (*p); /* { dg-warning "array subscript \\\[9, 123] is outside array bounds of .\[a-z \]+\\\[9]." } */
|
|
|
91 }
|
|
|
92
|
|
|
93 void wide_ptr_index_range (void)
|
|
|
94 {
|
|
|
95 const wchar_t *p;
|
|
|
96
|
|
|
97 p = W7;
|
|
|
98 T (p[SR (-9, -1)]); /* { dg-warning "array subscript \\\[-9, -1] is outside array bounds of .\[a-z \]+\\\[8]." } */
|
|
|
99 T (p[SR (-8, 0)]);
|
|
|
100 T (p[SR (0, MAX)]);
|
|
|
101 T (p[SR (1, 9)]);
|
|
|
102 T (p[SR (8, 9)]); /* { dg-warning "array subscript \\\[8, 9] is outside array bounds of .\[a-z \]+\\\[8]." } */
|
|
|
103
|
|
|
104 p = W7 + SR (4, 6);
|
|
|
105 T (p[5]); /* { dg-warning "array subscript \\\[9, 11] is outside array bounds of .\[a-z \]+\\\[8]." } */
|
|
|
106 }
|
|
|
107
|
|
|
108 void wide_ptr_index_range_1 (void)
|
|
|
109 {
|
|
|
110 {
|
|
|
111 int i = SR (1, 2);
|
|
|
112 const wchar_t *p1 = W2 + i;
|
|
|
113
|
|
|
114 T (p1[0]);
|
|
|
115 }
|
|
|
116 {
|
|
|
117 int i = SR (1, 2);
|
|
|
118 const wchar_t *p1 = W2 + i;
|
|
|
119
|
|
|
120 T (p1[1]);
|
|
|
121 }
|
|
|
122 {
|
|
|
123 int i = SR (1, 2);
|
|
|
124 const wchar_t *p1 = W2 + i;
|
|
|
125
|
|
|
126 T (p1[2]); /* { dg-warning "array subscript \\\[3, 4] is outside array bounds of .\[a-z \]+\\\[3]." } */
|
|
|
127 }
|
|
|
128 }
|
|
|
129
|
|
|
130 void wide_ptr_index_range_chain (void)
|
|
|
131 {
|
|
|
132 int i = SR (1, 2);
|
|
|
133 {
|
|
|
134 const wchar_t *p1 = W2 + i;
|
|
|
135 const wchar_t *p2 = p1 + i;
|
|
|
136 const wchar_t *p3 = p2 + i;
|
|
|
137
|
|
|
138 T (p1[-3]); /* { dg-warning "array subscript \\\[-2, -1] is outside array bounds of .\[a-z \]+\\\[3]." } */
|
|
|
139 T (p1[-2]);
|
|
|
140 T (p1[-1]);
|
|
|
141 T (p1[0]);
|
|
|
142 T (p1[1]);
|
|
|
143 T (p1[2]); /* { dg-warning "array subscript \\\[3, 4] is outside array bounds of .\[a-z \]+\\\[3]." } */
|
|
|
144
|
|
|
145 T (p2[-5]); /* { dg-warning "array subscript \\\[-3, -1] is outside array bounds of .\[a-z \]+\\\[3]." } */
|
|
|
146 T (p2[-4]);
|
|
|
147 T (p2[-1]);
|
|
|
148 T (p2[0]);
|
|
|
149 T (p2[1]); /* { dg-warning "array subscript \\\[3, 5] is outside array bounds of .\[a-z \]+\\\[3]." } */
|
|
|
150
|
|
|
151 T (p3[0]); /* { dg-warning "array subscript \\\[3, 6] is outside array bounds of .\[a-z \]+\\\[3]." } */
|
|
|
152 T (p3[1]); /* { dg-warning "array subscript \\\[4, 7] is outside array bounds of .\[a-z \]+\\\[3]." } */
|
|
|
153 T (p3[9999]); /* { dg-warning "array subscript \\\[10002, 10005] is outside array bounds of .\[a-z \]+\\\[3]." } */
|
|
|
154
|
|
|
155 /* Large offsets are indistinguishable from negative values. */
|
|
|
156 T (p3[DIFF_MAX]); /* { dg-warning "array subscript" "bug" { xfail *-*-* } } */
|
|
|
157 }
|
|
|
158
|
|
|
159 {
|
|
|
160 const wchar_t *p1 = W3 + i;
|
|
|
161 const wchar_t *p2 = p1 + i;
|
|
|
162 const wchar_t *p3 = p2 + i;
|
|
|
163 const wchar_t *p4 = p3 + i;
|
|
|
164
|
|
|
165 T (p1[-3]); /* { dg-warning "array subscript \\\[-2, -1] is outside array bounds of .\[a-z \]+\\\[4]." } */
|
|
|
166 T (p1[-2]);
|
|
|
167 T (p1[1]);
|
|
|
168 T (p1[2]);
|
|
|
169 T (p1[3]); /* { dg-warning "array subscript \\\[4, 5] is outside array bounds of .\[a-z \]+\\\[4]." } */
|
|
|
170
|
|
|
171 T (p3[1]); /* { dg-warning "array subscript \\\[4, 7] is outside array bounds of .\[a-z \]+\\\[4]." } */
|
|
|
172 }
|
|
|
173 }
|
|
|
174
|
|
|
175 void wide_ptr_index_range_4 (void)
|
|
|
176 {
|
|
|
177 int i = SR (1, 2);
|
|
|
178 const wchar_t *p1 = W4 + i;
|
|
|
179 const wchar_t *p2 = p1 + i;
|
|
|
180 const wchar_t *p3 = p2 + i;
|
|
|
181 const wchar_t *p4 = p3 + i;
|
|
|
182
|
|
|
183 T (p4[1]); /* { dg-warning "array subscript \\\[5, 9] is outside array bounds of .\[a-z \]+\\\[5]." } */
|
|
|
184 }
|
