diff src/share/vm/classfile/verifier.hpp @ 13401:22eaa15b7960

8026065: InterfaceMethodref for invokespecial must name a direct superinterface Summary: Add verification to check that invokespecial of an InterfaceMethodref names a method in a direct superinterface of the current class or interface in accordance with JSR 335, JVMS 4.9.2 Structural Constraints. Reviewed-by: acorn, hseigel, coleenp Contributed-by: lois.foltan@oracle.com
author hseigel
date Tue, 26 Nov 2013 09:52:22 -0500
parents ef57c43512d6
children aff11567504c 78bbf4d43a14
line wrap: on
line diff
--- a/src/share/vm/classfile/verifier.hpp	Sat Nov 23 12:25:13 2013 +0100
+++ b/src/share/vm/classfile/verifier.hpp	Tue Nov 26 09:52:22 2013 -0500
@@ -345,6 +345,9 @@
   // that a class has been verified and prepared for execution.
   bool was_recursively_verified() { return _klass->is_rewritten(); }
 
+  bool is_same_or_direct_interface(instanceKlassHandle klass,
+    VerificationType klass_type, VerificationType ref_class_type);
+
  public:
   enum {
     BYTECODE_OFFSET = 1,