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

From-SVN: r46830

diff --git a/libjava/ChangeLog b/libjava/ChangeLog
index a058dc5a9e7c0d58904e3848cbeee61f53ff1dd0..d0444666c5fb98e8840b7a957f6e0898afe712c0 100644 (file)
--- 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 a32af6857007e217a00727c723e3a290616bdb76..272a9ebfb3ab87dce87a45c976972da3a84d2dd4 100644 (file)
--- 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.