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.

Reply via email to