Source code

Revision control

Copy as Markdown

Other Tools

// |jit-test| skip-if: !wasmGcEnabled()
load(libdir + "wasm-binary.js");
function checkInvalid(body, errorMessage) {
assertErrorMessage(() => new WebAssembly.Module(
moduleWithSections([
typeSection([
{ kind: FuncCode, args: [], ret: [] },
]),
declSection([0]),
bodySection([body]),
])
), WebAssembly.CompileError, errorMessage);
}
const invalidRefBlockType = funcBody({locals:[], body:[
BlockCode,
OptRefCode,
0x42,
EndCode,
]});
checkInvalid(invalidRefBlockType, /heap type/);
const invalidTooBigRefType = funcBody({locals:[], body:[
BlockCode,
OptRefCode,
...varU32(1000000),
EndCode,
]});
checkInvalid(invalidTooBigRefType, /heap type/);