X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=include%2Fllvm%2FAnalysis%2FVerifier.h;h=ce8aeef07645b62ea51d2b31213b3a40dd8e2d86;hb=b09c146b116359616f6cbd4c8b3328607e00ff42;hp=52b1fee7178246b33d6cbdc0c70dbfa8b71a4910;hpb=3b1b6e626e42eb22869a28b02a463de5597f9822;p=oota-llvm.git diff --git a/include/llvm/Analysis/Verifier.h b/include/llvm/Analysis/Verifier.h index 52b1fee7178..ce8aeef0764 100644 --- a/include/llvm/Analysis/Verifier.h +++ b/include/llvm/Analysis/Verifier.h @@ -1,9 +1,9 @@ -//===-- llvm/Analysis/Verifier.h - Module Verifier --------------*- C++ -*-===// +//===-- llvm/Analysis/Verifier.h - LLVM IR Verifier -------------*- C++ -*-===// // // The LLVM Compiler Infrastructure // -// This file was developed by the LLVM research group and is distributed under -// the University of Illinois Open Source License. See LICENSE.TXT for details. +// This file is distributed under the University of Illinois Open Source +// License. See LICENSE.TXT for details. // //===----------------------------------------------------------------------===// // @@ -21,6 +21,8 @@ #ifndef LLVM_ANALYSIS_VERIFIER_H #define LLVM_ANALYSIS_VERIFIER_H +#include + namespace llvm { class FunctionPass; @@ -35,7 +37,6 @@ class Function; /// actions are listed below. enum VerifierFailureAction { AbortProcessAction, ///< verifyModule will print to stderr and abort() - ThrowExceptionAction, ///< verifyModule will throw errors as std::string PrintMessageAction, ///< verifyModule will print to stderr and return true ReturnStatusAction ///< verifyModule will just return true }; @@ -58,7 +59,8 @@ FunctionPass *createVerifierPass( bool verifyModule( const Module &M, ///< The module to be verified - VerifierFailureAction action = AbortProcessAction ///< Action to take + VerifierFailureAction action = AbortProcessAction, ///< Action to take + std::string *ErrorInfo = 0 ///< Information about failures. ); // verifyFunction - Check a function for errors, useful for use when debugging a