1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-vrp1" } */
       3  
       4  int func_81 (int);
       5  int func_98 (int);
       6  
       7  void
       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" } } */