DO NOT REPLY [Bug 24315] New: - 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

           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