[PATCH] Fix tree-opt/33589 out of SSA not cleaning up eh info for statements

["Andrew Pinski" <pinskia at gmail dot com>]

Hi,
  The problem here is that out of SSA (via TER) replaces the function
expression inside a CALL_EXPR with a nothrowing function.  So we go
from a possible throwing call to a call which is known not to throw.
But Out of SSA does not call maybe_clean_or_replace_eh_stmt to make
sure the eh information is updated so we get an ICE.

This fixes the problem by calling maybe_clean_or_replace_eh_stmt if
the expression changed.  We may as well also call
tree_purge_dead_eh_edges if maybe_clean_or_replace_eh_stmt returns
true also to cleanup the dead edges now instead of during
final_cleanup.

OK? Bootstrapped and tested on i386-apple-darwin8.10.1.

:ADDPATCH tree-opt:

Thanks,
Andrew Pinski

ChangeLog:
* tree-outof-ssa.c (rewrite_trees): If the statement changed, cleanup
the eh information on the statement.


* testsuite/g++.dg/torture/pr33589-1.C: New testcase.
* testsuite/g++.dg/torture/pr33589-2.C: New testcase.

Attachment: fixpr33589.diff.txt
Description: Text document