https://gcc.gnu.org/bugzilla/show_bug.cgi?id=128218
--- Comment #2 from Henri Menke <henri at henrimenke dot de> --- Indeed, thanks Steve! Could you please point out which PR fixed this?
henri at henrimenke dot de via Gcc-bugs Tue, 27 Oct 2026 11:09:37 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=128218
--- Comment #2 from Henri Menke <henri at henrimenke dot de> --- Indeed, thanks Steve! Could you please point out which PR fixed this?