gcc/testsuite/gcc.c-torture/execute/20011126-1.c

/* Produced a overflow in ifcvt.c, causing S to contain 0xffffffff7fffffff.  */

void abort (void);

int a = 1;

int main ()
{
  long long s;

  s = a;
  if (s < 0)
    s = -2147483648LL;
  else
    s = 2147483647LL;

  if (s < 0)
    abort ();

  return 0;
}