DO NOT REPLY [Bug 24315] - Verification failure when nested finally blocks
| Newsgroups | gmane.comp.jakarta.bcel.devel |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected] changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |FIXED ------- Additional Comments From [email protected] 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