1  /* Produced a overflow in ifcvt.c, causing S to contain 0xffffffff7fffffff.  */
       2  
       3  int a = 1;
       4  
       5  int main ()
       6  {
       7    long long s;
       8  
       9    s = a;
      10    if (s < 0)
      11      s = -2147483648LL;
      12    else
      13      s = 2147483647LL;
      14  
      15    if (s < 0)
      16      abort ();
      17  
      18    return 0;
      19  }