llvm.org GIT mirror llvm / release_20 test / Feature / unreachable.ll
release_20

Tree @release_20 (Download .tar.gz)

unreachable.ll @release_20raw · history · blame

; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll


implementation

declare void %bar()

int %foo() {  ;; Calling this function has undefined behavior
	unreachable
}

double %xyz() {
	call void %bar()
	unreachable          ;; Bar must not return.
}