1  /* { dg-do run } */
       2  
       3  #define INT_MIN ( -__INT_MAX__ - 1 )
       4  
       5  extern void abort (void);
       6  
       7  int main (void)
       8  {
       9    int  x0 = INT_MIN;
      10    long x1 = 0L;
      11    int  x2 = 0;
      12    int  t  = ( 0 || ( INT_MIN - (int) ( x0 - x1 ) ) );
      13  
      14    if ( t != 0 ) { x2 = t; abort(); }
      15  
      16    return 0;
      17  }