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