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/01 03:19:35 UTC
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: bcel-dev@jakarta.apache.org
ReportedBy: davidfstr@earthlink.net
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: bcel-dev-unsubscribe@jakarta.apache.org
For additional commands, e-mail: bcel-dev-help@jakarta.apache.org