Home | History | Annotate | Download | only in Verifier
      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 i32* null
     10 }
     11