https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94331
--- Comment #13 from José Rui Faustino de Sousa <jrfsousa at gcc dot gnu.org> --- Created attachment 51017 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51017&action=edit Updated patch.
jrfsousa at gcc dot gnu.org via Gcc-bugs Mon, 14 Jun 2021 16:22:34 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94331
--- Comment #13 from José Rui Faustino de Sousa <jrfsousa at gcc dot gnu.org> --- Created attachment 51017 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51017&action=edit Updated patch.