[Bug tree-optimization/56756] [4.9 Regression] ICE: verify_ssa failed (definition in block n follows the use !)

[rguenther at suse dot de]

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

--- Comment #7 from rguenther at suse dot de <rguenther at suse dot de> 2013-03-28 10:26:48 UTC ---
On Thu, 28 Mar 2013, mpolacek at gcc dot gnu.org wrote:

> 
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56756
> 
> --- Comment #6 from Marek Polacek <mpolacek at gcc dot gnu.org> 2013-03-28 10:11:55 UTC ---
> FWIW, started with http://gcc.gnu.org/viewcvs/gcc?view=revision&revision=196769

Yes, I was expecting that.  This orders blocks in a different
"random" order when visiting dominator children.  It tries
to order them in inverted postorder - which is exactly deterministically
"wrong" for LIM, as it visits loop blocks with a loop exit edge
last.