* verify.cc (_Jv_BytecodeVerifier::pop_type): Put PC into error

[pf3gnuchains/gcc-fork.git] / libjava / ChangeLog

diff --git a/libjava/ChangeLog b/libjava/ChangeLog
index 31373d6..0afaa10 100644 (file)
--- a/libjava/ChangeLog
+++ b/libjava/ChangeLog
@@ -1,5 +1,49 @@
+2001-11-18  Tom Tromey  <tromey@redhat.com>
+
+       * verify.cc (_Jv_BytecodeVerifier::pop_type): Put PC into error
+       message.
+       (_Jv_BytecodeVerifier::pop64): Likewise.
+       (_Jv_BytecodeVerifier::pop32): Likewise.
+       (_Jv_BytecodeVerifier::pop_raw): Likewise.
+       (_Jv_BytecodeVerifier::pop_type): Promote the match type.
+       (type::set_initialized): Only modify uninitialized types.
+       (type::set_uninitialized): Fix shadowing bug.  Simplify code.
+
+       * verify.cc: Include StringBuffer.h.
+       (verify_fail): Added pc argument.  Use StringBuffer to construct
+       exception message.
+       (_Jv_BytecodeVerifier::verify_instructions_0): Put PC into error
+       message.
+       (_Jv_BytecodeVerifier::check_return_type): Likewise.
+       (_Jv_BytecodeVerifier::handle_field_or_method): Likewise.
+       (_Jv_BytecodeVerifier::check_constant): Likewise.
+       (_Jv_BytecodeVerifier::check_class_constant): Likewise.
+       (_Jv_BytecodeVerifier::check_pool_index): Likewise.
+       (_Jv_BytecodeVerifier::get_variable): Likewise.
+       (_Jv_BytecodeVerifier::branch_prepass): Likewise.  Also, correctly
+       check exception handler endpoint.
+       (_Jv_BytecodeVerifier::verify_instructions_0): Correctly handle
+       wide arguments to current method.
+       (_Jv_BytecodeVerifier::check_wide_constant): New method.
+       (_Jv_BytecodeVerifier::verify_instructions_0) [op_ldc2_w]: Use
+       it.
+
+2001-11-17  Anthony Green  <green@redhat.com>
+
+       * jni.cc (unwrap): Fix test for wrapped objects.
+
 2001-11-16  Tom Tromey  <tromey@redhat.com>
 
+       * verify.cc (_Jv_BytecodeVerifier::check_field_constant): Handle
+       case where field has primitive type.
+
+       * verify.cc (_Jv_BytecodeVerifier::is_assignable_from_slow): New
+       method.
+       (type::compatible): Use it.
+       (type::merge): Likewise.
+       (type::promote): Return a `type&'.
+       (get_one_type): Promote return value.
+
        Re-merge with Classpath, from Brian Jones:
        * java/lang/Integer.java (getInteger): Attempt to decode the value
        of the system property instead of the name of the system property.