test/Feature/unreachable.ll

   1
   2 implementation
   3
   4 declare void %bar()
   5
   6 int %foo() {  ;; Calling this function has undefined behavior
   7         unreachable
   8 }
   9
  10 double %xyz() {
  11         call void %bar()
  12         unreachable          ;; Bar must not return.
  13 }