https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90889
--- Comment #11 from Martin Jambor <jamborm at gcc dot gnu.org> --- OK, I found the edge which is now ignored but should not be, it was one level above what I originally tried. I have proposed a fix in: https://gcc.gnu.org/ml/gcc-patches/2019-06/msg00986.html