https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91393
--- Comment #10 from David Binderman <dcb314 at hotmail dot com> --- (In reply to Martin Liška from comment #9) > I've got a patch candidate for it. Ping Martin. Anything happened with that patch ?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91393
--- Comment #10 from David Binderman <dcb314 at hotmail dot com> --- (In reply to Martin Liška from comment #9) > I've got a patch candidate for it. Ping Martin. Anything happened with that patch ?