[jira] Closed: (HARMONY-2394) [drlvm][verifier] VM throws VerifyError when uninitialized object is used in aload/astore instructions

["Gregory Shimansky (JIRA)" <ji...@apache.org>]

     [ https://issues.apache.org/jira/browse/HARMONY-2394?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Gregory Shimansky closed HARMONY-2394.
--------------------------------------


No response, assuming ok.

> [drlvm][verifier] VM throws VerifyError when uninitialized object is used in aload/astore instructions
> ------------------------------------------------------------------------------------------------------
>
>                 Key: HARMONY-2394
>                 URL: https://issues.apache.org/jira/browse/HARMONY-2394
>             Project: Harmony
>          Issue Type: Bug
>          Components: DRLVM
>            Reporter: Pavel Rebriy
>            Assignee: Gregory Shimansky
>         Attachments: uninitialized_test.zip, verifier_uninitialized_usage.patch
>
>
> According to Java Specification uninitialized class instance can occur in a local variable if no backward branch is taken and code isn't protected by an exception handler.
> At present verifier rejects storing or loading uninitialized class instance to a local variable. The patch of the issue corrects uninitialized class instance usage.

-- 
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.