https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79685
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 #16 from Paul Thomas <pault at gcc dot gnu.org> ---
Created attachment 58764
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58764&action=edit
Fix for this PR
Lot's of checking needed now: (i) To understand why this fix is necessary here;
and (ii) To see what else, if anything, that the patch fixes.
Paul
