third_party/llvm-7.0/llvm/test/Verifier/2008-11-15-RetVoid.ll

; RUN: not llvm-as < %s 2>&1 | FileCheck %s
; CHECK: value doesn't match function result type 'void'

define void @foo() {
  ret i32 0
}