blob: 6d3f75209d1319962adac91bfc8abe20f5107d65 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-vrp1" } */
int func_81 (int);
int func_98 (int);
void
func_18 ( int t )
{
unsigned l_889;
int l_895 = 1;
for (0; 1; ++l_889)
{
int t1 = 0;
func_98 (0);
func_98 (0);
if (func_81 (1))
{
int rhs = l_895;
if (rhs == 0)
rhs = 1;
if (1 & (t % rhs))
t1 = 1;
}
func_98 (t1);
l_895 = 0;
}
}
/* There should be no if left. */
/* { dg-final { scan-tree-dump-times "if" 0 "vrp1" } } */
|
