651155 - TI: Assertion failure: !f.script()->failedBoundsCheck, at ./methodjit/StubCalls.cpp:2913

Status: RESOLVED FIXED

(Core :: JavaScript Engine, defect)

Description

[Christian Holler (:decoder)]

The following testcase asserts on TI revision d78eef12a329 (run with -m -n -a),
tested on 32 bit:

ForIn_2();
function ForIn_2( object ) {
  PropertyArray=new Array;
  var PropertyArray = 'Do not assert: !cx->throwing';
  for ( i in object ) PropertyArray.length-1;
}

Comment 1

[Brian Hackett [Laid off!]]

We would try to generate loop invariant array lengths for scripts that previously had invariant failures (in this case, from trying to hoist the length of something that isn't actually an array).  If a script has checks fail when generating its loop invariants then future compilations shouldn't hoist any invariants at all (maybe over-aggressive).

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

Comment 2

[Christian Holler (:decoder)]

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