verify.c

Fri Aug 13 07:20:00 GMT 1999

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.