gcc/testsuite/gcc.c-torture/execute/pr28651.c

   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