aboutsummaryrefslogtreecommitdiff
path: root/test/Integer/unreachable_bt.ll
blob: cb65d4b9ec8a46029579e08198e5dc0a8711d6d7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll



declare void @bar()

define i9 @foo() {  ;; Calling this function has undefined behavior
	unreachable
}

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