harmony-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Mikhail Fursov (JIRA)" <j...@apache.org>
Subject [jira] Created: (HARMONY-3751) [drlvm][jit][opt] GCMap verification routine fails with assertion on write to vmmagic Address fields
Date Wed, 25 Apr 2007 07:25:15 GMT
[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


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.


Mime
View raw message