/* 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;
}
