Fix PR5258, jump-threading creating invalid PHIs.