jakarta-bcel-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From bugzi...@apache.org
Subject DO NOT REPLY [Bug 24315] - Verification failure when nested finally blocks
Date Sun, 02 Nov 2003 19:31:57 GMT
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


Mime
View raw message