https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108988
--- Comment #8 from David Malcolm <dmalcolm at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #6) > Fixed. Thanks!
dmalcolm at gcc dot gnu.org via Gcc-bugs Fri, 03 Mar 2023 15:16:18 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108988
--- Comment #8 from David Malcolm <dmalcolm at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #6) > Fixed. Thanks!