Expose verifier for method and module, and accept constant structures

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@1814 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/include/llvm/Analysis/Verifier.h b/include/llvm/Analysis/Verifier.h
index 4d54f123484591ae059c74b8129ee902ccfca7d4..d6f4a93fa4fe3cf4383a8894f1ebc8030dc1b8e5 100644 (file)
--- a/include/llvm/Analysis/Verifier.h
+++ b/include/llvm/Analysis/Verifier.h
@@ -15,6 +15,7 @@
 
 class Pass;
 class Module;
+class Method;
 
 // createVerifierPass - Check a module or method for validity.  If errors are
 // detected, error messages corresponding to the problem are printed to stderr.
@@ -24,6 +25,10 @@ Pass *createVerifierPass();
 // verifyModule - Check a module for errors, printing messages on stderr.
 // Return true if the module is corrupt.
 //
-bool verifyModule(Module *M);
+bool verifyModule(const Module *M);
+
+// verifyMethod - Check a method for errors, useful for use when debugging a
+// pass.
+bool verifyMethod(const Method *M);
 
 #endif