Fix RemoveUnusedNames on a loop with no name and a child with a different type. fixes #2807 (#2808)

2 files changed, 16 insertions, 0 deletions

diff --git a/test/passes/remove-unused-names.txt b/test/passes/remove-unused-names.txt
index 27b9cc76c..43950ca26 100644
--- a/test/passes/remove-unused-names.txt
+++ b/test/passes/remove-unused-names.txt
@@ -78,4 +78,11 @@
    )
   )
  )
+ (func $loop-with-child-of-other-type
+  (drop
+   (loop (result i32)
+    (unreachable)
+   )
+  )
+ )
 )
diff --git a/test/passes/remove-unused-names.wast b/test/passes/remove-unused-names.wast
index a4c240f02..766a56bec 100644
--- a/test/passes/remove-unused-names.wast
+++ b/test/passes/remove-unused-names.wast
@@ -93,4 +93,13 @@
     )
    )
   )
+  (func $loop-with-child-of-other-type
+   (drop
+    (loop (result i32) ;; the loop has no name, but can't be replaced by the child
+     (block $l         ;; as the type differs
+      (unreachable)
+     )
+    )
+   )
+  )
 )