https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59124
--- Comment #31 from baoshan <pangbw at gmail dot com> --- (In reply to Manuel López-Ibáñez from comment #30) > (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? At the pass "cunrolli", it infers the iterative times by checking the array's boundary, as we have "unsigned baz[6];", it would think the max value of iterative times is 6.
