https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122078
--- Comment #8 from Federico Terraneo <fede.tft at miosix dot org> --- I tried sending the patch to gcc-patches (https://gcc.gnu.org/pipermail/gcc-patches/2025-November/699826.html) for review but did not get a reply, I'll try sending a ping.
