https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100977
--- Comment #8 from Uroš Bizjak <ubizjak at gmail dot com> --- (In reply to Jakub Jelinek from comment #7) > True, but is it worth changing on a tool that is one twice in a decade? Well, the question is self-answering ;)