2 files changed, 17 insertions, 0 deletions
diff --git a/test/passes/inlining-optimizing.txt b/test/passes/inlining-optimizing.txt
index e1f81e54f..19c580063 100644
--- a/test/passes/inlining-optimizing.txt
+++ b/test/passes/inlining-optimizing.txt
@@ -33,3 +33,11 @@
   (nop)
  )
 )
+(module
+ (type $0 (func (result i32)))
+ (type $1 (func))
+ (memory $0 0)
+ (func $main (type $0) (result i32)
+  (unreachable)
+ )
+)
diff --git a/test/passes/inlining-optimizing.wast b/test/passes/inlining-optimizing.wast
index 082c4e98a..4f4f348a6 100644
--- a/test/passes/inlining-optimizing.wast
+++ b/test/passes/inlining-optimizing.wast
@@ -76,4 +76,13 @@
     (drop (get_local $z))
   )
 )
+(module
+ (func $main (result i32)
+  (call $func_51)
+  (i32.const 0)
+ )
+ (func $func_51
+  (unreachable) ;; void function but having unreachable body, when inlined, type must be fixed
+ )
+)