[llvm-commits] Patch For Verifiier - Supports AbortProcessAction, ThrowExceptionAction, PrintMessageAction

Reid Spencer reid at x10sys.com
Fri Apr 2 02:04:01 PST 2004


The attached patch allows the caller of llvm::verifyModule,
llvm::verifyFunction, and createVerifierPass to specify what they would
like the verifier to do when it finds a problem. The current behavior of
printing the error message and aborting the process is retained as the
default. However, it is possible to pass an "action" parameter into each
of these functions to control what the verifier will do. See Verifier.h
for details.

I've compiled this patch against the latest CVS with no problems.
Everything compiles and links fine. I've tested it fairly well with the
XPL compiler for both AbortProcessAction and ThrowExceptionAction and
all is well.  I can now catch the exception and handle it in the XPL
Compiler.

Reid.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: verifier_patch.txt
Type: text/x-patch
Size: 10315 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20040402/e7b096d5/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 189 bytes
Desc: This is a digitally signed message part
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20040402/e7b096d5/attachment.sig>


More information about the llvm-commits mailing list