verify.cc (type::compatible): Use _Jv_IsAssignableFrom.

	* verify.cc (type::compatible): Use _Jv_IsAssignableFrom.
	(type::merge): Likewise.

From-SVN: r47077

libjava/ChangeLog

+2001-11-15  Tom Tromey  <tromey@redhat.com>
+
+	* verify.cc (type::compatible): Use _Jv_IsAssignableFrom.
+	(type::merge): Likewise.
+
 2001-11-14  Hans Boehm <Hans_Boehm@hp.com>
 
 	* java/lang/natString.cc: correct argument order for

libjava/verify.cc

@@ -373,7 +373,9 @@ private:
       // We must resolve both types and check assignability.
       resolve ();
       k.resolve ();
-      return data.klass->isAssignableFrom (k.data.klass);
+      // Use _Jv_IsAssignableFrom to avoid premature class
+      // initialization.
+      return _Jv_IsAssignableFrom (data.klass, k.data.klass);
     }
 
     bool isvoid () const
@@ -537,7 +539,9 @@ private:
 		  // This loop will end when we hit Object.
 		  while (true)
 		    {
-		      if (k->isAssignableFrom (oldk))
+		      // Use _Jv_IsAssignableFrom to avoid premature
+		      // class initialization.
+		      if (_Jv_IsAssignableFrom (k, oldk))
 			break;
 		      k = k->getSuperclass ();
 		      changed = true;