Adding upstream version 86.0.1.upstream/86.0.1upstream

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 47 insertions, 0 deletions

diff --git a/js/src/tests/test262/language/expressions/super/prop-expr-obj-val-from-eval.js b/js/src/tests/test262/language/expressions/super/prop-expr-obj-val-from-eval.js
new file mode 100644
index 0000000000..c7526febb6
--- /dev/null
+++ b/js/src/tests/test262/language/expressions/super/prop-expr-obj-val-from-eval.js
@@ -0,0 +1,47 @@
+// Copyright (C) 2016 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-super-keyword
+es6id: 12.3.5
+description: Value of reference returned by SuperProperty (from eval code)
+info: |
+  [...]
+  4. If the code matched by the syntactic production that is being evaluated is
+     strict mode code, let strict be true, else let strict be false.
+  5. Return ? MakeSuperPropertyReference(propertyKey, strict).
+
+  12.3.5.3 Runtime Semantics: MakeSuperPropertyReference
+
+  1. Let env be GetThisEnvironment( ).
+  2. If env.HasSuperBinding() is false, throw a ReferenceError exception.
+  3. Let actualThis be ? env.GetThisBinding().
+  4. Let baseValue be ? env.GetSuperBase().
+  5. Let bv be ? RequireObjectCoercible(baseValue).
+  6. Return a value of type Reference that is a Super Reference whose base
+     value component is bv, whose referenced name component is propertyKey,
+     whose thisValue component is actualThis, and whose strict reference flag
+     is strict.
+---*/
+
+var fromA, fromB;
+var A = { fromA: 'a', fromB: 'a' };
+var B = { fromB: 'b' };
+Object.setPrototypeOf(B, A);
+
+var obj = {
+  fromA: 'c',
+  fromB: 'c',
+  method() {
+    fromA = eval('super["fromA"];');
+    fromB = eval('super["fromB"];');
+  }
+};
+
+Object.setPrototypeOf(obj, B);
+
+obj.method();
+
+assert.sameValue(fromA, 'a');
+assert.sameValue(fromB, 'b');
+
+reportCompare(0, 0);