878432 - OdinMonkey accepts over-parenthesized return statement, which is disallowed by spec

Status: RESOLVED INVALID

(Core :: JavaScript Engine, defect)

Description

[Jesse Ruderman]

js> (function() { "use asm"; function f(i) { i=i|0; return (i|0); } return f; })
warning: successfully compiled asm.js code
function () {
    [native code]
}

http://asmjs.org/spec/latest/#return-type-annotations requires the entire return statement to have the form "return ...|0;".

Not sure if OdinMonkey or spec should be changed.

Comment 1

[Luke Wagner [:luke]]

The intention (which doesn't seem to appear in the spec, probably we should add that) is that parens are ignored for the purposes of asm.js type checking.