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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

#include <limits.h>

extern void abort (void);
int __attribute__((noinline))
foo (unsigned int u)
{
  return (int)(u + 4) < (int)u;
}

int
main (int argc, char *argv[])
{
  unsigned int u = INT_MAX;

  if (foo (u) == 0)
    abort();
  return 0;
}