Last Comment Bug 650148 - TI: [infer failure] Missing type in object Global s: float
: TI: [infer failure] Missing type in object Global s: float
: crash, testcase
Product: Core
Classification: Components
Component: JavaScript Engine (show other bugs)
: Trunk
: All Linux
-- critical (vote)
: ---
Assigned To: general
: Jason Orendorff [:jorendorff]
Depends on:
Blocks: infer-regress langfuzz
  Show dependency treegraph
Reported: 2011-04-14 16:01 PDT by Christian Holler (:decoder)
Modified: 2013-01-14 08:25 PST (History)
4 users (show)
choller: in‑testsuite+
See Also:
Crash Signature:
QA Whiteboard:
Iteration: ---
Points: ---
Has Regression Range: ---
Has STR: ---


Description User image Christian Holler (:decoder) 2011-04-14 16:01:26 PDT
The following testcase crashes on TI revision dca50d9a5047 (run with -m -n -a),
tested on 32 and 64 bit:

summary=/(?!AB+D)AB/.exec("AB") + '';
try {
  var s = "throw 42";
} catch (e) {}
function test() {
  [ {0xBe: /l/|| 'Error' ? s++ : summary } ]
function foo(code)
foo("for each (y in this);");
Comment 1 User image Brian Hackett (:bhackett) 2011-04-14 17:33:20 PDT
When handling overflows on INCLOCAL/ARG/GNAME, we didn't do anything if the pushed type set already contained the float type.  This is incorrect if that pushed type set was unified with another one due to the '?' operator.
Comment 2 User image Christian Holler (:decoder) 2013-01-14 08:25:09 PST
A testcase for this bug was automatically identified at js/src/jit-test/tests/basic/bug650148.js.

Note You need to log in before you can comment on or make changes to this bug.