Though this bugs needs to be fixed, I have a feeling that verifer is not the right place for this check:
It checks the following: if 'a' extends 'b' and 'b' has protected method (or field) 'm', and 'a' and 'b' have different packages then you can't call e.g. 'new b().m()' from a method of class 'a' If you try you should get VerifyError. old verifier has this check, I've implemented it in the new one as well, but i'm reluctant to integrate it since these access checks are not specific for verifier and all other access check are implemented in runtime For example if in the example above 'm' is package-access, then IllegalAccessError is thrown. I suggest that we don't fix verifier's behavior but instead move this check to a more natural place Thanks, Mikhail 2007/7/26, Mikhail Loenko (JIRA) <[EMAIL PROTECTED]>: > > [ > https://issues.apache.org/jira/browse/HARMONY-4538?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel#action_12515613 > ] > > Mikhail Loenko commented on HARMONY-4538: > ----------------------------------------- > > evaluation: this one should be fixed as well > > > [drlvm][verifier][regression] Two tests on invokevirtual instruction > > started to fail after verifier switch. > > ----------------------------------------------------------------------------------------------------------- > > > > Key: HARMONY-4538 > > URL: https://issues.apache.org/jira/browse/HARMONY-4538 > > Project: Harmony > > Issue Type: Bug > > Components: DRLVM > > Reporter: Pavel Pervov > > Assignee: Mikhail Loenko > > > > The tests > > vm/jvms/instructions/invokeReturn/invokevirtual/invokevirtual13/invokevirtual1304/invokevirtual1304 > > and > > vm/jvms/instructions/invokeReturn/invokevirtual/invokevirtual13/invokevirtual1309/invokevirtual1309 > > started to fail. > > Tests check that protected and private methods of superclass located in > > package different from the class can't be called. > > -- > This message is automatically generated by JIRA. > - > You can reply to this email to add a comment to the issue online. > >
