test/Feature/unreachable.ll


1
2
3
4
5
6
7
8
9
10
11
12
13


implementation

declare void %bar()

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

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