https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81797
--- Comment #23 from Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> --- (In reply to Jonathan Wakely from comment #22) > So maybe somebody should submit the patch to the mailing lists. Submitted: https://gcc.gnu.org/ml/libstdc++/2017-10/msg00045.html Sorry I didn't do it before, but I wasn't sure it would be welcome, as you were (as far as I can tell) the only libstdc++ maintainer to have commented here, and you had stated that you "don't think this is a libstdc++ issue".