[Bug tree-optimization/47632] [4.6 Regression] ICE: verify_flow_info failed: BB 4 can not throw but has an EH edge with -fnon-call-exceptions -ftrapv and operator new[]

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-02-07 16:20:17 UTC ---
We propagate D.2112_13 into the if, changing that to D.2112_22 != 0 and
remove the D.2112_13 def w/o cleaning up EH.

  [LP 1] D.2112_13 = D.2112_22 + -1;
  goto <bb 6>;
  # SUCC: 6 [100.0%]  (fallthru,exec) 5 (eh,exec)

...

  # BLOCK 6 freq:9700
  # PRED: 4 [100.0%]  (fallthru,exec)
  ivtmp.8_12 = ivtmp.8_14 - 1;
  if (D.2112_13 != -1)