381197 - Incorrect decompilation for "a.@this::b"

Status: RESOLVED FIXED

(Core :: JavaScript Engine, defect)

Description

[Jesse Ruderman]

js> f = function() { j = (a.@this::b); }
function () {
    j = a.@[this::b];
}
js> eval("" + f)
typein:3: SyntaxError: missing ] after attribute expression:
typein:3:     j = a.@[this::b];
typein:3: ................^

Comment 1

[Jesse Ruderman]

This is one of the bugs jsfunfuzz hits most frequently.

Comment 2

[Jesse Ruderman]

Not just "this".  "true", "false", and "null" trigger similar problems:

js> (function() { 2 .@ null :: a })
function () {
    (2).@[null::a];
}

Comment 3

[Jesse Ruderman]

(In reply to comment #1)
> This is one of the bugs jsfunfuzz hits most frequently.

Never mind, this is easy to ignore with a regexp.

Comment 4

[Biju]

(In reply to comment #2)
> Not just "this".  "true", "false", and "null" trigger similar problems:

actually when there is any namespace for attributes

a = function(){
  y=x.@ns::attr;
  y=x.(@ns::attr);
  y=x.(@ns::attr==5);
  y=x.ns::y.(@attr==5);
}

gives ==>

function () {
    y = x.@[ns::attr];
    y = x.(@[ns::attr]);
    y = x.((@[ns::attr] == 5));
    y = x.ns::y.((@attr == 5));
}

PS: Also please notice that extra parenthesis on last two cases

Comment 5

[Biju]

(In reply to comment #4)
> PS: Also please notice that extra parenthesis on last two cases

Bug 452729 

Comment 6

[Biju]

another testcase

a=function(){
 y = x.@ns::["attr-s"];
}

gives ==>

function () {
    y = x.@[ns::["attr-s"]];
}

which is need to solve
http://groups.google.com/group/mozilla.dev.tech.js-engine/browse_thread/thread/1271260fc2e3f7b8