TypeInference: Assertion failure: op == JSOP_DIV && type == JSVAL_TYPE_INT32

RESOLVED FIXED

Status

()

defect
RESOLVED FIXED
9 years ago
9 years ago

People

(Reporter: jandem, Unassigned)

Tracking

(Blocks 1 bug)

Firefox Tracking Flags

(Not tracked)

Details

(Whiteboard: fixed-in-jaegermonkey)

This test case:
--
var a; 
assertEq(true && 1.1 + a, NaN);
--
Asserts with ./js -m:

Assertion failure: op == JSOP_DIV && type == JSVAL_TYPE_INT32, at ../methodjit/FastArithmetic.cpp:402
Bogus assert.  Inference can mark the result of 'double + ?' as a bool or other type if the '?' type set is empty (we don't want to preemptively mark the result as a double, as the '?' could be a string), which confused JM.

http://hg.mozilla.org/projects/jaegermonkey/rev/fce4c50e6f49
Status: NEW → RESOLVED
Closed: 9 years ago
Resolution: --- → FIXED
Whiteboard: fixed-in-jaegermonkey
You need to log in before you can comment on or make changes to this bug.