https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118997
--- Comment #4 from Vincenzo Romano <vincenzo.romano at gmail dot com> --- I think that an explicit statement in the documentation should be added, then. After all the zero-sized array field is both an extension (thus not in the standard manual) and a special case within the extension. I get your comments as highly authoritative.
