debug-stale-cont-frame.js

Enable keyboard shortcuts

// |jit-test| skip-if: !wasmJSPromiseIntegrationEnabled()

// Regression test for bug 2042753:

// Debugger.Frame objects for wasm frames on a JSPI continuation must be

// terminated when the continuation is GC'd, so that a reused slot cannot

// resurrect them as apparently-live frames for a different continuation.

var g = newGlobal({newCompartment: true});

var dbg = new Debugger(g);

var oldFrames = [];

var phase = 1;

dbg.onEnterFrame = function(f) {

  if (f.type !== "wasmcall") return;

  if (phase === 2) {

    // While a new (shallow) continuation is active, verify the stale frames

    // from the old (deep, already GC'd) continuation report onStack = false

    // and do not crash when accessed.

    for (var fr of oldFrames) {

      assertEq(fr.onStack, false);

  } else {

    oldFrames.push(f);

};

// Phase 1: create a deep (3-frame) JSPI continuation that suspends on a

// never-resolving promise, then drop all references and GC it.

g.eval(`

  var binDeep = wasmTextToBinary(\`(module

    (import "" "susp" (func $susp))

    (func $inner (call $susp))

    (func $middle (call $inner))

    (func $outer (export "outer") (call $middle))

  )\`);

  var neverResolve = new WebAssembly.Suspending(() => new Promise(() => {}));

  var instD = new WebAssembly.Instance(new WebAssembly.Module(binDeep),

                                       {"":{susp: neverResolve}});

  var pfD = WebAssembly.promising(instD.exports.outer);

  pfD();

  pfD = null; instD = null; neverResolve = null; binDeep = null;

`);

gc(); gc(); gc();

assertEq(oldFrames.length, 3);

phase = 2;

// Phase 2: run a shallow (1-frame) continuation on the same allocator, which

// will reuse the freed slot. The onEnterFrame handler above verifies that the

// stale old frames correctly report onStack = false.

g.eval(`

  var binShallow = wasmTextToBinary(\`(module

    (import "" "susp" (func $susp))

    (func $only (export "outer") (call $susp))

  )\`);

  var s2 = new WebAssembly.Suspending(() => new Promise(() => {}));

  var instS = new WebAssembly.Instance(new WebAssembly.Module(binShallow),

                                       {"":{susp: s2}});

  var pfS = WebAssembly.promising(instS.exports.outer);

  pfS();

`);

print("ok");