643376 - TI: [infer failure] Missing type in object #49:14:Object SECTION: float

Status: RESOLVED FIXED

(Core :: JavaScript Engine, defect)

Description

[Christian Holler (:decoder)]

The following test case (run with "-n -m -a") crashes on TI tip (tested on 64
bit):

function outer_func(x)
{
    var y = "inner";
    new TestCase( SECTION, { SECTION: ++y }.SECTION[y.SECTION(this, "acc4", {})][ x < SECTION], 2222, x);
}
outer_func(1111);

Comment 1

[Christian Holler (:decoder)]

I made a mistake with the test case reduction here, you still need the js reftests shell.js before the test case. Using ./js -n -m -a -f shell.js -f testcase.js should work.

Comment 2

[Brian Hackett [Laid off!]]

We were looking at the known type tags of locals/etc. instead of type sets and could miss JSOP_INC* overflows that produced a double value.

http://hg.mozilla.org/projects/jaegermonkey/rev/879307276683

Comment 3

[Christian Holler (:decoder)]

A testcase for this bug was automatically identified at js/src/jit-test/tests/jaeger/recompile/bug643376.js.