https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109206
Paul Thomas <pault at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|unassigned at gcc dot gnu.org |pault at gcc dot gnu.org
--- Comment #1 from Paul Thomas <pault at gcc dot gnu.org> ---
Created attachment 54714
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54714&action=edit
Fix for this PR
Hi Martin,
Thanks for the rapid reporting!
This was plain carelessness on my part. I will commit as obvious a bit later
on.
Regards
Paul