< 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 >