1 #include <limits.h> 2 3 extern void abort (void); 4 int __attribute__((noinline)) foo(unsigned int u)5foo (unsigned int u) 6 { 7 return (int)(u + 4) < (int)u; 8 } 9 10 int main(int argc,char * argv[])11main (int argc, char *argv[]) 12 { 13 unsigned int u = INT_MAX; 14 15 if (foo (u) == 0) 16 abort(); 17 return 0; 18 } 19 20