4 files changed, 17 insertions, 0 deletions
diff --git a/tests/specs/run/wasm_unreachable/__test__.jsonc b/tests/specs/run/wasm_unreachable/__test__.jsonc
new file mode 100644
index 000000000..cd6165629
--- /dev/null
+++ b/tests/specs/run/wasm_unreachable/__test__.jsonc
@@ -0,0 +1,5 @@
+{
+  "args": "run --allow-read wasm_unreachable.js",
+  "output": "wasm_unreachable.out",
+  "exitCode": 1
+}
diff --git a/tests/specs/run/wasm_unreachable/unreachable.wasm b/tests/specs/run/wasm_unreachable/unreachable.wasm
new file mode 100644
index 000000000..a4110ee39
--- /dev/null
+++ b/tests/specs/run/wasm_unreachable/unreachable.wasm
diff --git a/tests/specs/run/wasm_unreachable/wasm_unreachable.js b/tests/specs/run/wasm_unreachable/wasm_unreachable.js
new file mode 100644
index 000000000..36aab0d84
--- /dev/null
+++ b/tests/specs/run/wasm_unreachable/wasm_unreachable.js
@@ -0,0 +1,9 @@
+// WebAssembly module containing a single function with an unreachable instruction
+const binary = await Deno.readFile("./unreachable.wasm");
+
+const module = new WebAssembly.Module(binary);
+const instance = new WebAssembly.Instance(module);
+
+// Compare the stack trace with wasm_url.js, which compiles the WASM module with
+// streaming APIs.
+instance.exports.unreachable();
diff --git a/tests/specs/run/wasm_unreachable/wasm_unreachable.out b/tests/specs/run/wasm_unreachable/wasm_unreachable.out
new file mode 100644
index 000000000..c213097ab
--- /dev/null
+++ b/tests/specs/run/wasm_unreachable/wasm_unreachable.out
@@ -0,0 +1,3 @@
+error: Uncaught[WILDCARD] RuntimeError: unreachable
+    at <anonymous> (wasm://wasm/d1c677ea:1:41)
+    at [WILDCARD]/wasm_unreachable.js:[WILDCARD]