Jikes 1.15 vs. Verifier

Dalibor Topic kaffe@rufus.w3.org
Sun, 24 Mar 2002 05:23:49 +0100



--------------Boundary-00=_PVMG0TUPC4XFGVKCG5J5
Content-Type: text/plain;
  charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

On Sunday 24 March 2002 04:54, Dalibor Topic wrote:
> I've attached the patch for class-analyse.c that improves the error
> message generated when the verification fails. I hope this will make
> finding that kind of issues with compilers easier.

I have now ...
--------------Boundary-00=_PVMG0TUPC4XFGVKCG5J5
Content-Type: text/plain;
  charset="iso-8859-1";
  name="verifier-message.patch.changelog"
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment; filename="verifier-message.patch.changelog"

	* kaffe/kaffevm/code-analyse.c:
	(verifyBasicBlock) improved error message.

--------------Boundary-00=_PVMG0TUPC4XFGVKCG5J5
Content-Type: text/x-diff;
  charset="iso-8859-1";
  name="verifier-message.patch"
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment; filename="verifier-message.patch"

--- kaffe/kaffe/kaffevm/code-analyse.c	Fri Jun  1 21:30:05 2001
+++ patched-kaffe/kaffe/kaffevm/code-analyse.c	Sun Mar 24 04:42:39 2002
@@ -406,7 +406,8 @@
 		if (sp < meth->localsz || sp > meth->localsz + meth->stacksz) {
 			failed = true;
 			postExceptionMessage(einfo, JAVA_LANG(VerifyError),
-				"at pc %d sp %d not in range [%d, %d]",
+				"In class %s in method %s with signature %s at pc %d: sp %d not in range [%d, %d]",
+				meth->class->name->data, meth->name->data, METHOD_SIGD(meth),
 				pc, sp, meth->localsz, 
 				meth->localsz + meth->stacksz);
 			break;

--------------Boundary-00=_PVMG0TUPC4XFGVKCG5J5--


_________________________________________________________
Do You Yahoo!?
Get your free @yahoo.com address at http://mail.yahoo.com