https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93242
--- Comment #11 from Ilya Leoshkevich <iii at linux dot ibm.com> --- I see. It would be good to update https://gcc.gnu.org/gcc-9/ then - e.g. https://gcc.gnu.org/gcc-8/ says "This release series is no longer supported".
