1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdisable-tree-evrp -fdump-tree-vrp1-details -fdisable-tree-ethread" } */
3
4 void bar (void);
foo(int i,int j)5 int foo (int i, int j)
6 {
7 int res = 1;
8 if (i < j)
9 {
10 /* We should be able to simplify the following conditional
11 during propagation. */
12 if (i > j)
13 res = 0;
14 }
15 /* And compute res as having a value-range of [1,1]. */
16 if (res)
17 return i;
18 return j;
19 }
20
21 /* { dg-final { scan-tree-dump "res_.: \\\[1, 1\\\]" "vrp1" } } */
22 /* { dg-final { scan-tree-dump-not "Threaded" "vrp1" } } */
23