https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87359
--- Comment #18 from Paul Thomas <pault at gcc dot gnu.org> --- Hi Juergen, Thanks for doing the reduction of the problem and thanks to Dominique for testing the patch. Fixed. Paul
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87359
--- Comment #18 from Paul Thomas <pault at gcc dot gnu.org> --- Hi Juergen, Thanks for doing the reduction of the problem and thanks to Dominique for testing the patch. Fixed. Paul