gcc/testsuite/gcc.dg/builtin-object-size-4.c

   1 /* { dg-do run } */
   2 /* { dg-options "-O2" } */
   3 /* { dg-require-effective-target alloca } */
   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 ();
 134   if (__builtin_object_size (&vara[0].a, 3) != sizeof (vara[0].a))
 135     abort ();
 136   if (__builtin_object_size (&vara[10].a[0], 3) != sizeof (vara[0].a))
 137     abort ();
 138   if (__builtin_object_size (&vara[5].a[4], 3) != sizeof (vara[0].a) - 4)
 139     abort ();
 140   if (__builtin_object_size (&vara[5].b, 3) != sizeof (vara[0].b))
 141     abort ();
 142   if (__builtin_object_size (&vara[7].c[7], 3) != sizeof (vara[0].c) - 7)
 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   /* Prevent DSE from removing calls that prevent bad combining of
 174      addresses and offsets.  */
 175   asm volatile ("" : : "g" (&a));
 176 }
 177
 178 size_t l1 = 1;
 179
 180 void
 181 __attribute__ ((noinline))
 182 test2 (void)
 183 {
 184   struct B { char buf1[10]; char buf2[10]; } a;
 185   char *r, buf3[20];
 186   int i;
 187
 188   if (sizeof (a) != 20)
 189     return;
 190
 191   r = buf3;
 192   for (i = 0; i < 4; ++i)
 193     {
 194       if (i == l1 - 1)
 195         r = &a.buf1[1];
 196       else if (i == l1)
 197         r = &a.buf2[7];
 198       else if (i == l1 + 1)
 199         r = &buf3[5];
 200       else if (i == l1 + 2)
 201         r = &a.buf1[9];
 202     }
 203   if (__builtin_object_size (r, 3) != sizeof (a.buf1) - 9)
 204     abort ();
 205   r = &buf3[20];
 206   for (i = 0; i < 4; ++i)
 207     {
 208       if (i == l1 - 1)
 209         r = &a.buf1[7];
 210       else if (i == l1)
 211         r = &a.buf2[7];
 212       else if (i == l1 + 1)
 213         r = &buf3[5];
 214       else if (i == l1 + 2)
 215         r = &a.buf1[9];
 216     }
 217   if (__builtin_object_size (r, 3) != 0)
 218     abort ();
 219   r = &buf3[1];
 220   for (i = 0; i < 4; ++i)
 221     {
 222       if (i == l1 - 1)
 223         r = &a.buf1[6];
 224       else if (i == l1)
 225         r = &a.buf2[4];
 226       else if (i == l1 + 1)
 227         r = &buf3[5];
 228       else if (i == l1 + 2)
 229         r = &a.buf1[2];
 230     }
 231   if (__builtin_object_size (r, 3) != sizeof (a.buf1) - 6)
 232     abort ();
 233   r += 2;
 234   if (__builtin_object_size (r, 3) != sizeof (a.buf1) - 6 - 2)
 235     abort ();
 236   if (__builtin_object_size (r + 1, 3) != sizeof (a.buf1) - 6 - 3)
 237     abort ();
 238 }
 239
 240 void
 241 __attribute__ ((noinline))
 242 test3 (void)
 243 {
 244   char buf4[10];
 245   struct B { struct A a[2]; struct A b; char c[4]; char d; double e;
 246              _Complex double f; } x;
 247   double y;
 248   _Complex double z;
 249   double *dp;
 250
 251   if (__builtin_object_size (buf4, 3) != sizeof (buf4))
 252     abort ();
 253   if (__builtin_object_size (&buf4, 3) != sizeof (buf4))
 254     abort ();
 255   if (__builtin_object_size (&buf4[0], 3) != sizeof (buf4))
 256     abort ();
 257   if (__builtin_object_size (&buf4[1], 3) != sizeof (buf4) - 1)
 258     abort ();
 259   if (__builtin_object_size (&x, 3) != sizeof (x))
 260     abort ();
 261   if (__builtin_object_size (&x.a, 3) != sizeof (x.a))
 262     abort ();
 263   if (__builtin_object_size (&x.a[0], 3) != sizeof (x.a))
 264     abort ();
 265   if (__builtin_object_size (&x.a[0].a, 3) != sizeof (x.a[0].a))
 266     abort ();
 267   if (__builtin_object_size (&x.a[0].a[0], 3) != sizeof (x.a[0].a))
 268     abort ();
 269   if (__builtin_object_size (&x.a[0].a[3], 3) != sizeof (x.a[0].a) - 3)
 270     abort ();
 271   if (__builtin_object_size (&x.a[0].b, 3) != sizeof (x.a[0].b))
 272     abort ();
 273   if (__builtin_object_size (&x.a[1].c, 3) != sizeof (x.a[1].c))
 274     abort ();
 275   if (__builtin_object_size (&x.a[1].c[0], 3) != sizeof (x.a[1].c))
 276     abort ();
 277   if (__builtin_object_size (&x.a[1].c[3], 3) != sizeof (x.a[1].c) - 3)
 278     abort ();
 279   if (__builtin_object_size (&x.b, 3) != sizeof (x.b))
 280     abort ();
 281   if (__builtin_object_size (&x.b.a, 3) != sizeof (x.b.a))
 282     abort ();
 283   if (__builtin_object_size (&x.b.a[0], 3) != sizeof (x.b.a))
 284     abort ();
 285   if (__builtin_object_size (&x.b.a[3], 3) != sizeof (x.b.a) - 3)
 286     abort ();
 287   if (__builtin_object_size (&x.b.b, 3) != sizeof (x.b.b))
 288     abort ();
 289   if (__builtin_object_size (&x.b.c, 3) != sizeof (x.b.c))
 290     abort ();
 291   if (__builtin_object_size (&x.b.c[0], 3) != sizeof (x.b.c))
 292     abort ();
 293   if (__builtin_object_size (&x.b.c[3], 3) != sizeof (x.b.c) - 3)
 294     abort ();
 295   if (__builtin_object_size (&x.c, 3) != sizeof (x.c))
 296     abort ();
 297   if (__builtin_object_size (&x.c[0], 3) != sizeof (x.c))
 298     abort ();
 299   if (__builtin_object_size (&x.c[1], 3) != sizeof (x.c) - 1)
 300     abort ();
 301   if (__builtin_object_size (&x.d, 3) != sizeof (x.d))
 302     abort ();
 303   if (__builtin_object_size (&x.e, 3) != sizeof (x.e))
 304     abort ();
 305   if (__builtin_object_size (&x.f, 3) != sizeof (x.f))
 306     abort ();
 307   dp = &__real__ x.f;
 308   if (__builtin_object_size (dp, 3) != sizeof (x.f) / 2)
 309     abort ();
 310   dp = &__imag__ x.f;
 311   if (__builtin_object_size (dp, 3) != sizeof (x.f) / 2)
 312     abort ();
 313   dp = &y;
 314   if (__builtin_object_size (dp, 3) != sizeof (y))
 315     abort ();
 316   if (__builtin_object_size (&z, 3) != sizeof (z))
 317       abort ();
 318   dp = &__real__ z;
 319   if (__builtin_object_size (dp, 3) != sizeof (z) / 2)
 320     abort ();
 321   dp = &__imag__ z;
 322   if (__builtin_object_size (dp, 3) != sizeof (z) / 2)
 323     abort ();
 324 }
 325
 326 struct S { unsigned int a; };
 327
 328 char *
 329 __attribute__ ((noinline))
 330 test4 (char *x, int y)
 331 {
 332   register int i;
 333   struct A *p;
 334
 335   for (i = 0; i < y; i++)
 336     {
 337       p = (struct A *) x;
 338       x = (char *) &p[1];
 339       if (__builtin_object_size (p, 3) != 0)
 340         abort ();
 341     }
 342   return x;
 343 }
 344
 345 void
 346 __attribute__ ((noinline))
 347 test5 (size_t x)
 348 {
 349   struct T { char buf[64]; char buf2[64]; } t;
 350   char *p = &t.buf[8];
 351   size_t i;
 352
 353   for (i = 0; i < x; ++i)
 354     p = p + 4;
 355   if (__builtin_object_size (p, 3) != 0)
 356     abort ();
 357   memset (p, ' ', sizeof (t.buf) - 8 - 4 * 4);
 358 }
 359
 360 void
 361 __attribute__ ((noinline))
 362 test6 (void)
 363 {
 364   char buf[64];
 365   struct T { char buf[64]; char buf2[64]; } t;
 366   char *p = &buf[64], *q = &t.buf[64];
 367
 368   if (__builtin_object_size (p + 64, 3) != 0)
 369     abort ();
 370   if (__builtin_object_size (q + 0, 3) != 0)
 371     abort ();
 372   if (__builtin_object_size (q + 64, 3) != 0)
 373     abort ();
 374 }
 375
 376 void
 377 __attribute__ ((noinline))
 378 test7 (void)
 379 {
 380   struct T { char buf[10]; char buf2[10]; } t;
 381   char *p = &t.buf2[-4];
 382   char *q = &t.buf2[0];
 383   if (__builtin_object_size (p, 3) != 0)
 384     abort ();
 385   if (__builtin_object_size (q, 3) != sizeof (t.buf2))
 386     abort ();
 387   q = &t.buf[10];
 388   if (__builtin_object_size (q, 3) != 0)
 389     abort ();
 390   q = &t.buf[11];
 391   if (__builtin_object_size (q, 3) != 0)
 392     abort ();
 393   p = &t.buf[-4];
 394   if (__builtin_object_size (p, 3) != 0)
 395     abort ();
 396 }
 397
 398 void
 399 __attribute__ ((noinline))
 400 test8 (unsigned cond)
 401 {
 402   char *buf2 = malloc (10);
 403   char *p;
 404
 405   if (cond)
 406     p = &buf2[8];
 407   else
 408     p = &buf2[4];
 409
 410   if (__builtin_object_size (&p[-4], 3) != 6)
 411     abort ();
 412
 413   for (unsigned i = cond; i > 0; i--)
 414     p--;
 415
 416   if (__builtin_object_size (p, 3) != 2)
 417     abort ();
 418
 419   p = &y.c[8];
 420   for (unsigned i = cond; i > 0; i--)
 421     p--;
 422
 423   if (__builtin_object_size (p, 3) != sizeof (y.c) - 8)
 424     abort ();
 425 }
 426
 427 int
 428 main (void)
 429 {
 430   struct S s[10];
 431   __asm ("" : "=r" (l1) : "0" (l1));
 432   test1 (main, 6);
 433   test2 ();
 434   test3 ();
 435   test4 ((char *) s, 10);
 436   test5 (4);
 437   test6 ();
 438   test7 ();
 439   test8 (1);
 440   exit (0);
 441 }