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 implementation
   7
   8 declare void %bar()
   9
  10 define i9 %foo() {  ;; Calling this function has undefined behavior
  11         unreachable
  12 }
  13
  14 define double %xyz() {
  15         call void %bar()
  16         unreachable          ;; Bar must not return.
  17 }