1 /* { dg-do compile } */ 2 /* { dg-options "-O2 -fdump-tree-vrp1 -fno-early-inlining" } */ 3 4 inline int bounce(int arg)5bounce (int arg) 6 { 7 return arg; 8 } 9 10 int foo(int k,int j,int z)11foo (int k, int j, int z) 12 { 13 if (k > z) 14 { 15 if (j > k) 16 { 17 /* We should fold this to if (1). */ 18 if (j > bounce (z)) 19 return j; 20 } 21 } 22 23 return j+1; 24 } 25 26 /* { dg-final { scan-tree-dump-times "Folding predicate.*to 1" 1 "vrp1" } } */ 27