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

["Vera Petrashkova (JIRA)" <ji...@apache.org>]

    [ https://issues.apache.org/jira/browse/HARMONY-2281?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel#action_12491228 ] 

Vera Petrashkova commented on HARMONY-2281:
-------------------------------------------

I think that this bug should be reopened.
Attached Test which expects that  java.lang.ArrayStoreException. It fails on  r531681 because VM throws java.lang.VerifyError
See output:
Apache Harmony Launcher : (c) Copyright 1991, 2006 The Apache Software Foundation or its licensors, as applicable.
java version "1.5.0" 
pre-alpha : not complete or compatible
svn = r531681, (Apr 24 2007), Linux/ia32/gcc 3.3.3, release build
http://incubator.apache.org/harmony
TestAastore: failed: unexpected error java.lang.VerifyError: (class: TestAastore, method: test()V) Incompatible types for array assignment

This isuue also causes the failures of 5 aastore tests from DRLVM validation test suite (http://issues.apache.org/jira/browse/HARMONY-3206)

> [drlvm][verifier] Remove assignment compatible check for aastore instruction
> ----------------------------------------------------------------------------
>
>                 Key: HARMONY-2281
>                 URL: https://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.
-
You can reply to this email to add a comment to the issue online.