hotspot/src/share/vm/classfile/verificationType.cpp
changeset 6172 e1d9c632fa3c
parent 5547 f4b087cbb361
child 6473 04e6d80f38b1
--- a/hotspot/src/share/vm/classfile/verificationType.cpp	Sat Jul 17 21:49:23 2010 -0700
+++ b/hotspot/src/share/vm/classfile/verificationType.cpp	Tue Jul 20 08:41:42 2010 -0700
@@ -70,7 +70,9 @@
   } else if (is_array() && from.is_array()) {
     VerificationType comp_this = get_component(CHECK_false);
     VerificationType comp_from = from.get_component(CHECK_false);
-    return comp_this.is_assignable_from(comp_from, context, CHECK_false);
+    if (!comp_this.is_bogus() && !comp_from.is_bogus()) {
+      return comp_this.is_assignable_from(comp_from, context, CHECK_false);
+    }
   }
   return false;
 }
@@ -98,7 +100,7 @@
         CHECK_(VerificationType::bogus_type()));
       return VerificationType::reference_type(component);
     default:
-      ShouldNotReachHere();
+      // Met an invalid type signature, e.g. [X
       return VerificationType::bogus_type();
   }
 }