1  extern void abort (void);
       2  
       3  __attribute__ ((noinline)) int
       4  foo (int *zzz, unsigned int kk)
       5  {
       6    int a, b, d;
       7  
       8    a = b = 0;
       9    for (d = 0; d < 1000; d++)
      10      {
      11        if (kk != 0)
      12          b = *zzz;
      13      }
      14  
      15    return b;
      16  }
      17  
      18  int
      19  main (void)
      20  {
      21    if (foo (0, 0) != 0)
      22      abort();
      23    return 0;
      24  }