https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94132
--- Comment #2 from Amir Ansari <amir.ahmed.ansari at outlook dot com> --- (In reply to Andrew Pinski from comment #1) > >Can we make this check more robust so valid usage isn't rejected? > > Why do you think it is valid? Because I know the flexible array member data isn't dangling. I have allocated space immediately following the member that I would like to use. It has been working perfectly in previous versions. I understand there could be alignment concerns and if that is the case I am happy to declare it packed. Finally, the workaround gives the same outcome by typing some more code.