(root)/
gcc-13.2.0/
gcc/
testsuite/
gcc.dg/
tree-ssa/
vrp119.c
       1  /* PR tree-optimization/86231 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -fdump-tree-vrp1" } */
       4  /* { dg-final { scan-tree-dump-not "link_error" "vrp1" } } */
       5  
       6  int bar (int);
       7  void link_error (void);
       8  
       9  int
      10  foo (int x, int y, int z)
      11  {
      12    if (x < 4 || x > 8) __builtin_unreachable ();
      13    if (y >= 2 && y <= 6) __builtin_unreachable ();
      14    /* x is [4, 8], y is ~[2, 6], resulting range of e should be ~[2, 3].  */
      15    int e = (z ? x : y);
      16    bar (bar (bar (bar (bar (bar (bar (bar (bar (bar (bar (bar (e))))))))))));
      17    if (e == 2 || e == 3)
      18      link_error ();
      19    return e;
      20  }