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