https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111746
--- Comment #1 from Zdenek Sojka <zsojka at seznam dot cz> --- This seems to have got fixed between gdfb40855a08 (BAD) and g0f40e59f193 (GOOD).
zsojka at seznam dot cz via Gcc-bugs Fri, 13 Oct 2023 03:37:11 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111746
--- Comment #1 from Zdenek Sojka <zsojka at seznam dot cz> --- This seems to have got fixed between gdfb40855a08 (BAD) and g0f40e59f193 (GOOD).