(root)/
gcc-13.2.0/
gcc/
testsuite/
gcc.dg/
tree-ssa/
pr25485.c
       1  /* PR tree-optimization/25485
       2     VRP did not fold TRUTH_AND_EXPR.  Make sure it does now.  */
       3  
       4  /* { dg-options "-O2 -fdump-tree-vrp1" } */
       5  
       6  int
       7  foo (int a, int b)
       8  {
       9    if (a > 50)
      10      return 19;
      11    if (a > 63 && b < 50)
      12      return 17;
      13    return 31;
      14  }
      15  
      16  /* { dg-final { scan-tree-dump-times "if" 1 "vrp1"} } */