1 /* PR tree-optimization/20657
2    VRP did not pick up a conditional equivalence from the first "if"
3    statement, which was needed to eliminate the second "if" statement.  */
4 
5 /* { dg-do compile } */
6 /* { dg-options "-O2 -fno-tree-dominator-opts -fno-tree-fre -fdump-tree-evrp" } */
7 
8 int
foo(int a)9 foo (int a)
10 {
11   if (a == 0)
12     if (a == 0)
13       return 1;
14   return 0;
15 }
16 
17 /* { dg-final { scan-tree-dump-times "if" 1 "evrp"} } */
18