1  /* PR tree-optimization/21563
       2     Make sure VRP folds the second "if" statement.  */
       3  
       4  /* { dg-do compile } */
       5  /* { dg-options "-O2 -fno-thread-jumps -fdisable-tree-evrp -fdump-tree-vrp1-details" } */
       6  
       7  int
       8  foo (int a)
       9  {
      10    if (a > 1)
      11      if (a == 0)
      12        return 1;
      13    return 0;
      14  }
      15  
      16  /* { dg-final { scan-tree-dump-times "Folding predicate" 1 "vrp1"} } */