aboutsummaryrefslogtreecommitdiff
path: root/libjava/verify.cc
AgeCommit message (Expand)AuthorFilesLines
2002-06-24verify.cc (branch_prepass): Updated for change to exception handler type.Tom Tromey1-12/+12
2002-04-26verify.cc (construct_primitive_array_type): New case.Tom Tromey1-0/+61
2002-03-10verify.cc (state::NO_STACK): New constant.Tom Tromey1-22/+53
2002-02-20re PR libgcj/5696 (natClass.cc run through superclasses of target if they exi...Tom Tromey1-12/+12
2002-02-15re PR libgcj/5695 (verify.cc test that target is an object before running dow...Tom Tromey1-4/+26
2002-02-14re PR libgcj/5670 (verify.cc not properly merging states)Todd Stock1-2/+14
2002-02-13re PR libgcj/5671 (verify.cc problem merging local variables)Todd Stock1-2/+7
2002-02-07verify.cc (require_array_type): If argument is a null array of references, re...Tom Tromey1-2/+4
2002-02-07verify.cc (verify_instructions_0): Actually push the duplicate of a wide type.Mark Wielaard1-0/+2
2002-02-06verify.cc (type::isnull): New method.Tom Tromey1-1/+10
2002-02-01verify.cc (state::enter_subroutine): New method.Tom Tromey1-10/+30
2002-01-30verify.cc (handle_ret_insn): Check for subroutine merge here...Tom Tromey1-9/+72
2002-01-28verify.cc (class _Jv_BytecodeVerifier): `nargs' byte is number of words, not ...Tom Tromey1-7/+16
2002-01-28verify.cc (class _Jv_BytecodeVerifier): Removed `FIXME' comment and to-do list.Tom Tromey1-13/+14
2002-01-25verify.cc (verify_fail): Change from being a top-level function to e method o...Per Bothner1-106/+107
2002-01-25Updated copyright dateTom Tromey1-1/+1
2002-01-24verify.cc (is_assignable_from_slow): If source is an interface, we must also ...Per Bothner1-1/+3
2001-12-10resolve.cc (_Jv_PrepareClass): Verify method here...Tom Tromey1-28/+83
2001-12-09verify.cc (_Jv_BytecodeVerifier::is_assignable_from_slow): Handle case of arr...Tom Tromey1-6/+8
2001-12-07verify.cc (_Jv_BytecodeVerifier::branch_prepass): Set start_PC earlier, for e...Tom Tromey1-3/+8
2001-12-07verify.cc (_Jv_BytecodeVerifier::FLAG_JSR_TARGET): Removed.Tom Tromey1-2/+0
2001-12-06verify.cc (_Jv_BytecodeVerifier::type_val): Added unused_by_subroutine_type.Tom Tromey1-19/+182
2001-12-04verify.cc (_Jv_BytecodeVerifier::linked_utf8): New structure.Tom Tromey1-4/+45
2001-12-04defineclass.cc (read_one_method_attribute): `end_pc' for an exception can be ...Tom Tromey1-33/+55
2001-12-04defineclass.cc (handleMethodsEnd): Invoke verifier here...Tom Tromey1-2/+2
2001-11-25verify.cc (_Jv_BytecodeVerifier::branch_prepass): Use java_opcode as type for...Tom Tromey1-8/+8
2001-11-20verify.cc (_Jv_BytecodeVerifier::branch_prepass): Uses two operand bytes, not...Tom Tromey1-6/+6
2001-11-20verify.cc (_Jv_BytecodeVerifier::require_array_type): Special case for boolea...Tom Tromey1-3/+13
2001-11-19verify.cc (_Jv_BytecodeVerifier::verify_instructions_0): Shift argument is an...Tom Tromey1-3/+6
2001-11-19verify.cc (type::to_array): New method.Tom Tromey1-1/+18
2001-11-19verify.cc (_Jv_BytecodeVerifier::branch_prepass): Skip a short, not a byte.Tom Tromey1-2/+2
2001-11-19verify.cc (_Jv_BytecodeVerifier::get_type_val_for_signature): Added `B' case.Tom Tromey1-0/+3
2001-11-19verify.cc (_Jv_BytecodeVerifier::get_ushort): Use `jint' for temporary values.Tom Tromey1-10/+10
2001-11-19verify.cc (_Jv_BytecodeVerifier::pop_type): Put PC into error message.Tom Tromey1-12/+16
2001-11-18verify.cc: Include StringBuffer.h.Tom Tromey1-41/+80
2001-11-16verify.cc (_Jv_BytecodeVerifier::check_field_constant): Handle case where fie...Tom Tromey1-1/+3
2001-11-16verify.cc (_Jv_BytecodeVerifier::is_assignable_from_slow): New method.Tom Tromey1-8/+56
2001-11-16verify.cc (type::compatible): Use _Jv_IsAssignableFrom.Tom Tromey1-2/+6
2001-11-15verify.cc (class _Jv_BytecodeVerifier): Fixed logic.Tom Tromey1-18/+70
2001-11-09* verify.cc: Wrap in #ifdef INTERPRETER...#endif.Jeff Sturm1-0/+4
2001-11-07* verify.cc (skip_padding): Fail if padding byte is nonzero.Tom Tromey1-1/+2
2001-11-05Class.h (Class): Made _Jv_BytecodeVerifier a friend.Tom Tromey1-0/+2436