]>
Commit | Line | Data |
---|---|---|
10a0d495 JJ |
1 | /* { dg-do run } */ |
2 | /* { dg-options "-O2" } */ | |
e2acc079 | 3 | /* { dg-require-effective-target alloca } */ |
10a0d495 JJ |
4 | |
5 | typedef __SIZE_TYPE__ size_t; | |
6 | extern void abort (void); | |
7 | extern void exit (int); | |
8 | extern void *malloc (size_t); | |
9 | extern void *calloc (size_t, size_t); | |
10 | extern void *alloca (size_t); | |
11 | extern void *memcpy (void *, const void *, size_t); | |
12 | extern void *memset (void *, int, size_t); | |
13 | extern char *strcpy (char *, const char *); | |
14 | ||
15 | struct A | |
16 | { | |
17 | char a[10]; | |
18 | int b; | |
19 | char c[10]; | |
20 | } y, w[4]; | |
21 | ||
22 | extern char exta[]; | |
23 | extern char extb[30]; | |
24 | extern struct A extc[]; | |
25 | struct A zerol[0]; | |
26 | ||
27 | void | |
28 | __attribute__ ((noinline)) | |
29 | test1 (void *q, int x) | |
30 | { | |
31 | struct A a; | |
32 | void *p = &a.a[3], *r; | |
33 | char var[x + 10]; | |
34 | struct A vara[x + 10]; | |
35 | if (x < 0) | |
36 | r = &a.a[9]; | |
37 | else | |
38 | r = &a.c[1]; | |
39 | if (__builtin_object_size (p, 3) != sizeof (a.a) - 3) | |
40 | abort (); | |
41 | if (__builtin_object_size (&a.c[9], 3) | |
42 | != sizeof (a.c) - 9) | |
43 | abort (); | |
44 | if (__builtin_object_size (q, 3) != 0) | |
45 | abort (); | |
46 | if (__builtin_object_size (r, 3) != sizeof (a.a) - 9) | |
47 | abort (); | |
48 | if (x < 6) | |
49 | r = &w[2].a[1]; | |
50 | else | |
51 | r = &a.a[6]; | |
52 | if (__builtin_object_size (&y, 3) != sizeof (y)) | |
53 | abort (); | |
54 | if (__builtin_object_size (w, 3) != sizeof (w)) | |
55 | abort (); | |
56 | if (__builtin_object_size (&y.b, 3) != sizeof (a.b)) | |
57 | abort (); | |
58 | if (__builtin_object_size (r, 3) != sizeof (a.a) - 6) | |
59 | abort (); | |
60 | if (x < 20) | |
61 | r = malloc (30); | |
62 | else | |
63 | r = calloc (2, 16); | |
64 | if (__builtin_object_size (r, 3) != 30) | |
65 | abort (); | |
66 | if (x < 20) | |
67 | r = malloc (30); | |
68 | else | |
69 | r = calloc (2, 14); | |
70 | if (__builtin_object_size (r, 3) != 2 * 14) | |
71 | abort (); | |
72 | if (x < 30) | |
73 | r = malloc (sizeof (a)); | |
74 | else | |
75 | r = &a.a[3]; | |
76 | if (__builtin_object_size (r, 3) != sizeof (a.a) - 3) | |
77 | abort (); | |
78 | r = memcpy (r, "a", 2); | |
79 | if (__builtin_object_size (r, 3) != sizeof (a.a) - 3) | |
80 | abort (); | |
81 | r = memcpy (r + 2, "b", 2) + 2; | |
82 | if (__builtin_object_size (r, 3) != sizeof (a.a) - 3 - 4) | |
83 | abort (); | |
84 | r = &a.a[4]; | |
85 | r = memset (r, 'a', 2); | |
86 | if (__builtin_object_size (r, 3) != sizeof (a.a) - 4) | |
87 | abort (); | |
88 | r = memset (r + 2, 'b', 2) + 2; | |
89 | if (__builtin_object_size (r, 3) != sizeof (a.a) - 8) | |
90 | abort (); | |
91 | r = &a.a[1]; | |
92 | r = strcpy (r, "ab"); | |
93 | if (__builtin_object_size (r, 3) != sizeof (a.a) - 1) | |
94 | abort (); | |
95 | r = strcpy (r + 2, "cd") + 2; | |
96 | if (__builtin_object_size (r, 3) != sizeof (a.a) - 5) | |
97 | abort (); | |
98 | if (__builtin_object_size (exta, 3) != 0) | |
99 | abort (); | |
100 | if (__builtin_object_size (exta + 10, 3) != 0) | |
101 | abort (); | |
102 | if (__builtin_object_size (&exta[5], 3) != 0) | |
103 | abort (); | |
104 | if (__builtin_object_size (extb, 3) != sizeof (extb)) | |
105 | abort (); | |
106 | if (__builtin_object_size (extb + 10, 3) != sizeof (extb) - 10) | |
107 | abort (); | |
108 | if (__builtin_object_size (&extb[5], 3) != sizeof (extb) - 5) | |
109 | abort (); | |
110 | if (__builtin_object_size (extc, 3) != 0) | |
111 | abort (); | |
112 | if (__builtin_object_size (extc + 10, 3) != 0) | |
113 | abort (); | |
114 | if (__builtin_object_size (&extc[5], 3) != 0) | |
115 | abort (); | |
116 | if (__builtin_object_size (&extc->a, 3) != 0) | |
117 | abort (); | |
118 | if (__builtin_object_size (&(extc + 10)->b, 3) != 0) | |
119 | abort (); | |
120 | if (__builtin_object_size (&extc[5].c[3], 3) != 0) | |
121 | abort (); | |
122 | if (__builtin_object_size (var, 3) != 0) | |
123 | abort (); | |
124 | if (__builtin_object_size (var + 10, 3) != 0) | |
125 | abort (); | |
126 | if (__builtin_object_size (&var[5], 3) != 0) | |
127 | abort (); | |
128 | if (__builtin_object_size (vara, 3) != 0) | |
129 | abort (); | |
130 | if (__builtin_object_size (vara + 10, 3) != 0) | |
131 | abort (); | |
132 | if (__builtin_object_size (&vara[5], 3) != 0) | |
133 | abort (); | |
eb9ed98a | 134 | if (__builtin_object_size (&vara[0].a, 3) != sizeof (vara[0].a)) |
10a0d495 | 135 | abort (); |
eb9ed98a | 136 | if (__builtin_object_size (&vara[10].a[0], 3) != sizeof (vara[0].a)) |
10a0d495 | 137 | abort (); |
eb9ed98a | 138 | if (__builtin_object_size (&vara[5].a[4], 3) != sizeof (vara[0].a) - 4) |
10a0d495 | 139 | abort (); |
eb9ed98a | 140 | if (__builtin_object_size (&vara[5].b, 3) != sizeof (vara[0].b)) |
10a0d495 | 141 | abort (); |
eb9ed98a | 142 | if (__builtin_object_size (&vara[7].c[7], 3) != sizeof (vara[0].c) - 7) |
10a0d495 JJ |
143 | abort (); |
144 | if (__builtin_object_size (zerol, 3) != 0) | |
145 | abort (); | |
146 | if (__builtin_object_size (&zerol, 3) != 0) | |
147 | abort (); | |
148 | if (__builtin_object_size (&zerol[0], 3) != 0) | |
149 | abort (); | |
150 | if (__builtin_object_size (zerol[0].a, 3) != 0) | |
151 | abort (); | |
152 | if (__builtin_object_size (&zerol[0].a[0], 3) != 0) | |
153 | abort (); | |
154 | if (__builtin_object_size (&zerol[0].b, 3) != 0) | |
155 | abort (); | |
156 | if (__builtin_object_size ("abcdefg", 3) != sizeof ("abcdefg")) | |
157 | abort (); | |
158 | if (__builtin_object_size ("abcd\0efg", 3) != sizeof ("abcd\0efg")) | |
159 | abort (); | |
160 | if (__builtin_object_size (&"abcd\0efg", 3) != sizeof ("abcd\0efg")) | |
161 | abort (); | |
162 | if (__builtin_object_size (&"abcd\0efg"[0], 3) != sizeof ("abcd\0efg")) | |
163 | abort (); | |
164 | if (__builtin_object_size (&"abcd\0efg"[4], 3) != sizeof ("abcd\0efg") - 4) | |
165 | abort (); | |
166 | if (__builtin_object_size ("abcd\0efg" + 5, 3) != sizeof ("abcd\0efg") - 5) | |
167 | abort (); | |
168 | if (__builtin_object_size (L"abcdefg", 3) != sizeof (L"abcdefg")) | |
169 | abort (); | |
170 | r = (char *) L"abcd\0efg"; | |
171 | if (__builtin_object_size (r + 2, 3) != sizeof (L"abcd\0efg") - 2) | |
172 | abort (); | |
173 | } | |
174 | ||
175 | size_t l1 = 1; | |
176 | ||
177 | void | |
178 | __attribute__ ((noinline)) | |
179 | test2 (void) | |
180 | { | |
181 | struct B { char buf1[10]; char buf2[10]; } a; | |
182 | char *r, buf3[20]; | |
183 | int i; | |
184 | ||
185 | if (sizeof (a) != 20) | |
186 | return; | |
187 | ||
188 | r = buf3; | |
189 | for (i = 0; i < 4; ++i) | |
190 | { | |
191 | if (i == l1 - 1) | |
192 | r = &a.buf1[1]; | |
193 | else if (i == l1) | |
194 | r = &a.buf2[7]; | |
195 | else if (i == l1 + 1) | |
196 | r = &buf3[5]; | |
197 | else if (i == l1 + 2) | |
198 | r = &a.buf1[9]; | |
199 | } | |
200 | if (__builtin_object_size (r, 3) != sizeof (a.buf1) - 9) | |
201 | abort (); | |
202 | r = &buf3[20]; | |
203 | for (i = 0; i < 4; ++i) | |
204 | { | |
205 | if (i == l1 - 1) | |
206 | r = &a.buf1[7]; | |
207 | else if (i == l1) | |
208 | r = &a.buf2[7]; | |
209 | else if (i == l1 + 1) | |
210 | r = &buf3[5]; | |
211 | else if (i == l1 + 2) | |
212 | r = &a.buf1[9]; | |
213 | } | |
214 | if (__builtin_object_size (r, 3) != 0) | |
215 | abort (); | |
216 | r = &buf3[1]; | |
217 | for (i = 0; i < 4; ++i) | |
218 | { | |
219 | if (i == l1 - 1) | |
220 | r = &a.buf1[6]; | |
221 | else if (i == l1) | |
222 | r = &a.buf2[4]; | |
223 | else if (i == l1 + 1) | |
224 | r = &buf3[5]; | |
225 | else if (i == l1 + 2) | |
226 | r = &a.buf1[2]; | |
227 | } | |
228 | if (__builtin_object_size (r, 3) != sizeof (a.buf1) - 6) | |
229 | abort (); | |
230 | r += 2; | |
231 | if (__builtin_object_size (r, 3) != sizeof (a.buf1) - 6 - 2) | |
232 | abort (); | |
233 | if (__builtin_object_size (r + 1, 3) != sizeof (a.buf1) - 6 - 3) | |
234 | abort (); | |
235 | } | |
236 | ||
237 | void | |
238 | __attribute__ ((noinline)) | |
239 | test3 (void) | |
240 | { | |
241 | char buf4[10]; | |
242 | struct B { struct A a[2]; struct A b; char c[4]; char d; double e; | |
243 | _Complex double f; } x; | |
244 | double y; | |
245 | _Complex double z; | |
246 | double *dp; | |
247 | ||
248 | if (__builtin_object_size (buf4, 3) != sizeof (buf4)) | |
249 | abort (); | |
250 | if (__builtin_object_size (&buf4, 3) != sizeof (buf4)) | |
251 | abort (); | |
252 | if (__builtin_object_size (&buf4[0], 3) != sizeof (buf4)) | |
253 | abort (); | |
254 | if (__builtin_object_size (&buf4[1], 3) != sizeof (buf4) - 1) | |
255 | abort (); | |
256 | if (__builtin_object_size (&x, 3) != sizeof (x)) | |
257 | abort (); | |
258 | if (__builtin_object_size (&x.a, 3) != sizeof (x.a)) | |
259 | abort (); | |
260 | if (__builtin_object_size (&x.a[0], 3) != sizeof (x.a)) | |
261 | abort (); | |
262 | if (__builtin_object_size (&x.a[0].a, 3) != sizeof (x.a[0].a)) | |
263 | abort (); | |
264 | if (__builtin_object_size (&x.a[0].a[0], 3) != sizeof (x.a[0].a)) | |
265 | abort (); | |
266 | if (__builtin_object_size (&x.a[0].a[3], 3) != sizeof (x.a[0].a) - 3) | |
267 | abort (); | |
268 | if (__builtin_object_size (&x.a[0].b, 3) != sizeof (x.a[0].b)) | |
269 | abort (); | |
270 | if (__builtin_object_size (&x.a[1].c, 3) != sizeof (x.a[1].c)) | |
271 | abort (); | |
272 | if (__builtin_object_size (&x.a[1].c[0], 3) != sizeof (x.a[1].c)) | |
273 | abort (); | |
274 | if (__builtin_object_size (&x.a[1].c[3], 3) != sizeof (x.a[1].c) - 3) | |
275 | abort (); | |
276 | if (__builtin_object_size (&x.b, 3) != sizeof (x.b)) | |
277 | abort (); | |
278 | if (__builtin_object_size (&x.b.a, 3) != sizeof (x.b.a)) | |
279 | abort (); | |
280 | if (__builtin_object_size (&x.b.a[0], 3) != sizeof (x.b.a)) | |
281 | abort (); | |
282 | if (__builtin_object_size (&x.b.a[3], 3) != sizeof (x.b.a) - 3) | |
283 | abort (); | |
284 | if (__builtin_object_size (&x.b.b, 3) != sizeof (x.b.b)) | |
285 | abort (); | |
286 | if (__builtin_object_size (&x.b.c, 3) != sizeof (x.b.c)) | |
287 | abort (); | |
288 | if (__builtin_object_size (&x.b.c[0], 3) != sizeof (x.b.c)) | |
289 | abort (); | |
290 | if (__builtin_object_size (&x.b.c[3], 3) != sizeof (x.b.c) - 3) | |
291 | abort (); | |
292 | if (__builtin_object_size (&x.c, 3) != sizeof (x.c)) | |
293 | abort (); | |
294 | if (__builtin_object_size (&x.c[0], 3) != sizeof (x.c)) | |
295 | abort (); | |
296 | if (__builtin_object_size (&x.c[1], 3) != sizeof (x.c) - 1) | |
297 | abort (); | |
298 | if (__builtin_object_size (&x.d, 3) != sizeof (x.d)) | |
299 | abort (); | |
300 | if (__builtin_object_size (&x.e, 3) != sizeof (x.e)) | |
301 | abort (); | |
302 | if (__builtin_object_size (&x.f, 3) != sizeof (x.f)) | |
303 | abort (); | |
304 | dp = &__real__ x.f; | |
305 | if (__builtin_object_size (dp, 3) != sizeof (x.f) / 2) | |
306 | abort (); | |
307 | dp = &__imag__ x.f; | |
308 | if (__builtin_object_size (dp, 3) != sizeof (x.f) / 2) | |
309 | abort (); | |
310 | dp = &y; | |
311 | if (__builtin_object_size (dp, 3) != sizeof (y)) | |
312 | abort (); | |
313 | if (__builtin_object_size (&z, 3) != sizeof (z)) | |
314 | abort (); | |
315 | dp = &__real__ z; | |
316 | if (__builtin_object_size (dp, 3) != sizeof (z) / 2) | |
317 | abort (); | |
318 | dp = &__imag__ z; | |
319 | if (__builtin_object_size (dp, 3) != sizeof (z) / 2) | |
320 | abort (); | |
321 | } | |
322 | ||
323 | struct S { unsigned int a; }; | |
324 | ||
325 | char * | |
326 | __attribute__ ((noinline)) | |
327 | test4 (char *x, int y) | |
328 | { | |
329 | register int i; | |
330 | struct A *p; | |
331 | ||
332 | for (i = 0; i < y; i++) | |
333 | { | |
334 | p = (struct A *) x; | |
335 | x = (char *) &p[1]; | |
336 | if (__builtin_object_size (p, 3) != 0) | |
337 | abort (); | |
338 | } | |
339 | return x; | |
340 | } | |
341 | ||
342 | void | |
343 | __attribute__ ((noinline)) | |
344 | test5 (size_t x) | |
345 | { | |
346 | struct T { char buf[64]; char buf2[64]; } t; | |
347 | char *p = &t.buf[8]; | |
348 | size_t i; | |
349 | ||
350 | for (i = 0; i < x; ++i) | |
351 | p = p + 4; | |
352 | if (__builtin_object_size (p, 3) != 0) | |
353 | abort (); | |
354 | memset (p, ' ', sizeof (t.buf) - 8 - 4 * 4); | |
355 | } | |
356 | ||
357 | void | |
358 | __attribute__ ((noinline)) | |
359 | test6 (void) | |
360 | { | |
361 | char buf[64]; | |
362 | struct T { char buf[64]; char buf2[64]; } t; | |
363 | char *p = &buf[64], *q = &t.buf[64]; | |
364 | ||
365 | if (__builtin_object_size (p + 64, 3) != 0) | |
366 | abort (); | |
367 | if (__builtin_object_size (q + 0, 3) != 0) | |
368 | abort (); | |
369 | if (__builtin_object_size (q + 64, 3) != 0) | |
370 | abort (); | |
371 | } | |
372 | ||
373 | void | |
374 | __attribute__ ((noinline)) | |
375 | test7 (void) | |
376 | { | |
377 | struct T { char buf[10]; char buf2[10]; } t; | |
378 | char *p = &t.buf2[-4]; | |
379 | char *q = &t.buf2[0]; | |
380 | if (__builtin_object_size (p, 3) != 0) | |
381 | abort (); | |
382 | if (__builtin_object_size (q, 3) != sizeof (t.buf2)) | |
383 | abort (); | |
384 | q = &t.buf[10]; | |
385 | if (__builtin_object_size (q, 3) != 0) | |
386 | abort (); | |
387 | q = &t.buf[11]; | |
388 | if (__builtin_object_size (q, 3) != 0) | |
389 | abort (); | |
390 | p = &t.buf[-4]; | |
391 | if (__builtin_object_size (p, 3) != 0) | |
392 | abort (); | |
393 | } | |
394 | ||
395 | int | |
396 | main (void) | |
397 | { | |
398 | struct S s[10]; | |
399 | __asm ("" : "=r" (l1) : "0" (l1)); | |
400 | test1 (main, 6); | |
401 | test2 (); | |
402 | test3 (); | |
403 | test4 ((char *) s, 10); | |
404 | test5 (4); | |
405 | test6 (); | |
406 | test7 (); | |
407 | exit (0); | |
408 | } |