https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119064
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 61616 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=61616&action=edit gcc16-pr119064-wip.patch Untested WIP patch. On slightly modified clang testcase this now mostly works (the only difference is that clang doesn't consider VLA types of trivially relocatable (resp. replaceable) types to be trivially relocatable (resp. replaceable) and I don't see why.