JM: [infer failure] Missing type in object #4:0:Object x: float

RESOLVED FIXED

Status

()

--
critical
RESOLVED FIXED
8 years ago
6 years ago

People

(Reporter: decoder, Unassigned)

Tracking

(Blocks: 2 bugs, {crash, testcase})

Trunk
x86_64
Linux
crash, testcase
Points:
---
Dependency tree / graph
Bug Flags:
in-testsuite +

Firefox Tracking Flags

(Not tracked)

Details

(Whiteboard: fixed-in-jaegermonkey)

(Reporter)

Description

8 years ago
The following test case (run with -n -a -m) crashes on JM tip (tested on 64
bit):

function raisesException(exception) {
  return function (code) {
      eval(code);
  };
};
function obj() {
  var o = { assertEq: true, y: 1 };
  Object.defineProperty(o, 'x', { writable: false });
  return o;
}
function in_strict_with(expr) {
  return "with(obj()) { (function () { 'use strict'; " + expr + " })(); }";
}
assertEq(raisesException(TypeError)(in_strict_with('x++;')), true);
Remove some cruft when handling arithmetic overflow on INCNAME/etc. that set the result of the increment before updating the type sets to reflect the new value.

http://hg.mozilla.org/projects/jaegermonkey/rev/84090709049e
Status: NEW → RESOLVED
Last Resolved: 8 years ago
Resolution: --- → FIXED
Whiteboard: fixed-in-jaegermonkey
(Reporter)

Updated

7 years ago
Blocks: 676763
(Reporter)

Comment 2

6 years ago
A testcase for this bug was automatically identified at js/src/jit-test/tests/basic/bug642164.js.
Flags: in-testsuite+
You need to log in before you can comment on or make changes to this bug.