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 ...
* kaffe/kaffevm/code-analyse.c:
(verifyBasicBlock) improved error message.
--- 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;
