# RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown -o %t.o %s
# RUN: wasm-ld -o %t.wasm %t.o
# RUN: obj2yaml %t.wasm | FileCheck %s

# Debug sections are allowed to contains references to non-live symbols that
# then get GC'd.  In this test the .debug_info seciton contains a reference to
# foo which is not otherwise used and will not be marked a live in the output.
# Verify the tombstone value is written to debug_info section.

.globaltype foo, i32

.globl  _start
_start:
  .functype _start () -> ()
  end_function

.section .debug_info,"",@
  .int32 foo

foo:

# CHECK:       - Type:            CUSTOM
# CHECK-NEXT:    Name:            .debug_info
# CHECK-NEXT:    Payload:         FFFFFFFF