< prev index next >

src/hotspot/share/classfile/verifier.hpp

Print this page 
rev 55090 : secret-sfac


 335 
 336   void verify_invoke_init(
 337     RawBytecodeStream* bcs, u2 ref_index, VerificationType ref_class_type,
 338     StackMapFrame* current_frame, u4 code_length, bool in_try_block,
 339     bool* this_uninit, const constantPoolHandle& cp, StackMapTable* stackmap_table,
 340     TRAPS);
 341 
 342   // Used by ends_in_athrow() to push all handlers that contain bci onto the
 343   // handler_stack, if the handler has not already been pushed on the stack.
 344   void push_handlers(ExceptionTable* exhandlers,
 345                      GrowableArray<u4>* handler_list,
 346                      GrowableArray<u4>* handler_stack,
 347                      u4 bci);
 348 
 349   // Returns true if all paths starting with start_bc_offset end in athrow
 350   // bytecode or loop.
 351   bool ends_in_athrow(u4 start_bc_offset);
 352 
 353   void verify_invoke_instructions(
 354     RawBytecodeStream* bcs, u4 code_length, StackMapFrame* current_frame,
 355     bool in_try_block, bool* this_uninit, VerificationType return_type,
 356     const constantPoolHandle& cp, StackMapTable* stackmap_table, TRAPS);
 357 
 358   VerificationType get_newarray_type(u2 index, u2 bci, TRAPS);
 359   void verify_anewarray(u2 bci, u2 index, const constantPoolHandle& cp,
 360       StackMapFrame* current_frame, TRAPS);
 361   void verify_return_value(
 362       VerificationType return_type, VerificationType type, u2 offset,
 363       StackMapFrame* current_frame, TRAPS);
 364 
 365   void verify_iload (u2 index, StackMapFrame* current_frame, TRAPS);
 366   void verify_lload (u2 index, StackMapFrame* current_frame, TRAPS);
 367   void verify_fload (u2 index, StackMapFrame* current_frame, TRAPS);
 368   void verify_dload (u2 index, StackMapFrame* current_frame, TRAPS);
 369   void verify_aload (u2 index, StackMapFrame* current_frame, TRAPS);
 370   void verify_istore(u2 index, StackMapFrame* current_frame, TRAPS);
 371   void verify_lstore(u2 index, StackMapFrame* current_frame, TRAPS);
 372   void verify_fstore(u2 index, StackMapFrame* current_frame, TRAPS);
 373   void verify_dstore(u2 index, StackMapFrame* current_frame, TRAPS);
 374   void verify_astore(u2 index, StackMapFrame* current_frame, TRAPS);
 375   void verify_iinc  (u2 index, StackMapFrame* current_frame, TRAPS);




 335 
 336   void verify_invoke_init(
 337     RawBytecodeStream* bcs, u2 ref_index, VerificationType ref_class_type,
 338     StackMapFrame* current_frame, u4 code_length, bool in_try_block,
 339     bool* this_uninit, const constantPoolHandle& cp, StackMapTable* stackmap_table,
 340     TRAPS);
 341 
 342   // Used by ends_in_athrow() to push all handlers that contain bci onto the
 343   // handler_stack, if the handler has not already been pushed on the stack.
 344   void push_handlers(ExceptionTable* exhandlers,
 345                      GrowableArray<u4>* handler_list,
 346                      GrowableArray<u4>* handler_stack,
 347                      u4 bci);
 348 
 349   // Returns true if all paths starting with start_bc_offset end in athrow
 350   // bytecode or loop.
 351   bool ends_in_athrow(u4 start_bc_offset);
 352 
 353   void verify_invoke_instructions(
 354     RawBytecodeStream* bcs, u4 code_length, StackMapFrame* current_frame,
 355     bool in_try_block, bool* this_uninit,
 356     const constantPoolHandle& cp, StackMapTable* stackmap_table, TRAPS);
 357 
 358   VerificationType get_newarray_type(u2 index, u2 bci, TRAPS);
 359   void verify_anewarray(u2 bci, u2 index, const constantPoolHandle& cp,
 360       StackMapFrame* current_frame, TRAPS);
 361   void verify_return_value(
 362       VerificationType return_type, VerificationType type, u2 offset,
 363       StackMapFrame* current_frame, TRAPS);
 364 
 365   void verify_iload (u2 index, StackMapFrame* current_frame, TRAPS);
 366   void verify_lload (u2 index, StackMapFrame* current_frame, TRAPS);
 367   void verify_fload (u2 index, StackMapFrame* current_frame, TRAPS);
 368   void verify_dload (u2 index, StackMapFrame* current_frame, TRAPS);
 369   void verify_aload (u2 index, StackMapFrame* current_frame, TRAPS);
 370   void verify_istore(u2 index, StackMapFrame* current_frame, TRAPS);
 371   void verify_lstore(u2 index, StackMapFrame* current_frame, TRAPS);
 372   void verify_fstore(u2 index, StackMapFrame* current_frame, TRAPS);
 373   void verify_dstore(u2 index, StackMapFrame* current_frame, TRAPS);
 374   void verify_astore(u2 index, StackMapFrame* current_frame, TRAPS);
 375   void verify_iinc  (u2 index, StackMapFrame* current_frame, TRAPS);
< prev index next >