Mercurial > hg > graal-jvmci-8

diff src/share/vm/classfile/verifier.hpp @ 20759:4b26b980ec8d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
8058982: Better verification of an exceptional invokespecial Summary: Throw VerifyError for illegal accesses Reviewed-by: acorn, ahgross, coleenp
author hseigel
date Mon, 20 Oct 2014 15:14:56 -0400
parents 077483254bf6
children 695017a614d5
line wrap: on
line diff
--- a/src/share/vm/classfile/verifier.hpp	Mon Oct 20 13:04:19 2014 -0700
+++ b/src/share/vm/classfile/verifier.hpp	Mon Oct 20 15:14:56 2014 -0400
@@ -301,8 +301,9 @@
 
   void verify_invoke_init(
     RawBytecodeStream* bcs, u2 ref_index, VerificationType ref_class_type,
-    StackMapFrame* current_frame, u4 code_length, bool* this_uninit,
-    constantPoolHandle cp, TRAPS);
+    StackMapFrame* current_frame, u4 code_length, bool in_try_block,
+    bool* this_uninit, constantPoolHandle cp, StackMapTable* stackmap_table,
+    TRAPS);
 
   // Used by ends_in_athrow() to push all handlers that contain bci onto
   // the handler_stack, if the handler is not already on the stack.
@@ -316,8 +317,8 @@
 
   void verify_invoke_instructions(
     RawBytecodeStream* bcs, u4 code_length, StackMapFrame* current_frame,
-    bool* this_uninit, VerificationType return_type,
-    constantPoolHandle cp, TRAPS);
+    bool in_try_block, bool* this_uninit, VerificationType return_type,
+    constantPoolHandle cp, StackMapTable* stackmap_table, TRAPS);
 
   VerificationType get_newarray_type(u2 index, u2 bci, TRAPS);
   void verify_anewarray(u2 bci, u2 index, constantPoolHandle cp,