[Bug middle-end/57026] [4.9 Regression] ice: SSA corruption

[rguenth at gcc dot gnu.org]

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



--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> 2013-04-22 
12:50:10 UTC ---

VRP does



   setjmp (_3(ab));

-  f_12 = (long unsigned int) d_1(ab);

...

-  <bb 15>:

-  _26 = (unsigned int) f_12;

+  <bb 16>:

+  _26 = d_1(ab);

   *z_23(D) = _26;



that's obviously not ok.