3 files changed, 58 insertions, 0 deletions
diff --git a/test/regress/regress-26.txt b/test/regress/regress-26.txt
new file mode 100644
index 00000000..6a76a807
--- /dev/null
+++ b/test/regress/regress-26.txt
@@ -0,0 +1,19 @@
+;;; TOOL: run-gen-wasm-interp
+;;; ERROR: 1
+magic
+version
+section(TABLE) {
+  count[1]
+  anyfunc
+  has_max[0]
+  initial[0]
+}
+section(ELEM) {
+  count[1]
+  flags[0]
+  addr[end]
+}
+(;; STDERR ;;;
+error: type mismatch in elem segment initializer expression, expected i32 but got void
+0000013: error: EndElemSegmentInitExpr callback failed
+;;; STDERR ;;)
diff --git a/test/regress/regress-27.txt b/test/regress/regress-27.txt
new file mode 100644
index 00000000..b257407b
--- /dev/null
+++ b/test/regress/regress-27.txt
@@ -0,0 +1,19 @@
+;;; TOOL: run-gen-wasm-interp
+;;; ERROR: 1
+magic
+version
+section(MEMORY) {
+  count[1]
+  has_max[0]
+  initial[0]
+}
+section(DATA) {
+  count[1]
+  flags[0]
+  addr[end]
+  data[str("test")]
+}
+(;; STDERR ;;;
+error: type mismatch in data segment initializer expression, expected i32 but got void
+0000017: error: OnDataSegmentData callback failed
+;;; STDERR ;;)
diff --git a/test/regress/regress-28.txt b/test/regress/regress-28.txt
new file mode 100644
index 00000000..a065b513
--- /dev/null
+++ b/test/regress/regress-28.txt
@@ -0,0 +1,20 @@
+;;; TOOL: run-gen-wasm-interp
+;;; ERROR: 1
+magic
+version
+section(TYPE) { count[1] function params[0] results[0] }
+section(FUNCTION) { count[1] type[0] }
+section(CODE) {
+  count[1]
+  func {
+    locals[0]
+    unreachable
+    end
+    i32.div_s
+    select
+  }
+}
+(;; STDERR ;;;
+error: Unexpected instruction after end of function
+000001a: error: OnOpcode callback failed
+;;; STDERR ;;)