1#include <limits.h> 2 3extern void abort (void); 4 5static __attribute__((noinline)) void foo (int a) 6{ 7 int b = (a - 1) + INT_MIN; 8 9 if (b != INT_MIN) 10 abort (); 11} 12 13int main (void) 14{ 15 foo (1); 16 return 0; 17} 18