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

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Sun Sep 18 13:21:53 PDT 2011


           Summary: Preverify pass before a verify pass can abort the
           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.

More information about the llvm-bugs mailing list