;; RUN: wasm-opt %s --remove-unused-module-elements -o %t.wasm -osm %t.map
;; RUN: wasm-dis %t.wasm --source-map %t.map | filecheck %s --check-prefix OUT-WAST
;; RUN: cat %t.map | filecheck %s --check-prefix OUT-MAP

;; After --remove-unused-module-elements, the output source map's 'names' field
;; should NOT contain 'unused'

;; OUT-MAP: "names":["used","used2","usedProlog"]

(module
  (export "used" (func $used))
  (export "used2" (func $used2))
  (export "usedProlog" (func $usedProlog))

  (func $unused
    ;;@ src.cpp:1:1:unused
    (nop)
  )

  (func $used
    ;; OUT-WAST:      ;;@ src.cpp:2:1:used
    ;; OUT-WAST-NEXT: (nop)
    ;;@ src.cpp:2:1:used
    (nop)
  )

  (func $used2
    ;; OUT-WAST:      ;;@ src.cpp:3:1:used
    ;; OUT-WAST-NEXT: (nop)
    ;;@ src.cpp:3:1:used2
    (nop)
  )

  ;; OUT-WAST:      ;;@ src.cpp:4:1:usedProlog
  ;; OUT-WAST-NEXT: (func
  ;;@ src.cpp:4:1:usedProlog
  (func $usedProlog
    (nop)
  )
)