https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95018
--- Comment #13 from Jiu Fu Guo <guojiufu at gcc dot gnu.org> --- In this case, the loop body execution is at most a given number, but not an exact number. It would be only some iterations are executed at runtime. As above said this may false for 'while (count[n] == extent[n])'. There may be a possible enhancement for the 'cunroll'.