From ed5e73d2e8d5ccf726f8a43d3d88de1e24d02d04 Mon Sep 17 00:00:00 2001 From: tromey Date: Wed, 7 Nov 2001 19:15:54 +0000 Subject: * verify.cc (skip_padding): Fail if padding byte is nonzero. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@46830 138bc75d-0d04-0410-961f-82ee72b054a4 --- libjava/ChangeLog | 4 ++++ libjava/verify.cc | 3 ++- 2 files changed, 6 insertions(+), 1 deletion(-) (limited to 'libjava') 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 + + * verify.cc (skip_padding): Fail if padding byte is nonzero. + 2001-11-06 Tom Tromey * 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. -- cgit v1.2.3