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