From: Tom Tromey <tromey@redhat.com>
Date: Wed, 7 Nov 2001 19:15:54 +0000 (+0000)
Subject: * verify.cc (skip_padding): Fail if padding byte is nonzero.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b11946180dfc1baaf2d336938f3761254ca61140;p=gcc.git

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

From-SVN: r46830
---

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.