> I have no idea how to do it. I opened: > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82384
See Pierre-Marie's suggested patch on the PR. Arno
> I have no idea how to do it. I opened: > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82384
See Pierre-Marie's suggested patch on the PR. Arno