https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100756
--- Comment #11 from Robin Dapp <rdapp at gcc dot gnu.org> --- Just noticed this is still open due to the retargeting message. IMHO this can be closed. I'm pretty sure I erroneously used the GCC 12 target when opening the bug when it should have been trunk/GCC 13. I suppose we're not expecting a backport for GCC 12 anyway and Stefan confirmed that the bug is fixed since. Therefore I'd suggest to close it.