http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
--- Comment #8 from Jan Hubicka <hubicka at gcc dot gnu.org> 2013-01-08 17:55:42 UTC --- Created attachment 29109 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29109 updated patch There is another bug triggered by this testcase. Some of the bounds, like those derrived by if (iv_var == constant) can not be used when they are not executed every iteration. This patch prevents them from being recorded as bounds.