gcc/testsuite/gcc.c-torture/compile/signext2.c

long long
foo (a)
     int a;
{
  return a;
}

main ()
{
  printf ("%d\n", (int) (foo (-1) >> 32));
}