1 /* PR middle-end/101475 - missing -Wstringop-overflow storing a compound
2 literal
3 { dg-do compile }
4 { dg-options "-O2 -fno-tree-vectorize" } */
5
6 extern char ea1[1], ea2[2], ea3[3], ea4[4];
7
8 /* The trailing A member of all of Sx, S0, and S1 is treated the same:
9 as a flexible array member. */
10 struct Sx { char n, a[]; };
11 struct S0 { char n, a[0]; };
12 struct S1 { char n, a[1]; };
13 /* The trailing A member in both S2 and S3 is treated as an ordinary
14 array with exactly two elements and accesses to elements beyond
15 the last are diagnosed regardless of whether they are within
16 the bounds the enclosing object. */
17 struct S2 { char n, a[2]; };
18 struct S3 { char n, a[3]; };
19
20
21 void fx_ea1 (void)
22 {
23 struct Sx *p = (struct Sx*)ea1;
24 p->n = 0;
25 p->a[0] = 0; // { dg-warning "-Wstringop-overflow" }
26 p->a[1] = 1; // { dg-warning "-Wstringop-overflow" }
27 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
28 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
29 }
30
31 void f0_ea1 (void)
32 {
33 struct S0 *p = (struct S0*)ea1;
34 p->n = 0;
35 p->a[0] = 0; // { dg-warning "-Wstringop-overflow" }
36 p->a[1] = 1; // { dg-warning "-Wstringop-overflow" }
37 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
38 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
39 }
40
41 void f1_ea1 (void)
42 {
43 struct S1 *p = (struct S1*)ea1;
44 p->n = 0;
45 p->a[0] = 0; // { dg-warning "-Wstringop-overflow" }
46 p->a[1] = 1; // { dg-warning "-Wstringop-overflow" }
47 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
48 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
49 }
50
51 void f2_ea1 (void)
52 {
53 struct S2 *p = (struct S2*)ea1;
54 p->n = 0;
55 p->a[0] = 0; // { dg-warning "-Wstringop-overflow" }
56 p->a[1] = 1; // { dg-warning "-Wstringop-overflow" }
57 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
58 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
59 }
60
61 void f3_ea1 (void)
62 {
63 struct S3 *p = (struct S3*)ea1;
64 p->n = 0;
65 p->a[0] = 0; // { dg-warning "-Wstringop-overflow" }
66 p->a[1] = 1; // { dg-warning "-Wstringop-overflow" }
67 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
68 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
69 }
70
71
72 void fx_ea1_p1 (void)
73 {
74 struct Sx *p = (struct Sx*)(ea1 + 1);
75 p->n = 0; // { dg-warning "-Wstringop-overflow" }
76 p->a[0] = 0; // { dg-warning "-Wstringop-overflow" }
77 p->a[1] = 1; // { dg-warning "-Wstringop-overflow" }
78 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
79 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
80 }
81
82 void f0_ea1_p1 (void)
83 {
84 struct S0 *p = (struct S0*)(ea1 + 1);
85 p->n = 0; // { dg-warning "-Wstringop-overflow" }
86 p->a[0] = 0; // { dg-warning "-Wstringop-overflow" }
87 p->a[1] = 1; // { dg-warning "-Wstringop-overflow" }
88 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
89 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
90 }
91
92 void f1_ea1_p1 (void)
93 {
94 struct S1 *p = (struct S1*)(ea1 + 1);
95 p->n = 0; // { dg-warning "-Wstringop-overflow" }
96 p->a[0] = 0; // { dg-warning "-Wstringop-overflow" }
97 p->a[1] = 1; // { dg-warning "-Wstringop-overflow" }
98 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
99 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
100 }
101
102 void f2_ea1_p1 (void)
103 {
104 struct S2 *p = (struct S2*)(ea1 + 1);
105 p->n = 0; // { dg-warning "-Wstringop-overflow" }
106 p->a[0] = 0; // { dg-warning "-Wstringop-overflow" }
107 p->a[1] = 1; // { dg-warning "-Wstringop-overflow" }
108 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
109 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
110 }
111
112 void f3_ea1_p1 (void)
113 {
114 struct S3 *p = (struct S3*)(ea1 + 1);
115 p->n = 0; // { dg-warning "-Wstringop-overflow" }
116 p->a[0] = 0; // { dg-warning "-Wstringop-overflow" }
117 p->a[1] = 1; // { dg-warning "-Wstringop-overflow" }
118 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
119 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
120 }
121
122
123 void fx_ea2 (void)
124 {
125 struct Sx *p = (struct Sx*)ea2;
126 p->n = 0;
127 p->a[0] = 0;
128 p->a[1] = 1; // { dg-warning "-Wstringop-overflow" }
129 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
130 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
131 }
132
133 void f0_ea2 (void)
134 {
135 struct S0 *p = (struct S0*)ea2;
136 p->n = 0;
137 p->a[0] = 0;
138 p->a[1] = 1; // { dg-warning "-Wstringop-overflow" }
139 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
140 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
141 }
142
143 void f1_ea2 (void)
144 {
145 struct S1 *p = (struct S1*)ea2;
146 p->n = 0;
147 p->a[0] = 0;
148 p->a[1] = 1; // { dg-warning "-Wstringop-overflow" }
149 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
150 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
151 }
152
153 void f2_ea2 (void)
154 {
155 struct S2 *p = (struct S2*)ea2;
156 p->n = 0;
157 p->a[0] = 0;
158 p->a[1] = 1; // { dg-warning "-Wstringop-overflow" }
159 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
160 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
161 }
162
163 void f3_ea2 (void)
164 {
165 struct S3 *p = (struct S3*)ea2;
166 p->n = 0;
167 p->a[0] = 0;
168 p->a[1] = 1; // { dg-warning "-Wstringop-overflow" }
169 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
170 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
171 }
172
173
174 void fx_ea2_p1 (void)
175 {
176 struct Sx *p = (struct Sx*)(ea2 + 1);
177 p->n = 0;
178 p->a[0] = 0; // { dg-warning "-Wstringop-overflow" }
179 p->a[1] = 1; // { dg-warning "-Wstringop-overflow" }
180 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
181 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
182 }
183
184 void f0_ea2_p1 (void)
185 {
186 struct S0 *p = (struct S0*)(ea2 + 1);
187 p->n = 0;
188 p->a[0] = 0; // { dg-warning "-Wstringop-overflow" }
189 p->a[1] = 1; // { dg-warning "-Wstringop-overflow" }
190 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
191 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
192 }
193
194 void f1_ea2_p1 (void)
195 {
196 struct S1 *p = (struct S1*)(ea2 + 1);
197 p->n = 0;
198 p->a[0] = 0; // { dg-warning "-Wstringop-overflow" }
199 p->a[1] = 1; // { dg-warning "-Wstringop-overflow" }
200 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
201 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
202 }
203
204 void f2_ea2_p1 (void)
205 {
206 struct S2 *p = (struct S2*)(ea2 + 1);
207 p->n = 0;
208 p->a[0] = 0; // { dg-warning "-Wstringop-overflow" }
209 p->a[1] = 1; // { dg-warning "-Wstringop-overflow" }
210 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
211 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
212 }
213
214 void f3_ea2_p1 (void)
215 {
216 struct S3 *p = (struct S3*)(ea2 + 1);
217 p->n = 0;
218 p->a[0] = 0; // { dg-warning "-Wstringop-overflow" }
219 p->a[1] = 1; // { dg-warning "-Wstringop-overflow" }
220 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
221 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
222 }
223
224
225 void fx_ea3 (void)
226 {
227 struct Sx *p = (struct Sx*)ea3;
228 p->n = 0;
229 p->a[0] = 0;
230 p->a[1] = 1;
231 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
232 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
233 }
234
235 void f0_ea3 (void)
236 {
237 struct S0 *p = (struct S0*)ea3;
238 p->n = 0;
239 p->a[0] = 0;
240 p->a[1] = 1;
241 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
242 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
243 }
244
245 void f1_ea3 (void)
246 {
247 struct S1 *p = (struct S1*)ea3;
248 p->n = 0;
249 p->a[0] = 0;
250 p->a[1] = 1;
251 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
252 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
253 }
254
255 void f2_ea3 (void)
256 {
257 struct S2 *p = (struct S2*)ea3;
258 p->n = 0;
259 p->a[0] = 0;
260 p->a[1] = 1;
261 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
262 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
263 }
264
265 void f3_ea3 (void)
266 {
267 struct S3 *p = (struct S3*)ea3;
268 p->n = 0;
269 p->a[0] = 0;
270 p->a[1] = 1;
271 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
272 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
273 }
274
275
276 void fx_ea4 (void)
277 {
278 struct Sx *p = (struct Sx*)ea4;
279 p->n = 0;
280 p->a[0] = 0;
281 p->a[1] = 1;
282 p->a[2] = 2;
283 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
284 }
285
286 void f0_ea4 (void)
287 {
288 struct S0 *p = (struct S0*)ea4;
289 p->n = 0;
290 p->a[0] = 0;
291 p->a[1] = 1;
292 p->a[2] = 2;
293 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
294 }
295
296 void f1_ea4 (void)
297 {
298 struct S1 *p = (struct S1*)ea4;
299 p->n = 0;
300 p->a[0] = 0;
301 p->a[1] = 1;
302 p->a[2] = 2;
303 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
304 }
305
306 void f2_ea4 (void)
307 {
308 struct S2 *p = (struct S2*)ea4;
309 p->n = 0;
310 p->a[0] = 0;
311 p->a[1] = 1;
312 /* Even though the offset of p->a[2] is within the bounds of EA4
313 the warning triggers because it only considers trailing arrays
314 of at mnost one element as "poor man's flexible arrays." */
315 p->a[2] = 2; // { dg-warning "-Wstringop-overflow" }
316 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
317 }
318
319 void f3_ea4 (void)
320 {
321 struct S3 *p = (struct S3*)ea4;
322 p->n = 0;
323 p->a[0] = 0;
324 p->a[1] = 1;
325 p->a[2] = 2;
326 p->a[3] = 3; // { dg-warning "-Wstringop-overflow" }
327 }