https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59124
--- Comment #30 from Manuel López-Ibáñez <manu at gcc dot gnu.org> --- (In reply to baoshan from comment #29) > > However, it is clear that _14 = baz[_9] is executed only 5 times (not 5 > > times + 1). Why is this estimate wrong? > > The max value of n is 6, so the max value of i is 5 as "i < n", then the max > value of j is 4 as "j = i - 1" which means the max iterate times is 4. True! Well, that reinforces my point that something is very wrong in the estimation. What is it?
