re PR java/13824 (gcj SEGV with simple .java program)

	PR java/13824
	* tree.c (unsafe_for_reeval): Handle EXIT_BLOCK_EXPR nodes specially
	as their EXIT_BLOCK_LABELED_BLOCK operands can lead to unbounded
	recursion.

From-SVN: r76872

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b01814b5388289bc0ef158ab984742a07467662f..4493b214d5dbc95bf46fda0f57913c7f2750f7ad 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2004-01-29  Roger Sayle  <roger@eyesopen.com>
+
+       PR java/13824
+       * tree.c (unsafe_for_reeval): Handle EXIT_BLOCK_EXPR nodes specially
+       as their EXIT_BLOCK_LABELED_BLOCK operands can lead to unbounded
+       recursion.
+
 2004-01-29  Kazu Hirata  <kazu@cs.umass.edu>
 
        * config/frv/frv.c: Don't mention deprecated macros in

diff --git a/gcc/tree.c b/gcc/tree.c
index da94c4a5893f14b1ac7202301edb3d4724b3d082..1be80e9dd20c8d8fee4c91713e590c05eb1a86ac 100644 (file)
--- a/gcc/tree.c
+++ b/gcc/tree.c
@@ -1656,6 +1656,13 @@ unsafe_for_reeval (tree expr)
       unsafeness = 1;
       break;
 
+    case EXIT_BLOCK_EXPR:
+      /* EXIT_BLOCK_LABELED_BLOCK, a.k.a. TREE_OPERAND (expr, 0), holds
+        a reference to an ancestor LABELED_BLOCK, so we need to avoid
+        unbounded recursion in the 'e' traversal code below.  */
+      exp = EXIT_BLOCK_RETURN (expr);
+      return exp ? unsafe_for_reeval (exp) : 0;
+
     default:
       tmp = (*lang_hooks.unsafe_for_reeval) (expr);
       if (tmp >= 0)