[jira] [Updated] (BCEL-31) Verification failure when nested finally blocks

["Emmanuel Bourg (JIRA)" <ji...@apache.org>]

     [ 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)