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