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

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.4.9
• Fix Version/s: 2.5.8, 3.0.0-rc-1
• Component/s: Compiler
• Assignee: Eric Milles
• Reporter: Peter Szanto
• Created: 11/Jan/18 09:01
• Updated: 24/Nov/19 02:45
• Resolved: 31/Oct/19 18:13

Description

given this base class

abstract class AnimalBuilder {

    def animal;

    AnimalBuilder(def animal) {
        this.animal = animal
    }

}

This subclass works as expected

class CatBuilder extends AnimalBuilder {

    CatBuilder() {
        super(new Cat());
    }

}

but this

class CatBuilder2 extends AnimalBuilder {

    CatBuilder2() {
        super(createCat());
    }

    private Cat createCat() {
        new Cat()
    }

}

Will result an

java.lang.VerifyError: Bad <init> method call from inside of a branch
Exception Details:
  Location:
    org/example/builder/CatBuilder2.<init>()V @25: invokespecial
  Reason:
    Error exists in the bytecode

The full example can be seen here https://github.com/szantopeter/groovy-compile-failure2