diff options
| author | Tom Tromey <tromey@redhat.com> | 2001-11-20 00:38:40 +0000 |
|---|---|---|
| committer | Tom Tromey <tromey@gcc.gnu.org> | 2001-11-20 00:38:40 +0000 |
| commit | 1578fa9545eb2ddfa81f70f56a0088d9b7078b0d (patch) | |
| tree | 31dffbc4c9cad6ccd8dbf2c7dff459fb06d16429 /libjava/verify.cc | |
| parent | 497e89e14f87f1533a7d4e032be88c8e2666503a (diff) | |
| download | gcc-1578fa9545eb2ddfa81f70f56a0088d9b7078b0d.tar.gz | |
verify.cc (_Jv_BytecodeVerifier::require_array_type): Special case for boolean arrays.
* verify.cc (_Jv_BytecodeVerifier::require_array_type): Special
case for boolean arrays.
* verify.cc (_Jv_BytecodeVerifier::compute_jump): Put PC into
error message.
From-SVN: r47190
Diffstat (limited to 'libjava/verify.cc')
| -rw-r--r-- | libjava/verify.cc | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/libjava/verify.cc b/libjava/verify.cc index 2562d1af25e..b9571c4b870 100644 --- a/libjava/verify.cc +++ b/libjava/verify.cc @@ -28,7 +28,6 @@ details. */ // TO DO // * read more about when classes must be loaded -// * there are bugs with boolean arrays? // * class loader madness // * Lots and lots of debugging and testing // * type representation is still ugly. look for the big switches @@ -951,7 +950,18 @@ private: type t = array.element_type (); if (! element.compatible (t)) - verify_fail ("incompatible array element type"); + { + // Special case for byte arrays, which must also be boolean + // arrays. + bool ok = true; + if (element.key == byte_type) + { + type e2 (boolean_type); + ok = e2.compatible (t); + } + if (! ok) + verify_fail ("incompatible array element type"); + } // Return T and not ELEMENT, because T might be specialized. return t; @@ -992,7 +1002,7 @@ private: { int npc = start_PC + offset; if (npc < 0 || npc >= current_method->code_length) - verify_fail ("branch out of range"); + verify_fail ("branch out of range", start_PC); return npc; } |