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

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

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.

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");