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 Summary: Verification failure when nested finally blocks Product: BCEL Version: 5.1 Platform: All OS/Version: All Status: NEW Severity: Major Priority: Other Component: Main AssignedTo: [EMAIL PROTECTED] ReportedBy: [EMAIL PROTECTED] The following code will not pass that JustIce verifier. Code was compiled with Sun's standard compiler (v 1.4.1). SOURCE CODE: public class Test55 { public void foo(int arg0, int arg1) { try { try { arg0 /= arg1; } finally { arg0 = arg0; } } finally { arg1 = arg1; } } } OUTPUT: Verifying: Test55 Verification Errors: #0: Constraint violated in method 'public void foo(int arg1, int arg2)': Subroutine instruction ' 16: astore[58](2) 4' is protected by an exception handler, 'CodeExceptionGen( 0: iload_1[27](1), 22: jsr[168](3) -> astore 6, 28: astore[58](2) 5)'. This is forbidden by the JustIce verifier due to its clear definition of subroutines. Verification failed --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
