https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108499
--- Comment #2 from Stephen <steveire at gmail dot com> --- > There is no way to figure out for the compiler that theSize is not zero > either. There is no way for the compiler to figure out that theSize *is* zero. We have warnings -Wmaybe-uninitialized and -Wuninitialized. This warning is -Warray-bounds, not -Wmaybe-array-bounds. This warning should not be emitted.
