[
https://issues.apache.org/jira/browse/BCEL-31?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Emmanuel Bourg updated BCEL-31:
-------------------------------
Priority: Major
Environment: (was: Operating System: All
Platform: All)
Fix Version/s: 5.2
Priority: (was: P3)
Severity: (was: major)
> Verification failure when nested finally blocks
> -----------------------------------------------
>
> Key: BCEL-31
> URL: https://issues.apache.org/jira/browse/BCEL-31
> Project: Commons BCEL
> Issue Type: Bug
> Components: Main
> Affects Versions: 5.1
> Reporter: David Foster
> Assignee: Apache Commons Developers
> Fix For: 5.2
>
>
> 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
--
This message was sent by Atlassian JIRA
(v6.2#6252)
