From: Roger Sayle Date: Thu, 29 Jan 2004 17:13:21 +0000 (+0000) Subject: re PR java/13824 (gcj SEGV with simple .java program) X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=06f12aa01b4b03024d907a0595ce7c10fb802af7;p=gcc.git 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 b01814b5388..4493b214d5d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2004-01-29 Roger Sayle + + 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 * config/frv/frv.c: Don't mention deprecated macros in diff --git a/gcc/tree.c b/gcc/tree.c index da94c4a5893..1be80e9dd20 100644 --- 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)