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: [email protected]
ReportedBy: [email protected]
CC: [email protected]
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.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
