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