https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59124
--- Comment #44 from Patrick Palka <ppalka at gcc dot gnu.org> --- (In reply to Szőts Ákos from comment #43) > Yes, I can agree with this reasoning. However, when you remove either the > "while" or the "if" statements, the warning disappears. I don't think they > should have any influence on the array_size. Hmm yeah it's rather flaky. The warning depends on whether or not the compiler unrolls the for loop.