https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95472
--- Comment #3 from Xi Ruoyao <xry111 at mengyan1223 dot wang> --- Well, seems fixed by Jakub at efaffc69 (in master) and a764bbb7 (in gcc-10) so far.
xry111 at mengyan1223 dot wang Mon, 01 Jun 2020 23:15:08 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95472
--- Comment #3 from Xi Ruoyao <xry111 at mengyan1223 dot wang> --- Well, seems fixed by Jakub at efaffc69 (in master) and a764bbb7 (in gcc-10) so far.