1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-vrp1 -fno-early-inlining" } */
3 
4 inline int
bounce(int arg)5 bounce (int arg)
6 {
7   return arg;
8 }
9 
10 int
foo(int k,int j,int z)11 foo (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