OSDN Git Service

201f8ee5a00f5785fcce0dfb1f4f09ab9dc343de
[pf3gnuchains/gcc-fork.git] / gcc / testsuite / gcc.dg / tree-ssa / vrp05.c
1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-vrp1" } */
3
4 foo (int k, int j)
5 {
6   if (k >= 10)
7     {
8       if (j > k)
9         {
10           /* We should fold this to if (1).  */
11           if (j > 0)
12             return j;
13         }
14     }
15
16   return j;
17 }
18
19 /* { dg-final { scan-tree-dump-times "Folding predicate j_.*to 1" 1 "vrp1" } } */
20 /* { dg-final { cleanup-tree-dump "vrp1" } } */