[
https://issues.apache.org/jira/browse/GROOVY-9737?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Chiang Seng Chang updated GROOVY-9737:
--------------------------------------
Summary: Groovy 3.0.5 VerifyError if superclass has static and non-static
overloading methods (was: Groovy 3.0.5 VerifyError overloading static method
in superclass)
> Groovy 3.0.5 VerifyError if superclass has static and non-static overloading
> methods
> ------------------------------------------------------------------------------------
>
> Key: GROOVY-9737
> URL: https://issues.apache.org/jira/browse/GROOVY-9737
> Project: Groovy
> Issue Type: Bug
> Affects Versions: 3.0.5
> Reporter: Chiang Seng Chang
> Priority: Major
> Attachments: g3ve.tar.gz
>
>
> java.lang.VerifyError instantiating a concrete class if superclass has static
> and non-static overloading methods.
> superclass:
> {noformat}
> package bar
> import groovy.transform.CompileStatic
> @CompileStatic
> abstract class SuperProblem {
> static void fun(Integer i) {}
> protected void fun(String s) {}
> }
> {noformat}
> concrete class:
> {noformat}
> package foo
> import bar.SuperProblem
> import groovy.transform.CompileStatic
> @CompileStatic
> class Problem extends SuperProblem {
> protected void doit() {
> fun('')
> }
> }
> {noformat}
> harness:
> {noformat}
> package app
> import foo.Problem
> import groovy.transform.CompileStatic
> @CompileStatic
> class Test {
> static void main(String[] args) {
> Problem problem = new Problem()
> println('SHOULD NOT SEE THIS BECAUSE IT MEANS Class Problem HAS NO
> PROBLEM!!!')
> }
> }
> {noformat}
>
> Observations:
> # No compilation error.
> # Superclass must be in a different package.
> # Groovy 2.5.13 has no such issue.
> I have included the test project,
> {noformat}
> ./gradlew run
> {noformat}
> produces this error:
> {noformat}
> % ./gradlew run
> > Task :run FAILED
> Exception in thread "main" java.lang.VerifyError: Bad access to protected
> data in invokevirtual
> Exception Details:
> Location:
> foo/Problem.doit()V @12: invokevirtual
> Reason:
> Type 'bar/SuperProblem' (current frame, stack[0]) is not assignable to
> 'foo/Problem'
> Current Frame:
> bci: @12
> flags: { }
> locals: { 'foo/Problem' }
> stack: { 'bar/SuperProblem', 'java/lang/String' }
> Bytecode:
> 0x0000000: 1202 1204 b800 17c0 0004 1219 b600 1d01
> 0x0000010: 57b1
> at app.Test.main(Test.groovy:13)
> {noformat}
>
>
--
This message was sent by Atlassian Jira
(v8.3.4#803005)
