The TargetData is not used for the isPowerOfTwo determination. It has never
[oota-llvm.git] / include / llvm / Analysis / Verifier.h
index 52b1fee7178246b33d6cbdc0c70dbfa8b71a4910..ce8aeef07645b62ea51d2b31213b3a40dd8e2d86 100644 (file)
@@ -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 <string>
+
 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