blob: 4a998b1cc368df3278a27d2aee05a46f334fe221 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
; RUN: llvm-upgrade < %s | llvm-as | opt -prune-eh | llvm-dis | \
; RUN: not grep {ret i32}
void %noreturn() {
unwind
}
int %caller() {
; noreturn never returns, so the ret is unreachable.
call void %noreturn()
ret int 17
}
int %caller2() {
%T = call int %caller()
ret int %T ;; this is also unreachable!
}
|