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

   1 ; RUN: not llvm-as < %s 2>&1 | FileCheck %s
   2
   3 ; Verify the operand type of the ret instructions in a function match the
   4 ; declared return type of the function they live in.
   5 ; CHECK: value doesn't match function result type 'i32'
   6 ;
   7
   8 define i32 @testfunc() {
   9         ret ptr null
  10 }