verify.c (merge_type_state): Stil may have to merge even if LABEL_VERIFIED (label).

	* verify.c (merge_type_state):  Stil may have to merge even if
	LABEL_VERIFIED (label).

From-SVN: r39170

gcc/java/ChangeLog

 2001-01-21  Per Bothner  <per@bothner.com>
 
+	* verify.c (merge_type_state):  Stil may have to merge even if
+	LABEL_VERIFIED (label).
+
+2001-01-21  Per Bothner  <per@bothner.com>
+
 	* parse.y (method_header):  Don't set the DECL_NAME of a FUNCTION_DECL
 	to a EXPR_WITH_FILE_LOCATION - that is just too fragile and wrong.
 

gcc/java/verify.c

@@ -232,7 +232,7 @@ merge_type_state (label)
   int cur_length = stack_pointer + nlocals;
   tree vec = LABEL_TYPE_STATE (label);
   tree return_map;
-  if (vec == NULL_TREE || !LABEL_VERIFIED (label))
+  if (vec == NULL_TREE)
     {
       if (!vec)
 	{