[LLVMbugs] [Bug 10957] New: Preverify pass before a verify pass can abort the program

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=10957

           Summary: Preverify pass before a verify pass can abort the
                    program
           Product: new-bugs
           Version: trunk
          Platform: Macintosh
        OS/Version: MacOS X
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: endobson at mac.com
                CC: llvmbugs at cs.uiuc.edu


I have a known bad module and am trying to run a verify pass over it to get
back a diagnostic message to return to the user. The problem is that even if I
pass in a ReturnStatusAction to the Verifier, the preverifier runs before the
verifier and will abort the program with 'report_fatal_error' if any basic
block does not have a terminator. This is a problem because I do not want to
abort, I want an error message as I passed in the ReturnStatusAction.

To duplicate, create a module, add a function, add a basic block, and run the
verifier pass over it.

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.