> 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

Reply via email to