------- Comment #3 from rguenth at gcc dot gnu dot org 2010-08-27 16:12 ------- I think the bug is that we assume the exit is taken at some point, which is not true if we assume the induction variable does not wrap (so we only can assume one of both those assumptions at the same time).
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45427
