From b11946180dfc1baaf2d336938f3761254ca61140 Mon Sep 17 00:00:00 2001
From: Tom Tromey <tromey@redhat.com>
Date: Wed, 7 Nov 2001 19:15:54 +0000
Subject: [PATCH] * verify.cc (skip_padding): Fail if padding byte is nonzero.

From-SVN: r46830
---
 libjava/ChangeLog | 4 ++++
 libjava/verify.cc | 3 ++-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/libjava/ChangeLog b/libjava/ChangeLog
index a058dc5a9e7..d0444666c5f 100644
--- a/libjava/ChangeLog
+++ b/libjava/ChangeLog
@@ -1,3 +1,7 @@
+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.
diff --git a/libjava/verify.cc b/libjava/verify.cc
index a32af685700..272a9ebfb3a 100644
--- 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.