https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121922
--- Comment #3 from Tobias Burnus <burnus at gcc dot gnu.org> --- Fixed, but I think it would be useful to cherry pick it to GCC 15. Hence, not closed.
burnus at gcc dot gnu.org via Gcc-bugs Thu, 18 Sep 2025 02:17:02 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121922
--- Comment #3 from Tobias Burnus <burnus at gcc dot gnu.org> --- Fixed, but I think it would be useful to cherry pick it to GCC 15. Hence, not closed.