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

   1 /* { dg-do link } */
   2 /* { dg-options "-O2" } */
   3
   4 extern void link_error (void);
   5
   6 void foo (int i)
   7 {
   8   if (i > -128 && i < 127)
   9     {
  10       unsigned char k = i;
  11       if (k == 0x80)
  12         link_error ();
  13       if (k == 0x7f)
  14         link_error ();
  15     }
  16 }
  17
  18 int main() { return 0; }
  19