1  extern void abort (void);
       2  
       3  long long __attribute__((noinline,noclone))
       4  foo (long long t)
       5  {
       6    while (t > -4)
       7      t -= 2;
       8  
       9    return t;
      10  }
      11  
      12  int main(void)
      13  {
      14    if (foo (0) != -4)
      15      abort ();
      16    return 0;
      17  }