3 /* { dg-options "-w -fpermissive" } */
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 *);
24 extern struct A extc
[];
28 __attribute__ ((noinline
))
29 test1 (void *q
, int x
)
32 void *p
= &a
.a
[3], *r
;
34 struct A vara
[x
+ 10];
39 if (__builtin_object_size (p
, 1) != sizeof (a
.a
) - 3)
41 if (__builtin_object_size (&a
.c
[9], 1)
44 if (__builtin_object_size (q
, 1) != (size_t) -1)
46 if (__builtin_object_size (r
, 1) != sizeof (a
.c
) - 1)
52 if (__builtin_object_size (&y
, 1) != sizeof (y
))
54 if (__builtin_object_size (w
, 1) != sizeof (w
))
56 if (__builtin_object_size (&y
.b
, 1) != sizeof (a
.b
))
58 if (__builtin_object_size (r
, 1) != sizeof (a
.a
) - 1)
64 if (__builtin_object_size (r
, 1) != 2 * 16)
70 if (__builtin_object_size (r
, 1) != 30)
73 r
= malloc (sizeof (a
));
76 if (__builtin_object_size (r
, 1) != sizeof (a
))
78 r
= memcpy (r
, "a", 2);
79 if (__builtin_object_size (r
, 1) != sizeof (a
))
81 r
= memcpy (r
+ 2, "b", 2) + 2;
82 if (__builtin_object_size (r
, 1) != sizeof (a
) - 4)
85 r
= memset (r
, 'a', 2);
86 if (__builtin_object_size (r
, 1) != sizeof (a
.a
) - 4)
88 r
= memset (r
+ 2, 'b', 2) + 2;
89 if (__builtin_object_size (r
, 1) != sizeof (a
.a
) - 8)
93 if (__builtin_object_size (r
, 1) != sizeof (a
.a
) - 1)
95 r
= strcpy (r
+ 2, "cd") + 2;
96 if (__builtin_object_size (r
, 1) != sizeof (a
.a
) - 5)
98 if (__builtin_object_size (exta
, 1) != (size_t) -1)
100 if (__builtin_object_size (exta
+ 10, 1) != (size_t) -1)
102 if (__builtin_object_size (&exta
[5], 1) != (size_t) -1)
104 if (__builtin_object_size (extb
, 1) != sizeof (extb
))
106 if (__builtin_object_size (extb
+ 10, 1) != sizeof (extb
) - 10)
108 if (__builtin_object_size (&extb
[5], 1) != sizeof (extb
) - 5)
110 if (__builtin_object_size (extc
, 1) != (size_t) -1)
112 if (__builtin_object_size (extc
+ 10, 1) != (size_t) -1)
114 if (__builtin_object_size (&extc
[5], 1) != (size_t) -1)
116 if (__builtin_object_size (&extc
->a
, 1) != (size_t) -1)
118 if (__builtin_object_size (&(extc
+ 10)->b
, 1) != (size_t) -1)
120 if (__builtin_object_size (&extc
[5].c
[3], 1) != (size_t) -1)
122 if (__builtin_object_size (var
, 1) != (size_t) -1)
124 if (__builtin_object_size (var
+ 10, 1) != (size_t) -1)
126 if (__builtin_object_size (&var
[5], 1) != (size_t) -1)
128 if (__builtin_object_size (vara
, 1) != (size_t) -1)
130 if (__builtin_object_size (vara
+ 10, 1) != (size_t) -1)
132 if (__builtin_object_size (&vara
[5], 1) != (size_t) -1)
134 if (__builtin_object_size (&vara
[0].a
, 1) != sizeof (vara
[0].a
))
136 if (__builtin_object_size (&vara
[10].a
[0], 1) != sizeof (vara
[0].a
))
138 if (__builtin_object_size (&vara
[5].a
[4], 1) != sizeof (vara
[0].a
) - 4)
140 if (__builtin_object_size (&vara
[5].b
, 1) != sizeof (vara
[0].b
))
142 if (__builtin_object_size (&vara
[7].c
[7], 1) != sizeof (vara
[0].c
) - 7)
144 if (__builtin_object_size (zerol
, 1) != 0)
146 if (__builtin_object_size (&zerol
, 1) != 0)
148 if (__builtin_object_size (&zerol
[0], 1) != 0)
150 if (__builtin_object_size (zerol
[0].a
, 1) != 0)
152 if (__builtin_object_size (&zerol
[0].a
[0], 1) != 0)
154 if (__builtin_object_size (&zerol
[0].b
, 1) != 0)
156 if (__builtin_object_size ("abcdefg", 1) != sizeof ("abcdefg"))
158 if (__builtin_object_size ("abcd\0efg", 1) != sizeof ("abcd\0efg"))
160 if (__builtin_object_size (&"abcd\0efg", 1) != sizeof ("abcd\0efg"))
162 if (__builtin_object_size (&"abcd\0efg"[0], 1) != sizeof ("abcd\0efg"))
164 if (__builtin_object_size (&"abcd\0efg"[4], 1) != sizeof ("abcd\0efg") - 4)
166 if (__builtin_object_size ("abcd\0efg" + 5, 1) != sizeof ("abcd\0efg") - 5)
168 if (__builtin_object_size (L
"abcdefg", 1) != sizeof (L
"abcdefg"))
170 r
= (char *) L
"abcd\0efg";
171 if (__builtin_object_size (r
+ 2, 1) != sizeof (L
"abcd\0efg") - 2)
178 __attribute__ ((noinline
))
181 struct B
{ char buf1
[10]; char buf2
[10]; } a
;
185 if (sizeof (a
) != 20)
189 for (i
= 0; i
< 4; ++i
)
195 else if (i
== l1
+ 1)
197 else if (i
== l1
+ 2)
200 if (__builtin_object_size (r
, 1) != sizeof (buf3
))
203 for (i
= 0; i
< 4; ++i
)
209 else if (i
== l1
+ 1)
211 else if (i
== l1
+ 2)
214 if (__builtin_object_size (r
, 1) != sizeof (buf3
) - 5)
217 if (__builtin_object_size (r
, 1) != sizeof (buf3
) - 13)
219 if (__builtin_object_size (r
+ 6, 1) != sizeof (buf3
) - 19)
224 __attribute__ ((noinline
))
228 struct B
{ struct A a
[2]; struct A b
; char c
[4]; char d
; double e
;
229 _Complex
double f
; } x
;
234 if (__builtin_object_size (buf4
, 1) != sizeof (buf4
))
236 if (__builtin_object_size (&buf4
, 1) != sizeof (buf4
))
238 if (__builtin_object_size (&buf4
[0], 1) != sizeof (buf4
))
240 if (__builtin_object_size (&buf4
[1], 1) != sizeof (buf4
) - 1)
242 if (__builtin_object_size (&x
, 1) != sizeof (x
))
244 if (__builtin_object_size (&x
.a
, 1) != sizeof (x
.a
))
246 if (__builtin_object_size (&x
.a
[0], 1) != sizeof (x
.a
))
248 if (__builtin_object_size (&x
.a
[0].a
, 1) != sizeof (x
.a
[0].a
))
250 if (__builtin_object_size (&x
.a
[0].a
[0], 1) != sizeof (x
.a
[0].a
))
252 if (__builtin_object_size (&x
.a
[0].a
[3], 1) != sizeof (x
.a
[0].a
) - 3)
254 if (__builtin_object_size (&x
.a
[0].b
, 1) != sizeof (x
.a
[0].b
))
256 if (__builtin_object_size (&x
.a
[1].c
, 1) != sizeof (x
.a
[1].c
))
258 if (__builtin_object_size (&x
.a
[1].c
[0], 1) != sizeof (x
.a
[1].c
))
260 if (__builtin_object_size (&x
.a
[1].c
[3], 1) != sizeof (x
.a
[1].c
) - 3)
262 if (__builtin_object_size (&x
.b
, 1) != sizeof (x
.b
))
264 if (__builtin_object_size (&x
.b
.a
, 1) != sizeof (x
.b
.a
))
266 if (__builtin_object_size (&x
.b
.a
[0], 1) != sizeof (x
.b
.a
))
268 if (__builtin_object_size (&x
.b
.a
[3], 1) != sizeof (x
.b
.a
) - 3)
270 if (__builtin_object_size (&x
.b
.b
, 1) != sizeof (x
.b
.b
))
272 if (__builtin_object_size (&x
.b
.c
, 1) != sizeof (x
.b
.c
))
274 if (__builtin_object_size (&x
.b
.c
[0], 1) != sizeof (x
.b
.c
))
276 if (__builtin_object_size (&x
.b
.c
[3], 1) != sizeof (x
.b
.c
) - 3)
278 if (__builtin_object_size (&x
.c
, 1) != sizeof (x
.c
))
280 if (__builtin_object_size (&x
.c
[0], 1) != sizeof (x
.c
))
282 if (__builtin_object_size (&x
.c
[1], 1) != sizeof (x
.c
) - 1)
284 if (__builtin_object_size (&x
.d
, 1) != sizeof (x
.d
))
286 if (__builtin_object_size (&x
.e
, 1) != sizeof (x
.e
))
288 if (__builtin_object_size (&x
.f
, 1) != sizeof (x
.f
))
291 if (__builtin_object_size (dp
, 1) != sizeof (x
.f
) / 2)
294 if (__builtin_object_size (dp
, 1) != sizeof (x
.f
) / 2)
297 if (__builtin_object_size (dp
, 1) != sizeof (y
))
299 if (__builtin_object_size (&z
, 1) != sizeof (z
))
302 if (__builtin_object_size (dp
, 1) != sizeof (z
) / 2)
305 if (__builtin_object_size (dp
, 1) != sizeof (z
) / 2)
309 struct S
{ unsigned int a
; };
312 __attribute__ ((noinline
))
313 test4 (char *x
, int y
)
318 for (i
= 0; i
< y
; i
++)
322 if (__builtin_object_size (p
, 1) != (size_t) -1)
329 __attribute__ ((noinline
))
332 struct T
{ char buf
[64]; char buf2
[64]; } t
;
336 for (i
= 0; i
< x
; ++i
)
338 if (__builtin_object_size (p
, 1) != sizeof (t
.buf
) - 8)
340 memset (p
, ' ', sizeof (t
.buf
) - 8 - 4 * 4);
344 __attribute__ ((noinline
))
348 struct T
{ char buf
[64]; char buf2
[64]; } t
;
349 char *p
= &buf
[64], *q
= &t
.buf
[64];
351 if (__builtin_object_size (p
+ 64, 1) != 0)
353 if (__builtin_object_size (q
+ 0, 1) != 0)
355 if (__builtin_object_size (q
+ 64, 1) != 0)
360 __attribute__ ((noinline
))
363 struct T
{ char buf
[10]; char buf2
[10]; } t
;
364 char *p
= &t
.buf2
[-4];
365 char *q
= &t
.buf2
[0];
366 if (__builtin_object_size (p
, 1) != 0)
368 if (__builtin_object_size (q
, 1) != sizeof (t
.buf2
))
371 if (__builtin_object_size (q
, 1) != 0)
374 if (__builtin_object_size (q
, 1) != 0)
377 if (__builtin_object_size (p
, 1) != 0)
385 __asm ("" : "=r" (l1
) : "0" (l1
));
389 test4 ((char *) s
, 10);