* verify.cc (skip_padding): Fail if padding byte is nonzero.

From-SVN: r46830

* verify.cc (skip_padding): Fail if padding byte is nonzero.
From-SVN: r46830
b1194618 · Tom Tromey · Tom Tromey · 64ef1ee2 · b1194618 · b1194618
Commit b1194618 authored Nov 07, 2001 by Tom Tromey Committed by Tom Tromey Nov 07, 2001
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 1 deletions

libjava/ChangeLog
+4 -0

libjava/verify.cc
+2 -1

No files found.
--- a/libjava/ChangeLog
+++ b/libjava/ChangeLog
+2001-11-07  Tom Tromey  <tromey@redhat.com>
+
+	* verify.cc (skip_padding): Fail if padding byte is nonzero.
+
 2001-11-06  Tom Tromey  <tromey@redhat.com>

 	* HACKING: Make people commit their own patches.

--- a/libjava/verify.cc
+++ b/libjava/verify.cc
@@ -1000,7 +1000,8 @@ private:
  void skip_padding ()
  {
    while ((PC % 4) > 0)
-      get_byte ();
+      if (get_byte () != 0)
+	verify_fail ("found nonzero padding byte");
  }

  // Return the subroutine to which the instruction at PC belongs.