https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88750
--- Comment #37 from Jürgen Reuter <juergen.reuter at desy dot de> --- I'm inclined to advice to close this PR. In principle, it would be good to follow up on this and see which change around Christmas 2018 triggered this, but I fear we don't have the personpower atm.
