1 /* PR tree-optimization/21563 2 Make sure VRP folds the second "if" statement. */ 3 4 /* { dg-do compile } */ 5 /* { dg-options "-O2 -fno-tree-dominator-opts -fdisable-tree-evrp -fdump-tree-vrp1-details" } */ 6 7 int foo(int a)8foo (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"} } */ 17