On Thu, Dec 6, 2018 at 10:04 AM Ian Lance Taylor via gcc-patches <gcc-patches@gcc.gnu.org> wrote: > > On Thu, Dec 6, 2018 at 3:12 AM Nick Clifton <nickc@redhat.com> wrote: > > > > Is the patch OK with you ? > This caused: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88409 -- H.J.