gcc/testsuite/gcc.dg/tree-ssa/vrp44.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 + 1;
  11       if (j == -5)
  12         link_error ();
  13       if (j == 10)
  14         link_error ();
  15     }
  16 }
  17
  18 void test2(unsigned int i)
  19 {
  20   if (i >= -5 || i <= 8)
  21     {
  22       int j = i;
  23       if (j == -6)
  24         link_error ();
  25       if (j == 9)
  26         link_error ();
  27     }
  28 }
  29
  30 int main() { return 0; }