[LLVMbugs] [Bug 348] NEW: Verifier doesn't catch incorrect return type

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.cs.uiuc.edu/bugs/show_bug.cgi?id=348

           Summary: Verifier doesn't catch incorrect return type
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Core LLVM classes
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: rspencer at x10sys.com


The test/Regression/Verifier/2002-04-13-RetTypes.ll test case is failing. The
assembler doesn't abort on verification for this input which returns the wrong
type from the function declaration.

implementation
                                                                               
                                                            
uint "testfunc"()
begin
        ret int* null
end



------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.