http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55684
--- Comment #8 from Jan Hubicka <hubicka at ucw dot cz> 2012-12-14 18:36:48 UTC --- > First when in estimate_numbers_of_iterations_loop, number_of_iterations_exit > succeeds, then in find_loop_niter called from > canonicalize_loop_induction_variables it fails, so does it when called > from remove_redundant_iv_tests for that loop. It is a debugging lefover. At the time I wrote the code we was inserting the exits into upper bound list only when precise number of iterations was determined at given time. Sure we can also insert upper bounds there, but I think we still don't. Why number_of_iterations_exit changed the mind? Honza