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