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) <[EMAIL PROTECTED]> 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
