[GROOVY-6951] java.lang.VerifyError: Bad <init> method call from inside of a branch

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Not A Problem
• Affects Version/s: 2.3.4
• Component/s: groovy-runtime
• Environment: Groovy Version: 2.3.4 JVM: 1.7.0_65 Vendor: Oracle Corporation OS: Linux; works on older jdks; RHEL 5.6, 64 bit
• Assignee: Jochen Theodorou
• Reporter: Ben Jammin
• Created: 16/Jul/14 17:56
• Updated: 17/Dec/14 13:25
• Resolved: 29/Oct/14 10:53

Description

Edit by blackdrag

Known JVM versions with this problem:
1.7.0 update 55
1.7.0 update 65
1.7.0 update 67
1.8.0 update 11
1.8.0 update 20 (build 31 would fix it, release build is 36 though)

JVM versions older than that should not be a problem

Unverified JVM versions with this fixed:
1.7.0 update 72
1.8.0 update 25
And of course all versions after.

Details can be found here: https://bugs.openjdk.java.net/browse/JDK-8051012

class MyGroovyFile extends File {    
    MyGroovyFile(String p) {
        super(p)
    }
}

class MyGroovyFileTest extends GroovyTestCase {
    void testCtor() {
        def mgf = new MyGroovyFile("/tmp/abc123")
    }
}

running above results in:

Exception in thread "main" java.lang.VerifyError: Bad <init> method call from inside of a branch
Exception Details:
  Location:
    MyGroovyFile.<init>(Ljava/lang/String;)V @93: invokespecial
  Reason:
    Error exists in the bytecode
  Bytecode:
    0000000: b800 174d 04bd 0019 5903 2b53 5910 ff12
    0000010: 04b8 001f 2a5f ab00 0000 00d7 0000 0006
    0000020: aad3 b1ff 0000 003a afa3 00e4 0000 004d
    0000030: d9ca eaf6 0000 0067 e925 fa09 0000 0086
    0000040: 53cd d136 0000 00a3 60fa 8f17 0000 00c2
    0000050: 5f5a 5903 32b8 0025 c000 275f 57b7 0029
    0000060: a700 975f 5a59 0332 b800 25c0 0027 5f59
    0000070: 0432 b800 2f5f 57b7 0032 a700 7d5f 5a59
    0000080: 0332 1204 b800 36c0 0004 5f59 0432 b800
    0000090: 25c0 0027 5f57 b700 39a7 005e 5f5a 5903
    00000a0: 32b8 0025 c000 275f 5904 32b8 0025 c000
    00000b0: 275f 57b7 003c a700 415f 5a59 0332 b800
    00000c0: 25c0 0027 5f59 0432 1204 b800 36c0 0004
    00000d0: 5f57 b700 3fa7 0022 5f5a 5903 3212 41b8
    00000e0: 0036 c000 415f 57b7 0044 a700 0dbb 0046
    00000f0: 5912 48b7 0049 bf57 2ab6 004d 4e2d 2a5f
    0000100: b500 4f2d 57b1                         
  Stackmap Table:
    full_frame(@80,{UninitializedThis,Object[#39],Object[#85]},{Object[#87],UninitializedThis})
    full_frame(@99,{UninitializedThis,Object[#39],Object[#85]},{Object[#87],UninitializedThis})
    full_frame(@125,{UninitializedThis,Object[#39],Object[#85]},{Object[#87],UninitializedThis})
    full_frame(@156,{UninitializedThis,Object[#39],Object[#85]},{Object[#87],UninitializedThis})
    full_frame(@185,{UninitializedThis,Object[#39],Object[#85]},{Object[#87],UninitializedThis})
    full_frame(@216,{UninitializedThis,Object[#39],Object[#85]},{Object[#87],UninitializedThis})
    full_frame(@237,{UninitializedThis,Object[#39],Object[#85]},{Object[#87],UninitializedThis})
    full_frame(@247,{Object[#2],Object[#39],Object[#85]},{Object[#87]})

	at java.lang.Class.getDeclaredMethods0(Native Method)
	at java.lang.Class.privateGetDeclaredMethods(Class.java:2570)
	at java.lang.Class.getMethod0(Class.java:2813)
	at java.lang.Class.getMethod(Class.java:1663)
	at sun.launcher.LauncherHelper.getMainMethod(LauncherHelper.java:494)
	at sun.launcher.LauncherHelper.checkAndLoadMain(LauncherHelper.java:486)
:run FAILED

FAILURE: Build failed with an exception.

Issue Links

• is duplicated by: GROOVY-6959 java.lang.VerifyError: Bad <init> method call from inside of a branch