https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112727
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> --- It has been added that way by Marek in r8-727-g6b6ae9eb9c06b6911573bb9a13cf98b5a7c98b78
jakub at gcc dot gnu.org via Gcc-bugs Wed, 06 Dec 2023 13:10:09 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112727
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> --- It has been added that way by Marek in r8-727-g6b6ae9eb9c06b6911573bb9a13cf98b5a7c98b78