[Bug tree-optimization/57993] [4.9 Regression] ICE: verify_ssa failed (definition in block n does not dominate use in block m)

[wschmidt at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57993

--- Comment #5 from Bill Schmidt <wschmidt at gcc dot gnu.org> ---
Looks like the casting is confusing us into replacing PHIs not dominated by the
prospective basis.  Shouldn't be too hard to fix.