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