[jira] [Resolved] (GROOVY-9499) VerifyError when AIC used as argument to special constructor call

["Eric Milles (Jira)" <ji...@apache.org>]

     [ https://issues.apache.org/jira/browse/GROOVY-9499?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Eric Milles resolved GROOVY-9499.
---------------------------------
    Fix Version/s: 3.0.4
       Resolution: Fixed

Issue resolved by one of the recent changes in Groovy 3 that did not make it into Groovy 2.5

> VerifyError when AIC used as argument to special constructor call
> -----------------------------------------------------------------
>
>                 Key: GROOVY-9499
>                 URL: https://issues.apache.org/jira/browse/GROOVY-9499
>             Project: Groovy
>          Issue Type: Bug
>            Reporter: Eric Milles
>            Priority: Major
>             Fix For: 3.0.4
>
>
> Consider the following:
> {code:groovy}
> class C {
>   C(ref) {
>     println ref.hashCode()
>   }
> }
> class D extends C {
>   D() {
>     super(new Object() { // AIC before special ctor call completes
>     })
>   }
> }
> new D()
> {code}
> Supplying an AIC to the super constructor results in a verify error for an uninitialized-this reference.  In this case, the AIC should not be built to expect a reference to an instance of the enclosing class since it is being executed in a static context.
> {code}
> Caught: java.lang.VerifyError: Bad type on operand stack
> Exception Details:
>   Location:
>     D.<init>()V @6: invokespecial
>   Reason:
>     Type uninitializedThis (current frame, stack[3]) is not assignable to 'D'
>   Current Frame:
>     bci: @6
>     flags: { flagThisUninit }
>     locals: { uninitializedThis }
>     stack: { uninitializedThis, uninitialized 1, uninitialized 1, uninitializedThis }
>   Bytecode:
>     0x0000000: 2abb 000d 592a b700 10b7 0013 b1 
> {code}



--
This message was sent by Atlassian Jira
(v8.3.4#803005)