https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109685
--- Comment #6 from Thomas Neumann <tneumann at users dot sourceforge.net> --- > GCC 13.2 is being released, retargeting bugs to GCC 13.3. the bug should be closed as fixed, the bug fix is already in the 13.2 branch. (I do not have permissions to do that, though).