------- Comment #3 from ebotcazou at gcc dot gnu dot org 2009-03-05 13:31 ------- > No, the case is an extension to C. 6.5.3.4 was obviously written without this > case in mind.
Not at all, see 6.7.2.1 (16): 16 As a special case, the last element of a structure with more than one named member may have an incomplete array type; this is called a flexible array member. With two exceptions, the flexible array member is ignored. First, the size of the structure shall be equal to the offset of the last element of an otherwise identical structure that replaces the flexible array member with an array of unspecified length.106) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39383
