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