You are viewing a plain text version of this content. The canonical link for it is here.
Posted to bcel-dev@jakarta.apache.org by bu...@apache.org on 2003/11/02 20:31:57 UTC
DO NOT REPLY [Bug 24315] -
Verification failure when nested finally blocks
DO NOT REPLY TO THIS EMAIL, BUT PLEASE POST YOUR BUG
RELATED COMMENTS THROUGH THE WEB INTERFACE AVAILABLE AT
<http://nagoya.apache.org/bugzilla/show_bug.cgi?id=24315>.
ANY REPLY MADE TO THIS MESSAGE WILL NOT BE COLLECTED AND
INSERTED IN THE BUG DATABASE.
http://nagoya.apache.org/bugzilla/show_bug.cgi?id=24315
Verification failure when nested finally blocks
ehaase@inf.fu-berlin.de changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
------- Additional Comments From ehaase@inf.fu-berlin.de 2003-11-02 19:31 -------
This is *NOT* a bug. It's an intended incompatibility with Sun's verifier
that will be present as long as Sun does not correctly specify what exactly
the verifier should do in this situation.
Remember JustIce is a cleanroom implementation, so I will not look into
Sun's code to find out what *they* do. They should update their "vmspec2" book.
Please read my paper on JustIce for details - this incompatibility is sort
of a "core" of the 'subroutine' definition I made up on my own since Sun did not.
Enver
---------------------------------------------------------------------
To unsubscribe, e-mail: bcel-dev-unsubscribe@jakarta.apache.org
For additional commands, e-mail: bcel-dev-help@jakarta.apache.org