https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106901
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Yes if size is 5, then yes it will not be executed. There is another bug about the wording of the warning. The warning is saying there might be an out of bounds due to the bounds of the loop is not bounded on the size of the array.
