I just approved Jakub's GCC patch which I hope should fix this <https://gcc.gnu.org/ml/gcc-patches/2017-12/msg01485.html>. -- Joseph S. Myers joseph@codesourcery.com