Add LoopQueue. This is used by loop pass manager to manage loop nest.
[oota-llvm.git] / include / llvm / Analysis / Verifier.h
index 82e7580037d2023ebcfa23688f5e238527d98650..dd914a490f88b723bfaedc941e0586857c18097a 100644 (file)
@@ -21,6 +21,8 @@
 #ifndef LLVM_ANALYSIS_VERIFIER_H
 #define LLVM_ANALYSIS_VERIFIER_H
 
+#include <string>
+
 namespace llvm {
 
 class FunctionPass;
@@ -35,9 +37,8 @@ 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
+  ReturnStatusAction    ///< verifyModule will just return true
 };
 
 /// @brief Create a verifier pass.
@@ -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