https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54613
--- Comment #8 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- Created attachment 43226 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=43226&action=edit Patch which should not slow down things.... This seems to be better from the timing perspective for the library versions.
