test/Transforms/PruneEH/musttail.ll

   1 ; RUN: opt -prune-eh -S < %s | FileCheck %s
   2
   3 declare void @noreturn()
   4
   5 define void @testfn() {
   6     ; A musttail call must be followed by (optional bitcast then) ret,
   7     ; so make sure we don't insert an unreachable
   8     ; CHECK: musttail call void @noreturn
   9     ; CHECK-NOT: unreachable
  10     ; CHECK-NEXT: ret void
  11     musttail call void @noreturn() #0
  12     ret void
  13 }
  14
  15 attributes #0 = { noreturn }