From 36d22d82aa202bb199967e9512281e9a53db42c9 Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Sun, 7 Apr 2024 21:33:14 +0200
Subject: Adding upstream version 115.7.0esr.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 js/src/jit-test/tests/arguments/bug1762575-3.js | 89 +++++++++++++++++++++++++
 1 file changed, 89 insertions(+)
 create mode 100644 js/src/jit-test/tests/arguments/bug1762575-3.js

(limited to 'js/src/jit-test/tests/arguments/bug1762575-3.js')

diff --git a/js/src/jit-test/tests/arguments/bug1762575-3.js b/js/src/jit-test/tests/arguments/bug1762575-3.js
new file mode 100644
index 0000000000..371eab009f
--- /dev/null
+++ b/js/src/jit-test/tests/arguments/bug1762575-3.js
@@ -0,0 +1,89 @@
+// Test implementation details when arguments object keep strong references
+// to their elements.
+
+function checkWeakRef(f, isCleared = true) {
+  let [wr, args] = f({});
+
+  assertEq(wr.deref() !== undefined, true);
+
+  clearKeptObjects();
+  gc();
+
+  // In an ideal world, the reference is always cleared. But in specific
+  // circumstances we're currently keeping the reference alive. Should this
+  // ever change, feel free to update this test case accordingly. IOW having
+  // |isCleared == false| is okay for spec correctness, but it isn't optimal.
+  assertEq(wr.deref() === undefined, isCleared);
+}
+
+checkWeakRef(function() {
+  // Create a weak-ref for the first argument.
+  let wr = new WeakRef(arguments[0]);
+
+  // Clear the reference from the arguments object.
+  arguments[0] = null;
+
+  // Let the arguments object escape.
+  return [wr, arguments];
+});
+
+checkWeakRef(function() {
+  // Create a weak-ref for the first argument.
+  let wr = new WeakRef(arguments[0]);
+
+  // Clear the reference from the arguments object.
+  Object.defineProperty(arguments, 0, {value: null});
+
+  // Let the arguments object escape.
+  return [wr, arguments];
+});
+
+checkWeakRef(function self() {
+  // Create a weak-ref for the first argument.
+  let wr = new WeakRef(arguments[0]);
+
+  // Delete operation doesn't clear the reference!
+  delete arguments[0];
+
+  // Let the arguments object escape.
+  return [wr, arguments];
+}, /*isCleared=*/ false);
+
+checkWeakRef(function() {
+  "use strict";
+
+  // Create a weak-ref for the first argument.
+  let wr = new WeakRef(arguments[0]);
+
+  // Clear the reference from the arguments object.
+  arguments[0] = null;
+
+  // Let the arguments object escape.
+  return [wr, arguments];
+});
+
+checkWeakRef(function() {
+  "use strict";
+
+  // Create a weak-ref for the first argument.
+  let wr = new WeakRef(arguments[0]);
+
+  // This define operation doesn't clear the reference!
+  Object.defineProperty(arguments, 0, {value: null});
+
+  // Let the arguments object escape.
+  return [wr, arguments];
+}, /*isCleared=*/ false);
+
+checkWeakRef(function() {
+  "use strict";
+
+  // Create a weak-ref for the first argument.
+  let wr = new WeakRef(arguments[0]);
+
+  // Delete operation doesn't clear the reference!
+  delete arguments[0];
+
+  // Let the arguments object escape.
+  return [wr, arguments];
+}, /*isCleared=*/ false);
-- 
cgit v1.2.3