summaryrefslogtreecommitdiff
path: root/libjava/verify.cc
Commit message (Expand)AuthorAgeFilesLines
* verify.cc (state::enter_subroutine): New method.Tom Tromey2002-02-011-10/+30
* verify.cc (handle_ret_insn): Check for subroutine merge here...Tom Tromey2002-01-301-9/+72
* verify.cc (class _Jv_BytecodeVerifier): `nargs' byte is number of words, not ...Tom Tromey2002-01-281-7/+16
* verify.cc (class _Jv_BytecodeVerifier): Removed `FIXME' comment and to-do list.Tom Tromey2002-01-281-13/+14
* verify.cc (verify_fail): Change from being a top-level function to e method o...Per Bothner2002-01-251-106/+107
* Updated copyright dateTom Tromey2002-01-251-1/+1
* verify.cc (is_assignable_from_slow): If source is an interface, we must also ...Per Bothner2002-01-241-1/+3
* resolve.cc (_Jv_PrepareClass): Verify method here...Tom Tromey2001-12-101-28/+83
* verify.cc (_Jv_BytecodeVerifier::is_assignable_from_slow): Handle case of arr...Tom Tromey2001-12-091-6/+8
* verify.cc (_Jv_BytecodeVerifier::branch_prepass): Set start_PC earlier, for e...Tom Tromey2001-12-071-3/+8
* verify.cc (_Jv_BytecodeVerifier::FLAG_JSR_TARGET): Removed.Tom Tromey2001-12-071-2/+0
* verify.cc (_Jv_BytecodeVerifier::type_val): Added unused_by_subroutine_type.Tom Tromey2001-12-061-19/+182
* verify.cc (_Jv_BytecodeVerifier::linked_utf8): New structure.Tom Tromey2001-12-041-4/+45
* defineclass.cc (read_one_method_attribute): `end_pc' for an exception can be ...Tom Tromey2001-12-041-33/+55
* defineclass.cc (handleMethodsEnd): Invoke verifier here...Tom Tromey2001-12-041-2/+2
* verify.cc (_Jv_BytecodeVerifier::branch_prepass): Use java_opcode as type for...Tom Tromey2001-11-251-8/+8
* verify.cc (_Jv_BytecodeVerifier::branch_prepass): Uses two operand bytes, not...Tom Tromey2001-11-201-6/+6
* verify.cc (_Jv_BytecodeVerifier::require_array_type): Special case for boolea...Tom Tromey2001-11-201-3/+13
* verify.cc (_Jv_BytecodeVerifier::verify_instructions_0): Shift argument is an...Tom Tromey2001-11-191-3/+6
* verify.cc (type::to_array): New method.Tom Tromey2001-11-191-1/+18
* verify.cc (_Jv_BytecodeVerifier::branch_prepass): Skip a short, not a byte.Tom Tromey2001-11-191-2/+2
* verify.cc (_Jv_BytecodeVerifier::get_type_val_for_signature): Added `B' case.Tom Tromey2001-11-191-0/+3
* verify.cc (_Jv_BytecodeVerifier::get_ushort): Use `jint' for temporary values.Tom Tromey2001-11-191-10/+10
* verify.cc (_Jv_BytecodeVerifier::pop_type): Put PC into error message.Tom Tromey2001-11-191-12/+16
* verify.cc: Include StringBuffer.h.Tom Tromey2001-11-181-41/+80
* verify.cc (_Jv_BytecodeVerifier::check_field_constant): Handle case where fie...Tom Tromey2001-11-161-1/+3
* verify.cc (_Jv_BytecodeVerifier::is_assignable_from_slow): New method.Tom Tromey2001-11-161-8/+56
* verify.cc (type::compatible): Use _Jv_IsAssignableFrom.Tom Tromey2001-11-161-2/+6
* verify.cc (class _Jv_BytecodeVerifier): Fixed logic.Tom Tromey2001-11-151-18/+70
* * verify.cc: Wrap in #ifdef INTERPRETER...#endif.Jeff Sturm2001-11-091-0/+4
* * verify.cc (skip_padding): Fail if padding byte is nonzero.Tom Tromey2001-11-071-1/+2
* Class.h (Class): Made _Jv_BytecodeVerifier a friend.Tom Tromey2001-11-051-0/+2436