This is the mail archive of the
java-discuss@sourceware.cygnus.com
mailing list for the Java project.
verify.c
- To: java-discuss@sourceware.cygnus.com
- Subject: verify.c
- From: Guy Laden <guy@math.tau.ac.il>
- Date: Fri, 13 Aug 1999 17:24:10 +0300 (GMT+0300)
In verify.c (line 450) I came across the comment:
/* FIXME: If we exit a subroutine via a throw, we might
have returned to an earlier caller. Obviously a
"ret" can only return one level, but a throw may
return many levels.*/
On the face of it this seems wrong: a 'ret' can return multiple
levels (cf. the VM spec, 4.8.2 last item). Some tests with
Sun's verifier show this to indeed be the case.
However I might be misunderstanding the comment as I'm reading
it out of context, without a proper understanding of the code.
Guy.