[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.