1 /* PR middle-end/91631 - buffer overflow into an array member of a declared
2 object not detected
3 Test to verify that past-the-end accesses by string functions to member
4 arrays by-reference objects are diagnosed.
5 { dg-do compile }
6 { dg-options "-O2 -Wall -Wno-unused-local-typedefs -ftrack-macro-expansion=0" } */
7
8 extern char* strcpy (char*, const char*);
9 extern char* strcat (char*, const char*);
10
11 void sink (void*, ...);
12
13 #define S36 "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ"
14
15 #define S(N) (S36 + sizeof (S36) - N - 1)
16
17 /* In the test macro, prevent the strcpy to memcpy transformation
18 by using a local array initialized with the string literal. Without
19 it, GCC transforms the strcpy call with memcpy which (unfortunately)
20 permits accesses that cross subobject boundaries. */
21 #define T(dst, ncpy, ncat) \
22 do { \
23 const char a[] = S36; \
24 strcpy (dst, a + sizeof a - ncpy - 1); \
25 const char b[] = S36; \
26 strcat (dst, b + sizeof b - ncat - 1); \
27 sink (dst); \
28 } while (0)
29
30
31 struct MemArrays
32 {
33 char a7[7]; // { dg-message "'a7' declared here" }
34 char a4[4]; // { dg-message "'a4' declared here" }
35 char a3[3]; // { dg-message "'a3' declared here" }
36 };
37
38 struct MemArrays gma;
39
40 void strcat_value (void)
41 {
42 T (gma.a7, 1, 1);
43 T (gma.a7, 1, 5);
44 T (gma.a7, 1, 6); // { dg-warning "'strcat' offset 7 from the object at 'gma' is out of the bounds of referenced subobject 'a7' with type 'char\\\[7]' at offset 0" }
45 T (gma.a7, 1, 7); // { dg-warning "'strcat' offset \\\[7, 8] from the object at 'gma' is out of the bounds of referenced subobject 'a7' with type 'char\\\[7]' at offset 0" }
46
47 T (gma.a7, 2, 1);
48 T (gma.a7, 2, 4);
49 T (gma.a7, 2, 5); // { dg-warning "'strcat' offset 7 from the object at 'gma' is out of the bounds of referenced subobject 'a7' with type 'char\\\[7]' at offset 0" }
50 T (gma.a7, 2, 6); // { dg-warning "'strcat' offset \\\[7, 8] from the object at 'gma' is out of the bounds of referenced subobject 'a7' with type 'char\\\[7]' at offset 0" }
51
52 T (gma.a7, 5, 1);
53 T (gma.a7, 5, 2); // { dg-warning "'strcat' offset 7 from the object at 'gma' is out of the bounds of referenced subobject 'a7' with type 'char\\\[7]' at offset 0" }
54
55 T (gma.a4, 1, 1);
56 T (gma.a4, 1, 2);
57 T (gma.a4, 1, 3); // { dg-warning "'strcat' offset 11 from the object at 'gma' is out of the bounds of referenced subobject 'a4' with type 'char\\\[4]' at offset 7" }
58 T (gma.a4, 1, 4); // { dg-warning "'strcat' offset \\\[11, 12] from the object at 'gma' is out of the bounds of referenced subobject 'a4' with type 'char\\\[4]' at offset 7" }
59
60 T (gma.a4, 2, 3); // { dg-warning "'strcat' offset \\\[11, 12] from the object at 'gma' is out of the bounds of referenced subobject 'a4' with type 'char\\\[4]' at offset 7" }
61
62 T (gma.a3, 1, 1);
63 T (gma.a3, 1, 2); // { dg-warning "'strcat' offset 14 from the object at 'gma' is out of the bounds of referenced subobject 'a3' with type 'char\\\[3]' at offset 11" }
64 }
65
66
67 void strcat_ref (struct MemArrays *pma)
68 {
69 T (pma->a7, 1, 1);
70 T (pma->a7, 1, 5);
71 T (pma->a7, 1, 6); // { dg-warning "'strcat' offset 7 from the object at 'pma' is out of the bounds of referenced subobject 'a7' with type 'char\\\[7]' at offset 0" }
72 T (pma->a7, 1, 7); // { dg-warning "'strcat' offset \\\[7, 8] from the object at 'pma' is out of the bounds of referenced subobject 'a7' with type 'char\\\[7]' at offset 0" }
73
74 T (pma->a7, 2, 1);
75 T (pma->a7, 2, 4);
76 T (pma->a7, 2, 5); // { dg-warning "'strcat' offset 7 from the object at 'pma' is out of the bounds of referenced subobject 'a7' with type 'char\\\[7]' at offset 0" }
77 T (pma->a7, 2, 6); // { dg-warning "'strcat' offset \\\[7, 8] from the object at 'pma' is out of the bounds of referenced subobject 'a7' with type 'char\\\[7]' at offset 0" }
78
79 T (pma->a4, 1, 1);
80 T (pma->a4, 1, 2);
81 T (pma->a4, 1, 3); // { dg-warning "'strcat' offset 11 from the object at 'pma' is out of the bounds of referenced subobject 'a4' with type 'char\\\[4]' at offset 7" }
82 T (pma->a4, 1, 4); // { dg-warning "'strcat' offset \\\[11, 12] from the object at 'pma' is out of the bounds of referenced subobject 'a4' with type 'char\\\[4]' at offset 7" }
83
84 T (pma->a4, 2, 3); // { dg-warning "'strcat' offset \\\[11, 12] from the object at 'pma' is out of the bounds of referenced subobject 'a4' with type 'char\\\[4]' at offset 7" }
85
86 T (pma->a3, 1, 1);
87 T (pma->a3, 1, 2); // { dg-warning "'strcat' offset 14 from the object at 'pma' is out of the bounds of referenced subobject 'a3' with type 'char\\\[3]' at offset 11" }
88 }
89
90
91 #define T2(dst1, dst2, ncpy, ncat) \
92 do { \
93 const char a[] = S36; \
94 strcpy (dst1, a + sizeof a - ncpy - 1); \
95 const char b[] = S36; \
96 strcat (dst2, b + sizeof b - ncat - 1); \
97 sink (dst1, dst2); \
98 } while (0)
99
100 struct ArraysOfMemArrays
101 {
102 struct MemArrays ma3[3];
103 } a3[3];
104
105 void strcat_arrays_of_arrays_value (void)
106 {
107 T2 (a3[0].ma3[0].a7, a3[0].ma3[0].a7, 6, 6); // { dg-warning "\\\[-Warray-bounds" }
108 T2 (a3[0].ma3[0].a7, a3[0].ma3[1].a7, 6, 6);
109 T2 (a3[0].ma3[0].a7, a3[0].ma3[2].a7, 6, 6);
110
111 T2 (a3[0].ma3[1].a7, a3[0].ma3[0].a7, 6, 6);
112 T2 (a3[0].ma3[1].a7, a3[0].ma3[1].a7, 6, 6); // { dg-warning "\\\[-Warray-bounds" }
113 T2 (a3[0].ma3[1].a7, a3[0].ma3[2].a7, 6, 6);
114
115 T2 (a3[0].ma3[2].a7, a3[0].ma3[0].a7, 6, 6);
116 T2 (a3[0].ma3[2].a7, a3[0].ma3[1].a7, 6, 6);
117 T2 (a3[0].ma3[2].a7, a3[0].ma3[2].a7, 6, 6); // { dg-warning "\\\[-Warray-bounds" }
118
119 T2 (a3[0].ma3[0].a7, a3[1].ma3[0].a7, 6, 6);
120 T2 (a3[0].ma3[0].a7, a3[1].ma3[1].a7, 6, 6);
121 T2 (a3[0].ma3[0].a7, a3[1].ma3[2].a7, 6, 6);
122
123 T2 (a3[0].ma3[1].a7, a3[1].ma3[0].a7, 6, 6);
124 T2 (a3[0].ma3[1].a7, a3[1].ma3[1].a7, 6, 6);
125 T2 (a3[0].ma3[1].a7, a3[1].ma3[2].a7, 6, 6);
126
127 T2 (a3[0].ma3[2].a7, a3[1].ma3[0].a7, 6, 6);
128 T2 (a3[0].ma3[2].a7, a3[1].ma3[1].a7, 6, 6);
129 T2 (a3[0].ma3[2].a7, a3[1].ma3[2].a7, 6, 6);
130
131 T2 (a3[0].ma3[0].a7, a3[2].ma3[0].a7, 6, 6);
132 T2 (a3[0].ma3[0].a7, a3[2].ma3[1].a7, 6, 6);
133 T2 (a3[0].ma3[0].a7, a3[2].ma3[2].a7, 6, 6);
134
135 T2 (a3[0].ma3[1].a7, a3[2].ma3[0].a7, 6, 6);
136 T2 (a3[0].ma3[1].a7, a3[2].ma3[1].a7, 6, 6);
137 T2 (a3[0].ma3[1].a7, a3[2].ma3[2].a7, 6, 6);
138
139 T2 (a3[0].ma3[2].a7, a3[2].ma3[0].a7, 6, 6);
140 T2 (a3[0].ma3[2].a7, a3[2].ma3[1].a7, 6, 6);
141 T2 (a3[0].ma3[2].a7, a3[2].ma3[2].a7, 6, 6);
142
143
144 T2 (a3[1].ma3[0].a7, a3[0].ma3[0].a7, 6, 6);
145 T2 (a3[1].ma3[0].a7, a3[0].ma3[1].a7, 6, 6);
146 T2 (a3[1].ma3[0].a7, a3[0].ma3[2].a7, 6, 6);
147
148 T2 (a3[1].ma3[1].a7, a3[0].ma3[0].a7, 6, 6);
149 T2 (a3[1].ma3[1].a7, a3[0].ma3[1].a7, 6, 6);
150 T2 (a3[1].ma3[1].a7, a3[0].ma3[2].a7, 6, 6);
151
152 T2 (a3[1].ma3[2].a7, a3[0].ma3[0].a7, 6, 6);
153 T2 (a3[1].ma3[2].a7, a3[0].ma3[1].a7, 6, 6);
154 T2 (a3[1].ma3[2].a7, a3[0].ma3[2].a7, 6, 6);
155
156 T2 (a3[1].ma3[0].a7, a3[1].ma3[0].a7, 6, 6); // { dg-warning "\\\[-Warray-bounds" }
157 T2 (a3[1].ma3[0].a7, a3[1].ma3[1].a7, 6, 6);
158 T2 (a3[1].ma3[0].a7, a3[1].ma3[2].a7, 6, 6);
159
160 T2 (a3[1].ma3[1].a7, a3[1].ma3[0].a7, 6, 6);
161 T2 (a3[1].ma3[1].a7, a3[1].ma3[1].a7, 6, 6); // { dg-warning "\\\[-Warray-bounds" }
162 T2 (a3[1].ma3[1].a7, a3[1].ma3[2].a7, 6, 6);
163
164 T2 (a3[1].ma3[2].a7, a3[1].ma3[0].a7, 6, 6);
165 T2 (a3[1].ma3[2].a7, a3[1].ma3[1].a7, 6, 6);
166 T2 (a3[1].ma3[2].a7, a3[1].ma3[2].a7, 6, 6); // { dg-warning "\\\[-Warray-bounds" }
167
168 T2 (a3[1].ma3[0].a7, a3[2].ma3[0].a7, 6, 6);
169 T2 (a3[1].ma3[0].a7, a3[2].ma3[1].a7, 6, 6);
170 T2 (a3[1].ma3[0].a7, a3[2].ma3[2].a7, 6, 6);
171
172 T2 (a3[1].ma3[1].a7, a3[2].ma3[0].a7, 6, 6);
173 T2 (a3[1].ma3[1].a7, a3[2].ma3[1].a7, 6, 6);
174 T2 (a3[1].ma3[1].a7, a3[2].ma3[2].a7, 6, 6);
175
176 T2 (a3[1].ma3[2].a7, a3[2].ma3[0].a7, 6, 6);
177 T2 (a3[1].ma3[2].a7, a3[2].ma3[1].a7, 6, 6);
178 T2 (a3[1].ma3[2].a7, a3[2].ma3[2].a7, 6, 6);
179
180
181 T2 (a3[2].ma3[0].a7, a3[0].ma3[0].a7, 6, 6);
182 T2 (a3[2].ma3[0].a7, a3[0].ma3[1].a7, 6, 6);
183 T2 (a3[2].ma3[0].a7, a3[0].ma3[2].a7, 6, 6);
184
185 T2 (a3[2].ma3[1].a7, a3[0].ma3[0].a7, 6, 6);
186 T2 (a3[2].ma3[1].a7, a3[0].ma3[1].a7, 6, 6);
187 T2 (a3[2].ma3[1].a7, a3[0].ma3[2].a7, 6, 6);
188
189 T2 (a3[2].ma3[2].a7, a3[0].ma3[0].a7, 6, 6);
190 T2 (a3[2].ma3[2].a7, a3[0].ma3[1].a7, 6, 6);
191 T2 (a3[2].ma3[2].a7, a3[0].ma3[2].a7, 6, 6);
192
193 T2 (a3[2].ma3[0].a7, a3[1].ma3[0].a7, 6, 6);
194 T2 (a3[2].ma3[0].a7, a3[1].ma3[1].a7, 6, 6);
195 T2 (a3[2].ma3[0].a7, a3[1].ma3[2].a7, 6, 6);
196
197 T2 (a3[2].ma3[1].a7, a3[1].ma3[0].a7, 6, 6);
198 T2 (a3[2].ma3[1].a7, a3[1].ma3[1].a7, 6, 6);
199 T2 (a3[2].ma3[1].a7, a3[1].ma3[2].a7, 6, 6);
200
201 T2 (a3[2].ma3[2].a7, a3[1].ma3[0].a7, 6, 6);
202 T2 (a3[2].ma3[2].a7, a3[1].ma3[1].a7, 6, 6);
203 T2 (a3[2].ma3[2].a7, a3[1].ma3[2].a7, 6, 6);
204
205 T2 (a3[2].ma3[0].a7, a3[2].ma3[0].a7, 6, 6); // { dg-warning "\\\[-Warray-bounds" }
206 T2 (a3[2].ma3[0].a7, a3[2].ma3[1].a7, 6, 6);
207 T2 (a3[2].ma3[0].a7, a3[2].ma3[2].a7, 6, 6);
208
209 T2 (a3[2].ma3[1].a7, a3[2].ma3[0].a7, 6, 6);
210 T2 (a3[2].ma3[1].a7, a3[2].ma3[1].a7, 6, 6); // { dg-warning "\\\[-Warray-bounds" }
211 T2 (a3[2].ma3[1].a7, a3[2].ma3[2].a7, 6, 6);
212
213 T2 (a3[2].ma3[2].a7, a3[2].ma3[0].a7, 6, 6);
214 T2 (a3[2].ma3[2].a7, a3[2].ma3[1].a7, 6, 6);
215 T2 (a3[2].ma3[2].a7, a3[2].ma3[2].a7, 6, 6); // { dg-warning "\\\[-Warray-bounds" }
216 }
217
218
219 void strcat_arrays_of_arrays_ref (struct ArraysOfMemArrays *p)
220 {
221 T2 (p[0].ma3[0].a7, p[0].ma3[0].a7, 6, 6); // { dg-warning "\\\[-Warray-bounds" }
222 T2 (p[0].ma3[0].a7, p[0].ma3[1].a7, 6, 6);
223 T2 (p[0].ma3[0].a7, p[0].ma3[2].a7, 6, 6);
224
225 T2 (p[0].ma3[1].a7, p[0].ma3[0].a7, 6, 6);
226 T2 (p[0].ma3[1].a7, p[0].ma3[1].a7, 6, 6); // { dg-warning "\\\[-Warray-bounds" }
227 T2 (p[0].ma3[1].a7, p[0].ma3[2].a7, 6, 6);
228
229 T2 (p[0].ma3[2].a7, p[0].ma3[0].a7, 6, 6);
230 T2 (p[0].ma3[2].a7, p[0].ma3[1].a7, 6, 6);
231 T2 (p[0].ma3[2].a7, p[0].ma3[2].a7, 6, 6); // { dg-warning "\\\[-Warray-bounds" }
232
233 T2 (p[0].ma3[0].a7, p[1].ma3[0].a7, 6, 6);
234 T2 (p[0].ma3[0].a7, p[1].ma3[1].a7, 6, 6);
235 T2 (p[0].ma3[0].a7, p[1].ma3[2].a7, 6, 6);
236
237 T2 (p[0].ma3[1].a7, p[1].ma3[0].a7, 6, 6);
238 T2 (p[0].ma3[1].a7, p[1].ma3[1].a7, 6, 6);
239 T2 (p[0].ma3[1].a7, p[1].ma3[2].a7, 6, 6);
240
241 T2 (p[0].ma3[2].a7, p[1].ma3[0].a7, 6, 6);
242 T2 (p[0].ma3[2].a7, p[1].ma3[1].a7, 6, 6);
243 T2 (p[0].ma3[2].a7, p[1].ma3[2].a7, 6, 6);
244
245 T2 (p[0].ma3[0].a7, p[2].ma3[0].a7, 6, 6);
246 T2 (p[0].ma3[0].a7, p[2].ma3[1].a7, 6, 6);
247 T2 (p[0].ma3[0].a7, p[2].ma3[2].a7, 6, 6);
248
249 T2 (p[0].ma3[1].a7, p[2].ma3[0].a7, 6, 6);
250 T2 (p[0].ma3[1].a7, p[2].ma3[1].a7, 6, 6);
251 T2 (p[0].ma3[1].a7, p[2].ma3[2].a7, 6, 6);
252
253 T2 (p[0].ma3[2].a7, p[2].ma3[0].a7, 6, 6);
254 T2 (p[0].ma3[2].a7, p[2].ma3[1].a7, 6, 6);
255 T2 (p[0].ma3[2].a7, p[2].ma3[2].a7, 6, 6);
256
257
258 T2 (p[1].ma3[0].a7, p[0].ma3[0].a7, 6, 6);
259 T2 (p[1].ma3[0].a7, p[0].ma3[1].a7, 6, 6);
260 T2 (p[1].ma3[0].a7, p[0].ma3[2].a7, 6, 6);
261
262 T2 (p[1].ma3[1].a7, p[0].ma3[0].a7, 6, 6);
263 T2 (p[1].ma3[1].a7, p[0].ma3[1].a7, 6, 6);
264 T2 (p[1].ma3[1].a7, p[0].ma3[2].a7, 6, 6);
265
266 T2 (p[1].ma3[2].a7, p[0].ma3[0].a7, 6, 6);
267 T2 (p[1].ma3[2].a7, p[0].ma3[1].a7, 6, 6);
268 T2 (p[1].ma3[2].a7, p[0].ma3[2].a7, 6, 6);
269
270 T2 (p[1].ma3[0].a7, p[1].ma3[0].a7, 6, 6); // { dg-warning "\\\[-Warray-bounds" }
271 T2 (p[1].ma3[0].a7, p[1].ma3[1].a7, 6, 6);
272 T2 (p[1].ma3[0].a7, p[1].ma3[2].a7, 6, 6);
273
274 T2 (p[1].ma3[1].a7, p[1].ma3[0].a7, 6, 6);
275 T2 (p[1].ma3[1].a7, p[1].ma3[1].a7, 6, 6); // { dg-warning "\\\[-Warray-bounds" }
276 T2 (p[1].ma3[1].a7, p[1].ma3[2].a7, 6, 6);
277
278 T2 (p[1].ma3[2].a7, p[1].ma3[0].a7, 6, 6);
279 T2 (p[1].ma3[2].a7, p[1].ma3[1].a7, 6, 6);
280 T2 (p[1].ma3[2].a7, p[1].ma3[2].a7, 6, 6); // { dg-warning "\\\[-Warray-bounds" }
281
282 T2 (p[1].ma3[0].a7, p[2].ma3[0].a7, 6, 6);
283 T2 (p[1].ma3[0].a7, p[2].ma3[1].a7, 6, 6);
284 T2 (p[1].ma3[0].a7, p[2].ma3[2].a7, 6, 6);
285
286 T2 (p[1].ma3[1].a7, p[2].ma3[0].a7, 6, 6);
287 T2 (p[1].ma3[1].a7, p[2].ma3[1].a7, 6, 6);
288 T2 (p[1].ma3[1].a7, p[2].ma3[2].a7, 6, 6);
289
290 T2 (p[1].ma3[2].a7, p[2].ma3[0].a7, 6, 6);
291 T2 (p[1].ma3[2].a7, p[2].ma3[1].a7, 6, 6);
292 T2 (p[1].ma3[2].a7, p[2].ma3[2].a7, 6, 6);
293
294
295 T2 (p[2].ma3[0].a7, p[0].ma3[0].a7, 6, 6);
296 T2 (p[2].ma3[0].a7, p[0].ma3[1].a7, 6, 6);
297 T2 (p[2].ma3[0].a7, p[0].ma3[2].a7, 6, 6);
298
299 T2 (p[2].ma3[1].a7, p[0].ma3[0].a7, 6, 6);
300 T2 (p[2].ma3[1].a7, p[0].ma3[1].a7, 6, 6);
301 T2 (p[2].ma3[1].a7, p[0].ma3[2].a7, 6, 6);
302
303 T2 (p[2].ma3[2].a7, p[0].ma3[0].a7, 6, 6);
304 T2 (p[2].ma3[2].a7, p[0].ma3[1].a7, 6, 6);
305 T2 (p[2].ma3[2].a7, p[0].ma3[2].a7, 6, 6);
306
307 T2 (p[2].ma3[0].a7, p[1].ma3[0].a7, 6, 6);
308 T2 (p[2].ma3[0].a7, p[1].ma3[1].a7, 6, 6);
309 T2 (p[2].ma3[0].a7, p[1].ma3[2].a7, 6, 6);
310
311 T2 (p[2].ma3[1].a7, p[1].ma3[0].a7, 6, 6);
312 T2 (p[2].ma3[1].a7, p[1].ma3[1].a7, 6, 6);
313 T2 (p[2].ma3[1].a7, p[1].ma3[2].a7, 6, 6);
314
315 T2 (p[2].ma3[2].a7, p[1].ma3[0].a7, 6, 6);
316 T2 (p[2].ma3[2].a7, p[1].ma3[1].a7, 6, 6);
317 T2 (p[2].ma3[2].a7, p[1].ma3[2].a7, 6, 6);
318
319 T2 (p[2].ma3[0].a7, p[2].ma3[0].a7, 6, 6); // { dg-warning "\\\[-Warray-bounds" }
320 T2 (p[2].ma3[0].a7, p[2].ma3[1].a7, 6, 6);
321 T2 (p[2].ma3[0].a7, p[2].ma3[2].a7, 6, 6);
322
323 T2 (p[2].ma3[1].a7, p[2].ma3[0].a7, 6, 6);
324 T2 (p[2].ma3[1].a7, p[2].ma3[1].a7, 6, 6); // { dg-warning "\\\[-Warray-bounds" }
325 T2 (p[2].ma3[1].a7, p[2].ma3[2].a7, 6, 6);
326
327 T2 (p[2].ma3[2].a7, p[2].ma3[0].a7, 6, 6);
328 T2 (p[2].ma3[2].a7, p[2].ma3[1].a7, 6, 6);
329 T2 (p[2].ma3[2].a7, p[2].ma3[2].a7, 6, 6); // { dg-warning "\\\[-Warray-bounds" }
330 }