; RUN: opt -prune-eh -S < %s | FileCheck %s | |
declare void @noreturn() | |
define void @testfn() { | |
; A musttail call must be followed by (optional bitcast then) ret, | |
; so make sure we don't insert an unreachable | |
; CHECK: musttail call void @noreturn | |
; CHECK-NOT: unreachable | |
; CHECK-NEXT: ret void | |
musttail call void @noreturn() #0 | |
ret void | |
} | |
attributes #0 = { noreturn } |