verify.c (verify_jvm_instructions): Don't check instruction validity beyond end of...

Wed Aug 25 15:37:15 1999  Gregg Townsend  <gmt@cs.arizona.edu>

        * verify.c (verify_jvm_instructions): Don't check instruction
        validity beyond end of method.

From-SVN: r28897

diff --git a/gcc/java/ChangeLog b/gcc/java/ChangeLog
index 38036915ee022cd9dd155fde6519300ea19f98ed..6abba840dbd550bbbb6ade70a10e012fe73ee9c7 100644 (file)
--- a/gcc/java/ChangeLog
+++ b/gcc/java/ChangeLog
@@ -4,6 +4,11 @@ Thu Aug 26 09:10:58 1999  Alexandre Petit-Bianco  <apbianco@cygnus.com>
        to set the column number.
        (qualify_ambiguous_name): Take WFL wrappers into account.
 
+Wed Aug 25 15:37:15 1999  Gregg Townsend  <gmt@cs.arizona.edu>
+
+       * verify.c (verify_jvm_instructions): Don't check instruction
+       validity beyond end of method.
+
 1999-08-25  Tom Tromey  <tromey@cygnus.com>
 
        * jvspec.c (lang_specific_driver): Correctly handle --help again.

diff --git a/gcc/java/verify.c b/gcc/java/verify.c
index d665a16418a0ba2787da930ab059d28a46111ee8..8b08a8aacbb2078241c1b5f00341ec30b3264d65 100644 (file)
--- a/gcc/java/verify.c
+++ b/gcc/java/verify.c
@@ -400,7 +400,8 @@ verify_jvm_instructions (jcf, byte_ops, length)
          || handler_pc < 0 || handler_pc >= length
          || (handler_pc >= start_pc && handler_pc < end_pc)
          || ! (instruction_bits [start_pc] & BCODE_INSTRUCTION_START)
-         || ! (instruction_bits [end_pc] & BCODE_INSTRUCTION_START)
+         || (end_pc < length &&
+            ! (instruction_bits [end_pc] & BCODE_INSTRUCTION_START))
          || ! (instruction_bits [handler_pc] & BCODE_INSTRUCTION_START))
        {
          error ("bad pc in exception_table");