2 files changed, 22 insertions, 0 deletions
diff --git a/test/passes/dce_all-features.txt b/test/passes/dce_all-features.txt
index f9e1b70a4..109f759c2 100644
--- a/test/passes/dce_all-features.txt
+++ b/test/passes/dce_all-features.txt
@@ -532,3 +532,14 @@
   )
  )
 )
+(module
+ (type $FUNCSIG$v (func))
+ (func $foo (; 0 ;) (type $FUNCSIG$v)
+  (nop)
+ )
+ (func $push_unreachable (; 1 ;) (type $FUNCSIG$v)
+  (push
+   (unreachable)
+  )
+ )
+)
diff --git a/test/passes/dce_all-features.wast b/test/passes/dce_all-features.wast
index c6fe0d5d0..cfdc58bbb 100644
--- a/test/passes/dce_all-features.wast
+++ b/test/passes/dce_all-features.wast
@@ -768,3 +768,14 @@
     (call $foo) ;; should be dce'd
   )
 )
+
+;; Push-pop
+(module
+  (func $foo)
+  (func $push_unreachable
+    (push
+      (unreachable)
+    )
+    (call $foo) ;; should be dce'd
+  )
+)