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

[Joost.VandeVondele at mat dot ethz.ch]

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

Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2013-07-01
                 CC|                            |Joost.VandeVondele at mat dot ethz
                   |                            |.ch

--- Comment #3 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> ---
(In reply to Dmitry Gorbachev from comment #2)
> The following testcase causes a similar error / ICE (although I can't
> reproduce the bug with the original testcase).

this second testcase is almost certainly a dup of PR57393. It passes with
-fno-tree-reassoc. The testcase is conveniently smaller.

I assume it is caused (see also PR57370):
http://gcc.gnu.org/viewcvs/gcc?view=revision&revision=199048


The original testcase of this PR still fails for me (and also passes with
-fno-tree-reassoc).