https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88688

--- Comment #4 from Paul Thomas <pault at gcc dot gnu.org> ---
Fixed on trunk and closing.

I will build a composite patch for 13-branch in a few weeks.

Thanks for the report

Paul

Reply via email to