Patch by Richard Henderson:

	* tree-eh.c (tree_can_throw_internal, tree_can_throw_external):
	Handle RESX expressions properly.

From-SVN: r99698

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 090a75461156fb2adadef9a5a25801a88a1c80c1..42b8984b1c8a79c599010c1666fc064ec3c61537 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,9 @@
 2005-05-14  Jan Hubicka  <jh@suse.cz>
 
+       Patch by Richard Henderson:
+       * tree-eh.c (tree_can_throw_internal, tree_can_throw_external):
+       Handle RESX expressions properly.
+
        * tree-eh.c (record_stmt_eh_region): Use add_stmt_to_eh_region.
        (add_stmt_to_eh_region_fn): Nest into CALL_EXPR.
        (remove_stmt_from_eh_region_fn): Likewise.

diff --git a/gcc/tree-eh.c b/gcc/tree-eh.c
index 3315ffe85d29a4fc18cf6cdda839063d4e34d193..7d83746b501d53e3d4e267ce40c23f5276aea5f5 100644 (file)
--- a/gcc/tree-eh.c
+++ b/gcc/tree-eh.c
@@ -2008,7 +2008,12 @@ tree_could_throw_p (tree t)
 bool
 tree_can_throw_internal (tree stmt)
 {
-  int region_nr = lookup_stmt_eh_region (stmt);
+  int region_nr;
+
+  if (TREE_CODE (stmt) == RESX_EXPR)
+    region_nr = TREE_INT_CST_LOW (TREE_OPERAND (stmt, 0));
+  else
+    region_nr = lookup_stmt_eh_region (stmt);
   if (region_nr < 0)
     return false;
   return can_throw_internal_1 (region_nr);
@@ -2017,10 +2022,16 @@ tree_can_throw_internal (tree stmt)
 bool
 tree_can_throw_external (tree stmt)
 {
-  int region_nr = lookup_stmt_eh_region (stmt);
+  int region_nr;
+
+  if (TREE_CODE (stmt) == RESX_EXPR)
+    region_nr = TREE_INT_CST_LOW (TREE_OPERAND (stmt, 0));
+  else
+    region_nr = lookup_stmt_eh_region (stmt);
   if (region_nr < 0)
-    return false;
-  return can_throw_external_1 (region_nr);
+    return tree_could_throw_p (stmt);
+  else
+    return can_throw_external_1 (region_nr);
 }
 
 bool