https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97045
Paul Thomas <pault at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|--- |FIXED Status|WAITING |RESOLVED --- Comment #5 from Paul Thomas <pault at gcc dot gnu.org> --- (In reply to anlauf from comment #4) > This PR seems to have been fixed 3 years ago. > > @Paul: can we close it? That's a grand idea, Harald! Duly closed. I have no idea why it was marked as 'waiting'. Thanks for the report. Paul