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

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