;; RUN: wasm-opt %s --remove-unused-module-elements -all -S -o - | filecheck %s

;; Non-exported and unused tags can be removed
(module
  (type $0 (func (param i32)))

  (import "env" "e" (tag $e-import (param i32)))

  ;; CHECK-NOT: (tag $e-remove
  ;; CHECK: (tag $e-export
  ;; CHECK: (tag $e-throw
  ;; CHECK: (tag $e-catch
  (tag $e-remove (type $0))   ;; can be removed
  (tag $e-export (param i64)) ;; cannot be removed (exported)
  (tag $e-throw (type $0))    ;; cannot be removed (used in throw)
  (tag $e-catch (type $0))    ;; cannot be removed (used in catch)

  (export "e-export" (tag $e-export))

  (start $start)
  (func $start
    (try
      (do
        (throw $e-throw (i32.const 0))
      )
      (catch $e-catch
        (drop (pop i32))
      )
    )
  )
)