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