https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105913
--- Comment #4 from Thomas Schwinge <tschwinge at gcc dot gnu.org> --- (In reply to Marc Poulhiès from comment #3) > Fixed in github, but not yet in gcc's repository AFAIK. It is, as of today, 10:33 UTC, when I did the 'git push'. ;-). (If there's more to do, then please re-open this PR, of course.)