1 files changed, 111 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/generators/bug1542660-2.js b/js/src/jit-test/tests/generators/bug1542660-2.js
new file mode 100644
index 0000000000..60fc3edcf6
--- /dev/null
+++ b/js/src/jit-test/tests/generators/bug1542660-2.js
@@ -0,0 +1,111 @@
+// |jit-test| skip-if: !('gc' in this) || !('clearKeptObjects' in this)
+// In generators, when we exit a lexical scope, its non-aliased bindings go away;
+// they don't keep their last values gc-alive.
+
+let cases = [
+  function* onNormalExitFromFunction_VarBinding() {
+    var tmp = yield 1;
+    consumeValue(tmp);
+  },
+
+  function* onNormalExitFromFunction_LetBinding() {
+    let tmp = yield 1;
+    consumeValue(tmp);
+  },
+
+  function* onNormalExitFromBlock() {
+    if (typeof onNormalExitFromBlock === 'function') {
+      let tmp = yield 1;
+      consumeValue(tmp);
+    }
+    yield 2;
+  },
+
+  function* onNormalExitFromCStyleForLet() {
+    for (let tmp = yield 1; tmp !== null; tmp = null) {
+      consumeValue(tmp);
+    }
+    yield 2;
+  },
+
+  function* onNormalExitFromForLetOf() {
+    for (let tmp of [yield 1]) {
+      consumeValue(tmp);
+    }
+    yield 2;
+  },
+
+  function* onNormalExitFromForConstOf() {
+    for (const tmp of [yield 1]) {
+      consumeValue(tmp);
+    }
+    yield 2;
+  },
+
+  function* onNormalExitFromForConstDestructuringOf() {
+    for (const {a, b, c, d} of [yield 1]) {
+      consumeValue(a);
+    }
+    yield 2;
+  },
+
+  function* onNormalExitFromForConstArrayDestructuringOf() {
+    for (const [x] of [[yield 1]]) {
+      consumeValue(x);
+    }
+    yield 2;
+  },
+
+  function* onNormalExitFromBlockInLoop() {
+    for (var i = 0; i < 2; i++) {
+      if (i == 0) {
+        let tmp = yield 1;
+        consumeValue(tmp);
+      } else {
+        yield 2;
+      }
+    }
+  },
+
+  function* onBreakFromBlock() {
+    x: {
+      let tmp = yield 1;
+      consumeValue(tmp);
+      break x;
+    }
+    yield 2;
+  },
+
+  function* onExitFromCatchBlock() {
+    try {
+      throw yield 1;
+    } catch (exc) {
+      consumeValue(exc);
+    }
+    yield 2;
+  },
+];
+
+var consumeValue;
+
+function runTest(g) {
+  consumeValue = eval("_ => {}");
+
+  let generator = g();
+  let result = generator.next();
+  assertEq(result.done, false);
+  assertEq(result.value, 1);
+  let object = {};
+  let weakRef = new WeakRef(object);
+  result = generator.next(object);
+  assertEq(result.value, result.done ? undefined : 2);
+
+  object = null;
+  clearKeptObjects();
+  gc();
+  assertEq(weakRef.deref(), undefined);
+}
+
+for (let g of cases) {
+  runTest(g);
+}