llvm/llvm/test/Verifier/2002-04-13-RetTypes.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s

; Verify the operand type of the ret instructions in a function match the
; declared return type of the function they live in.
; CHECK: value doesn't match function result type 'i32'
;

define i32 @testfunc() {
	ret ptr null
}