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