Closed Bug 619339 Opened 10 years ago Closed 10 years ago

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

Categories

(Core :: JavaScript Engine, defect)

x86
macOS
defect
Not set
normal

Tracking

()

RESOLVED FIXED

People

(Reporter: jandem, Unassigned)

References

(Blocks 1 open bug)

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: 10 years ago
Resolution: --- → FIXED
Whiteboard: fixed-in-jaegermonkey
You need to log in before you can comment on or make changes to this bug.