This is the mail archive of the
java-patches@gcc.gnu.org
mailing list for the Java project.
Patch: FYI: enable verifier
- From: Tom Tromey <tromey at redhat dot com>
- To: Java Patch List <java-patches at gcc dot gnu dot org>
- Date: 08 Jan 2002 14:04:43 -0700
- Subject: Patch: FYI: enable verifier
- Reply-to: tromey at redhat dot com
I'm checking this in.
This patch enables the libgcj bytecode verifier. I've been using it
for a while, and I've run it against a lot of bytecode. It probably
still has bugs (though I don't know of any), but I think it is
reliable enough to enable by default.
Tom
Index: ChangeLog
from Tom Tromey <tromey@redhat.com>
* resolve.cc (_Jv_PrepareClass): Enable verifier.
Index: resolve.cc
===================================================================
RCS file: /cvs/gcc/gcc/libjava/resolve.cc,v
retrieving revision 1.27
diff -u -r1.27 resolve.cc
--- resolve.cc 2001/12/10 01:18:30 1.27
+++ resolve.cc 2002/01/08 20:50:27
@@ -1,6 +1,6 @@
// resolve.cc - Code for linking and resolving classes and pool entries.
-/* Copyright (C) 1999, 2000, 2001 Free Software Foundation
+/* Copyright (C) 1999, 2000, 2001 , 2002 Free Software Foundation
This file is part of libgcj.
@@ -628,8 +628,7 @@
else if (imeth != 0) // it could be abstract
{
_Jv_InterpMethod *im = reinterpret_cast<_Jv_InterpMethod *> (imeth);
- // FIXME: enable once verifier is more fully tested.
- // _Jv_VerifyMethod (im);
+ _Jv_VerifyMethod (im);
clz->methods[i].ncode = im->ncode ();
}
}