https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122896
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Looking into the code which handles the dangling pointer warnings here I can say this code does NOT work correctly. Part of the problem is it only uses dominating trees and that falls down when there is no path between 2 bbs or when the secondary bb is conditional like this case.
