http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28865
--- Comment #21 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- The reason for laxity about flexible array member constraints is existing code violating them, as in the glibc header code quoted in <http://gcc.gnu.org/ml/gcc-patches/2002-08/msg01149.html>. I don't know whether there is existing such code for the array case or not.