https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123859
--- Comment #3 from Zdenek Sojka <zsojka at seznam dot cz> --- This got fixed between r16-7239 (BAD) and r16-7278 (OK), maybe due to the PR122689 fix.
zsojka at seznam dot cz via Gcc-bugs Wed, 04 Feb 2026 03:15:55 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123859
--- Comment #3 from Zdenek Sojka <zsojka at seznam dot cz> --- This got fixed between r16-7239 (BAD) and r16-7278 (OK), maybe due to the PR122689 fix.