https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85447 --- Comment #9 from Martin Jambor <jamborm at gcc dot gnu.org> --- Eventually, we have decided to go for a more limited fix which I have posted to the mailing list: https://gcc.gnu.org/ml/gcc-patches/2018-04/msg00995.html