gcc/testsuite/gcc.dg/torture/pr56661.c

   1 /* { dg-do run } */
   2
   3 __attribute__((noinline, noclone)) void
   4 bar (int *b)
   5 {
   6   b[0] = b[1] = b[2] = 1;
   7 }
   8
   9 __attribute__((noinline, noclone)) int
  10 baz (int x)
  11 {
  12   if (x != 1)
  13     __builtin_abort ();
  14 }
  15
  16 void
  17 foo (int x)
  18 {
  19   if (x == 0)
  20     {
  21       int *b = __builtin_malloc (3 * sizeof (int));
  22       while (b[0])
  23         ;
  24     }
  25   else if (x == 1)
  26     {
  27       int i, j;
  28       int *b = __builtin_malloc (3 * sizeof (int));
  29       for (i = 0; i < 2; i++)
  30         {
  31           bar (b);
  32           for (j = 0; j < 3; ++j)
  33             baz (b[j]);
  34           baz (b[0]);
  35         }
  36     }
  37 }
  38
  39 int
  40 main ()
  41 {
  42   int x = 1;
  43   asm volatile ("" : "+r" (x));
  44   foo (x);
  45   return 0;
  46 }