https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70879 --- Comment #3 from Jeffrey A. Law <law at redhat dot com> --- Which is the problem Andrew has started poking at :-) One of the paths being explored is creating those PHIs.