blob: ede938b00427b8e2445f1d7c6eb43261a590bad3 [file] [log] [blame]
/* Produced a overflow in ifcvt.c, causing S to contain 0xffffffff7fffffff. */
int a = 1;
int main ()
{
long long s;
s = a;
if (s < 0)
s = -2147483648LL;
else
s = 2147483647LL;
if (s < 0)
abort ();
return 0;
}