rt_gccstream/gcc/testsuite/gcc.dg/tree-ssa/vrp46.c

29 lines
484 B
C

/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-vrp1" } */
void
func_18 ( int t )
{
unsigned l_889;
int l_895 = 1;
for (0; 1; ++l_889)
{
int t1 = 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 a single if left. */
/* { dg-final { scan-tree-dump-times "if" 1 "vrp1" } } */
/* { dg-final { cleanup-tree-dump "vrp1" } } */