Please, scratch that. I have now sent an updated patch using git send-email: https://gcc.gnu.org/pipermail/gcc-patches/2024-November/668988.html
Sorry for the noise! :-) Best regards, Luca Il giorno ven 15 nov 2024 alle ore 16:55 Luca Bacci <luca.bacci...@gmail.com> ha scritto: > See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98723 >
