test/Transforms/FunctionResolve/retmismatch2.ll


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

; This shows where the function is called with the prototype indicating a
; return type doesn't exists, but it really does.
;
; RUN: as < %s | opt -funcresolve -instcombine | dis | grep '\.\.\.' | not grep call

declare void %foo(...)

int %foo(int %x, float %y) {
	ret int %x
}

int %bar() {
	call void (...)* %foo(double 12.5, int 48)
	ret int 6
}