https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110939
--- Comment #13 from Xi Ruoyao <xry111 at gcc dot gnu.org> --- The patch is pushed. I'm running a bootstrap and I'll close this PR after it successes.
xry111 at gcc dot gnu.org via Gcc-bugs Sun, 01 Oct 2023 21:27:35 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110939
--- Comment #13 from Xi Ruoyao <xry111 at gcc dot gnu.org> --- The patch is pushed. I'm running a bootstrap and I'll close this PR after it successes.