re PR java/20056 ('verification failed: incompatible type on stack' with --indirect-dispatch)

	PR java/20056:
	* verify-impl.c (types_equal): Fixed test.

From-SVN: r95267

gcc/java/ChangeLog

 2005-02-18  Tom Tromey  <tromey@redhat.com>
 
 	PR java/20056:
+	* verify-impl.c (types_equal): Fixed test.
+
+	PR java/20056:
 	* verify-glue.c (vfy_class_has_field): New function.
 	* verify.h (vfy_class_has_field): Declare.
 	* verify-impl.c (check_field_constant): Added 'putfield'

gcc/java/verify-impl.c

@@ -743,8 +743,9 @@ types_compatible (type *t, type *k)
 static bool
 types_equal (type *t1, type *t2)
 {
-  if (t1->key != reference_type || t1->key != uninitialized_reference_type
-      || t2->key != reference_type || t2->key != uninitialized_reference_type)
+  if ((t1->key != reference_type && t1->key != uninitialized_reference_type)
+      || (t2->key != reference_type
+	  && t2->key != uninitialized_reference_type))
     return false;
   /* Only single-ref types are allowed.  */
   if (t1->klass->ref_next || t2->klass->ref_next)