aboutsummaryrefslogtreecommitdiff
path: root/libjava/verify.cc
AgeCommit message (Expand)AuthorFilesLines
2004-11-25* Merged gcj-abi-2-dev-branch to trunk.Tom Tromey1-1/+1
2004-11-03verify.cc (state::check_no_uninitialized_objects): Removed.Tom Tromey1-34/+21
2004-08-11javaprims.h (_Jv_Utf8Const): Change struct to a class, with private fields an...Per Bothner1-28/+20
2004-03-19* verify.cc: Undef PC.Rainer Orth1-0/+5
2004-02-01jvm.h (MAYBE_UNUSED): New macro tp mark probably unused arguments.Michael Koch1-1/+1
2004-01-23re PR libgcj/13107 (Wrong verification error in gij: recursive subroutine call)Tom Tromey1-616/+340
2004-01-08re PR libgcj/13439 (gij VerifyError; works with JDK 1.4)Tom Tromey1-26/+107
2003-12-02verify.cc (state::clean_subrs): Clear seen_subrs.Jeff Sturm1-3/+3
2003-11-19re PR libgcj/13026 (libgcj verifier failure)Tom Tromey1-3/+4
2003-07-24For PR libgcj/7482:Tom Tromey1-232/+310
2003-05-07* verify.cc: Reverted previous patch.Tom Tromey1-2/+60
2003-05-01re PR libgcj/10582 (array assignment fails in some situations)Tom Tromey1-60/+2
2003-04-11verify.cc (pop64): Removed.Tom Tromey1-11/+17
2003-03-03verify.cc (handle_jsr_insn): Don't fail if `jsr' appears at end of bytecode.Tom Tromey1-10/+15
2003-02-16verify.cc (_Jv_BytecodeVerifier::pop_jump): Removed unused variable.Tom Tromey1-2/+0
2003-02-13verify.cc (state::seen_subrs): New field.Tom Tromey1-5/+58
2002-12-28boehm.cc: Remove stray semicolon.Mark Mitchell1-28/+28
2002-12-05Fixed snafu caused when fixing previous snafu.Tom Tromey1-2/+2
2002-12-05Fixed ChangeLog patch snafuTom Tromey1-2/+2
2002-12-03natClassLoader.cc (_Jv_PrepareCompiledClass): Call _Jv_PushClass.Andrew Haley1-3/+3
2002-11-27verify.cc (pop_init_ref): New method.Tom Tromey1-26/+48
2002-11-26* verify.cc (type::compatible): Backed out broken change.Tom Tromey1-5/+5
2002-11-26verify.cc (type::compatible): Check initialization status first.Tom Tromey1-6/+5
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
generated by cgit v1.1 at 2024-08-17 10:15:15 +0000