From ee5cd6389e7e061c5469e3cb28cfcad997970b65 Mon Sep 17 00:00:00 2001 From: Gregg Townsend Date: Thu, 26 Aug 1999 17:00:57 +0000 Subject: [PATCH] verify.c (verify_jvm_instructions): Don't check instruction validity beyond end of method. Wed Aug 25 15:37:15 1999 Gregg Townsend * verify.c (verify_jvm_instructions): Don't check instruction validity beyond end of method. From-SVN: r28897 --- gcc/java/ChangeLog | 5 +++++ gcc/java/verify.c | 3 ++- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/gcc/java/ChangeLog b/gcc/java/ChangeLog index 38036915ee02..6abba840dbd5 100644 --- a/gcc/java/ChangeLog +++ b/gcc/java/ChangeLog @@ -4,6 +4,11 @@ Thu Aug 26 09:10:58 1999 Alexandre Petit-Bianco to set the column number. (qualify_ambiguous_name): Take WFL wrappers into account. +Wed Aug 25 15:37:15 1999 Gregg Townsend + + * verify.c (verify_jvm_instructions): Don't check instruction + validity beyond end of method. + 1999-08-25 Tom Tromey * jvspec.c (lang_specific_driver): Correctly handle --help again. diff --git a/gcc/java/verify.c b/gcc/java/verify.c index d665a16418a0..8b08a8aacbb2 100644 --- 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");