Add tests for direct-eval calls with spread expressions

test/language/expressions/call/eval-spread-empty-leading.js

@@ -0,0 +1,41 @@
+// Copyright (C) 2017 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+id: sec-function-calls-runtime-semantics-evaluation
+info: >
+  Direct eval call with empty leading spread.
+description: |
+  12.3.4.1 Runtime Semantics: Evaluation
+    ...
+    3. If Type(ref) is Reference and IsPropertyReference(ref) is false and GetReferencedName(ref) is "eval", then
+      a. If SameValue(func, %eval%) is true, then
+        i. Let argList be ? ArgumentListEvaluation(Arguments).
+        ii. If argList has no elements, return undefined.
+        iii. Let evalText be the first element of argList.
+        ...
+
+features: [Symbol.iterator]
+---*/
+
+var nextCount = 0;
+var iter = {};
+iter[Symbol.iterator] = function() {
+  return {
+    next: function() {
+      var i = nextCount++;
+      return {done: true, value: undefined};
+    }
+  };
+};
+
+var x = "global";
+
+(function() {
+  var x = "local";
+  eval(...iter, "x = 0;");
+  assert.sameValue(x, 0);
+})();
+
+assert.sameValue(x, "global");
+assert.sameValue(nextCount, 1);

test/language/expressions/call/eval-spread-empty-trailing.js

@@ -0,0 +1,41 @@
+// Copyright (C) 2017 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+id: sec-function-calls-runtime-semantics-evaluation
+info: >
+  Direct eval call with empty trailing spread.
+description: |
+  12.3.4.1 Runtime Semantics: Evaluation
+    ...
+    3. If Type(ref) is Reference and IsPropertyReference(ref) is false and GetReferencedName(ref) is "eval", then
+      a. If SameValue(func, %eval%) is true, then
+        i. Let argList be ? ArgumentListEvaluation(Arguments).
+        ii. If argList has no elements, return undefined.
+        iii. Let evalText be the first element of argList.
+        ...
+
+features: [Symbol.iterator]
+---*/
+
+var nextCount = 0;
+var iter = {};
+iter[Symbol.iterator] = function() {
+  return {
+    next: function() {
+      var i = nextCount++;
+      return {done: true, value: undefined};
+    }
+  };
+};
+
+var x = "global";
+
+(function() {
+  var x = "local";
+  eval("x = 0;", ...iter);
+  assert.sameValue(x, 0);
+})();
+
+assert.sameValue(x, "global");
+assert.sameValue(nextCount, 1);

test/language/expressions/call/eval-spread-empty.js

@@ -0,0 +1,34 @@
+// Copyright (C) 2017 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+id: sec-function-calls-runtime-semantics-evaluation
+info: >
+  Direct eval call with empty spread.
+description: |
+  12.3.4.1 Runtime Semantics: Evaluation
+    ...
+    3. If Type(ref) is Reference and IsPropertyReference(ref) is false and GetReferencedName(ref) is "eval", then
+      a. If SameValue(func, %eval%) is true, then
+        i. Let argList be ? ArgumentListEvaluation(Arguments).
+        ii. If argList has no elements, return undefined.
+        ...
+
+features: [Symbol.iterator]
+---*/
+
+var nextCount = 0;
+var iter = {};
+iter[Symbol.iterator] = function() {
+  return {
+    next: function() {
+      var i = nextCount++;
+      return {done: true, value: undefined};
+    }
+  };
+};
+
+var result = eval(...iter);
+
+assert.sameValue(result, undefined);
+assert.sameValue(nextCount, 1);

test/language/expressions/call/eval-spread.js

@@ -0,0 +1,49 @@
+// Copyright (C) 2017 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+id: sec-function-calls-runtime-semantics-evaluation
+info: >
+  Direct eval call with spread.
+description: |
+  12.3.4.1 Runtime Semantics: Evaluation
+    ...
+    3. If Type(ref) is Reference and IsPropertyReference(ref) is false and GetReferencedName(ref) is "eval", then
+      a. If SameValue(func, %eval%) is true, then
+        i. Let argList be ? ArgumentListEvaluation(Arguments).
+        ii. If argList has no elements, return undefined.
+        iii. Let evalText be the first element of argList.
+        ...
+
+features: [Symbol.iterator]
+---*/
+
+var elements = [
+  "x = 1;",
+  "x = 2;",
+];
+
+var nextCount = 0;
+var iter = {};
+iter[Symbol.iterator] = function() {
+  return {
+    next: function() {
+      var i = nextCount++;
+      if (i < elements.length) {
+        return {done: false, value: elements[i]};
+      }
+      return {done: true, value: undefined};
+    }
+  };
+};
+
+var x = "global";
+
+(function() {
+  var x = "local";
+  eval(...iter);
+  assert.sameValue(x, 1);
+})();
+
+assert.sameValue(x, "global");
+assert.sameValue(nextCount, 3);