https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108068
--- Comment #10 from rguenther at suse dot de <rguenther at suse dot de> --- On Thu, 22 Dec 2022, jakub at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108068 > > --- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> --- > Created attachment 54147 > --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54147&action=edit > gcc13-pr108068.patch > > So like this instead? Untested so far. LGTM.