659439 - TI+JM: [infer failure] Missing type in object #6:22:Object x: BoundFunction

Status: RESOLVED FIXED

(Core :: JavaScript Engine, defect)

Description

[Jan de Mooij [:jandem]]

--
function bind(f) {
    return f.call.apply(f.bind, arguments);
};
function h(a, b) {
    a.x;
}
function g(a, b) {
    a.x = b;
    h(a);
}
function f() {
    for(var i=0; i<20; i++) {
        g.call(this, {}, bind(function(){}));
    }
}
f();
--
$ ./js -m -n -a test.js
[infer failure] Missing type in object #6:22:Object x: BoundFunction

Comment 1

[Brian Hackett [Laid off!]]

Lowered Function.call could go through the fast entry point of its callee (bypassing argument type checks).  Fix marks all FUNCALL and FUNAPPLY sites as monitored.  This is a recent regression, these natives used to be cluttered with special type handlers marking the site as monitored (in changing this, I somehow thought lowered FUNCALL always went through the arity check in the same way as lowered FUNAPPLY).

http://hg.mozilla.org/projects/jaegermonkey/rev/3b0ae9af7194