https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58754
Paul Thomas <pault at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #15 from Paul Thomas <pault at gcc dot gnu.org> --- Dear Juergen, Thanks for the report. I am sorry that it has taken a long time to get round to fixing it. Best regards Paul