1 files changed, 85 insertions, 0 deletions
diff --git a/js/src/tests/non262/regress/regress-609617.js b/js/src/tests/non262/regress/regress-609617.js
new file mode 100644
index 0000000000..0a530ec530
--- /dev/null
+++ b/js/src/tests/non262/regress/regress-609617.js
@@ -0,0 +1,85 @@
+/* -*- indent-tabs-mode: nil; js-indent-level: 4 -*- */
+/*
+ * Any copyright is dedicated to the Public Domain.
+ * http://creativecommons.org/licenses/publicdomain/
+ */
+
+var actual;
+var expect = "pass";
+
+var x = "fail";
+function f() {
+    var x = "pass"; 
+    delete(eval("actual = x"));
+}
+f();
+assertEq(actual, expect);
+
+function g() { return 1 }
+function h() { function g() { throw 2; } eval('g()')++; } 
+
+try {
+    h();
+    assertEq(0, -1);
+} catch (e) {
+    assertEq(e, 2);
+}
+
+var lhs_prefix = ["",        "++", "--", "",   "",   "[",             "[y, "      ];
+var lhs_suffix = [" = 'no'", "",   "",   "++", "--", ", y] = [3, 4]", "] = [5, 6]"];
+
+for (var i = 0; i < lhs_prefix.length; i++) {
+    try {
+        eval(lhs_prefix[i] + "eval('x')" + lhs_suffix[i]);
+        assertEq(i, -2);
+    } catch (e) {
+        if (/\[/.test(lhs_prefix[i])) {
+            assertEq(e.message, "invalid destructuring target");
+        } else {
+            /*
+             * NB: JSOP_SETCALL throws only JSMSG_ASSIGN_TO_CALL, it does not
+             * specialize for ++ and -- as the compiler's error reporting does. See
+             * the next section's forked assertEq code.
+             */
+            assertEq(e.message, "cannot assign to function call");
+        }
+    }
+}
+
+/* Now test for strict mode rejecting any SETCALL variant at compile time. */
+for (var i = 0; i < lhs_prefix.length; i++) {
+    try {
+        eval("(function () { 'use strict'; " + lhs_prefix[i] + "foo('x')" + lhs_suffix[i] + "; })");
+        assertEq(i, -3);
+    } catch (e) {
+        if (/\+\+|\-\-/.test(lhs_prefix[i] || lhs_suffix[i]))
+            assertEq(e.message, "invalid increment/decrement operand");
+        else if (/\[/.test(lhs_prefix[i]))
+            assertEq(e.message, "invalid destructuring target");
+        else
+            assertEq(e.message, "invalid assignment left-hand side");
+    }
+}
+
+/*
+ * The useless delete is optimized away, but the SETCALL must not be. It's not
+ * an early error, though.
+ */
+var fooArg;
+function foo(arg) { fooArg = arg; }
+try {
+    eval("delete (foo('x') = 42);");
+    assertEq(0, -4);
+} catch (e) {
+    assertEq(e.message, "cannot assign to function call");
+}
+assertEq(fooArg, 'x');
+
+/* Delete of a call expression is not an error at all, even in strict mode. */
+function g() {
+    "use strict";
+    assertEq(delete Object(), true);
+}
+g();
+
+reportCompare(0, 0, "ok");