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

Reply via email to