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)8func_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