gcc/testsuite/gcc.dg/tree-ssa/vrp37.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2" } */
   3
   4 unsigned char x;
   5 int foo(void)
   6 {
   7   unsigned long long i = x;
   8   i = i + 0x80000000;
   9   if (i > 0xffffffff)
  10     return x;
  11   return 0;
  12 }