https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80898
Martin Jambor <jamborm at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution|--- |FIXED --- Comment #7 from Martin Jambor <jamborm at gcc dot gnu.org> --- And indeed that was the case. I have posted an updated patch with an additional testcase to the mailing list as: https://gcc.gnu.org/ml/gcc-patches/2017-06/msg00028.html Because Richi, promptly approved it, I have committed it straight away and this is now fixed.