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

[mpolacek at gcc dot gnu.org]

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

--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Thanks.  I'd guess that something in slsr_process_phi causes this, but so far I
don't know much more.