1 files changed, 84 insertions, 0 deletions
diff --git a/js/src/tests/test262/language/statements/function/params-dflt-args-unmapped.js b/js/src/tests/test262/language/statements/function/params-dflt-args-unmapped.js
new file mode 100644
index 0000000000..83269032e4
--- /dev/null
+++ b/js/src/tests/test262/language/statements/function/params-dflt-args-unmapped.js
@@ -0,0 +1,84 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+description: Referencing the arguments object from a default parameter (function declaration)
+esid: sec-function-definitions-runtime-semantics-instantiatefunctionobject
+es6id: 14.1.19
+features: [default-parameters]
+info: |
+    FunctionDeclaration :
+        function BindingIdentifier ( FormalParameters ) { FunctionBody }
+
+        [...]
+        3. Let F be FunctionCreate(Normal, FormalParameters, FunctionBody,
+           scope, strict).
+        [...]
+
+    9.2.1 [[Call]] ( thisArgument, argumentsList)
+
+    [...]
+    7. Let result be OrdinaryCallEvaluateBody(F, argumentsList).
+    [...]
+
+    9.2.1.3 OrdinaryCallEvaluateBody ( F, argumentsList )
+
+    1. Let status be FunctionDeclarationInstantiation(F, argumentsList).
+    [...]
+
+    9.2.12 FunctionDeclarationInstantiation(func, argumentsList)
+
+    [...]
+    23. Let iteratorRecord be Record {[[iterator]]:
+        CreateListIterator(argumentsList), [[done]]: false}.
+    24. If hasDuplicates is true, then
+        [...]
+    25. Else,
+        b. Let formalStatus be IteratorBindingInitialization for formals with
+           iteratorRecord and env as arguments.
+    [...]
+
+    14.1.19 Runtime Semantics: IteratorBindingInitialization
+
+    FormalsList : FormalsList , FormalParameter
+
+    1. Let status be the result of performing IteratorBindingInitialization for
+       FormalsList using iteratorRecord and environment as the arguments.
+    2. ReturnIfAbrupt(status).
+    3. Return the result of performing IteratorBindingInitialization for
+       FormalParameter using iteratorRecord and environment as the arguments. 
+---*/
+
+var callCount = 0;
+function f(x, _ = 0) {
+  assert.sameValue(x, undefined, 'parameter binding value (initial)');
+  assert.sameValue(
+    arguments[0], undefined, 'arguments property value (initial)'
+  );
+
+  arguments[0] = 1;
+
+  assert.sameValue(
+    x, undefined, 'parameter binding value (after arguments modification)'
+  );
+  assert.sameValue(
+    arguments[0], 1, 'arguments property value (after arguments modification)'
+  );
+
+  x = 2;
+
+  assert.sameValue(
+    x, 2, 'parameter binding value (after parameter binding modification)'
+  );
+  assert.sameValue(
+    arguments[0],
+    1,
+    'arguments property value (after parameter binding modification)'
+  );
+  callCount = callCount + 1;
+}
+
+f();
+
+assert.sameValue(callCount, 1, 'function invoked exactly once');
+
+reportCompare(0, 0);