hotspot/src/share/vm/classfile/verifier.hpp
changeset 28512 968fe01e1f82
parent 26928 744b310d4fdd
child 28652 645506f523d0
equal deleted inserted replaced
28511:3de39f0478f8 28512:968fe01e1f82
   299     RawBytecodeStream* bcs, StackMapFrame* current_frame,
   299     RawBytecodeStream* bcs, StackMapFrame* current_frame,
   300     constantPoolHandle cp, TRAPS);
   300     constantPoolHandle cp, TRAPS);
   301 
   301 
   302   void verify_invoke_init(
   302   void verify_invoke_init(
   303     RawBytecodeStream* bcs, u2 ref_index, VerificationType ref_class_type,
   303     RawBytecodeStream* bcs, u2 ref_index, VerificationType ref_class_type,
   304     StackMapFrame* current_frame, u4 code_length, bool* this_uninit,
   304     StackMapFrame* current_frame, u4 code_length, bool in_try_block,
   305     constantPoolHandle cp, TRAPS);
   305     bool* this_uninit, constantPoolHandle cp, StackMapTable* stackmap_table,
       
   306     TRAPS);
   306 
   307 
   307   // Used by ends_in_athrow() to push all handlers that contain bci onto
   308   // Used by ends_in_athrow() to push all handlers that contain bci onto
   308   // the handler_stack, if the handler is not already on the stack.
   309   // the handler_stack, if the handler is not already on the stack.
   309   void push_handlers(ExceptionTable* exhandlers,
   310   void push_handlers(ExceptionTable* exhandlers,
   310                      GrowableArray<u4>* handler_stack,
   311                      GrowableArray<u4>* handler_stack,
   314   // bytecode or loop.
   315   // bytecode or loop.
   315   bool ends_in_athrow(u4 start_bc_offset);
   316   bool ends_in_athrow(u4 start_bc_offset);
   316 
   317 
   317   void verify_invoke_instructions(
   318   void verify_invoke_instructions(
   318     RawBytecodeStream* bcs, u4 code_length, StackMapFrame* current_frame,
   319     RawBytecodeStream* bcs, u4 code_length, StackMapFrame* current_frame,
   319     bool* this_uninit, VerificationType return_type,
   320     bool in_try_block, bool* this_uninit, VerificationType return_type,
   320     constantPoolHandle cp, TRAPS);
   321     constantPoolHandle cp, StackMapTable* stackmap_table, TRAPS);
   321 
   322 
   322   VerificationType get_newarray_type(u2 index, u2 bci, TRAPS);
   323   VerificationType get_newarray_type(u2 index, u2 bci, TRAPS);
   323   void verify_anewarray(u2 bci, u2 index, constantPoolHandle cp,
   324   void verify_anewarray(u2 bci, u2 index, constantPoolHandle cp,
   324       StackMapFrame* current_frame, TRAPS);
   325       StackMapFrame* current_frame, TRAPS);
   325   void verify_return_value(
   326   void verify_return_value(