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

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Thu May 27 13:59:28 PDT 2004


           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.

uint "testfunc"()
        ret int* null

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

More information about the llvm-bugs mailing list