https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106901 --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Maybe I am reading the code wrong. But size will be >= 5 at the loop. So it will be executed. If size is >= 5. And that is what the warning is about.