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