https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92589
--- Comment #2 from Kees Cook <kees at outflux dot net> --- Is there anything to enforce a strict "only consider empty array size as flexible array member" mode? This is an unfortunate weakening of the array bounds checker as there are plenty of structures that have a fixed-size array as the final member.