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