https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119563
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 60950 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=60950&action=edit gcc15-pr119563.patch Untested full patch. Whether it ICEs or not depends on what actually is beyond the allocated array, it could be a dereferenceable pointer (that happens to be the case for the embed testcase) or not (for the other), at least on x86_64-linux, both with -O0 and stage3 cc1plus. For the embed case there is an undereferenceable pointer 4 elements earlier, but that is just a lottery.