[jira] Commented: (HARMONY-2281) [drlvm][verifier] Remove assignment compatible check for aastore instruction

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

    [ http://issues.apache.org/jira/browse/HARMONY-2281?page=comments#action_12453762 ] 
            
Gregory Shimansky commented on HARMONY-2281:
--------------------------------------------

I don't think that all Java implementation work like you describe. Here is the example:

$ java -showversion Test
java version "1.4.2_10"
Java(TM) 2 Runtime Environment, Standard Edition (build 1.4.2_10-b03)
Java HotSpot(TM) Client VM (build 1.4.2_10-b03, mixed mode)

TestAastore: failed: unexpected error java.lang.VerifyError: (class: TestAastore, method: test signature: ()V) Incompatible types for storing into array of arrays or objects


Do you think it is a bug in 1.4.2_10 Sun Java?

> [drlvm][verifier] Remove assignment compatible check for aastore instruction
> ----------------------------------------------------------------------------
>
>                 Key: HARMONY-2281
>                 URL: http://issues.apache.org/jira/browse/HARMONY-2281
>             Project: Harmony
>          Issue Type: Bug
>          Components: DRLVM
>            Reporter: Pavel Rebriy
>         Assigned To: Gregory Shimansky
>         Attachments: aastore_test.zip, verifier_aastore_fix.patch
>
>
> According Java Specification 1.5 verifier checks what the type of every value stored into an array by an aastore instruction must a reference type. Verifier doesn't need to check what the stored value is assignment compatible with the component type of the array.
> The issue removes redundant check from verifier.
> Here is the test to check the issue. To run the test use the following command:
> $ java Test
> The test works on Java 1.5 and it fails on Java 1.4.

-- 
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators: http://issues.apache.org/jira/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira