harmony-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Pavel Rebriy (JIRA)" <j...@apache.org>
Subject [jira] Commented: (HARMONY-973) Verifier: add check for empty initialization method
Date Sat, 14 Oct 2006 02:49:35 GMT
    [ http://issues.apache.org/jira/browse/HARMONY-973?page=comments#action_12442182 ] 
Pavel Rebriy commented on HARMONY-973:

   [[ Old comment, sent by email on Tue, 25 Jul 2006 16:29:30 +0400 ]]


I'd like to comment the JIRA issue.

Regarding Java VM Specification, each instance initialization method must
call either another instance initialization method of this or an instance
initialization method of its direct super class (the exception is

Instance initialization method of a class accepts uninitialized instance of
a class as the first parameter. After invoking any <init> method of super
class or some other <init> method of this class, class instance is
considered initialized.

Verifier must ensure that on any exit from instance initialization method by
any return instruction, instance of the class is initialized.

Volunteers are welcome to fix the issue described in Harmony-973!

Best regards,
Pavel Rebriy

> Verifier: add check for empty initialization method
> ---------------------------------------------------
>                 Key: HARMONY-973
>                 URL: http://issues.apache.org/jira/browse/HARMONY-973
>             Project: Harmony
>          Issue Type: Bug
>          Components: DRLVM
>            Reporter: Pavel Rebriy
>         Assigned To: Geir Magnusson Jr
>         Attachments: 0003-Test.zip, 0003-Verifier-add-check-for-empty-initialization-method.patch
> There is a bug in DRLVM verifier: verifier does not check invocation of an empty instance
initialization method.
> Test tries to create class with an empty instance initialization method.
> To run the test use the following command:
> <path to drlvm>/bin/java Test

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


View raw message