harmony-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Pavel Rebriy" <pavel.reb...@gmail.com>
Subject Re: [jira] (HARMONY-973) Verifier: add check for empty initialization method
Date Tue, 25 Jul 2006 12:30:58 GMT
Hello,

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
java.lang.Object).

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!

On 25/07/06, Pavel Rebriy (JIRA) <jira@apache.org> wrote:
>
> 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
>
>
> 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
>
>
>

-- 
Best regards,
Pavel Rebriy

Mime
  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message