https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113907
--- Comment #75 from Martin Jambor <jamborm at gcc dot gnu.org> --- The above fixes the testcase from comment #58. I am not sure if any other testcases discussed here remain unresolved. I am also not sure to what extent we want to that patch of mine, I guess I'll re-visit the idea in a few weeks.