; RUN: opt < %s -functionattrs -instcombine -S | FileCheck %s

define void @endless_loop() noreturn nounwind readnone ssp uwtable {
entry:
  br label %while.body

while.body:
  br label %while.body
}
;CHECK: @main
;CHECK: endless_loop
;CHECK: ret
define i32 @main() noreturn nounwind ssp uwtable {
entry:
  tail call void @endless_loop()
  unreachable
}