< prev index next >

src/hotspot/share/classfile/verificationType.cpp

Print this page

        

@@ -107,10 +107,11 @@
           from_field_is_protected, from.is_array(), from.is_object(), THREAD);
   } else if (is_array() && from.is_array()) {
     VerificationType comp_this = get_component(context, CHECK_false);
     VerificationType comp_from = from.get_component(context, CHECK_false);
 
+/*
     // This code implements non-covariance between value type arrays and both
     // arrays of objects and arrays of interface types.  If covariance is
     // supported for value type arrays then this code should be removed.
     if (comp_from.is_valuetype() && !comp_this.is_null() && comp_this.is_reference()) {
       // An array of value types is not assignable to an array of java.lang.Objects.

@@ -133,11 +134,11 @@
         if (comp_this_class->is_interface()) {
           return false;
         }
       }
     }
-
+*/
     if (!comp_this.is_bogus() && !comp_from.is_bogus()) {
       return comp_this.is_component_assignable_from(comp_from, context,
                                                     from_field_is_protected, THREAD);
     }
   }
< prev index next >