https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94756
--- Comment #13 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Fixed now on the trunk. I'd wait a little bit with backports, though I think the gmp-param.h change doesn't need backporting.
jakub at gcc dot gnu.org via Gcc-bugs Thu, 02 Mar 2023 15:44:17 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94756
--- Comment #13 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Fixed now on the trunk. I'd wait a little bit with backports, though I think the gmp-param.h change doesn't need backporting.