Hi,

On Wed, 2002-02-06 at 20:41, Mark Wielaard wrote:
> java.lang.VerifyError: verification failed at PC 37 in 
>java.util.zip.ZipFile:readEntries(()V): incompatible type on stack

Another bug in the verifier. dup2 actually dups the stack. Patch
attached. Still not found any bugs in jikes.

Cheers,

Mark
Index: verify.cc
===================================================================
RCS file: /cvs/gcc/gcc/libjava/verify.cc,v
retrieving revision 1.33
diff -u -u -r1.33 verify.cc
--- verify.cc   2002/02/06 21:53:59     1.33
+++ verify.cc   2002/02/06 22:49:37
@@ -2382,6 +2382,8 @@
                  push_type (t);
                  push_type (t2);
                }
+             else
+               push_type (t);
              push_type (t);
            }
            break;

Reply via email to