diff options
| author | Tom Tromey <tromey@redhat.com> | 2005-06-24 22:09:15 +0000 |
|---|---|---|
| committer | Tom Tromey <tromey@gcc.gnu.org> | 2005-06-24 22:09:15 +0000 |
| commit | aca02b7e0012d382259660d8d44917e30a24dfec (patch) | |
| tree | dc3cacf7c6d08a5e1aadc432281d4ad24526b9b2 /libjava/verify.cc | |
| parent | 6a05987083f4bb8812017baa0e3a134d21a4095e (diff) | |
| download | gcc-aca02b7e0012d382259660d8d44917e30a24dfec.zip gcc-aca02b7e0012d382259660d8d44917e30a24dfec.tar.gz gcc-aca02b7e0012d382259660d8d44917e30a24dfec.tar.bz2 | |
verify-impl.c (verify_instructions_0): Correctly handle situation where PC falls off end.
gcc/java/:
* verify-impl.c (verify_instructions_0): Correctly handle
situation where PC falls off end.
libjava/:
* verify.cc (verify_instructions_0): Correctly handle situation
where PC falls off end.
From-SVN: r101299
Diffstat (limited to 'libjava/verify.cc')
| -rw-r--r-- | libjava/verify.cc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/libjava/verify.cc b/libjava/verify.cc index a47571b..167d74c 100644 --- a/libjava/verify.cc +++ b/libjava/verify.cc @@ -2198,8 +2198,9 @@ private: // We only have to do this checking in the situation where // control flow falls through from the previous // instruction. Otherwise merging is done at the time we - // push the branch. - if (states[PC] != NULL) + // push the branch. Note that we'll catch the + // off-the-end problem just below. + if (PC < current_method->code_length && states[PC] != NULL) { // We've already visited this instruction. So merge // the states together. It is simplest, but not most |