https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123949
--- Comment #11 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> --- (In reply to David Binderman from comment #7) > Can this one be marked FIXED ? I think it can be closed now.
jvdelisle at gcc dot gnu.org via Gcc-bugs Mon, 23 Feb 2026 17:57:09 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123949
--- Comment #11 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> --- (In reply to David Binderman from comment #7) > Can this one be marked FIXED ? I think it can be closed now.