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