test262/implementation-contributed/javascriptcore/stress/dont-validate-stack-offset-in-b3-because-it-might-be-guarded-by-control-flow.js

function assert(b) {
    if (!b)
        throw new Error;
}
noInline(assert);

function test() {
    function a(a1, a2, a3, ...rest) {
        return [rest.length, rest[0], rest[10]];
    }

    function b(...rest) {
        return a.apply(null, rest);
    }
    noInline(b);

    for (let i = 0; i < 12000; i++) {
        b();
        let r = a(undefined, 0);
        assert(r[0] === 0);
        assert(r[1] === undefined);
        assert(r[2] === undefined);
    }
}

test();