https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88477
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- I'd argue that the constraint "The type of the entity to be initialized shall be an array of unknown size or a complete object type that is not a variable length array type." must be understood to refer to the type before the initializer (because the case of an array of unknown size only applies before the initializer, not after it).