clang-tests/gcc-4_2-testsuite/src/gcc.c-torture/unsorted/xpp.c

foo (a)
{
  a++;
  if (a < 10)
    return 1;
  return a;
}

main ()
{
  printf ("%d\n", foo ((1 << 31) - 1));
}