1#include <limits.h> 2 3extern void abort (void); 4int __attribute__((noinline)) 5foo (unsigned int u) 6{ 7 return (int)(u + 4) < (int)u; 8} 9 10int 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