https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80635
--- Comment #47 from Jeffrey A. Law <law at redhat dot com> --- Martin, yea, your patch does prevent creation of the V_C_E. That in turn allows maybe_a$live_7 to be directly used in the conditional which in turn allows tree-ssa-uninit.c to realize the problematic path isn't runtime feasible and suppresses the warning.
