1045 	      if (integer_nonzerop (t))  in number_of_iterations_ne()
1066 	      if (integer_nonzerop (t))  in number_of_iterations_ne()
1118       if (!integer_nonzerop (assumption))  in number_of_iterations_ne()
1157   if (integer_nonzerop (mod))  in number_of_iterations_lt_to_ne()
1178 	    (iv0->no_overflow && integer_nonzerop (iv0->step))  in number_of_iterations_lt_to_ne()
1179 	    || (iv1->no_overflow && integer_nonzerop (iv1->step));  in number_of_iterations_lt_to_ne()
1181   if (integer_nonzerop (iv0->step))  in number_of_iterations_lt_to_ne()
1236   if (!integer_nonzerop (assumption))  in number_of_iterations_lt_to_ne()
1265   if (integer_nonzerop (iv0->step))  in assert_no_overflow_lt()
1314   if (!integer_nonzerop (assumption))  in assert_no_overflow_lt()
1359   if (integer_nonzerop (iv0->step))  in assert_loop_rolls_lt()
1397   if (integer_nonzerop (iv0->step))  in assert_loop_rolls_lt()
1437   if (!integer_nonzerop (assumption))  in assert_loop_rolls_lt()
1463   if (integer_nonzerop (iv0->step))  in number_of_iterations_lt()
1508   if (integer_nonzerop (iv0->step))  in number_of_iterations_lt()
1588       if (integer_nonzerop (iv0->step))  in number_of_iterations_le()
1597       if (!integer_nonzerop (assumption))  in number_of_iterations_le()
1602   if (integer_nonzerop (iv0->step))  in number_of_iterations_le()
1837 	  if (!integer_nonzerop (niter->assumptions))  in number_of_iterations_cond()
2092       if (integer_zerop (e) || integer_nonzerop (e))  in tree_simplify_using_condition_1()
2096       if (integer_zerop (e) || integer_nonzerop (e))  in tree_simplify_using_condition_1()
2129   if (e && integer_nonzerop (e))  in tree_simplify_using_condition_1()
2197 	  && (integer_zerop (expanded) || integer_nonzerop (expanded)))  in simplify_using_initial_conditions()
2390       if (!integer_nonzerop (assumption))  in number_of_iterations_exit_assumptions()
2446   if (integer_nonzerop (niter->assumptions))  in number_of_iterations_exit()
2477       if (integer_nonzerop (desc.may_be_zero))  in find_loop_niter()
2982 	      if (!tem || integer_nonzerop (tem))  in derive_constant_upper_bound_ops()
4270   return e && integer_nonzerop (e);  in n_of_executions_at_most()
4335       && integer_nonzerop (e))  in loop_exits_before_overflow()