https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99623
--- Comment #10 from Sebastiano Vigna <sebastiano.vigna at unimi dot it> --- Ahem no, my correction goes in the opposite direction it should go. I'll ask suggestions to the library authors. I really apologize for all the noise.
