[jira] Closed: (HARMONY-3751) [drlvm][jit][opt] GCMap verification routine fails with assertion on write to vmmagic Address fields

["Alexey Varlamov (JIRA)" <ji...@apache.org>]

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

Alexey Varlamov closed HARMONY-3751.
------------------------------------

    Resolution: Fixed

Applied at r532676, thanks!

> [drlvm][jit][opt] GCMap verification routine fails with assertion on write to vmmagic Address fields
> ----------------------------------------------------------------------------------------------------
>
>                 Key: HARMONY-3751
>                 URL: https://issues.apache.org/jira/browse/HARMONY-3751
>             Project: Harmony
>          Issue Type: Bug
>          Components: DRLVM
>            Reporter: Mikhail Fursov
>         Assigned To: Alexey Varlamov
>         Attachments: magic.diff
>
>
> GCMap verification routine 'checkManaged2UnmanagedConv' fails with assertion for the test below.
> import org.vmmagic.unboxed.*;
> public class Test {
>     static Address a;
>     static long val;
>     public static void main(String[] args) {
>         Address localAddr = Address.fromLong(val);
>         a = localAddr;
>         val = a.toLong();
>         foo();
>         a = localAddr;
>     }
>     static void foo() {
>         System.out.println(val);
>     }
> }
> in this test unmanaged pointer crosses call sites and is stored to a field (static field with Address type)
> Fields of Address type are not managed by GC and GCMap verification algorithm must be fixed to avoid error reporting in this case.
> This test is minimized version of the problem found with gc_gen helper in HARMONY-3718
> The gc_gen problem is not reproduced in real scenarios because the method with this problem (<clinit>) is compiled by JET.

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