https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82649
Paul Thomas <pault at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|ASSIGNED |RESOLVED
--- Comment #4 from Paul Thomas <pault at gcc dot gnu.org> ---
This was fixed, at last, by commit
r17-6009-g6335154826f330eb1cb8291953385208623b3971 a mere 9 years after
Reinhold reported it. See comment 20 of PR82173. RIP
Regards
Paul
