wasm2c: Test STDIN_FILE error output line numbers (WebAssembly#2341)

aheejin · Nov 30, 2023 · 2428315 · 2428315
1 parent bcd03e8
commit 2428315
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/test/harness/wasm2c/stdin_file.txt b/test/harness/wasm2c/stdin_file.txt
@@ -0,0 +1,9 @@
+;;; TOOL: run-spec-wasm2c
+;;; ERROR: 1
+;;; STDIN_FILE: test/harness/wasm2c/stdin_file.wast
+(;; STDERR ;;;
+stdin_file.wast:4: assertion failed: w2c_stdin__file__0__wasm_x(&stdin__file__0__wasm_instance, 1u) trapped (Unreachable instruction executed).
+;;; STDERR ;;)
+(;; STDOUT ;;;
+0/1 tests passed.
+;;; STDOUT ;;)
diff --git a/test/harness/wasm2c/stdin_file.wast b/test/harness/wasm2c/stdin_file.wast
@@ -0,0 +1,5 @@
+(module
+  (func (export "x") (param $x i32) (result i32) (unreachable))
+)
+(assert_return (invoke "x" (i32.const 1))
+                           (i32.const 1))