https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79072
Paul Thomas <pault at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |pault at gcc dot gnu.org
Assignee|unassigned at gcc dot gnu.org |pault at gcc dot gnu.org
--- Comment #10 from Paul Thomas <pault at gcc dot gnu.org> ---
I happened upon this bug in the course of fixing PR78990. It looked at first
sight to be similar but is not.... of course. However, the fix was real easy
and I'll submit it a bit later on.
Thanks for the report and sorry that it is taken so long.
Paul
