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