https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108113
--- Comment #3 from Marc Poulhiès <dkm at gcc dot gnu.org> --- I can yes, but wasn't really sure and didn't want to interfere with Arthur ongoing work at updating the gcc's master branch with all the pending changes from github. Should I submit the patch for formal approval on gcc-patches@ or can I go ahead and apply it directly ?
