https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90037
Jeffrey A. Law <law at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |law at redhat dot com
--- Comment #6 from Jeffrey A. Law <law at redhat dot com> ---
Right. This is a good example of where extracting the predicate analysis bits
from tree-ssa-uninit.c would be useful elsewhere.
The isolate-erroneous-paths bits don't help either because the dereference
isn't in the same block as the PHI with the NULL argument (educated guess here)
I'm a little surprised DOM jump threading didn't bb11->bb41 to bb31 though.
