https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85929
--- Comment #3 from Florian Weimer <fw at gcc dot gnu.org> --- (In reply to Richard Biener from comment #2) > That is, > for > UINT_MAX # of elements the code will infintely loop AFAICS (but it will > not access elements out of bounds). The way I read the original source code, the code will simply not touch all the vector elements in that case (but there is still no out-of-bounds access).
