bug-2082186.js - mozsearch

Enable keyboard shortcuts

// |jit-test| --no-ion; --no-baseline; --no-blinterp; skip-if: !hasFunction.gczeal || !hasFunction.oomAtAllocation

// Gray unmarking can run out of memory after a zone has finished marking in an

// incremental GC. Finishing that GC must not make the incomplete graph valid.

gczeal(0);

(function() {

  const root = grayRoot();

  const child = {deep: {x: 123}};

  root[0] = child;

  addMarkObservers([root, child, child.deep]);

})();

gc();

assertEq(grayBitsValid(), true);

assertEq(getMarks().join(","), "gray,gray,gray");

// Yield before sweeping objects, after this zone's marking has finished.

gczeal(21, 0);

startgc(1);

while (gcstate(this) !== "Sweep") {

  assertEq(gcstate(), "Sweep");

  gcslice(1);

assertEq(gcstate(), "Sweep");

assertEq(getMarks().join(","), "gray,gray,gray");

// Fail the first allocation of the gray unmarking stack. The root is marked

// black, but its children remain gray.

oomAtAllocation(1);

let exposed = grayRoot();

assertEq(resetOOMFailure(), true);

assertEq(grayBitsValid(), false);

assertEq(getMarks().join(","), "black,gray,gray");

finishgc();

assertEq(gcstate(), "NotActive");

assertEq(grayBitsValid(), false);

assertEq(getMarks().join(","), "black,gray,gray");

// A subsequent full GC must still be able to restore validity.

gczeal(0);

gc();

assertEq(grayBitsValid(), true);

assertEq(getMarks().join(","), "black,black,black");