IM: Assertion failure: Bad SSA value, at ../jsanalyze.h:1089

RESOLVED FIXED

Status

()

Core
JavaScript Engine
--
major
RESOLVED FIXED
6 years ago
5 years ago

People

(Reporter: decoder, Assigned: dvander)

Tracking

(Blocks: 1 bug, {assertion, testcase})

Other Branch
x86_64
Linux
assertion, testcase
Points:
---
Bug Flags:
in-testsuite +

Firefox Tracking Flags

(Not tracked)

Details

Attachments

(1 attachment)

(Reporter)

Description

6 years ago
The following testcase asserts on ionmonkey revision acf3c1fb7c94 (run with --ion -n), tested on 64 bit:


function X(n) {
    while ('' + (n--)) {
        switch ( X( "w", "w*abc" ) ) { default : }   
    }
}
(X)();
Created attachment 566393 [details] [diff] [review]
fix
Assignee: general → dvander
Status: NEW → ASSIGNED
Attachment #566393 - Flags: review?(bhackett1024)
Comment on attachment 566393 [details] [diff] [review]
fix

This is fine so long as the binaryOp inputs are best guesses and will be type checked later during compilation (which as I recall is the case).  Otherwise, due to coercion from a non-number value there could be a type mismatch between the input and output.
Attachment #566393 - Flags: review?(bhackett1024) → review+
https://hg.mozilla.org/projects/ionmonkey/rev/3486d7214539
Status: ASSIGNED → RESOLVED
Last Resolved: 6 years ago
Resolution: --- → FIXED
(Reporter)

Comment 4

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