1 /* { dg-do run } */
2 
3 #define INT_MIN ( -__INT_MAX__ - 1 )
4 
5 extern void abort (void);
6 
main(void)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 }
18