; 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 }