VM issue: java.lang.VerifyError

Georgiy Rakov georgiy.rakov at oracle.com
Mon Dec 17 08:30:00 PST 2012


Hello,

while developing we encountered java.lang.VerifyError to be thrown at 
run-time. Build 68 of December 9 caused this problem; platform: Windows x64.

The minimized code is attached. It causes the following output:

    Exception in thread "main" java.lang.VerifyError: Bad type on
    operand stack
    Exception Details:
       Location:
         Factory3.create(LMyClass;)LFactory3; @13: invokedynamic
       Reason:
         Type 'MyClass' (current frame, stack[3]) is not assignable to
    'Factory3'
       Current Frame:
         bci: @13
         flags: { }
         locals: { 'MyClass' }
         stack: { uninitialized 0, uninitialized 0, 'MyClass2', 'MyClass' }
       Bytecode:
         0000000: bb00 0159 bb00 0259 2ab7 0003 2aba 0004
         0000010: 0000 b700 05b0

         at VmIssue$1.lambda$0(VmIssue.java:6)
         at VmIssue$1$$Lambda$2.myCreate(Unknown Source)
         at VmIssue.lambda$1(VmIssue.java:9)
         at VmIssue$$Lambda$1.add(Unknown Source)
         at VmIssue$1.create(VmIssue.java:6)
         at VmIssue.main(VmIssue.java:8)

It looks like bug in VM. Please confirm if it really is.

Thanks,
Georgiy.
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: VmIssue.java
Url: http://mail.openjdk.java.net/pipermail/lambda-dev/attachments/20121217/03b5a892/VmIssue.java 


More information about the lambda-dev mailing list