https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88063
Tom de Vries <vries at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |FIXED
Assignee|unassigned at gcc dot gnu.org |vries at gcc dot gnu.org
Target Milestone|--- |9.0
--- Comment #15 from Tom de Vries <vries at gcc dot gnu.org> ---
Patch fixing the problem mentioned in the description committed to trunk.
Other problems mentioned fixed as well in trunk.
Marking resolved-fixed.
