VerifyError: Method expects a return value

[nadako]

class Main {
    static function main() {
        f();
    }

    static function f():Int {
        while (true) {
            // throw "oops";
            return 1;
        }
    }
}

  public static int f();
    Code:
       0: iconst_1
       1: ifeq          6
       4: iconst_1
       5: ireturn
       6: return

looks like we always add a final return in cases like this, but we really should generate a proper instruction based on the return type

[nadako]

we really should generate a proper instruction based on the return type

or we should optimistically not generate the final return at all?

[nadako]

PS this was extracted from haxe.format.JsonParser.parseRec.

[Simn]

We have to avoid both the return and the ifeq in this situation.