[jira] [Created] (GROOVY-9499) VerifyError when AIC used as argument to special constructor call (this or super)

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

Eric Milles created GROOVY-9499:
-----------------------------------

             Summary: VerifyError when AIC used as argument to special constructor call (this or super)
                 Key: GROOVY-9499
                 URL: https://issues.apache.org/jira/browse/GROOVY-9499
             Project: Groovy
          Issue Type: Documentation
            Reporter: Eric Milles


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 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)