http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58553
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |ASSIGNED Last reconfirmed| |2013-09-30 Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> --- Mine. Jeff, the niter code returns the number of latch executions, so adding one is correct if the memset happens before the latch (the code doesn't try to distinguish both cases but it now has to, after I removed the restriction of distributing only exactly loops with a single basic block). I'll fix it.