projects
/
oota-llvm.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
48558dded0ae4d8759a0b313b32e2180302088bb
[oota-llvm.git]
/
test
/
Feature
/
unreachable.ll
1
; RUN: llvm-upgrade < %s | llvm-as | 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
int %foo() { ;; Calling this function has undefined behavior
11
unreachable
12
}
13
14
double %xyz() {
15
call void %bar()
16
unreachable ;; Bar must not return.
17
}