(root)/
gcc-13.2.0/
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; }