https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111820
--- Comment #12 from Hongtao.liu <crazylht at gmail dot com> --- Fixed in GCC14, not sure if we want to backport the patch. If so, the patch needs to be adjusted since GCC13 doesn't support auto_mpz.