[patch] Java definite assignment

[Per Bothner]

I checked the following in.

2001-02-07  Per Bothner  <per@bothner.com>

	* check-init.c (check_init):  Fix TRY_FINALLY_EXPR logic.

	* check-init.c (check_init):  Don't call done_alternative after
	processing loop code, as a LOOP_EXPR never terminates normally.

Index: check-init.c
===================================================================
RCS file: /cvs/gcc/egcs/gcc/java/check-init.c,v
retrieving revision 1.26
diff -u -p -r1.26 check-init.c
--- check-init.c	2001/02/04 22:44:02	1.26
+++ check-init.c	2001/02/08 03:36:08
@@ -451,7 +451,6 @@ check_init (exp, before)
 	BEGIN_ALTERNATIVES (before, alt);
 	alt.block = exp;
 	check_init (TREE_OPERAND (exp, 0), before);
-	done_alternative (before, &alt);
 	END_ALTERNATIVES (before, alt);
 	return;
       }
@@ -571,8 +570,9 @@ check_init (exp, before)
       {
 	words tmp = ALLOC_WORDS (num_current_words);
 	COPY (tmp, before);
-	check_init (TREE_OPERAND (exp, 0), tmp);
-	check_init (TREE_OPERAND (exp, 1), before);
+	check_init (TREE_OPERAND (exp, 0), before);
+	check_init (TREE_OPERAND (exp, 1), tmp);
+	UNION (before, before, tmp);
 	FREE_WORDS (tmp);
       }
       return;
-- 
	--Per Bothner
per@bothner.com   http://www.bothner.com/~per/