test/Integer/unreachable_bt.ll

   1 ; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
   2 ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
   3 ; RUN: diff %t1.ll %t2.ll
   4
   5
   6
   7 declare void @bar()
   8
   9 define i9 @foo() {  ;; Calling this function has undefined behavior
  10         unreachable
  11 }
  12
  13 define double @xyz() {
  14         call void @bar()
  15         unreachable          ;; Bar must not return.
  16 }