--- /dev/null Thu Jan 01 00:00:00 1970 +0000+++ b/test/Verifier/2008-11-15-RetVoid.ll Thu Dec 12 13:56:28 2013 +0900@@ -0,0 +1,6 @@+; RUN: not llvm-as < %s 2>&1 | FileCheck %s+; CHECK: value doesn't match function result type 'void'++define void @foo() {+ ret i32 0+}