https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98723
--- Comment #13 from Luca Bacci <luca.bacci at outlook dot com> --- Here we are: https://gcc.gnu.org/pipermail/gcc-patches/2024-November/668988.html Let me know if anything is missing. Best regards, Luca