https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59124
--- Comment #43 from Szőts Ákos <szotsaki at gmail dot com> --- 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.
