https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124078
--- Comment #5 from Zdenek Sojka <zsojka at seznam dot cz> --- But it is not failing any more with r16-7529-g5388fd3a3b65cc ; so it got fixed / papered over in the meantime.
zsojka at seznam dot cz via Gcc-bugs Mon, 16 Feb 2026 04:00:07 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124078
--- Comment #5 from Zdenek Sojka <zsojka at seznam dot cz> --- But it is not failing any more with r16-7529-g5388fd3a3b65cc ; so it got fixed / papered over in the meantime.