https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111069
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Apparently my fault as I've done r10-720-gb7f0df71a9de2354fcb7 which enabled it, but am not really sure what is the correct mangling.