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