http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56078
--- Comment #6 from joseph at codesourcery dot com <joseph at codesourcery dot com> 2013-01-23 17:53:16 UTC --- I think taking the highest array index seen (determining the array bounds so that none of the initializers for a flexible array will ever be outside the bounds of the array) is the best interpretation of this extension.