llvm/llvm/test/Feature/unreachable.ll

; RUN: llvm-as < %s | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll

declare void @bar()

define i32 @foo() {
        unreachable
}

define double @xyz() {
        call void @bar( )
        unreachable
}