https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113513
--- Comment #2 from Tobias Burnus <burnus at gcc dot gnu.org> --- Patch: https://gcc.gnu.org/pipermail/gcc-patches/2024-January/643648.html
burnus at gcc dot gnu.org via Gcc-bugs Mon, 22 Jan 2024 11:45:53 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113513
--- Comment #2 from Tobias Burnus <burnus at gcc dot gnu.org> --- Patch: https://gcc.gnu.org/pipermail/gcc-patches/2024-January/643648.html